About the Execution of 2019-Gold for Raft-PT-06
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
15918.390 | 3570249.00 | 3593188.00 | 14056.30 | F??FTFFF?FFFFFFF | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2020-input.r150-smll-158961529300063.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool win2019
Input is Raft-PT-06, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r150-smll-158961529300063
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 268K
-rw-r--r-- 1 mcc users 2.8K Apr 12 08:07 CTLCardinality.txt
-rw-r--r-- 1 mcc users 15K Apr 12 08:07 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Apr 11 09:04 CTLFireability.txt
-rw-r--r-- 1 mcc users 22K Apr 11 09:04 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:38 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.8K Mar 24 05:38 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.5K Apr 14 12:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 14 12:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.0K Apr 10 14:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Apr 10 14:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Apr 9 21:21 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 9 21:21 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Apr 10 22:28 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K Apr 10 22:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:38 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 iscolored
-rw-r--r-- 1 mcc users 89K Mar 24 05:38 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 Raft-PT-06-00
FORMULA_NAME Raft-PT-06-01
FORMULA_NAME Raft-PT-06-02
FORMULA_NAME Raft-PT-06-03
FORMULA_NAME Raft-PT-06-04
FORMULA_NAME Raft-PT-06-05
FORMULA_NAME Raft-PT-06-06
FORMULA_NAME Raft-PT-06-07
FORMULA_NAME Raft-PT-06-08
FORMULA_NAME Raft-PT-06-09
FORMULA_NAME Raft-PT-06-10
FORMULA_NAME Raft-PT-06-11
FORMULA_NAME Raft-PT-06-12
FORMULA_NAME Raft-PT-06-13
FORMULA_NAME Raft-PT-06-14
FORMULA_NAME Raft-PT-06-15
=== Now, execution of the tool begins
BK_START 1589920986663
info: Time: 3600 - MCC
vrfy: Checking LTLCardinality @ Raft-PT-06 @ 3570 seconds
FORMULA Raft-PT-06-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Raft-PT-06-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Raft-PT-06-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Raft-PT-06-04 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Raft-PT-06-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Raft-PT-06-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Raft-PT-06-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Raft-PT-06-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Raft-PT-06-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Raft-PT-06-00 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Raft-PT-06-06 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Raft-PT-06-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Raft-PT-06-07 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Raft-PT-06-08 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Raft-PT-06-02 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for LTLCardinality @ Raft-PT-06
{
"exit":
{
"memory": 1445652,
"runtime": 3570.000000,
"signal": "User defined signal 1"
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "A (F (G ((p58 <= p4))))",
"processed_size": 23,
"rewrites": 125
},
"result":
{
"preliminary_value": "no unknown unknown no yes no no no unknown no no no no no no no "
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 18,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 520/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 188
lola: finding significant places
lola: 188 places, 332 transitions, 152 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 false: (2 <= p111)
lola: LP says that atomic proposition is always false: (2 <= p147)
lola: LP says that atomic proposition is always false: (2 <= p147)
lola: LP says that atomic proposition is always false: (3 <= p66)
lola: LP says that atomic proposition is always false: (3 <= p66)
lola: LP says that atomic proposition is always false: (3 <= p66)
lola: LP says that atomic proposition is always false: (3 <= p140)
lola: LP says that atomic proposition is always false: (2 <= p169)
lola: LP says that atomic proposition is always false: (3 <= p120)
lola: LP says that atomic proposition is always false: (2 <= p22)
lola: LP says that atomic proposition is always false: (3 <= p145)
lola: LP says that atomic proposition is always false: (3 <= p127)
lola: LP says that atomic proposition is always false: (3 <= p133)
lola: LP says that atomic proposition is always false: (3 <= p78)
lola: LP says that atomic proposition is always false: (3 <= p78)
lola: A ((G ((p15 <= p85)) OR NOT(X (NOT(F (((F ((p65 <= p92)) AND ((p65 <= p92) U (p43 <= p20))) U (2 <= p111)))))))) : A ((X ((2 <= p147)) OR (F ((p151 <= p187)) U F (((2 <= p147) U ((0 <= p56) AND X (G ((p58 <= p4))))))))) : A ((X ((p17 <= p167)) AND X (F (X (NOT(F (G ((F ((p143 + 1 <= p75)) U (p167 + 1 <= p17)))))))))) : A (G (((F (X ((3 <= p66))) OR ((p68 <= p115) U (3 <= p66))) U ((p24 <= p51))))) : A (X (F (((3 <= p140) OR G (()))))) : A ((((p40 <= p6) AND G ((p117 <= p136))) AND F (((p35 <= p95) AND X (NOT(X (((p136 + 1 <= p117) U (p40 <= p6))))))))) : A (G ((F (X ((0 <= p131))) AND X (F ((p48 <= p56)))))) : A (NOT((((p148 + 1 <= p80) U ((p80 <= p148) OR F ((p138 <= p18)))) AND ((p80 <= p148) U F ((p96 <= p157)))))) : A (((p186 <= p81) U X (G (X (((0 <= p71) U (X (NOT(X ((p186 <= p81)))) OR ((p19 <= p43) U (p186 <= p81))))))))) : A (F ((X (X ((p22 <= 1))) U ()))) : A (F (())) : A (X (G (NOT(((X (X ((3 <= p145))) U (p169 + 1 <= p181)) U X (X ((p181 <= p169)))))))) : A (F ((F ((p184 <= p180)) AND NOT(G ((G ((3 <= p127)) OR NOT(G ((p4 <= p66))))))))) : A (((F ((3 <= p133)) OR F ((3 <= p78))) AND G (F (((3 <= p78) OR NOT(F ((p84 <= p159)))))))) : A (X (NOT(((p109 + 1 <= p47) U X ((((p169 + 1 <= p63) AND (p54 <= p151)) AND G ((p47 <= p109)))))))) : A (((X ((1 <= p81)) OR X (F (X ((1 <= p81))))) U ((p166 <= p74) AND (1 <= p81))))
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:180
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:282
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:279
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:121
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:116
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:122
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:371
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:180
lola: rewrite Frontend/Parser/formula_rewrite.k:122
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:122
lola: rewrite Frontend/Parser/formula_rewrite.k:154
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:154
lola: rewrite Frontend/Parser/formula_rewrite.k:525
lola: rewrite Frontend/Parser/formula_rewrite.k:116
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:169
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:425
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:142
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:180
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:122
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:122
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:122
lola: rewrite Frontend/Parser/formula_rewrite.k:374
lola: rewrite Frontend/Parser/formula_rewrite.k:118
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:528
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 125 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 125 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 125 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F ((X (X ((p81 + 1 <= p186))) OR ((p19 <= p43) U (p186 <= p81))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F ((X (X ((p81 + 1 <= p186))) OR ((p19 <= p43) U (p186 <= p81))))))
lola: processed formula length: 73
lola: 125 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: 809609 markings, 2434729 edges, 161922 markings/sec, 0 secs
lola: 1611891 markings, 4846797 edges, 160456 markings/sec, 5 secs
lola: 2400114 markings, 7218076 edges, 157645 markings/sec, 10 secs
lola: 3186470 markings, 9583826 edges, 157271 markings/sec, 15 secs
lola: 3961529 markings, 11915183 edges, 155012 markings/sec, 20 secs
lola: 4717635 markings, 14196081 edges, 151221 markings/sec, 25 secs
lola: 5475150 markings, 16474168 edges, 151503 markings/sec, 30 secs
lola: 6226097 markings, 18738753 edges, 150189 markings/sec, 35 secs
lola: 6977618 markings, 21002249 edges, 150304 markings/sec, 40 secs
lola: 7733184 markings, 23270416 edges, 151113 markings/sec, 45 secs
lola: 8487652 markings, 25543958 edges, 150894 markings/sec, 50 secs
lola: 9240377 markings, 27811057 edges, 150545 markings/sec, 55 secs
lola: 10001875 markings, 30101472 edges, 152300 markings/sec, 60 secs
lola: 10746990 markings, 32345290 edges, 149023 markings/sec, 65 secs
lola: 11505789 markings, 34623722 edges, 151760 markings/sec, 70 secs
lola: 12253779 markings, 36875031 edges, 149598 markings/sec, 75 secs
lola: 12999657 markings, 39120006 edges, 149176 markings/sec, 80 secs
lola: 13742498 markings, 41357024 edges, 148568 markings/sec, 85 secs
lola: 14486489 markings, 43589814 edges, 148798 markings/sec, 90 secs
lola: 15225131 markings, 45815512 edges, 147728 markings/sec, 95 secs
lola: 15971516 markings, 48052642 edges, 149277 markings/sec, 100 secs
lola: 16709188 markings, 50272691 edges, 147534 markings/sec, 105 secs
lola: 17454950 markings, 52513627 edges, 149152 markings/sec, 110 secs
lola: 18194609 markings, 54736312 edges, 147932 markings/sec, 115 secs
lola: 18932215 markings, 56962754 edges, 147521 markings/sec, 120 secs
lola: 19653790 markings, 59131289 edges, 144315 markings/sec, 125 secs
lola: 20380721 markings, 61322775 edges, 145386 markings/sec, 130 secs
lola: 21101586 markings, 63489977 edges, 144173 markings/sec, 135 secs
lola: 21829002 markings, 65672485 edges, 145483 markings/sec, 140 secs
lola: 22573678 markings, 67913890 edges, 148935 markings/sec, 145 secs
lola: 23309477 markings, 70125119 edges, 147160 markings/sec, 150 secs
lola: 24043821 markings, 72331229 edges, 146869 markings/sec, 155 secs
lola: 24770513 markings, 74510292 edges, 145338 markings/sec, 160 secs
lola: 25505947 markings, 76728678 edges, 147087 markings/sec, 165 secs
lola: 26227383 markings, 78895606 edges, 144287 markings/sec, 170 secs
lola: 26957507 markings, 81088088 edges, 146025 markings/sec, 175 secs
lola: 27685562 markings, 83277792 edges, 145611 markings/sec, 180 secs
lola: 28411637 markings, 85454837 edges, 145215 markings/sec, 185 secs
lola: 29140187 markings, 87650634 edges, 145710 markings/sec, 190 secs
lola: 29860870 markings, 89812251 edges, 144137 markings/sec, 195 secs
lola: 30593676 markings, 92013617 edges, 146561 markings/sec, 200 secs
lola: 31321959 markings, 94203271 edges, 145657 markings/sec, 205 secs
lola: 32047768 markings, 96377667 edges, 145162 markings/sec, 210 secs
lola: 32773648 markings, 98563381 edges, 145176 markings/sec, 215 secs
lola: 33513046 markings, 100778459 edges, 147880 markings/sec, 220 secs
lola: 34254226 markings, 103007246 edges, 148236 markings/sec, 225 secs
lola: 34977218 markings, 105172294 edges, 144598 markings/sec, 230 secs
lola: 35712391 markings, 107387802 edges, 147035 markings/sec, 235 secs
lola: 36448930 markings, 109605832 edges, 147308 markings/sec, 240 secs
lola: 37172927 markings, 111769828 edges, 144799 markings/sec, 245 secs
lola: 37888469 markings, 113915816 edges, 143108 markings/sec, 250 secs
lola: 38615650 markings, 116097006 edges, 145436 markings/sec, 255 secs
lola: 39349101 markings, 118297657 edges, 146690 markings/sec, 260 secs
lola: 40069025 markings, 120457587 edges, 143985 markings/sec, 265 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown no no unknown unknown no unknown unknown
lola: memory consumption: 9294600 KB
lola: time consumption: 279 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 4 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (X ((p17 <= p167))) AND A (G (F ((G ((p17 <= p167)) OR (G ((p75 <= p143)) AND (p17 <= p167)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 4 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F ((G ((p17 <= p167)) OR (G ((p75 <= p143)) AND (p17 <= p167))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F ((G ((p17 <= p167)) OR (G ((p75 <= p143)) AND (p17 <= p167))))))
lola: processed formula length: 72
lola: 125 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: 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: 305942 markings, 1128546 edges, 61188 markings/sec, 0 secs
lola: 758620 markings, 2796649 edges, 90536 markings/sec, 5 secs
lola: 1219476 markings, 4455319 edges, 92171 markings/sec, 10 secs
lola: 1670721 markings, 6114400 edges, 90249 markings/sec, 15 secs
lola: 2130378 markings, 7784135 edges, 91931 markings/sec, 20 secs
lola: 2599092 markings, 9415690 edges, 93743 markings/sec, 25 secs
lola: 3042326 markings, 11064004 edges, 88647 markings/sec, 30 secs
lola: 3493346 markings, 12738163 edges, 90204 markings/sec, 35 secs
lola: 3951254 markings, 14421713 edges, 91582 markings/sec, 40 secs
lola: 4411892 markings, 16104207 edges, 92128 markings/sec, 45 secs
lola: 4858074 markings, 17777561 edges, 89236 markings/sec, 50 secs
lola: 5333766 markings, 19490115 edges, 95138 markings/sec, 55 secs
lola: 5806280 markings, 21216744 edges, 94503 markings/sec, 60 secs
lola: 6278059 markings, 22953119 edges, 94356 markings/sec, 65 secs
lola: 6753938 markings, 24632893 edges, 95176 markings/sec, 70 secs
lola: 7221463 markings, 26316062 edges, 93505 markings/sec, 75 secs
lola: 7683541 markings, 28020473 edges, 92416 markings/sec, 80 secs
lola: 8158075 markings, 29757617 edges, 94907 markings/sec, 85 secs
lola: 8626947 markings, 31477625 edges, 93774 markings/sec, 90 secs
lola: 9071175 markings, 33110365 edges, 88846 markings/sec, 95 secs
lola: 9519987 markings, 34717925 edges, 89762 markings/sec, 100 secs
lola: 9993585 markings, 36454720 edges, 94720 markings/sec, 105 secs
lola: 10448280 markings, 38147663 edges, 90939 markings/sec, 110 secs
lola: 10905240 markings, 39818306 edges, 91392 markings/sec, 115 secs
lola: 11364204 markings, 41487256 edges, 91793 markings/sec, 120 secs
lola: 11840953 markings, 43176507 edges, 95350 markings/sec, 125 secs
lola: 12302779 markings, 44836658 edges, 92365 markings/sec, 130 secs
lola: 12773819 markings, 46491920 edges, 94208 markings/sec, 135 secs
lola: 13241654 markings, 48146171 edges, 93567 markings/sec, 140 secs
lola: 13679780 markings, 49771285 edges, 87625 markings/sec, 145 secs
lola: 14122163 markings, 51402997 edges, 88477 markings/sec, 150 secs
lola: 14566765 markings, 53026752 edges, 88920 markings/sec, 155 secs
lola: 15013268 markings, 54627835 edges, 89301 markings/sec, 160 secs
lola: 15463561 markings, 56259872 edges, 90059 markings/sec, 165 secs
lola: 15917047 markings, 57925760 edges, 90697 markings/sec, 170 secs
lola: 16374527 markings, 59574959 edges, 91496 markings/sec, 175 secs
lola: 16827549 markings, 61222885 edges, 90604 markings/sec, 180 secs
lola: 17287273 markings, 62860403 edges, 91945 markings/sec, 185 secs
lola: 17744283 markings, 64477262 edges, 91402 markings/sec, 190 secs
lola: 18197875 markings, 66147171 edges, 90718 markings/sec, 195 secs
lola: 18633931 markings, 67762313 edges, 87211 markings/sec, 200 secs
lola: 19081596 markings, 69384258 edges, 89533 markings/sec, 205 secs
lola: 19518185 markings, 70980471 edges, 87318 markings/sec, 210 secs
lola: 19966669 markings, 72588399 edges, 89697 markings/sec, 215 secs
lola: 20405230 markings, 74147147 edges, 87712 markings/sec, 220 secs
lola: 20849045 markings, 75735611 edges, 88763 markings/sec, 225 secs
lola: 21297117 markings, 77311309 edges, 89614 markings/sec, 230 secs
lola: 21730541 markings, 78911168 edges, 86685 markings/sec, 235 secs
lola: 22185945 markings, 80588654 edges, 91081 markings/sec, 240 secs
lola: 22643317 markings, 82266464 edges, 91474 markings/sec, 245 secs
lola: 23096078 markings, 83874970 edges, 90552 markings/sec, 250 secs
lola: 23541677 markings, 85521706 edges, 89120 markings/sec, 255 secs
lola: 23987001 markings, 87160421 edges, 89065 markings/sec, 260 secs
lola: 24436783 markings, 88805389 edges, 89956 markings/sec, 265 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown no no unknown unknown no unknown unknown
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown no no unknown unknown no unknown unknown
lola: memory consumption: 5566392 KB
lola: time consumption: 554 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 5 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (TRUE))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (TRUE))
lola: processed formula length: 12
lola: 125 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: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 2 markings, 1 edges
lola: ========================================
lola: subprocess 6 will run for 301 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (G (((p181 <= p169) R X (X ((p169 + 1 <= p181)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (G (((p181 <= p169) R X (X ((p169 + 1 <= p181)))))))
lola: processed formula length: 57
lola: 125 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: 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: 126 markings, 149 edges
lola: ========================================
lola: subprocess 7 will run for 334 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((p40 <= p6) AND (A (G ((p117 <= p136))) AND A (F (((p35 <= p95) AND X (X (((p117 <= p136) R (p6 + 1 <= p40)))))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 7 will run for 334 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (p40 <= p6)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (p40 <= p6)
lola: processed formula length: 11
lola: 125 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 1 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 8 will run for 376 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((p117 <= p136)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: A (G ((p117 <= p136)))
lola: processed formula length: 22
lola: 127 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)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (p136 + 1 <= p117)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 3 markings, 2 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 8 will run for 376 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (((p47 <= p109) R X ((((p63 <= p169) OR (p151 + 1 <= p54)) OR F ((p109 + 1 <= p47)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (((p47 <= p109) R X ((((p63 <= p169) OR (p151 + 1 <= p54)) OR F ((p109 + 1 <= p47)))))))
lola: processed formula length: 94
lola: 125 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 101 markings, 101 edges
lola: ========================================
lola: subprocess 9 will run for 430 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((X (((1 <= p81) OR X (F ((1 <= p81))))) U ((p166 <= p74) AND (1 <= p81))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((X (((1 <= p81) OR X (F ((1 <= p81))))) U ((p166 <= p74) AND (1 <= p81))))
lola: processed formula length: 77
lola: 125 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: 7 markings, 7 edges
lola: ========================================
lola: subprocess 10 will run for 502 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((p24 <= p51))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: A (G (((p24 <= p51))))
lola: processed formula length: 22
lola: 127 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)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((p51 + 1 <= p24))
lola: state equation task get result unparse finished id 0
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 3 markings, 2 edges
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: ========================================
lola: subprocess 11 will run for 602 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((p15 <= p85)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: A (G ((p15 <= p85)))
lola: processed formula length: 20
lola: 127 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)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (p85 + 1 <= p15)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 3 markings, 2 edges
lola: ========================================
lola: subprocess 12 will run for 753 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F ((p48 <= p56))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F ((p48 <= p56))))
lola: processed formula length: 24
lola: 125 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: 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: 10025 markings, 31287 edges
lola: ========================================
lola: subprocess 13 will run for 1004 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G ((p58 <= p4))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G ((p58 <= p4))))
lola: processed formula length: 23
lola: 125 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: 25314 markings, 58067 edges, 5063 markings/sec, 0 secs
lola: 50822 markings, 117427 edges, 5102 markings/sec, 5 secs
lola: 77796 markings, 180074 edges, 5395 markings/sec, 10 secs
lola: 104449 markings, 244588 edges, 5331 markings/sec, 15 secs
lola: 131909 markings, 310217 edges, 5492 markings/sec, 20 secs
lola: 157235 markings, 367999 edges, 5065 markings/sec, 25 secs
lola: 182307 markings, 425758 edges, 5014 markings/sec, 30 secs
lola: 207559 markings, 484114 edges, 5050 markings/sec, 35 secs
lola: 234187 markings, 548333 edges, 5326 markings/sec, 40 secs
lola: 257326 markings, 601202 edges, 4628 markings/sec, 45 secs
lola: 283227 markings, 661016 edges, 5180 markings/sec, 50 secs
lola: 309512 markings, 722786 edges, 5257 markings/sec, 55 secs
lola: 336003 markings, 786651 edges, 5298 markings/sec, 60 secs
lola: 364339 markings, 852056 edges, 5667 markings/sec, 65 secs
lola: 390887 markings, 913775 edges, 5310 markings/sec, 70 secs
lola: 421998 markings, 987738 edges, 6222 markings/sec, 75 secs
lola: 451153 markings, 1054774 edges, 5831 markings/sec, 80 secs
lola: 482433 markings, 1128924 edges, 6256 markings/sec, 85 secs
lola: 514488 markings, 1204729 edges, 6411 markings/sec, 90 secs
lola: 543863 markings, 1271565 edges, 5875 markings/sec, 95 secs
lola: 572447 markings, 1337585 edges, 5717 markings/sec, 100 secs
lola: 604570 markings, 1413956 edges, 6425 markings/sec, 105 secs
lola: 634533 markings, 1486184 edges, 5993 markings/sec, 110 secs
lola: 664325 markings, 1554425 edges, 5958 markings/sec, 115 secs
lola: 693556 markings, 1620952 edges, 5846 markings/sec, 120 secs
lola: 724915 markings, 1694771 edges, 6272 markings/sec, 125 secs
lola: 755156 markings, 1766704 edges, 6048 markings/sec, 130 secs
lola: 787738 markings, 1845915 edges, 6516 markings/sec, 135 secs
lola: 820697 markings, 1926309 edges, 6592 markings/sec, 140 secs
lola: 853229 markings, 2003536 edges, 6506 markings/sec, 145 secs
lola: 885445 markings, 2076238 edges, 6443 markings/sec, 150 secs
lola: 919412 markings, 2159710 edges, 6793 markings/sec, 155 secs
lola: 952452 markings, 2238036 edges, 6608 markings/sec, 160 secs
lola: 983489 markings, 2312393 edges, 6207 markings/sec, 165 secs
lola: 1016341 markings, 2389153 edges, 6570 markings/sec, 170 secs
lola: 1049645 markings, 2469110 edges, 6661 markings/sec, 175 secs
lola: 1080665 markings, 2539130 edges, 6204 markings/sec, 180 secs
lola: 1113809 markings, 2617484 edges, 6629 markings/sec, 185 secs
lola: 1146283 markings, 2697195 edges, 6495 markings/sec, 190 secs
lola: 1179363 markings, 2774445 edges, 6616 markings/sec, 195 secs
lola: 1222380 markings, 2866767 edges, 8603 markings/sec, 200 secs
lola: 1259172 markings, 2951334 edges, 7358 markings/sec, 205 secs
lola: 1292285 markings, 3033983 edges, 6623 markings/sec, 210 secs
lola: 1326713 markings, 3120458 edges, 6886 markings/sec, 215 secs
lola: 1360609 markings, 3202845 edges, 6779 markings/sec, 220 secs
lola: 1399860 markings, 3292329 edges, 7850 markings/sec, 225 secs
lola: 1442816 markings, 3385683 edges, 8591 markings/sec, 230 secs
lola: 1477514 markings, 3468393 edges, 6940 markings/sec, 235 secs
lola: 1512130 markings, 3550856 edges, 6923 markings/sec, 240 secs
lola: 1546949 markings, 3632926 edges, 6964 markings/sec, 245 secs
lola: 1585671 markings, 3723538 edges, 7744 markings/sec, 250 secs
lola: 1620830 markings, 3810462 edges, 7032 markings/sec, 255 secs
lola: 1660520 markings, 3901830 edges, 7938 markings/sec, 260 secs
lola: 1694646 markings, 3984169 edges, 6825 markings/sec, 265 secs
lola: 1731317 markings, 4074327 edges, 7334 markings/sec, 270 secs
lola: 1767764 markings, 4160335 edges, 7289 markings/sec, 275 secs
lola: 1803249 markings, 4245184 edges, 7097 markings/sec, 280 secs
lola: 1841276 markings, 4335776 edges, 7605 markings/sec, 285 secs
lola: 1877304 markings, 4420529 edges, 7206 markings/sec, 290 secs
lola: 1911532 markings, 4505311 edges, 6846 markings/sec, 295 secs
lola: 1947619 markings, 4594241 edges, 7217 markings/sec, 300 secs
lola: 1982855 markings, 4683478 edges, 7047 markings/sec, 305 secs
lola: 2016692 markings, 4767242 edges, 6767 markings/sec, 310 secs
lola: 2054987 markings, 4856648 edges, 7659 markings/sec, 315 secs
lola: 2090779 markings, 4945153 edges, 7158 markings/sec, 320 secs
lola: 2125374 markings, 5031724 edges, 6919 markings/sec, 325 secs
lola: 2160954 markings, 5119499 edges, 7116 markings/sec, 330 secs
lola: 2198951 markings, 5211332 edges, 7599 markings/sec, 335 secs
lola: 2231033 markings, 5292854 edges, 6416 markings/sec, 340 secs
lola: 2269214 markings, 5383868 edges, 7636 markings/sec, 345 secs
lola: 2303009 markings, 5468204 edges, 6759 markings/sec, 350 secs
lola: 2342726 markings, 5561531 edges, 7943 markings/sec, 355 secs
lola: 2380981 markings, 5653767 edges, 7651 markings/sec, 360 secs
lola: 2418026 markings, 5742492 edges, 7409 markings/sec, 365 secs
lola: 2454337 markings, 5829966 edges, 7262 markings/sec, 370 secs
lola: 2489987 markings, 5913361 edges, 7130 markings/sec, 375 secs
lola: 2523884 markings, 5997758 edges, 6779 markings/sec, 380 secs
lola: 2562677 markings, 6089017 edges, 7759 markings/sec, 385 secs
lola: 2596782 markings, 6176273 edges, 6821 markings/sec, 390 secs
lola: 2632246 markings, 6262691 edges, 7093 markings/sec, 395 secs
lola: 2672866 markings, 6358047 edges, 8124 markings/sec, 400 secs
lola: 2714498 markings, 6451439 edges, 8326 markings/sec, 405 secs
lola: 2750957 markings, 6543358 edges, 7292 markings/sec, 410 secs
lola: 2785019 markings, 6628054 edges, 6812 markings/sec, 415 secs
lola: 2822916 markings, 6720563 edges, 7579 markings/sec, 420 secs
lola: 2858307 markings, 6811769 edges, 7078 markings/sec, 425 secs
lola: 2901919 markings, 6914109 edges, 8722 markings/sec, 430 secs
lola: 2941120 markings, 7006954 edges, 7840 markings/sec, 435 secs
lola: 2980174 markings, 7100639 edges, 7811 markings/sec, 440 secs
lola: 3017213 markings, 7192402 edges, 7408 markings/sec, 445 secs
lola: 3052809 markings, 7282068 edges, 7119 markings/sec, 450 secs
lola: 3092907 markings, 7377415 edges, 8020 markings/sec, 455 secs
lola: 3130132 markings, 7469756 edges, 7445 markings/sec, 460 secs
lola: 3164928 markings, 7557494 edges, 6959 markings/sec, 465 secs
lola: 3200889 markings, 7649750 edges, 7192 markings/sec, 470 secs
lola: 3239031 markings, 7741447 edges, 7628 markings/sec, 475 secs
lola: 3276056 markings, 7831484 edges, 7405 markings/sec, 480 secs
lola: 3314318 markings, 7927012 edges, 7652 markings/sec, 485 secs
lola: 3350914 markings, 8014998 edges, 7319 markings/sec, 490 secs
lola: 3388985 markings, 8109519 edges, 7614 markings/sec, 495 secs
lola: 3426847 markings, 8207106 edges, 7572 markings/sec, 500 secs
lola: 3464086 markings, 8300627 edges, 7448 markings/sec, 505 secs
lola: 3498391 markings, 8381960 edges, 6861 markings/sec, 510 secs
lola: 3537234 markings, 8475228 edges, 7769 markings/sec, 515 secs
lola: 3576106 markings, 8575155 edges, 7774 markings/sec, 520 secs
lola: 3613321 markings, 8669974 edges, 7443 markings/sec, 525 secs
lola: 3651575 markings, 8764522 edges, 7651 markings/sec, 530 secs
lola: 3690357 markings, 8860897 edges, 7756 markings/sec, 535 secs
lola: 3727515 markings, 8955361 edges, 7432 markings/sec, 540 secs
lola: 3761702 markings, 9043815 edges, 6837 markings/sec, 545 secs
lola: 3798494 markings, 9136492 edges, 7358 markings/sec, 550 secs
lola: 3833910 markings, 9226295 edges, 7083 markings/sec, 555 secs
lola: 3871051 markings, 9314529 edges, 7428 markings/sec, 560 secs
lola: 3913182 markings, 9412191 edges, 8426 markings/sec, 565 secs
lola: 3950208 markings, 9502707 edges, 7405 markings/sec, 570 secs
lola: 3988488 markings, 9599663 edges, 7656 markings/sec, 575 secs
lola: 4027118 markings, 9696777 edges, 7726 markings/sec, 580 secs
lola: 4066649 markings, 9790127 edges, 7906 markings/sec, 585 secs
lola: 4109794 markings, 9894637 edges, 8629 markings/sec, 590 secs
lola: 4149508 markings, 9990725 edges, 7943 markings/sec, 595 secs
lola: 4190044 markings, 10085725 edges, 8107 markings/sec, 600 secs
lola: 4225653 markings, 10177632 edges, 7122 markings/sec, 605 secs
lola: 4264801 markings, 10275116 edges, 7830 markings/sec, 610 secs
lola: 4305400 markings, 10374817 edges, 8120 markings/sec, 615 secs
lola: 4346140 markings, 10479209 edges, 8148 markings/sec, 620 secs
lola: 4380748 markings, 10566509 edges, 6922 markings/sec, 625 secs
lola: 4418478 markings, 10660880 edges, 7546 markings/sec, 630 secs
lola: 4459476 markings, 10759381 edges, 8200 markings/sec, 635 secs
lola: 4502577 markings, 10862031 edges, 8620 markings/sec, 640 secs
lola: 4539310 markings, 10955081 edges, 7347 markings/sec, 645 secs
lola: 4575852 markings, 11045632 edges, 7308 markings/sec, 650 secs
lola: 4608750 markings, 11122661 edges, 6580 markings/sec, 655 secs
lola: 4642914 markings, 11205582 edges, 6833 markings/sec, 660 secs
lola: 4677098 markings, 11292821 edges, 6837 markings/sec, 665 secs
lola: 4717585 markings, 11393738 edges, 8097 markings/sec, 670 secs
lola: 4755887 markings, 11492232 edges, 7660 markings/sec, 675 secs
lola: 4797480 markings, 11591311 edges, 8319 markings/sec, 680 secs
lola: 4837350 markings, 11691672 edges, 7974 markings/sec, 685 secs
lola: 4875134 markings, 11787548 edges, 7557 markings/sec, 690 secs
lola: 4918366 markings, 11887518 edges, 8646 markings/sec, 695 secs
lola: 4956353 markings, 11981858 edges, 7597 markings/sec, 700 secs
lola: 5002243 markings, 12087889 edges, 9178 markings/sec, 705 secs
lola: 5038966 markings, 12182181 edges, 7345 markings/sec, 710 secs
lola: 5079575 markings, 12280607 edges, 8122 markings/sec, 715 secs
lola: 5120199 markings, 12380323 edges, 8125 markings/sec, 720 secs
lola: 5157894 markings, 12474464 edges, 7539 markings/sec, 725 secs
lola: 5198981 markings, 12577034 edges, 8217 markings/sec, 730 secs
lola: 5233425 markings, 12665789 edges, 6889 markings/sec, 735 secs
lola: 5272519 markings, 12766007 edges, 7819 markings/sec, 740 secs
lola: 5311655 markings, 12864808 edges, 7827 markings/sec, 745 secs
lola: 5346992 markings, 12960426 edges, 7067 markings/sec, 750 secs
lola: 5384211 markings, 13054083 edges, 7444 markings/sec, 755 secs
lola: 5422390 markings, 13151641 edges, 7636 markings/sec, 760 secs
lola: 5464762 markings, 13258122 edges, 8474 markings/sec, 765 secs
lola: 5500916 markings, 13353572 edges, 7231 markings/sec, 770 secs
lola: 5539234 markings, 13451734 edges, 7664 markings/sec, 775 secs
lola: 5579793 markings, 13552927 edges, 8112 markings/sec, 780 secs
lola: 5620849 markings, 13655362 edges, 8211 markings/sec, 785 secs
lola: 5658603 markings, 13751654 edges, 7551 markings/sec, 790 secs
lola: 5699629 markings, 13851007 edges, 8205 markings/sec, 795 secs
lola: 5731737 markings, 13933298 edges, 6422 markings/sec, 800 secs
lola: 5769266 markings, 14021404 edges, 7506 markings/sec, 805 secs
lola: 5804583 markings, 14104167 edges, 7063 markings/sec, 810 secs
lola: 5837203 markings, 14179962 edges, 6524 markings/sec, 815 secs
lola: 5874259 markings, 14272592 edges, 7411 markings/sec, 820 secs
lola: 5910933 markings, 14369424 edges, 7335 markings/sec, 825 secs
lola: 5952687 markings, 14473462 edges, 8351 markings/sec, 830 secs
lola: 5989690 markings, 14567472 edges, 7401 markings/sec, 835 secs
lola: 6028699 markings, 14667877 edges, 7802 markings/sec, 840 secs
lola: 6063057 markings, 14751970 edges, 6872 markings/sec, 845 secs
lola: 6094133 markings, 14823869 edges, 6215 markings/sec, 850 secs
lola: 6131157 markings, 14913961 edges, 7405 markings/sec, 855 secs
lola: 6168792 markings, 15013439 edges, 7527 markings/sec, 860 secs
lola: 6207394 markings, 15114496 edges, 7720 markings/sec, 865 secs
lola: 6241618 markings, 15199244 edges, 6845 markings/sec, 870 secs
lola: 6278013 markings, 15293220 edges, 7279 markings/sec, 875 secs
lola: 6313123 markings, 15382499 edges, 7022 markings/sec, 880 secs
lola: 6352903 markings, 15480002 edges, 7956 markings/sec, 885 secs
lola: 6391728 markings, 15579198 edges, 7765 markings/sec, 890 secs
lola: 6431121 markings, 15680260 edges, 7879 markings/sec, 895 secs
lola: 6479314 markings, 15791416 edges, 9639 markings/sec, 900 secs
lola: 6516733 markings, 15887666 edges, 7484 markings/sec, 905 secs
lola: 6553886 markings, 15983109 edges, 7431 markings/sec, 910 secs
lola: 6595107 markings, 16088220 edges, 8244 markings/sec, 915 secs
lola: 6642736 markings, 16199346 edges, 9526 markings/sec, 920 secs
lola: 6682139 markings, 16296847 edges, 7881 markings/sec, 925 secs
lola: 6722954 markings, 16397108 edges, 8163 markings/sec, 930 secs
lola: 6762554 markings, 16501012 edges, 7920 markings/sec, 935 secs
lola: 6797824 markings, 16591510 edges, 7054 markings/sec, 940 secs
lola: 6842318 markings, 16699576 edges, 8899 markings/sec, 945 secs
lola: 6883774 markings, 16804568 edges, 8291 markings/sec, 950 secs
lola: 6920239 markings, 16899986 edges, 7293 markings/sec, 955 secs
lola: 6956032 markings, 16995846 edges, 7159 markings/sec, 960 secs
lola: 6995909 markings, 17095253 edges, 7975 markings/sec, 965 secs
lola: 7035156 markings, 17188337 edges, 7849 markings/sec, 970 secs
lola: 7073225 markings, 17286798 edges, 7614 markings/sec, 975 secs
lola: 7111692 markings, 17390790 edges, 7693 markings/sec, 980 secs
lola: 7150523 markings, 17490187 edges, 7766 markings/sec, 985 secs
lola: 7187604 markings, 17589042 edges, 7416 markings/sec, 990 secs
lola: 7232858 markings, 17697292 edges, 9051 markings/sec, 995 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown unknown no yes no no unknown unknown no no no unknown no no no
lola: memory consumption: 2205816 KB
lola: time consumption: 1561 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 14 will run for 1004 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((F ((p184 <= p180)) AND F (G ((p4 <= p66))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F ((F ((p184 <= p180)) AND F (G ((p4 <= p66))))))
lola: processed formula length: 52
lola: 125 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 67 markings, 106 edges
lola: ========================================
lola: subprocess 15 will run for 2009 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((((p80 <= p148) R ((p148 + 1 <= p80) AND G ((p18 + 1 <= p138)))) OR G ((p157 + 1 <= p96))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((((p80 <= p148) R ((p148 + 1 <= p80) AND G ((p18 + 1 <= p138)))) OR G ((p157 + 1 <= p96))))
lola: processed formula length: 94
lola: 125 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 8 markings, 8 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: A (G (F ((X (X ((p81 + 1 <= p186))) OR ((p19 <= p43) U (p186 <= p81))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F ((X (X ((p81 + 1 <= p186))) OR ((p19 <= p43) U (p186 <= p81))))))
lola: processed formula length: 73
lola: 125 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: 765954 markings, 2303106 edges, 153191 markings/sec, 0 secs
lola: 1572155 markings, 4725776 edges, 161240 markings/sec, 5 secs
lola: 2365563 markings, 7114341 edges, 158682 markings/sec, 10 secs
lola: 3158192 markings, 9496844 edges, 158526 markings/sec, 15 secs
lola: 3938332 markings, 11845515 edges, 156028 markings/sec, 20 secs
lola: 4700066 markings, 14142574 edges, 152347 markings/sec, 25 secs
lola: 5460936 markings, 16431139 edges, 152174 markings/sec, 30 secs
lola: 6213704 markings, 18701681 edges, 150554 markings/sec, 35 secs
lola: 6966177 markings, 20968220 edges, 150495 markings/sec, 40 secs
lola: 7722834 markings, 23239103 edges, 151331 markings/sec, 45 secs
lola: 8479001 markings, 25518515 edges, 151233 markings/sec, 50 secs
lola: 9236999 markings, 27801082 edges, 151600 markings/sec, 55 secs
lola: 10000673 markings, 30097986 edges, 152735 markings/sec, 60 secs
lola: 10745028 markings, 32339167 edges, 148871 markings/sec, 65 secs
lola: 11500810 markings, 34608831 edges, 151156 markings/sec, 70 secs
lola: 12250086 markings, 36863801 edges, 149855 markings/sec, 75 secs
lola: 12997296 markings, 39113303 edges, 149442 markings/sec, 80 secs
lola: 13740559 markings, 41351348 edges, 148653 markings/sec, 85 secs
lola: 14484467 markings, 43583761 edges, 148782 markings/sec, 90 secs
lola: 15225379 markings, 45816251 edges, 148182 markings/sec, 95 secs
lola: 15970566 markings, 48049729 edges, 149037 markings/sec, 100 secs
lola: 16709812 markings, 50274377 edges, 147849 markings/sec, 105 secs
lola: 17453789 markings, 52510212 edges, 148795 markings/sec, 110 secs
lola: 18194374 markings, 54735690 edges, 148117 markings/sec, 115 secs
lola: 18934469 markings, 56969378 edges, 148019 markings/sec, 120 secs
lola: 19660580 markings, 59152015 edges, 145222 markings/sec, 125 secs
lola: 20388243 markings, 61345151 edges, 145533 markings/sec, 130 secs
lola: 21107590 markings, 63508092 edges, 143869 markings/sec, 135 secs
lola: 21831854 markings, 65681128 edges, 144853 markings/sec, 140 secs
lola: 22571765 markings, 67908151 edges, 147982 markings/sec, 145 secs
lola: 23302851 markings, 70105080 edges, 146217 markings/sec, 150 secs
lola: 24032264 markings, 72296368 edges, 145883 markings/sec, 155 secs
lola: 24753870 markings, 74460528 edges, 144321 markings/sec, 160 secs
lola: 25486128 markings, 76667920 edges, 146452 markings/sec, 165 secs
lola: 26202356 markings, 78820566 edges, 143246 markings/sec, 170 secs
lola: 26928459 markings, 80999498 edges, 145221 markings/sec, 175 secs
lola: 27654266 markings, 83184551 edges, 145161 markings/sec, 180 secs
lola: 28376523 markings, 85349601 edges, 144451 markings/sec, 185 secs
lola: 29101460 markings, 87533738 edges, 144987 markings/sec, 190 secs
lola: 29816917 markings, 89679151 edges, 143091 markings/sec, 195 secs
lola: 30544702 markings, 91866029 edges, 145557 markings/sec, 200 secs
lola: 31269896 markings, 94046256 edges, 145039 markings/sec, 205 secs
lola: 31986159 markings, 96192441 edges, 143253 markings/sec, 210 secs
lola: 32711027 markings, 98374915 edges, 144974 markings/sec, 215 secs
lola: 33446838 markings, 100580707 edges, 147162 markings/sec, 220 secs
lola: 34181183 markings, 102788232 edges, 146869 markings/sec, 225 secs
lola: 34893191 markings, 104921859 edges, 142402 markings/sec, 230 secs
lola: 35630495 markings, 107140063 edges, 147461 markings/sec, 235 secs
lola: 36362486 markings, 109346391 edges, 146398 markings/sec, 240 secs
lola: 37085019 markings, 111506237 edges, 144507 markings/sec, 245 secs
lola: 37797857 markings, 113643157 edges, 142568 markings/sec, 250 secs
lola: 38518674 markings, 115805491 edges, 144163 markings/sec, 255 secs
lola: 39248467 markings, 117995019 edges, 145959 markings/sec, 260 secs
lola: 39964994 markings, 120145519 edges, 143305 markings/sec, 265 secs
lola: 40674160 markings, 122276951 edges, 141833 markings/sec, 270 secs
lola: 41416578 markings, 124510691 edges, 148484 markings/sec, 275 secs
lola: 42155376 markings, 126732902 edges, 147760 markings/sec, 280 secs
lola: 42867797 markings, 128868877 edges, 142484 markings/sec, 285 secs
lola: 43567702 markings, 130967658 edges, 139981 markings/sec, 290 secs
lola: 44282539 markings, 133111888 edges, 142967 markings/sec, 295 secs
lola: 45019675 markings, 135325645 edges, 147427 markings/sec, 300 secs
lola: 45726831 markings, 137451076 edges, 141431 markings/sec, 305 secs
lola: 46440863 markings, 139602719 edges, 142806 markings/sec, 310 secs
lola: 47145979 markings, 141711943 edges, 141023 markings/sec, 315 secs
lola: 47856437 markings, 143845257 edges, 142092 markings/sec, 320 secs
lola: 48596722 markings, 146069022 edges, 148057 markings/sec, 325 secs
lola: 49306659 markings, 148200614 edges, 141987 markings/sec, 330 secs
lola: 50004392 markings, 150290859 edges, 139547 markings/sec, 335 secs
lola: 50709324 markings, 152404298 edges, 140986 markings/sec, 340 secs
lola: 51415393 markings, 154517067 edges, 141214 markings/sec, 345 secs
lola: 52126509 markings, 156654658 edges, 142223 markings/sec, 350 secs
lola: 52833183 markings, 158771441 edges, 141335 markings/sec, 355 secs
lola: 53525381 markings, 160848515 edges, 138440 markings/sec, 360 secs
lola: 54223347 markings, 162937630 edges, 139593 markings/sec, 365 secs
lola: 54916479 markings, 165006868 edges, 138626 markings/sec, 370 secs
lola: 55623730 markings, 167133759 edges, 141450 markings/sec, 375 secs
lola: 56334174 markings, 169270667 edges, 142089 markings/sec, 380 secs
lola: 57042430 markings, 171397087 edges, 141651 markings/sec, 385 secs
lola: 57759131 markings, 173549175 edges, 143340 markings/sec, 390 secs
lola: 58466384 markings, 175669961 edges, 141451 markings/sec, 395 secs
lola: 59178634 markings, 177816770 edges, 142450 markings/sec, 400 secs
lola: 59884112 markings, 179942338 edges, 141096 markings/sec, 405 secs
lola: 60577101 markings, 182019480 edges, 138598 markings/sec, 410 secs
lola: 61281452 markings, 184132052 edges, 140870 markings/sec, 415 secs
lola: 62021014 markings, 186350973 edges, 147912 markings/sec, 420 secs
lola: 62792006 markings, 188671064 edges, 154198 markings/sec, 425 secs
lola: 63536324 markings, 190906082 edges, 148864 markings/sec, 430 secs
lola: 64231764 markings, 192989112 edges, 139088 markings/sec, 435 secs
lola: 64933587 markings, 195095523 edges, 140365 markings/sec, 440 secs
lola: 65639257 markings, 197212042 edges, 141134 markings/sec, 445 secs
lola: 66343060 markings, 199322594 edges, 140761 markings/sec, 450 secs
lola: 67033689 markings, 201385544 edges, 138126 markings/sec, 455 secs
lola: 67759982 markings, 203572868 edges, 145259 markings/sec, 460 secs
lola: 68482785 markings, 205749136 edges, 144561 markings/sec, 465 secs
lola: 69175469 markings, 207818399 edges, 138537 markings/sec, 470 secs
lola: 69879657 markings, 209927272 edges, 140838 markings/sec, 475 secs
lola: 70572322 markings, 212007755 edges, 138533 markings/sec, 480 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: (A (X ((p17 <= p167))) AND A (G (F ((G ((p17 <= p167)) OR (G ((p75 <= p143)) AND (p17 <= p167)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: ========================================
lola: ...considering subproblem: A (G (F ((G ((p17 <= p167)) OR (G ((p75 <= p143)) AND (p17 <= p167))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F ((G ((p17 <= p167)) OR (G ((p75 <= p143)) AND (p17 <= p167))))))
lola: processed formula length: 72
lola: 125 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: 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: 279219 markings, 1031416 edges, 55844 markings/sec, 0 secs
lola: 723519 markings, 2662805 edges, 88860 markings/sec, 5 secs
lola: 1182223 markings, 4315986 edges, 91741 markings/sec, 10 secs
lola: 1630547 markings, 5966297 edges, 89665 markings/sec, 15 secs
lola: 2084670 markings, 7623075 edges, 90825 markings/sec, 20 secs
lola: 2544137 markings, 9220550 edges, 91893 markings/sec, 25 secs
lola: 2989006 markings, 10861355 edges, 88974 markings/sec, 30 secs
lola: 3429658 markings, 12516327 edges, 88130 markings/sec, 35 secs
lola: 3886441 markings, 14181352 edges, 91357 markings/sec, 40 secs
lola: 4343583 markings, 15850314 edges, 91428 markings/sec, 45 secs
lola: 4791423 markings, 17513776 edges, 89568 markings/sec, 50 secs
lola: 5255321 markings, 19205062 edges, 92780 markings/sec, 55 secs
lola: 5728544 markings, 20918171 edges, 94645 markings/sec, 60 secs
lola: 6200227 markings, 22651726 edges, 94337 markings/sec, 65 secs
lola: 6668239 markings, 24327750 edges, 93602 markings/sec, 70 secs
lola: 7137478 markings, 26003022 edges, 93848 markings/sec, 75 secs
lola: 7594675 markings, 27696344 edges, 91439 markings/sec, 80 secs
lola: 8068043 markings, 29416642 edges, 94674 markings/sec, 85 secs
lola: 8530887 markings, 31136672 edges, 92569 markings/sec, 90 secs
lola: 8981019 markings, 32791773 edges, 90026 markings/sec, 95 secs
lola: 9427926 markings, 34387487 edges, 89381 markings/sec, 100 secs
lola: 9886444 markings, 36077265 edges, 91704 markings/sec, 105 secs
lola: 10351158 markings, 37789442 edges, 92943 markings/sec, 110 secs
lola: 10802855 markings, 39456098 edges, 90339 markings/sec, 115 secs
lola: 11258081 markings, 41103672 edges, 91045 markings/sec, 120 secs
lola: 11727938 markings, 42779108 edges, 93971 markings/sec, 125 secs
lola: 12194877 markings, 44447319 edges, 93388 markings/sec, 130 secs
lola: 12654412 markings, 46101686 edges, 91907 markings/sec, 135 secs
lola: 13115838 markings, 47727530 edges, 92285 markings/sec, 140 secs
lola: 13565118 markings, 49338852 edges, 89856 markings/sec, 145 secs
lola: 13999015 markings, 50953373 edges, 86779 markings/sec, 150 secs
lola: 14439739 markings, 52569284 edges, 88145 markings/sec, 155 secs
lola: 14882829 markings, 54165926 edges, 88618 markings/sec, 160 secs
lola: 15326021 markings, 55745081 edges, 88638 markings/sec, 165 secs
lola: 15774391 markings, 57399796 edges, 89674 markings/sec, 170 secs
lola: 16225299 markings, 59028915 edges, 90182 markings/sec, 175 secs
lola: 16679701 markings, 60673414 edges, 90880 markings/sec, 180 secs
lola: 17134360 markings, 62315252 edges, 90932 markings/sec, 185 secs
lola: 17583211 markings, 63906652 edges, 89770 markings/sec, 190 secs
lola: 18035306 markings, 65560366 edges, 90419 markings/sec, 195 secs
lola: 18482128 markings, 67189227 edges, 89364 markings/sec, 200 secs
lola: 18919528 markings, 68789253 edges, 87480 markings/sec, 205 secs
lola: 19354176 markings, 70391753 edges, 86930 markings/sec, 210 secs
lola: 19799534 markings, 71975647 edges, 89072 markings/sec, 215 secs
lola: 20232298 markings, 73546627 edges, 86553 markings/sec, 220 secs
lola: 20664201 markings, 75071749 edges, 86381 markings/sec, 225 secs
lola: 21115160 markings, 76677614 edges, 90192 markings/sec, 230 secs
lola: 21544254 markings, 78236887 edges, 85819 markings/sec, 235 secs
lola: 21996293 markings, 79868686 edges, 90408 markings/sec, 240 secs
lola: 22443732 markings, 81556121 edges, 89488 markings/sec, 245 secs
lola: 22894231 markings, 83204928 edges, 90100 markings/sec, 250 secs
lola: 23344925 markings, 84792453 edges, 90139 markings/sec, 255 secs
lola: 23783270 markings, 86407402 edges, 87669 markings/sec, 260 secs
lola: 24228569 markings, 88046107 edges, 89060 markings/sec, 265 secs
lola: 24668002 markings, 89662824 edges, 87887 markings/sec, 270 secs
lola: 25118417 markings, 91301978 edges, 90083 markings/sec, 275 secs
lola: 25565883 markings, 92918424 edges, 89493 markings/sec, 280 secs
lola: 26010198 markings, 94518671 edges, 88863 markings/sec, 285 secs
lola: 26463633 markings, 96088013 edges, 90687 markings/sec, 290 secs
lola: 26903875 markings, 97678459 edges, 88048 markings/sec, 295 secs
lola: 27343847 markings, 99315843 edges, 87994 markings/sec, 300 secs
lola: 27777677 markings, 100904306 edges, 86766 markings/sec, 305 secs
lola: 28219063 markings, 102460086 edges, 88277 markings/sec, 310 secs
lola: 28662052 markings, 104083455 edges, 88598 markings/sec, 315 secs
lola: 29102861 markings, 105687553 edges, 88162 markings/sec, 320 secs
lola: 29545059 markings, 107313699 edges, 88440 markings/sec, 325 secs
lola: 29996300 markings, 108959036 edges, 90248 markings/sec, 330 secs
lola: 30452029 markings, 110598038 edges, 91146 markings/sec, 335 secs
lola: 30907226 markings, 112256597 edges, 91039 markings/sec, 340 secs
lola: 31343217 markings, 113901653 edges, 87198 markings/sec, 345 secs
lola: 31787221 markings, 115493537 edges, 88801 markings/sec, 350 secs
lola: 32226460 markings, 117072139 edges, 87848 markings/sec, 355 secs
lola: 32675319 markings, 118674501 edges, 89772 markings/sec, 360 secs
lola: 33103470 markings, 120278626 edges, 85630 markings/sec, 365 secs
lola: 33543659 markings, 121888278 edges, 88038 markings/sec, 370 secs
lola: 33986937 markings, 123518513 edges, 88656 markings/sec, 375 secs
lola: 34415168 markings, 125078368 edges, 85646 markings/sec, 380 secs
lola: 34857643 markings, 126611177 edges, 88495 markings/sec, 385 secs
lola: 35290186 markings, 128135457 edges, 86509 markings/sec, 390 secs
lola: 35717499 markings, 129728961 edges, 85463 markings/sec, 395 secs
lola: 36165345 markings, 131297224 edges, 89569 markings/sec, 400 secs
lola: 36604837 markings, 132886595 edges, 87898 markings/sec, 405 secs
lola: 37038659 markings, 134495509 edges, 86764 markings/sec, 410 secs
lola: 37472388 markings, 136084790 edges, 86746 markings/sec, 415 secs
lola: 37921404 markings, 137649236 edges, 89803 markings/sec, 420 secs
lola: 38358965 markings, 139273196 edges, 87512 markings/sec, 425 secs
lola: 38775403 markings, 140851945 edges, 83288 markings/sec, 430 secs
lola: 39191431 markings, 142403507 edges, 83206 markings/sec, 435 secs
lola: 39644708 markings, 144071391 edges, 90655 markings/sec, 440 secs
lola: 40097863 markings, 145698662 edges, 90631 markings/sec, 445 secs
lola: 40549788 markings, 147308694 edges, 90385 markings/sec, 450 secs
lola: 40966439 markings, 148910000 edges, 83330 markings/sec, 455 secs
lola: 41387888 markings, 150468696 edges, 84290 markings/sec, 460 secs
lola: 41835879 markings, 152070793 edges, 89598 markings/sec, 465 secs
lola: 42301924 markings, 153766968 edges, 93209 markings/sec, 470 secs
lola: 42752362 markings, 155430325 edges, 90088 markings/sec, 475 secs
lola: 43203784 markings, 157101865 edges, 90284 markings/sec, 480 secs
lola: 43653486 markings, 158748137 edges, 89940 markings/sec, 485 secs
lola: 44113030 markings, 160380333 edges, 91909 markings/sec, 490 secs
lola: 44574038 markings, 162092971 edges, 92202 markings/sec, 495 secs
lola: 45042344 markings, 163809158 edges, 93661 markings/sec, 500 secs
lola: 45512999 markings, 165517835 edges, 94131 markings/sec, 505 secs
lola: 45968243 markings, 167198503 edges, 91049 markings/sec, 510 secs
lola: 46425930 markings, 168840148 edges, 91537 markings/sec, 515 secs
lola: 46858618 markings, 170463320 edges, 86538 markings/sec, 520 secs
lola: 47321089 markings, 172167757 edges, 92494 markings/sec, 525 secs
lola: 47782451 markings, 173880218 edges, 92272 markings/sec, 530 secs
lola: 48252715 markings, 175603537 edges, 94053 markings/sec, 535 secs
lola: 48718889 markings, 177302205 edges, 93235 markings/sec, 540 secs
lola: 49181494 markings, 179000274 edges, 92521 markings/sec, 545 secs
lola: 49642778 markings, 180650413 edges, 92257 markings/sec, 550 secs
lola: 50109139 markings, 182304861 edges, 93272 markings/sec, 555 secs
lola: 50576820 markings, 183999128 edges, 93536 markings/sec, 560 secs
lola: 51026652 markings, 185659357 edges, 89966 markings/sec, 565 secs
lola: 51497009 markings, 187362266 edges, 94071 markings/sec, 570 secs
lola: 51954406 markings, 189019429 edges, 91479 markings/sec, 575 secs
lola: 52401102 markings, 190638095 edges, 89339 markings/sec, 580 secs
lola: 52857076 markings, 192309185 edges, 91195 markings/sec, 585 secs
lola: 53300382 markings, 193891435 edges, 88661 markings/sec, 590 secs
lola: 53753145 markings, 195567369 edges, 90553 markings/sec, 595 secs
lola: 54187249 markings, 197241043 edges, 86821 markings/sec, 600 secs
lola: 54651842 markings, 198874985 edges, 92919 markings/sec, 605 secs
lola: 55101160 markings, 200476994 edges, 89864 markings/sec, 610 secs
lola: 55547974 markings, 202120414 edges, 89363 markings/sec, 615 secs
lola: 55996617 markings, 203761882 edges, 89729 markings/sec, 620 secs
lola: 56447091 markings, 205399121 edges, 90095 markings/sec, 625 secs
lola: 56901221 markings, 207042513 edges, 90826 markings/sec, 630 secs
lola: 57358150 markings, 208651199 edges, 91386 markings/sec, 635 secs
lola: 57799912 markings, 210269320 edges, 88352 markings/sec, 640 secs
lola: 58242453 markings, 211908100 edges, 88508 markings/sec, 645 secs
lola: 58687580 markings, 213526787 edges, 89025 markings/sec, 650 secs
lola: 59142706 markings, 215121624 edges, 91025 markings/sec, 655 secs
lola: 59576576 markings, 216692316 edges, 86774 markings/sec, 660 secs
lola: 60018042 markings, 218308258 edges, 88293 markings/sec, 665 secs
lola: 60460281 markings, 219923910 edges, 88448 markings/sec, 670 secs
lola: 60906092 markings, 221562577 edges, 89162 markings/sec, 675 secs
lola: 61359954 markings, 223191222 edges, 90772 markings/sec, 680 secs
lola: 61803850 markings, 224817706 edges, 88779 markings/sec, 685 secs
lola: 62247103 markings, 226464079 edges, 88651 markings/sec, 690 secs
lola: 62681051 markings, 228069876 edges, 86790 markings/sec, 695 secs
lola: 63121023 markings, 229709887 edges, 87994 markings/sec, 700 secs
lola: 63571279 markings, 231355247 edges, 90051 markings/sec, 705 secs
lola: 64009544 markings, 232948958 edges, 87653 markings/sec, 710 secs
lola: 64461869 markings, 234587529 edges, 90465 markings/sec, 715 secs
lola: 64902088 markings, 236224614 edges, 88044 markings/sec, 720 secs
lola: 65362426 markings, 237850824 edges, 92068 markings/sec, 725 secs
lola: 65804838 markings, 239467217 edges, 88482 markings/sec, 730 secs
lola: 66245187 markings, 241090283 edges, 88070 markings/sec, 735 secs
lola: 66681689 markings, 242668124 edges, 87300 markings/sec, 740 secs
lola: 67120765 markings, 244261575 edges, 87815 markings/sec, 745 secs
lola: 67557191 markings, 245879247 edges, 87285 markings/sec, 750 secs
lola: 67995411 markings, 247501786 edges, 87644 markings/sec, 755 secs
lola: 68445748 markings, 249129547 edges, 90067 markings/sec, 760 secs
lola: 68893177 markings, 250761524 edges, 89486 markings/sec, 765 secs
lola: 69322194 markings, 252354350 edges, 85803 markings/sec, 770 secs
lola: 69766319 markings, 253954829 edges, 88825 markings/sec, 775 secs
lola: 70212500 markings, 255539706 edges, 89236 markings/sec, 780 secs
lola: 70644557 markings, 257103660 edges, 86411 markings/sec, 785 secs
lola: 71089712 markings, 258737674 edges, 89031 markings/sec, 790 secs
lola: 71532826 markings, 260347553 edges, 88623 markings/sec, 795 secs
lola: 71981564 markings, 261980460 edges, 89748 markings/sec, 800 secs
lola: 72424713 markings, 263617258 edges, 88630 markings/sec, 805 secs
lola: 72846600 markings, 265163248 edges, 84377 markings/sec, 810 secs
lola: 73096019 markings, 266007266 edges, 49884 markings/sec, 815 secs
lola: 73109362 markings, 266057708 edges, 2669 markings/sec, 820 secs
lola: 73114669 markings, 266078017 edges, 1061 markings/sec, 825 secs
lola: 73122409 markings, 266105343 edges, 1548 markings/sec, 830 secs
lola: 73124694 markings, 266113100 edges, 457 markings/sec, 835 secs
lola: 73126765 markings, 266120926 edges, 414 markings/sec, 840 secs
lola: 73134186 markings, 266148142 edges, 1484 markings/sec, 845 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: A (X ((p17 <= p167)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X ((p17 <= p167)))
lola: processed formula length: 21
lola: 125 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: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 2 markings, 1 edges
lola: ========================================
lola: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: A (F (G ((p58 <= p4))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G ((p58 <= p4))))
lola: processed formula length: 23
lola: 125 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: 24322 markings, 55957 edges, 4864 markings/sec, 0 secs
lola: 50014 markings, 115606 edges, 5138 markings/sec, 5 secs
lola: 77001 markings, 178364 edges, 5397 markings/sec, 10 secs
lola: 103918 markings, 243178 edges, 5383 markings/sec, 15 secs
lola: 131285 markings, 308868 edges, 5473 markings/sec, 20 secs
lola: 156741 markings, 366909 edges, 5091 markings/sec, 25 secs
lola: 182097 markings, 425270 edges, 5071 markings/sec, 30 secs
lola: 207529 markings, 484045 edges, 5086 markings/sec, 35 secs
lola: 234803 markings, 549704 edges, 5455 markings/sec, 40 secs
lola: 260068 markings, 607301 edges, 5053 markings/sec, 45 secs
lola: 286252 markings, 667921 edges, 5237 markings/sec, 50 secs
lola: 312550 markings, 730927 edges, 5260 markings/sec, 55 secs
lola: 339682 markings, 795808 edges, 5426 markings/sec, 60 secs
lola: 368185 markings, 860829 edges, 5701 markings/sec, 65 secs
lola: 398596 markings, 931425 edges, 6082 markings/sec, 70 secs
lola: 429196 markings, 1004936 edges, 6120 markings/sec, 75 secs
lola: 458065 markings, 1070414 edges, 5774 markings/sec, 80 secs
lola: 489724 markings, 1145230 edges, 6332 markings/sec, 85 secs
lola: 520874 markings, 1219042 edges, 6230 markings/sec, 90 secs
lola: 550286 markings, 1286188 edges, 5882 markings/sec, 95 secs
lola: 579609 markings, 1354175 edges, 5865 markings/sec, 100 secs
lola: 611147 markings, 1431607 edges, 6308 markings/sec, 105 secs
lola: 641043 markings, 1500686 edges, 5979 markings/sec, 110 secs
lola: 670538 markings, 1568684 edges, 5899 markings/sec, 115 secs
lola: 700402 markings, 1637728 edges, 5973 markings/sec, 120 secs
lola: 731552 markings, 1710518 edges, 6230 markings/sec, 125 secs
lola: 761399 markings, 1783028 edges, 5969 markings/sec, 130 secs
lola: 795003 markings, 1865034 edges, 6721 markings/sec, 135 secs
lola: 826833 markings, 1940535 edges, 6366 markings/sec, 140 secs
lola: 860550 markings, 2020249 edges, 6743 markings/sec, 145 secs
lola: 892530 markings, 2093103 edges, 6396 markings/sec, 150 secs
lola: 926740 markings, 2176024 edges, 6842 markings/sec, 155 secs
lola: 958883 markings, 2253139 edges, 6429 markings/sec, 160 secs
lola: 989914 markings, 2327444 edges, 6206 markings/sec, 165 secs
lola: 1023072 markings, 2406329 edges, 6632 markings/sec, 170 secs
lola: 1057357 markings, 2485145 edges, 6857 markings/sec, 175 secs
lola: 1091623 markings, 2563830 edges, 6853 markings/sec, 180 secs
lola: 1123750 markings, 2642876 edges, 6425 markings/sec, 185 secs
lola: 1156291 markings, 2721965 edges, 6508 markings/sec, 190 secs
lola: 1192459 markings, 2802298 edges, 7234 markings/sec, 195 secs
lola: 1232476 markings, 2890716 edges, 8003 markings/sec, 200 secs
lola: 1269741 markings, 2977435 edges, 7453 markings/sec, 205 secs
lola: 1302167 markings, 3058752 edges, 6485 markings/sec, 210 secs
lola: 1336662 markings, 3145249 edges, 6899 markings/sec, 215 secs
lola: 1371373 markings, 3229270 edges, 6942 markings/sec, 220 secs
lola: 1414511 markings, 3321859 edges, 8628 markings/sec, 225 secs
lola: 1452475 markings, 3409869 edges, 7593 markings/sec, 230 secs
lola: 1486976 markings, 3490802 edges, 6900 markings/sec, 235 secs
lola: 1521805 markings, 3573998 edges, 6966 markings/sec, 240 secs
lola: 1556568 markings, 3656873 edges, 6953 markings/sec, 245 secs
lola: 1596996 markings, 3750731 edges, 8086 markings/sec, 250 secs
lola: 1631864 markings, 3837001 edges, 6974 markings/sec, 255 secs
lola: 1670429 markings, 3925026 edges, 7713 markings/sec, 260 secs
lola: 1705362 markings, 4011293 edges, 6987 markings/sec, 265 secs
lola: 1741761 markings, 4100141 edges, 7280 markings/sec, 270 secs
lola: 1778086 markings, 4185201 edges, 7265 markings/sec, 275 secs
lola: 1813304 markings, 4269528 edges, 7044 markings/sec, 280 secs
lola: 1851891 markings, 4361007 edges, 7717 markings/sec, 285 secs
lola: 1886951 markings, 4444195 edges, 7012 markings/sec, 290 secs
lola: 1921927 markings, 4529962 edges, 6995 markings/sec, 295 secs
lola: 1957829 markings, 4619868 edges, 7180 markings/sec, 300 secs
lola: 1992730 markings, 4708000 edges, 6980 markings/sec, 305 secs
lola: 2026875 markings, 4789854 edges, 6829 markings/sec, 310 secs
lola: 2064763 markings, 4880717 edges, 7578 markings/sec, 315 secs
lola: 2099935 markings, 4969465 edges, 7034 markings/sec, 320 secs
lola: 2134569 markings, 5054056 edges, 6927 markings/sec, 325 secs
lola: 2172450 markings, 5146369 edges, 7576 markings/sec, 330 secs
lola: 2207672 markings, 5232537 edges, 7044 markings/sec, 335 secs
lola: 2240436 markings, 5315846 edges, 6553 markings/sec, 340 secs
lola: 2279056 markings, 5408418 edges, 7724 markings/sec, 345 secs
lola: 2313697 markings, 5494562 edges, 6928 markings/sec, 350 secs
lola: 2354777 markings, 5590005 edges, 8216 markings/sec, 355 secs
lola: 2392610 markings, 5680988 edges, 7567 markings/sec, 360 secs
lola: 2427003 markings, 5764643 edges, 6879 markings/sec, 365 secs
lola: 2465233 markings, 5855110 edges, 7646 markings/sec, 370 secs
lola: 2498787 markings, 5935418 edges, 6711 markings/sec, 375 secs
lola: 2537603 markings, 6028311 edges, 7763 markings/sec, 380 secs
lola: 2573036 markings, 6114716 edges, 7087 markings/sec, 385 secs
lola: 2606252 markings, 6200534 edges, 6643 markings/sec, 390 secs
lola: 2641883 markings, 6286900 edges, 7126 markings/sec, 395 secs
lola: 2687548 markings, 6390115 edges, 9133 markings/sec, 400 secs
lola: 2727279 markings, 6482978 edges, 7946 markings/sec, 405 secs
lola: 2763699 markings, 6573829 edges, 7284 markings/sec, 410 secs
lola: 2797010 markings, 6658832 edges, 6662 markings/sec, 415 secs
lola: 2834000 markings, 6749956 edges, 7398 markings/sec, 420 secs
lola: 2874045 markings, 6847345 edges, 8009 markings/sec, 425 secs
lola: 2913313 markings, 6943026 edges, 7854 markings/sec, 430 secs
lola: 2953980 markings, 7037764 edges, 8133 markings/sec, 435 secs
lola: 2991902 markings, 7128932 edges, 7584 markings/sec, 440 secs
lola: 3028385 markings, 7220867 edges, 7297 markings/sec, 445 secs
lola: 3065263 markings, 7311316 edges, 7376 markings/sec, 450 secs
lola: 3103774 markings, 7404513 edges, 7702 markings/sec, 455 secs
lola: 3140228 markings, 7494951 edges, 7291 markings/sec, 460 secs
lola: 3174461 markings, 7582223 edges, 6847 markings/sec, 465 secs
lola: 3211223 markings, 7674209 edges, 7352 markings/sec, 470 secs
lola: 3248102 markings, 7764072 edges, 7376 markings/sec, 475 secs
lola: 3284790 markings, 7854304 edges, 7338 markings/sec, 480 secs
lola: 3326665 markings, 7954622 edges, 8375 markings/sec, 485 secs
lola: 3359243 markings, 8036154 edges, 6516 markings/sec, 490 secs
lola: 3397795 markings, 8132372 edges, 7710 markings/sec, 495 secs
lola: 3436698 markings, 8231584 edges, 7781 markings/sec, 500 secs
lola: 3471511 markings, 8318655 edges, 6963 markings/sec, 505 secs
lola: 3505731 markings, 8401018 edges, 6844 markings/sec, 510 secs
lola: 3544697 markings, 8495456 edges, 7793 markings/sec, 515 secs
lola: 3582980 markings, 8592903 edges, 7657 markings/sec, 520 secs
lola: 3622647 markings, 8691816 edges, 7933 markings/sec, 525 secs
lola: 3659891 markings, 8784276 edges, 7449 markings/sec, 530 secs
lola: 3699011 markings, 8881475 edges, 7824 markings/sec, 535 secs
lola: 3734756 markings, 8973132 edges, 7149 markings/sec, 540 secs
lola: 3768528 markings, 9060520 edges, 6754 markings/sec, 545 secs
lola: 3804616 markings, 9152652 edges, 7218 markings/sec, 550 secs
lola: 3839755 markings, 9240470 edges, 7028 markings/sec, 555 secs
lola: 3877869 markings, 9330221 edges, 7623 markings/sec, 560 secs
lola: 3918915 markings, 9426003 edges, 8209 markings/sec, 565 secs
lola: 3955617 markings, 9515749 edges, 7340 markings/sec, 570 secs
lola: 3992761 markings, 9611955 edges, 7429 markings/sec, 575 secs
lola: 4033769 markings, 9710231 edges, 8202 markings/sec, 580 secs
lola: 4071398 markings, 9801551 edges, 7526 markings/sec, 585 secs
lola: 4115012 markings, 9905827 edges, 8723 markings/sec, 590 secs
lola: 4154244 markings, 10001200 edges, 7846 markings/sec, 595 secs
lola: 4194425 markings, 10097345 edges, 8036 markings/sec, 600 secs
lola: 4229333 markings, 10186949 edges, 6982 markings/sec, 605 secs
lola: 4269156 markings, 10285924 edges, 7965 markings/sec, 610 secs
lola: 4309276 markings, 10385184 edges, 8024 markings/sec, 615 secs
lola: 4348818 markings, 10486593 edges, 7908 markings/sec, 620 secs
lola: 4383775 markings, 10574373 edges, 6991 markings/sec, 625 secs
lola: 4421997 markings, 10669581 edges, 7644 markings/sec, 630 secs
lola: 4462772 markings, 10767662 edges, 8155 markings/sec, 635 secs
lola: 4504880 markings, 10867424 edges, 8422 markings/sec, 640 secs
lola: 4541745 markings, 10960751 edges, 7373 markings/sec, 645 secs
lola: 4577610 markings, 11049728 edges, 7173 markings/sec, 650 secs
lola: 4610222 markings, 11125914 edges, 6522 markings/sec, 655 secs
lola: 4643918 markings, 11207828 edges, 6739 markings/sec, 660 secs
lola: time limit reached - aborting
lola:
preliminary result: no unknown unknown no yes no no no unknown no no no no no no no
lola:
preliminary result: no unknown unknown no yes no no no unknown no no no no no no no
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no unknown unknown no yes no no no unknown no no no no no no no
lola: memory consumption: 1445652 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: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no unknown unknown no yes no no no unknown no no no no no no no
lola: memory consumption: 1445652 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLCardinality.json
lola: closed JSON file LTLCardinality.json
rslt: finished
BK_STOP 1589924556912
--------------------
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="Raft-PT-06"
export BK_EXAMINATION="LTLCardinality"
export BK_TOOL="win2019"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool win2019"
echo " Input is Raft-PT-06, 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 r150-smll-158961529300063"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Raft-PT-06.tgz
mv Raft-PT-06 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 ;