About the Execution of 2019-Gold for DES-PT-01b
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
5263.830 | 3570203.00 | 3656954.00 | 750.20 | FT?T?FTTFTTFT?FF | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/mnt/tpsp/fkordon/mcc2020-input.r060-ebro-158902579500051.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
..........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool win2019
Input is DES-PT-01b, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r060-ebro-158902579500051
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 256K
-rw-r--r-- 1 mcc users 3.5K Mar 30 01:51 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 30 01:51 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 28 16:16 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 28 16:16 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.3K Apr 8 14:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 27 08:48 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 22K Mar 27 08:48 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Mar 26 08:15 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Mar 26 08:15 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 68K Mar 24 05:37 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME DES-PT-01b-00
FORMULA_NAME DES-PT-01b-01
FORMULA_NAME DES-PT-01b-02
FORMULA_NAME DES-PT-01b-03
FORMULA_NAME DES-PT-01b-04
FORMULA_NAME DES-PT-01b-05
FORMULA_NAME DES-PT-01b-06
FORMULA_NAME DES-PT-01b-07
FORMULA_NAME DES-PT-01b-08
FORMULA_NAME DES-PT-01b-09
FORMULA_NAME DES-PT-01b-10
FORMULA_NAME DES-PT-01b-11
FORMULA_NAME DES-PT-01b-12
FORMULA_NAME DES-PT-01b-13
FORMULA_NAME DES-PT-01b-14
FORMULA_NAME DES-PT-01b-15
=== Now, execution of the tool begins
BK_START 1589864197201
info: Time: 3600 - MCC
vrfy: Checking LTLCardinality @ DES-PT-01b @ 3570 seconds
FORMULA DES-PT-01b-00 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DES-PT-01b-01 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DES-PT-01b-03 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DES-PT-01b-07 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DES-PT-01b-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DES-PT-01b-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DES-PT-01b-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DES-PT-01b-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DES-PT-01b-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DES-PT-01b-06 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DES-PT-01b-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DES-PT-01b-09 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DES-PT-01b-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for LTLCardinality @ DES-PT-01b
{
"build":
{
"architecture": 64,
"assertions": false,
"build_hostname": "mcc2019",
"build_system": "x86_64-unknown-linux-gnu",
"optimizations": true,
"package_version": "2.0",
"svn_version": "3189M"
},
"call":
{
"exec_host": "mcc2019",
"markinglimit": null,
"parameters":
[
"--pnmlnet",
"model.pnml",
"--xmlformula",
"--formula=LTLCardinality.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--safe",
"--check=modelchecking",
"--stubborn=deletion",
"--stateequation=par",
"--timelimit=3570",
"--localtimelimit=0",
"--preference=force_ltl",
"--json=LTLCardinality.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Tue May 19 04:56:37 2020
",
"timelimit": 3570
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 222
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "FALSE",
"processed_size": 5,
"rewrites": 122
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 0,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 237
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "TRUE",
"processed_size": 4,
"rewrites": 122
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": true
},
"task":
{
"compoundnumber": 1,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 254
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "TRUE",
"processed_size": 4,
"rewrites": 122
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": true
},
"task":
{
"compoundnumber": 2,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 274
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "TRUE",
"processed_size": 4,
"rewrites": 122
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": true
},
"task":
{
"compoundnumber": 3,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 296
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "FALSE",
"processed_size": 5,
"rewrites": 122
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 4,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 323
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "FALSE",
"processed_size": 5,
"rewrites": 122
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 5,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 356
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "TRUE",
"processed_size": 4,
"rewrites": 122
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": true
},
"task":
{
"compoundnumber": 6,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 395
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "FALSE",
"processed_size": 5,
"rewrites": 122
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 7,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 445
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 1,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 4,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "A (X (((p60 <= p18) U G ((p145 + 1 <= p253)))))",
"processed_size": 47,
"rewrites": 122
},
"result":
{
"edges": 85,
"markings": 85,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 5
},
"compoundnumber": 8,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 508
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 0,
"U": 1,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 4,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "A (X (((p38 <= p208) U (p149 <= p138))))",
"processed_size": 40,
"rewrites": 122
},
"result":
{
"edges": 1,
"markings": 2,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 9,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 593
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 0,
"U": 0,
"X": 1,
"aconj": 1,
"adisj": 0,
"aneg": 1,
"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 (X (F (((p206 <= p54)))))",
"processed_size": 27,
"rewrites": 122
},
"result":
{
"edges": 1,
"markings": 2,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 11,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 742
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 3,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 3,
"visible_transitions": 0
},
"processed": "((p254 + 1 <= p144) OR (1 <= p223))",
"processed_size": 35,
"rewrites": 127
},
"result":
{
"edges": 0,
"markings": 1,
"produced_by": "state space / EG",
"value": true
},
"task":
{
"compoundnumber": 12,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion",
"visible": 9
},
"threads": 1,
"type": "dfs"
},
"type": "eventual_occurrence"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 989
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 3,
"G": 0,
"U": 2,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 5,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 10,
"taut": 0,
"tconj": 1,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 6,
"visible_transitions": 0
},
"processed": "A ((F (((p160 + 1 <= p207) AND (p219 <= p44))) U ((F ((p160 + 1 <= p207)) AND F ((p102 <= p243))) U (p243 + 1 <= p102))))",
"processed_size": 121,
"rewrites": 122
},
"result":
{
"edges": 90,
"markings": 90,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 6
},
"compoundnumber": 15,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"error": null,
"memory": 4985588,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "LTLCardinality.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "FALSE : TRUE : A(G(F(**))) : TRUE : A(F(G(**))) : A(X((** U G(*)))) : A(X((** U **))) : TRUE : FALSE : A(F((** AND *))) : A(X(F(*))) : FALSE : TRUE : A(X(G((** OR F(**))))) : FALSE : A((F(**) U ((F(**) AND F(**)) U **)))"
},
"net":
{
"arcs": 683,
"conflict_clusters": 192,
"places": 284,
"places_significant": 219,
"singleton_clusters": 0,
"transitions": 235
},
"result":
{
"interim_value": "no yes unknown yes unknown no yes yes no yes yes no yes unknown no no ",
"preliminary_value": "no yes unknown yes unknown no yes yes no yes yes no yes unknown no no "
},
"task":
{
"type": "compound"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 519/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 284
lola: finding significant places
lola: 284 places, 235 transitions, 219 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: (3 <= p48)
lola: LP says that atomic proposition is always false: (3 <= p48)
lola: LP says that atomic proposition is always false: (3 <= p28)
lola: LP says that atomic proposition is always false: (2 <= p270)
lola: LP says that atomic proposition is always false: (3 <= p116)
lola: LP says that atomic proposition is always false: (2 <= p69)
lola: LP says that atomic proposition is always false: (2 <= p239)
lola: LP says that atomic proposition is always false: (3 <= p160)
lola: LP says that atomic proposition is always false: (2 <= p270)
lola: LP says that atomic proposition is always false: (2 <= p270)
lola: LP says that atomic proposition is always false: (2 <= p47)
lola: LP says that atomic proposition is always false: (3 <= p129)
lola: LP says that atomic proposition is always false: (3 <= p175)
lola: LP says that atomic proposition is always false: (2 <= p62)
lola: LP says that atomic proposition is always false: (2 <= p62)
lola: LP says that atomic proposition is always false: (3 <= p144)
lola: A ((X ((3 <= p48)) U (NOT(F ((p90 <= p117))) U (3 <= p48)))) : A (((p149 <= p174) OR NOT(((p149 <= p174) U X ((F ((3 <= p28)) AND X (G ((p250 <= p138))))))))) : A (G (X (F (X ((X ((p121 <= p224)) OR G (X ((F ((2 <= p270)) U X (G ((3 <= p116)))))))))))) : A (G (((0 <= p89) OR X (F (X (X ((p107 <= p97)))))))) : A (X (G (F (NOT((() OR NOT(G (F (G ((p208 <= p86))))))))))) : A ((G ((2 <= p239)) U (X ((p60 <= p18)) U NOT(F (X ((p253 <= p145))))))) : A (((X (X ((p123 <= p124))) U G ((3 <= p160))) OR X (((p38 <= p208) U (p149 <= p138))))) : A (G ((() U ()))) : A (G ((p256 + 1 <= 0))) : A (F (((p144 <= p254) AND NOT(((1 <= p223) OR (NOT(G ((1 <= p223))) AND G ((2 <= p47)))))))) : A ((() U X (NOT(G (((p54 + 1 <= p206))))))) : A ((() AND X (((p96 <= p140) OR G ((p216 <= p68)))))) : A ((() OR G (F (G (X (((0 <= p83) OR NOT(X ((p268 <= p235)))))))))) : A (NOT(F (X (NOT(((p96 <= p112) OR F ((p74 <= p51)))))))) : A ((G (((2 <= p62) U X (NOT(F ((p62 <= 1)))))) U (3 <= p144))) : A ((F (((p160 + 1 <= p207) AND (p219 <= p44))) U ((F ((p160 + 1 <= p207)) AND F ((p102 <= p243))) U (p243 + 1 <= p102))))
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:117
lola: rewrite Frontend/Parser/formula_rewrite.k:122
lola: rewrite Frontend/Parser/formula_rewrite.k:185
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:118
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:180
lola: rewrite Frontend/Parser/formula_rewrite.k:282
lola: rewrite Frontend/Parser/formula_rewrite.k:123
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:98
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:121
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:353
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:377
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:124
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:374
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k: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:347
lola: rewrite Frontend/Parser/formula_rewrite.k:374
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:410
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:180
lola: rewrite Frontend/Parser/formula_rewrite.k:122
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:329
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:117
lola: rewrite Frontend/Parser/formula_rewrite.k:121
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:118
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:100
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:124
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:154
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:124
lola: rewrite Frontend/Parser/formula_rewrite.k:151
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:356
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:154
lola: rewrite Frontend/Parser/formula_rewrite.k:279
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:151
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: 122 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: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 122 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 0 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 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 122 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 0 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 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 122 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 0 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 4 will run for 296 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: 122 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 5 will run for 323 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: 122 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 6 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 122 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 0 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 7 will run for 395 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: 122 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 8 will run for 445 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (((p60 <= p18) U G ((p145 + 1 <= p253)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (((p60 <= p18) U G ((p145 + 1 <= p253)))))
lola: processed formula length: 47
lola: 122 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: 85 markings, 85 edges
lola: ========================================
lola: subprocess 9 will run for 508 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (((p38 <= p208) U (p149 <= p138))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (((p38 <= p208) U (p149 <= p138))))
lola: processed formula length: 40
lola: 122 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 10 will run for 593 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (G (((p96 <= p112) OR F ((p74 <= p51))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (G (((p96 <= p112) OR F ((p74 <= p51))))))
lola: processed formula length: 47
lola: 122 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: 266917 markings, 1390518 edges, 53383 markings/sec, 0 secs
lola: 508209 markings, 2749866 edges, 48258 markings/sec, 5 secs
lola: 709922 markings, 4037816 edges, 40343 markings/sec, 10 secs
lola: 907091 markings, 5346536 edges, 39434 markings/sec, 15 secs
lola: 1115563 markings, 6635942 edges, 41694 markings/sec, 20 secs
lola: 1316893 markings, 7943886 edges, 40266 markings/sec, 25 secs
lola: 1543693 markings, 9263266 edges, 45360 markings/sec, 30 secs
lola: 1753859 markings, 10578003 edges, 42033 markings/sec, 35 secs
lola: 1950533 markings, 11889176 edges, 39335 markings/sec, 40 secs
lola: 2142866 markings, 13187468 edges, 38467 markings/sec, 45 secs
lola: 2372677 markings, 14495023 edges, 45962 markings/sec, 50 secs
lola: 2575240 markings, 15790803 edges, 40513 markings/sec, 55 secs
lola: 2769142 markings, 17083042 edges, 38780 markings/sec, 60 secs
lola: 2958498 markings, 18364085 edges, 37871 markings/sec, 65 secs
lola: 3122356 markings, 19680420 edges, 32772 markings/sec, 70 secs
lola: 3295705 markings, 20971794 edges, 34670 markings/sec, 75 secs
lola: 3528070 markings, 22290585 edges, 46473 markings/sec, 80 secs
lola: 3732391 markings, 23594397 edges, 40864 markings/sec, 85 secs
lola: 3931216 markings, 24895323 edges, 39765 markings/sec, 90 secs
lola: 4125767 markings, 26190787 edges, 38910 markings/sec, 95 secs
lola: 4349602 markings, 27511556 edges, 44767 markings/sec, 100 secs
lola: 4542739 markings, 28817199 edges, 38627 markings/sec, 105 secs
lola: 4737723 markings, 30111658 edges, 38997 markings/sec, 110 secs
lola: 4954478 markings, 31420464 edges, 43351 markings/sec, 115 secs
lola: 5145753 markings, 32716980 edges, 38255 markings/sec, 120 secs
lola: 5327290 markings, 34015376 edges, 36307 markings/sec, 125 secs
lola: 5473568 markings, 35309635 edges, 29256 markings/sec, 130 secs
lola: 5711215 markings, 36622091 edges, 47529 markings/sec, 135 secs
lola: 5921502 markings, 37928205 edges, 42057 markings/sec, 140 secs
lola: 6121281 markings, 39238616 edges, 39956 markings/sec, 145 secs
lola: 6317709 markings, 40524022 edges, 39286 markings/sec, 150 secs
lola: 6529872 markings, 41829013 edges, 42433 markings/sec, 155 secs
lola: 6732222 markings, 43138687 edges, 40470 markings/sec, 160 secs
lola: 6921306 markings, 44420752 edges, 37817 markings/sec, 165 secs
lola: 7137385 markings, 45722403 edges, 43216 markings/sec, 170 secs
lola: 7328355 markings, 47006494 edges, 38194 markings/sec, 175 secs
lola: 7515389 markings, 48273269 edges, 37407 markings/sec, 180 secs
lola: 7670876 markings, 49565996 edges, 31097 markings/sec, 185 secs
lola: 7825701 markings, 50841966 edges, 30965 markings/sec, 190 secs
lola: 7975554 markings, 52113506 edges, 29971 markings/sec, 195 secs
lola: 8116494 markings, 53369932 edges, 28188 markings/sec, 200 secs
lola: 8262237 markings, 54635256 edges, 29149 markings/sec, 205 secs
lola: 8406742 markings, 55907150 edges, 28901 markings/sec, 210 secs
lola: 8546755 markings, 57164487 edges, 28003 markings/sec, 215 secs
lola: 8694669 markings, 58430441 edges, 29583 markings/sec, 220 secs
lola: 8830766 markings, 59677859 edges, 27219 markings/sec, 225 secs
lola: 8945292 markings, 60932221 edges, 22905 markings/sec, 230 secs
lola: 9109475 markings, 62166063 edges, 32837 markings/sec, 235 secs
lola: 9340469 markings, 63412104 edges, 46199 markings/sec, 240 secs
lola: 9553146 markings, 64652240 edges, 42535 markings/sec, 245 secs
lola: 9745198 markings, 65880835 edges, 38410 markings/sec, 250 secs
lola: 9935688 markings, 67121211 edges, 38098 markings/sec, 255 secs
lola: 10128385 markings, 68330021 edges, 38539 markings/sec, 260 secs
lola: 10313362 markings, 69529267 edges, 36995 markings/sec, 265 secs
lola: 10521942 markings, 70759696 edges, 41716 markings/sec, 270 secs
lola: 10719761 markings, 71965190 edges, 39564 markings/sec, 275 secs
lola: 10898385 markings, 73179826 edges, 35725 markings/sec, 280 secs
lola: 11080062 markings, 74369193 edges, 36335 markings/sec, 285 secs
lola: 11277286 markings, 75580559 edges, 39445 markings/sec, 290 secs
lola: 11481071 markings, 76774460 edges, 40757 markings/sec, 295 secs
lola: 11659712 markings, 77965888 edges, 35728 markings/sec, 300 secs
lola: 11837001 markings, 79149110 edges, 35458 markings/sec, 305 secs
lola: 12012363 markings, 80365358 edges, 35072 markings/sec, 310 secs
lola: 12158663 markings, 81605367 edges, 29260 markings/sec, 315 secs
lola: 12336213 markings, 82818569 edges, 35510 markings/sec, 320 secs
lola: 12558055 markings, 84079449 edges, 44368 markings/sec, 325 secs
lola: 12749774 markings, 85320967 edges, 38344 markings/sec, 330 secs
lola: 12939185 markings, 86562557 edges, 37882 markings/sec, 335 secs
lola: 13126214 markings, 87803815 edges, 37406 markings/sec, 340 secs
lola: 13338472 markings, 89067541 edges, 42452 markings/sec, 345 secs
lola: 13523560 markings, 90317121 edges, 37018 markings/sec, 350 secs
lola: 13706068 markings, 91551370 edges, 36502 markings/sec, 355 secs
lola: 13917413 markings, 92785917 edges, 42269 markings/sec, 360 secs
lola: 14087353 markings, 93949968 edges, 33988 markings/sec, 365 secs
lola: 14260005 markings, 95112145 edges, 34530 markings/sec, 370 secs
lola: 14408628 markings, 96328506 edges, 29725 markings/sec, 375 secs
lola: 14583048 markings, 97534826 edges, 34884 markings/sec, 380 secs
lola: 14806737 markings, 98806172 edges, 44738 markings/sec, 385 secs
lola: 15000350 markings, 100057376 edges, 38723 markings/sec, 390 secs
lola: 15190809 markings, 101306024 edges, 38092 markings/sec, 395 secs
lola: 15372493 markings, 102509347 edges, 36337 markings/sec, 400 secs
lola: 15578531 markings, 103738852 edges, 41208 markings/sec, 405 secs
lola: 15765052 markings, 104987377 edges, 37304 markings/sec, 410 secs
lola: 15945899 markings, 106209388 edges, 36169 markings/sec, 415 secs
lola: 16156128 markings, 107454810 edges, 42046 markings/sec, 420 secs
lola: 16333493 markings, 108653750 edges, 35473 markings/sec, 425 secs
lola: 16514793 markings, 109879067 edges, 36260 markings/sec, 430 secs
lola: 16663465 markings, 111102655 edges, 29734 markings/sec, 435 secs
lola: 16812052 markings, 112340482 edges, 29717 markings/sec, 440 secs
lola: 16961923 markings, 113590644 edges, 29974 markings/sec, 445 secs
lola: 17098089 markings, 114806050 edges, 27233 markings/sec, 450 secs
lola: 17236104 markings, 116026262 edges, 27603 markings/sec, 455 secs
lola: 17381396 markings, 117269290 edges, 29058 markings/sec, 460 secs
lola: 17516249 markings, 118504344 edges, 26971 markings/sec, 465 secs
lola: 17660575 markings, 119716071 edges, 28865 markings/sec, 470 secs
lola: 17793546 markings, 120931700 edges, 26594 markings/sec, 475 secs
lola: 17914909 markings, 122153952 edges, 24273 markings/sec, 480 secs
lola: 18024468 markings, 123361306 edges, 21912 markings/sec, 485 secs
lola: 18260543 markings, 124604323 edges, 47215 markings/sec, 490 secs
lola: 18486292 markings, 125865203 edges, 45150 markings/sec, 495 secs
lola: 18682848 markings, 127095573 edges, 39311 markings/sec, 500 secs
lola: 18874011 markings, 128340800 edges, 38233 markings/sec, 505 secs
lola: 19068467 markings, 129564975 edges, 38891 markings/sec, 510 secs
lola: 19261038 markings, 130792898 edges, 38514 markings/sec, 515 secs
lola: 19457884 markings, 132016450 edges, 39369 markings/sec, 520 secs
lola: 19666842 markings, 133226331 edges, 41792 markings/sec, 525 secs
lola: 19853112 markings, 134465170 edges, 37254 markings/sec, 530 secs
lola: 20037343 markings, 135697603 edges, 36846 markings/sec, 535 secs
lola: 20224216 markings, 136901041 edges, 37375 markings/sec, 540 secs
lola: 20434898 markings, 138114354 edges, 42136 markings/sec, 545 secs
lola: 20623932 markings, 139342324 edges, 37807 markings/sec, 550 secs
lola: 20801607 markings, 140527256 edges, 35535 markings/sec, 555 secs
lola: 20979263 markings, 141734330 edges, 35531 markings/sec, 560 secs
lola: 21129378 markings, 142937828 edges, 30023 markings/sec, 565 secs
lola: 21281782 markings, 144137777 edges, 30481 markings/sec, 570 secs
lola: 21501572 markings, 145361088 edges, 43958 markings/sec, 575 secs
lola: 21698093 markings, 146597538 edges, 39304 markings/sec, 580 secs
lola: 21887643 markings, 147840049 edges, 37910 markings/sec, 585 secs
lola: local time limit reached - aborting
lola:
preliminary result: no yes unknown yes unknown no yes yes no unknown unknown no yes unknown no unknown
lola: memory consumption: 3168236 KB
lola: time consumption: 601 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 11 will run for 593 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (F (((p206 <= p54)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (F (((p206 <= p54)))))
lola: processed formula length: 27
lola: 122 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: 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 12 will run for 742 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (((p144 <= p254) AND (p223 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:749
lola: rewrite Frontend/Parser/formula_rewrite.k:764
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: rewrite Frontend/Parser/formula_rewrite.k:797
lola: processed formula: ((p254 + 1 <= p144) OR (1 <= p223))
lola: processed formula length: 35
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 / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate eventually occurs.
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 13 will run for 989 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F ((p121 <= p224))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F ((p121 <= p224))))
lola: processed formula length: 26
lola: 122 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: 250666 markings, 1358985 edges, 50133 markings/sec, 0 secs
lola: 466612 markings, 2705954 edges, 43189 markings/sec, 5 secs
lola: 665836 markings, 4031678 edges, 39845 markings/sec, 10 secs
lola: 869097 markings, 5388660 edges, 40652 markings/sec, 15 secs
lola: 1058100 markings, 6735342 edges, 37801 markings/sec, 20 secs
lola: 1245323 markings, 8093743 edges, 37445 markings/sec, 25 secs
lola: 1421770 markings, 9407867 edges, 35289 markings/sec, 30 secs
lola: 1588870 markings, 10725544 edges, 33420 markings/sec, 35 secs
lola: 1743479 markings, 12027102 edges, 30922 markings/sec, 40 secs
lola: 1912104 markings, 13320537 edges, 33725 markings/sec, 45 secs
lola: 2113920 markings, 14677705 edges, 40363 markings/sec, 50 secs
lola: 2318521 markings, 16030067 edges, 40920 markings/sec, 55 secs
lola: 2515604 markings, 17345794 edges, 39417 markings/sec, 60 secs
lola: 2703205 markings, 18693076 edges, 37520 markings/sec, 65 secs
lola: 2877745 markings, 19976835 edges, 34908 markings/sec, 70 secs
lola: 3046713 markings, 21275991 edges, 33794 markings/sec, 75 secs
lola: 3189566 markings, 22577411 edges, 28571 markings/sec, 80 secs
lola: 3324699 markings, 23828712 edges, 27027 markings/sec, 85 secs
lola: 3519964 markings, 25148744 edges, 39053 markings/sec, 90 secs
lola: 3700593 markings, 26480851 edges, 36126 markings/sec, 95 secs
lola: 3895883 markings, 27813334 edges, 39058 markings/sec, 100 secs
lola: 4075516 markings, 29139814 edges, 35927 markings/sec, 105 secs
lola: 4253127 markings, 30461900 edges, 35522 markings/sec, 110 secs
lola: 4413858 markings, 31743030 edges, 32146 markings/sec, 115 secs
lola: 4557450 markings, 33039739 edges, 28718 markings/sec, 120 secs
lola: 4723394 markings, 34342715 edges, 33189 markings/sec, 125 secs
lola: 4920757 markings, 35703857 edges, 39473 markings/sec, 130 secs
lola: 5122262 markings, 37061968 edges, 40301 markings/sec, 135 secs
lola: 5299029 markings, 38397405 edges, 35353 markings/sec, 140 secs
lola: 5477867 markings, 39725866 edges, 35768 markings/sec, 145 secs
lola: 5641729 markings, 40984690 edges, 32772 markings/sec, 150 secs
lola: 5785227 markings, 42293523 edges, 28700 markings/sec, 155 secs
lola: 5924930 markings, 43585613 edges, 27941 markings/sec, 160 secs
lola: 6120761 markings, 44901226 edges, 39166 markings/sec, 165 secs
lola: 6337928 markings, 46252304 edges, 43433 markings/sec, 170 secs
lola: 6546054 markings, 47550206 edges, 41625 markings/sec, 175 secs
lola: 6763755 markings, 48853886 edges, 43540 markings/sec, 180 secs
lola: 6963567 markings, 50143455 edges, 39962 markings/sec, 185 secs
lola: 7151070 markings, 51421171 edges, 37501 markings/sec, 190 secs
lola: 7351329 markings, 52702518 edges, 40052 markings/sec, 195 secs
lola: 7531592 markings, 53980912 edges, 36053 markings/sec, 200 secs
lola: 7706739 markings, 55264992 edges, 35029 markings/sec, 205 secs
lola: 7873336 markings, 56501200 edges, 33319 markings/sec, 210 secs
lola: 8045017 markings, 57698956 edges, 34336 markings/sec, 215 secs
lola: 8257348 markings, 59038440 edges, 42466 markings/sec, 220 secs
lola: 8447234 markings, 60367228 edges, 37977 markings/sec, 225 secs
lola: 8635985 markings, 61664186 edges, 37750 markings/sec, 230 secs
lola: 8809373 markings, 62979257 edges, 34678 markings/sec, 235 secs
lola: 8974155 markings, 64268230 edges, 32956 markings/sec, 240 secs
lola: 9138460 markings, 65481764 edges, 32861 markings/sec, 245 secs
lola: 9330395 markings, 66765041 edges, 38387 markings/sec, 250 secs
lola: 9529958 markings, 68074572 edges, 39913 markings/sec, 255 secs
lola: 9667118 markings, 69401079 edges, 27432 markings/sec, 260 secs
lola: 9837485 markings, 70705579 edges, 34073 markings/sec, 265 secs
lola: 9990146 markings, 71993780 edges, 30532 markings/sec, 270 secs
lola: 10136777 markings, 73272148 edges, 29326 markings/sec, 275 secs
lola: 10290549 markings, 74459108 edges, 30754 markings/sec, 280 secs
lola: 10443876 markings, 75635749 edges, 30665 markings/sec, 285 secs
lola: 10591890 markings, 76807148 edges, 29603 markings/sec, 290 secs
lola: 10727609 markings, 77986068 edges, 27144 markings/sec, 295 secs
lola: 10918115 markings, 79285152 edges, 38101 markings/sec, 300 secs
lola: 11111790 markings, 80622606 edges, 38735 markings/sec, 305 secs
lola: 11298213 markings, 81923017 edges, 37285 markings/sec, 310 secs
lola: 11481484 markings, 83251676 edges, 36654 markings/sec, 315 secs
lola: 11651680 markings, 84552802 edges, 34039 markings/sec, 320 secs
lola: 11838924 markings, 85810067 edges, 37449 markings/sec, 325 secs
lola: 12025025 markings, 87084561 edges, 37220 markings/sec, 330 secs
lola: 12198103 markings, 88358270 edges, 34616 markings/sec, 335 secs
lola: 12396124 markings, 89648185 edges, 39604 markings/sec, 340 secs
lola: 12590366 markings, 90972965 edges, 38848 markings/sec, 345 secs
lola: 12768605 markings, 92260632 edges, 35648 markings/sec, 350 secs
lola: 12948662 markings, 93566886 edges, 36011 markings/sec, 355 secs
lola: 13106584 markings, 94850126 edges, 31584 markings/sec, 360 secs
lola: 13290102 markings, 96093470 edges, 36704 markings/sec, 365 secs
lola: 13443039 markings, 97342426 edges, 30587 markings/sec, 370 secs
lola: 13602808 markings, 98602545 edges, 31954 markings/sec, 375 secs
lola: 13778069 markings, 99881733 edges, 35052 markings/sec, 380 secs
lola: 13927141 markings, 101177799 edges, 29814 markings/sec, 385 secs
lola: 14070411 markings, 102396108 edges, 28654 markings/sec, 390 secs
lola: 14218114 markings, 103555205 edges, 29541 markings/sec, 395 secs
lola: 14345891 markings, 104732447 edges, 25555 markings/sec, 400 secs
lola: 14472066 markings, 105899353 edges, 25235 markings/sec, 405 secs
lola: 14665348 markings, 107189265 edges, 38656 markings/sec, 410 secs
lola: 14852993 markings, 108489979 edges, 37529 markings/sec, 415 secs
lola: 15020560 markings, 109771099 edges, 33513 markings/sec, 420 secs
lola: 15201214 markings, 111069471 edges, 36131 markings/sec, 425 secs
lola: 15363352 markings, 112345969 edges, 32428 markings/sec, 430 secs
lola: 15515942 markings, 113573618 edges, 30518 markings/sec, 435 secs
lola: 15712429 markings, 114879367 edges, 39297 markings/sec, 440 secs
lola: 15898397 markings, 116185082 edges, 37194 markings/sec, 445 secs
lola: 16080591 markings, 117476282 edges, 36439 markings/sec, 450 secs
lola: 16246809 markings, 118725407 edges, 33244 markings/sec, 455 secs
lola: 16405739 markings, 119975345 edges, 31786 markings/sec, 460 secs
lola: 16585728 markings, 121251254 edges, 35998 markings/sec, 465 secs
lola: 16752265 markings, 122553930 edges, 33307 markings/sec, 470 secs
lola: 16912582 markings, 123792755 edges, 32063 markings/sec, 475 secs
lola: 17073884 markings, 125060505 edges, 32260 markings/sec, 480 secs
lola: 17223164 markings, 126294349 edges, 29856 markings/sec, 485 secs
lola: 17365209 markings, 127517606 edges, 28409 markings/sec, 490 secs
lola: 17509764 markings, 128693203 edges, 28911 markings/sec, 495 secs
lola: 17644171 markings, 129900878 edges, 26881 markings/sec, 500 secs
lola: 17807176 markings, 131159292 edges, 32601 markings/sec, 505 secs
lola: 17994650 markings, 132441042 edges, 37495 markings/sec, 510 secs
lola: 18182869 markings, 133764548 edges, 37644 markings/sec, 515 secs
lola: 18355434 markings, 135051116 edges, 34513 markings/sec, 520 secs
lola: 18559349 markings, 136368222 edges, 40783 markings/sec, 525 secs
lola: 18749088 markings, 137671418 edges, 37948 markings/sec, 530 secs
lola: 18928577 markings, 138955238 edges, 35898 markings/sec, 535 secs
lola: 19100985 markings, 140220221 edges, 34482 markings/sec, 540 secs
lola: 19265116 markings, 141477625 edges, 32826 markings/sec, 545 secs
lola: 19420126 markings, 142728892 edges, 31002 markings/sec, 550 secs
lola: 19592222 markings, 143946974 edges, 34419 markings/sec, 555 secs
lola: 19755224 markings, 145228946 edges, 32600 markings/sec, 560 secs
lola: 19917692 markings, 146477439 edges, 32494 markings/sec, 565 secs
lola: 20075604 markings, 147692031 edges, 31582 markings/sec, 570 secs
lola: 20248897 markings, 148949221 edges, 34659 markings/sec, 575 secs
lola: 20394503 markings, 150210833 edges, 29121 markings/sec, 580 secs
lola: 20524443 markings, 151440493 edges, 25988 markings/sec, 585 secs
lola: 20668825 markings, 152602006 edges, 28876 markings/sec, 590 secs
lola: 20815774 markings, 153767608 edges, 29390 markings/sec, 595 secs
lola: 20942688 markings, 154946186 edges, 25383 markings/sec, 600 secs
lola: 21064820 markings, 156106962 edges, 24426 markings/sec, 605 secs
lola: 21276004 markings, 157417985 edges, 42237 markings/sec, 610 secs
lola: 21471313 markings, 158680558 edges, 39062 markings/sec, 615 secs
lola: 21692433 markings, 159958506 edges, 44224 markings/sec, 620 secs
lola: 21890687 markings, 161236066 edges, 39651 markings/sec, 625 secs
lola: 22070239 markings, 162483932 edges, 35910 markings/sec, 630 secs
lola: 22258289 markings, 163725684 edges, 37610 markings/sec, 635 secs
lola: 22436245 markings, 164974200 edges, 35591 markings/sec, 640 secs
lola: 22608606 markings, 166241249 edges, 34472 markings/sec, 645 secs
lola: 22760643 markings, 167421558 edges, 30407 markings/sec, 650 secs
lola: 22935552 markings, 168586145 edges, 34982 markings/sec, 655 secs
lola: 23132902 markings, 169881586 edges, 39470 markings/sec, 660 secs
lola: 23315245 markings, 171188513 edges, 36469 markings/sec, 665 secs
lola: 23493592 markings, 172449573 edges, 35669 markings/sec, 670 secs
lola: 23657382 markings, 173751277 edges, 32758 markings/sec, 675 secs
lola: 23820760 markings, 175037071 edges, 32676 markings/sec, 680 secs
lola: 23994029 markings, 176253417 edges, 34654 markings/sec, 685 secs
lola: 24182931 markings, 177570916 edges, 37780 markings/sec, 690 secs
lola: 24333501 markings, 178838597 edges, 30114 markings/sec, 695 secs
lola: 24492332 markings, 180132222 edges, 31766 markings/sec, 700 secs
lola: 24643867 markings, 181391336 edges, 30307 markings/sec, 705 secs
lola: 24789882 markings, 182666502 edges, 29203 markings/sec, 710 secs
lola: 24947338 markings, 183866402 edges, 31491 markings/sec, 715 secs
lola: 25101804 markings, 185034158 edges, 30893 markings/sec, 720 secs
lola: 25251144 markings, 186215155 edges, 29868 markings/sec, 725 secs
lola: 25387725 markings, 187405068 edges, 27316 markings/sec, 730 secs
lola: 25567485 markings, 188670683 edges, 35952 markings/sec, 735 secs
lola: 25757267 markings, 190010420 edges, 37956 markings/sec, 740 secs
lola: 25949462 markings, 191329781 edges, 38439 markings/sec, 745 secs
lola: 26113618 markings, 192647723 edges, 32831 markings/sec, 750 secs
lola: 26290317 markings, 193910476 edges, 35340 markings/sec, 755 secs
lola: 26474344 markings, 195156320 edges, 36805 markings/sec, 760 secs
lola: 26655372 markings, 196422050 edges, 36206 markings/sec, 765 secs
lola: 26816526 markings, 197636533 edges, 32231 markings/sec, 770 secs
lola: 27018149 markings, 198950589 edges, 40325 markings/sec, 775 secs
lola: 27192735 markings, 200220336 edges, 34917 markings/sec, 780 secs
lola: 27365933 markings, 201495641 edges, 34640 markings/sec, 785 secs
lola: 27524644 markings, 202796109 edges, 31742 markings/sec, 790 secs
lola: 27693162 markings, 204024884 edges, 33704 markings/sec, 795 secs
lola: 27861177 markings, 205330134 edges, 33603 markings/sec, 800 secs
lola: 28024439 markings, 206590944 edges, 32652 markings/sec, 805 secs
lola: 28186147 markings, 207893338 edges, 32342 markings/sec, 810 secs
lola: 28332644 markings, 209183125 edges, 29299 markings/sec, 815 secs
lola: 28480925 markings, 210365285 edges, 29656 markings/sec, 820 secs
lola: 28622677 markings, 211555109 edges, 28350 markings/sec, 825 secs
lola: 28751025 markings, 212737029 edges, 25670 markings/sec, 830 secs
lola: 28896174 markings, 213924316 edges, 29030 markings/sec, 835 secs
lola: 29085509 markings, 215212614 edges, 37867 markings/sec, 840 secs
lola: 29255645 markings, 216487861 edges, 34027 markings/sec, 845 secs
lola: 29427386 markings, 217738318 edges, 34348 markings/sec, 850 secs
lola: 29587160 markings, 218974460 edges, 31955 markings/sec, 855 secs
lola: 29737129 markings, 220210605 edges, 29994 markings/sec, 860 secs
lola: 29916079 markings, 221451156 edges, 35790 markings/sec, 865 secs
lola: 30096355 markings, 222717755 edges, 36055 markings/sec, 870 secs
lola: 30269820 markings, 223975727 edges, 34693 markings/sec, 875 secs
lola: 30433708 markings, 225233153 edges, 32778 markings/sec, 880 secs
lola: 30586494 markings, 226449274 edges, 30557 markings/sec, 885 secs
lola: 30751194 markings, 227706330 edges, 32940 markings/sec, 890 secs
lola: 30913386 markings, 228989138 edges, 32438 markings/sec, 895 secs
lola: 31085337 markings, 230218788 edges, 34390 markings/sec, 900 secs
lola: 31230808 markings, 231499591 edges, 29094 markings/sec, 905 secs
lola: 31373070 markings, 232730313 edges, 28452 markings/sec, 910 secs
lola: 31528427 markings, 233900502 edges, 31071 markings/sec, 915 secs
lola: 31655803 markings, 235057449 edges, 25475 markings/sec, 920 secs
lola: 31787567 markings, 236244639 edges, 26353 markings/sec, 925 secs
lola: 31959345 markings, 237485278 edges, 34356 markings/sec, 930 secs
lola: 32148611 markings, 238784681 edges, 37853 markings/sec, 935 secs
lola: 32316554 markings, 240045010 edges, 33589 markings/sec, 940 secs
lola: 32500741 markings, 241298540 edges, 36837 markings/sec, 945 secs
lola: 32682632 markings, 242544678 edges, 36378 markings/sec, 950 secs
lola: 32849868 markings, 243793467 edges, 33447 markings/sec, 955 secs
lola: 33024056 markings, 245055071 edges, 34838 markings/sec, 960 secs
lola: 33187140 markings, 246311149 edges, 32617 markings/sec, 965 secs
lola: 33337490 markings, 247520024 edges, 30070 markings/sec, 970 secs
lola: 33497170 markings, 248728489 edges, 31936 markings/sec, 975 secs
lola: 33660132 markings, 250000075 edges, 32592 markings/sec, 980 secs
lola: local time limit reached - aborting
lola:
preliminary result: no yes unknown yes unknown no yes yes no yes yes no yes unknown no unknown
lola: memory consumption: 5202672 KB
lola: time consumption: 1591 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 989 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G ((p208 <= p86))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G ((p208 <= p86))))
lola: processed formula length: 25
lola: 122 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: 168481 markings, 1393347 edges, 33696 markings/sec, 0 secs
lola: 300501 markings, 2775489 edges, 26404 markings/sec, 5 secs
lola: 443947 markings, 4160018 edges, 28689 markings/sec, 10 secs
lola: 576434 markings, 5504490 edges, 26497 markings/sec, 15 secs
lola: 702673 markings, 6871731 edges, 25248 markings/sec, 20 secs
lola: 874014 markings, 8262507 edges, 34268 markings/sec, 25 secs
lola: 1023207 markings, 9644972 edges, 29839 markings/sec, 30 secs
lola: 1176654 markings, 11026345 edges, 30689 markings/sec, 35 secs
lola: 1308192 markings, 12322450 edges, 26308 markings/sec, 40 secs
lola: 1441358 markings, 13691571 edges, 26633 markings/sec, 45 secs
lola: 1566741 markings, 15039640 edges, 25077 markings/sec, 50 secs
lola: 1701919 markings, 16399367 edges, 27036 markings/sec, 55 secs
lola: 1838737 markings, 17716985 edges, 27364 markings/sec, 60 secs
lola: 1975401 markings, 19077773 edges, 27333 markings/sec, 65 secs
lola: 2094496 markings, 20422222 edges, 23819 markings/sec, 70 secs
lola: 2227117 markings, 21779992 edges, 26524 markings/sec, 75 secs
lola: 2358697 markings, 23141431 edges, 26316 markings/sec, 80 secs
lola: 2482326 markings, 24498096 edges, 24726 markings/sec, 85 secs
lola: 2596110 markings, 25846360 edges, 22757 markings/sec, 90 secs
lola: 2704979 markings, 27171237 edges, 21774 markings/sec, 95 secs
lola: 2830215 markings, 28484436 edges, 25047 markings/sec, 100 secs
lola: 2923693 markings, 29843468 edges, 18696 markings/sec, 105 secs
lola: 3029916 markings, 31189428 edges, 21245 markings/sec, 110 secs
lola: 3146559 markings, 32500660 edges, 23329 markings/sec, 115 secs
lola: 3273504 markings, 33864815 edges, 25389 markings/sec, 120 secs
lola: 3414886 markings, 35245684 edges, 28276 markings/sec, 125 secs
lola: 3542541 markings, 36616351 edges, 25531 markings/sec, 130 secs
lola: 3663316 markings, 37986818 edges, 24155 markings/sec, 135 secs
lola: 3787006 markings, 39339705 edges, 24738 markings/sec, 140 secs
lola: 3919934 markings, 40679109 edges, 26586 markings/sec, 145 secs
lola: 4048634 markings, 42013359 edges, 25740 markings/sec, 150 secs
lola: 4153769 markings, 43335862 edges, 21027 markings/sec, 155 secs
lola: 4258250 markings, 44669622 edges, 20896 markings/sec, 160 secs
lola: 4362633 markings, 46003644 edges, 20877 markings/sec, 165 secs
lola: 4477018 markings, 47312870 edges, 22877 markings/sec, 170 secs
lola: 4585421 markings, 48674717 edges, 21681 markings/sec, 175 secs
lola: 4687867 markings, 50002649 edges, 20489 markings/sec, 180 secs
lola: 4795449 markings, 51321408 edges, 21516 markings/sec, 185 secs
lola: 4907302 markings, 52650372 edges, 22371 markings/sec, 190 secs
lola: 5025937 markings, 53970281 edges, 23727 markings/sec, 195 secs
lola: 5135613 markings, 55316616 edges, 21935 markings/sec, 200 secs
lola: 5246543 markings, 56640945 edges, 22186 markings/sec, 205 secs
lola: 5370902 markings, 57965787 edges, 24872 markings/sec, 210 secs
lola: 5512712 markings, 59351698 edges, 28362 markings/sec, 215 secs
lola: 5635597 markings, 60764029 edges, 24577 markings/sec, 220 secs
lola: 5772384 markings, 62137188 edges, 27357 markings/sec, 225 secs
lola: 5873694 markings, 63519986 edges, 20262 markings/sec, 230 secs
lola: 5994286 markings, 64872346 edges, 24118 markings/sec, 235 secs
lola: 6108876 markings, 66244181 edges, 22918 markings/sec, 240 secs
lola: 6266882 markings, 67623238 edges, 31601 markings/sec, 245 secs
lola: 6409961 markings, 68983732 edges, 28616 markings/sec, 250 secs
lola: 6551503 markings, 70350206 edges, 28308 markings/sec, 255 secs
lola: 6684829 markings, 71698017 edges, 26665 markings/sec, 260 secs
lola: 6810625 markings, 73037097 edges, 25159 markings/sec, 265 secs
lola: 6923335 markings, 74337228 edges, 22542 markings/sec, 270 secs
lola: 7068745 markings, 75687527 edges, 29082 markings/sec, 275 secs
lola: 7165666 markings, 77056213 edges, 19384 markings/sec, 280 secs
lola: 7295009 markings, 78420110 edges, 25869 markings/sec, 285 secs
lola: 7421220 markings, 79738579 edges, 25242 markings/sec, 290 secs
lola: 7571674 markings, 81072116 edges, 30091 markings/sec, 295 secs
lola: 7687917 markings, 82407654 edges, 23249 markings/sec, 300 secs
lola: 7798990 markings, 83750073 edges, 22215 markings/sec, 305 secs
lola: 7924020 markings, 85096419 edges, 25006 markings/sec, 310 secs
lola: 8046559 markings, 86432033 edges, 24508 markings/sec, 315 secs
lola: 8155081 markings, 87748864 edges, 21704 markings/sec, 320 secs
lola: 8272025 markings, 89072129 edges, 23389 markings/sec, 325 secs
lola: 8381809 markings, 90399340 edges, 21957 markings/sec, 330 secs
lola: 8493408 markings, 91729320 edges, 22320 markings/sec, 335 secs
lola: 8601336 markings, 93033078 edges, 21586 markings/sec, 340 secs
lola: 8701915 markings, 94310460 edges, 20116 markings/sec, 345 secs
lola: 8834509 markings, 95617541 edges, 26519 markings/sec, 350 secs
lola: 8984390 markings, 96910921 edges, 29976 markings/sec, 355 secs
lola: 9118339 markings, 98197626 edges, 26790 markings/sec, 360 secs
lola: 9216758 markings, 99545769 edges, 19684 markings/sec, 365 secs
lola: 9306593 markings, 100877980 edges, 17967 markings/sec, 370 secs
lola: 9389460 markings, 102204896 edges, 16573 markings/sec, 375 secs
lola: 9478736 markings, 103543669 edges, 17855 markings/sec, 380 secs
lola: 9564493 markings, 104877593 edges, 17151 markings/sec, 385 secs
lola: 9654643 markings, 106190948 edges, 18030 markings/sec, 390 secs
lola: 9764554 markings, 107513839 edges, 21982 markings/sec, 395 secs
lola: 9895005 markings, 108851212 edges, 26090 markings/sec, 400 secs
lola: 10004438 markings, 110182261 edges, 21887 markings/sec, 405 secs
lola: 10129500 markings, 111501939 edges, 25012 markings/sec, 410 secs
lola: 10253148 markings, 112816188 edges, 24730 markings/sec, 415 secs
lola: 10371130 markings, 114116436 edges, 23596 markings/sec, 420 secs
lola: 10487908 markings, 115400075 edges, 23356 markings/sec, 425 secs
lola: 10587676 markings, 116683068 edges, 19954 markings/sec, 430 secs
lola: 10712397 markings, 118061137 edges, 24944 markings/sec, 435 secs
lola: 10831297 markings, 119441671 edges, 23780 markings/sec, 440 secs
lola: 10947062 markings, 120751582 edges, 23153 markings/sec, 445 secs
lola: 11033985 markings, 122075115 edges, 17385 markings/sec, 450 secs
lola: 11135843 markings, 123397239 edges, 20372 markings/sec, 455 secs
lola: 11254941 markings, 124692756 edges, 23820 markings/sec, 460 secs
lola: 11388265 markings, 125971523 edges, 26665 markings/sec, 465 secs
lola: 11507352 markings, 127277781 edges, 23817 markings/sec, 470 secs
lola: 11616692 markings, 128595807 edges, 21868 markings/sec, 475 secs
lola: 11692467 markings, 129948566 edges, 15155 markings/sec, 480 secs
lola: 11765936 markings, 131292925 edges, 14694 markings/sec, 485 secs
lola: 11841673 markings, 132641499 edges, 15147 markings/sec, 490 secs
lola: 11918431 markings, 133997865 edges, 15352 markings/sec, 495 secs
lola: 11989371 markings, 135309850 edges, 14188 markings/sec, 500 secs
lola: 12064255 markings, 136628636 edges, 14977 markings/sec, 505 secs
lola: 12181541 markings, 137879138 edges, 23457 markings/sec, 510 secs
lola: 12302273 markings, 139141774 edges, 24146 markings/sec, 515 secs
lola: 12394939 markings, 140442715 edges, 18533 markings/sec, 520 secs
lola: 12468041 markings, 141762059 edges, 14620 markings/sec, 525 secs
lola: 12565464 markings, 143024433 edges, 19485 markings/sec, 530 secs
lola: 12710601 markings, 144333825 edges, 29027 markings/sec, 535 secs
lola: 12850046 markings, 145665701 edges, 27889 markings/sec, 540 secs
lola: 12975898 markings, 146976074 edges, 25170 markings/sec, 545 secs
lola: 13101765 markings, 148282095 edges, 25173 markings/sec, 550 secs
lola: 13226760 markings, 149613077 edges, 24999 markings/sec, 555 secs
lola: 13347751 markings, 150946967 edges, 24198 markings/sec, 560 secs
lola: 13462573 markings, 152274900 edges, 22964 markings/sec, 565 secs
lola: 13565981 markings, 153581175 edges, 20682 markings/sec, 570 secs
lola: 13688266 markings, 154898359 edges, 24457 markings/sec, 575 secs
lola: 13793185 markings, 156194403 edges, 20984 markings/sec, 580 secs
lola: 13902216 markings, 157477787 edges, 21806 markings/sec, 585 secs
lola: 14001332 markings, 158770760 edges, 19823 markings/sec, 590 secs
lola: 14098445 markings, 160063703 edges, 19423 markings/sec, 595 secs
lola: 14203469 markings, 161342136 edges, 21005 markings/sec, 600 secs
lola: 14326625 markings, 162647236 edges, 24631 markings/sec, 605 secs
lola: 14430491 markings, 163951796 edges, 20773 markings/sec, 610 secs
lola: 14547794 markings, 165216961 edges, 23461 markings/sec, 615 secs
lola: 14628912 markings, 166513030 edges, 16224 markings/sec, 620 secs
lola: 14721044 markings, 167798396 edges, 18426 markings/sec, 625 secs
lola: 14833888 markings, 169092625 edges, 22569 markings/sec, 630 secs
lola: 14942989 markings, 170375385 edges, 21820 markings/sec, 635 secs
lola: 15052220 markings, 171661570 edges, 21846 markings/sec, 640 secs
lola: 15144453 markings, 172937934 edges, 18447 markings/sec, 645 secs
lola: 15274663 markings, 174264483 edges, 26042 markings/sec, 650 secs
lola: 15391816 markings, 175527996 edges, 23431 markings/sec, 655 secs
lola: 15501331 markings, 176853657 edges, 21903 markings/sec, 660 secs
lola: 15605985 markings, 178155705 edges, 20931 markings/sec, 665 secs
lola: 15711814 markings, 179451690 edges, 21166 markings/sec, 670 secs
lola: 15828914 markings, 180756689 edges, 23420 markings/sec, 675 secs
lola: 15941371 markings, 182064569 edges, 22491 markings/sec, 680 secs
lola: 16048317 markings, 183387790 edges, 21389 markings/sec, 685 secs
lola: 16140245 markings, 184691671 edges, 18386 markings/sec, 690 secs
lola: 16231631 markings, 185974401 edges, 18277 markings/sec, 695 secs
lola: 16323438 markings, 187262319 edges, 18361 markings/sec, 700 secs
lola: 16425262 markings, 188505096 edges, 20365 markings/sec, 705 secs
lola: 16517687 markings, 189813980 edges, 18485 markings/sec, 710 secs
lola: 16608804 markings, 191135947 edges, 18223 markings/sec, 715 secs
lola: 16705375 markings, 192437934 edges, 19314 markings/sec, 720 secs
lola: 16802515 markings, 193730885 edges, 19428 markings/sec, 725 secs
lola: 16905153 markings, 195006634 edges, 20528 markings/sec, 730 secs
lola: 17005914 markings, 196287291 edges, 20152 markings/sec, 735 secs
lola: 17101923 markings, 197588550 edges, 19202 markings/sec, 740 secs
lola: 17199511 markings, 198857963 edges, 19518 markings/sec, 745 secs
lola: 17305793 markings, 200151640 edges, 21256 markings/sec, 750 secs
lola: 17431353 markings, 201452971 edges, 25112 markings/sec, 755 secs
lola: 17561716 markings, 202757343 edges, 26073 markings/sec, 760 secs
lola: 17660872 markings, 204091120 edges, 19831 markings/sec, 765 secs
lola: 17788704 markings, 205405087 edges, 25566 markings/sec, 770 secs
lola: 17908688 markings, 206692226 edges, 23997 markings/sec, 775 secs
lola: 17990797 markings, 208014770 edges, 16422 markings/sec, 780 secs
lola: 18118839 markings, 209340899 edges, 25608 markings/sec, 785 secs
lola: 18222502 markings, 210658407 edges, 20733 markings/sec, 790 secs
lola: 18338230 markings, 211999773 edges, 23146 markings/sec, 795 secs
lola: 18492036 markings, 213404783 edges, 30761 markings/sec, 800 secs
lola: 18634418 markings, 214795918 edges, 28476 markings/sec, 805 secs
lola: 18767823 markings, 216155010 edges, 26681 markings/sec, 810 secs
lola: 18886262 markings, 217494109 edges, 23688 markings/sec, 815 secs
lola: 19009078 markings, 218789792 edges, 24563 markings/sec, 820 secs
lola: 19120150 markings, 220112532 edges, 22214 markings/sec, 825 secs
lola: 19229770 markings, 221439402 edges, 21924 markings/sec, 830 secs
lola: 19369395 markings, 222757512 edges, 27925 markings/sec, 835 secs
lola: 19496365 markings, 224072043 edges, 25394 markings/sec, 840 secs
lola: 19621834 markings, 225386642 edges, 25094 markings/sec, 845 secs
lola: 19741577 markings, 226645517 edges, 23949 markings/sec, 850 secs
lola: 19857311 markings, 227961017 edges, 23147 markings/sec, 855 secs
lola: 19967958 markings, 229283373 edges, 22129 markings/sec, 860 secs
lola: 20081291 markings, 230618293 edges, 22667 markings/sec, 865 secs
lola: 20194191 markings, 231947775 edges, 22580 markings/sec, 870 secs
lola: 20317041 markings, 233257847 edges, 24570 markings/sec, 875 secs
lola: 20427594 markings, 234543250 edges, 22111 markings/sec, 880 secs
lola: 20536028 markings, 235811099 edges, 21687 markings/sec, 885 secs
lola: 20642425 markings, 237098187 edges, 21279 markings/sec, 890 secs
lola: 20756326 markings, 238362974 edges, 22780 markings/sec, 895 secs
lola: 20867951 markings, 239634472 edges, 22325 markings/sec, 900 secs
lola: 20950254 markings, 240931268 edges, 16461 markings/sec, 905 secs
lola: 21060471 markings, 242245311 edges, 22043 markings/sec, 910 secs
lola: 21181330 markings, 243539746 edges, 24172 markings/sec, 915 secs
lola: 21274008 markings, 244846030 edges, 18536 markings/sec, 920 secs
lola: 21369953 markings, 246183593 edges, 19189 markings/sec, 925 secs
lola: 21472384 markings, 247488642 edges, 20486 markings/sec, 930 secs
lola: 21564113 markings, 248793080 edges, 18346 markings/sec, 935 secs
lola: 21695845 markings, 250065143 edges, 26346 markings/sec, 940 secs
lola: 21803419 markings, 251378408 edges, 21515 markings/sec, 945 secs
lola: 21877811 markings, 252671340 edges, 14878 markings/sec, 950 secs
lola: 21955259 markings, 253996272 edges, 15490 markings/sec, 955 secs
lola: 22070075 markings, 255272475 edges, 22963 markings/sec, 960 secs
lola: 22178235 markings, 256549155 edges, 21632 markings/sec, 965 secs
lola: 22300705 markings, 257831089 edges, 24494 markings/sec, 970 secs
lola: 22380772 markings, 259152887 edges, 16013 markings/sec, 975 secs
lola: 22499079 markings, 260455965 edges, 23661 markings/sec, 980 secs
lola: local time limit reached - aborting
lola:
preliminary result: no yes unknown yes unknown no yes yes no yes yes no yes unknown no unknown
lola: memory consumption: 3444288 KB
lola: time consumption: 2580 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 15 will run for 989 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((F (((p160 + 1 <= p207) AND (p219 <= p44))) U ((F ((p160 + 1 <= p207)) AND F ((p102 <= p243))) U (p243 + 1 <= p102))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((F (((p160 + 1 <= p207) AND (p219 <= p44))) U ((F ((p160 + 1 <= p207)) AND F ((p102 <= p243))) U (p243 + 1 <= p102))))
lola: processed formula length: 121
lola: 122 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: 90 markings, 90 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: A (X (G (((p96 <= p112) OR F ((p74 <= p51))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (G (((p96 <= p112) OR F ((p74 <= p51))))))
lola: processed formula length: 47
lola: 122 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: 268392 markings, 1398714 edges, 53678 markings/sec, 0 secs
lola: 515078 markings, 2794531 edges, 49337 markings/sec, 5 secs
lola: 724006 markings, 4127832 edges, 41786 markings/sec, 10 secs
lola: 928848 markings, 5461692 edges, 40968 markings/sec, 15 secs
lola: 1134256 markings, 6752236 edges, 41082 markings/sec, 20 secs
lola: 1333888 markings, 8062447 edges, 39926 markings/sec, 25 secs
lola: 1564999 markings, 9376489 edges, 46222 markings/sec, 30 secs
lola: 1765470 markings, 10657080 edges, 40094 markings/sec, 35 secs
lola: 1964544 markings, 11984511 edges, 39815 markings/sec, 40 secs
lola: 2159011 markings, 13303341 edges, 38893 markings/sec, 45 secs
lola: 2394009 markings, 14626821 edges, 47000 markings/sec, 50 secs
lola: 2595341 markings, 15924672 edges, 40266 markings/sec, 55 secs
lola: 2790592 markings, 17225939 edges, 39050 markings/sec, 60 secs
lola: 2981540 markings, 18524165 edges, 38190 markings/sec, 65 secs
lola: 3140103 markings, 19848824 edges, 31713 markings/sec, 70 secs
lola: 3330598 markings, 21165816 edges, 38099 markings/sec, 75 secs
lola: 3565330 markings, 22499840 edges, 46946 markings/sec, 80 secs
lola: 3767939 markings, 23820016 edges, 40522 markings/sec, 85 secs
lola: 3966374 markings, 25126287 edges, 39687 markings/sec, 90 secs
lola: 4167207 markings, 26440141 edges, 40167 markings/sec, 95 secs
lola: 4388281 markings, 27771391 edges, 44215 markings/sec, 100 secs
lola: 4582518 markings, 29088308 edges, 38847 markings/sec, 105 secs
lola: 4787927 markings, 30402807 edges, 41082 markings/sec, 110 secs
lola: 4999633 markings, 31726949 edges, 42341 markings/sec, 115 secs
lola: 5192696 markings, 33035810 edges, 38613 markings/sec, 120 secs
lola: 5367955 markings, 34360865 edges, 35052 markings/sec, 125 secs
lola: 5540045 markings, 35674732 edges, 34418 markings/sec, 130 secs
lola: 5775152 markings, 37006472 edges, 47021 markings/sec, 135 secs
lola: 5980887 markings, 38317247 edges, 41147 markings/sec, 140 secs
lola: 6179648 markings, 39619148 edges, 39752 markings/sec, 145 secs
lola: 6375944 markings, 40923809 edges, 39259 markings/sec, 150 secs
lola: 6601665 markings, 42257720 edges, 45144 markings/sec, 155 secs
lola: 6796692 markings, 43576914 edges, 39005 markings/sec, 160 secs
lola: 6994428 markings, 44885227 edges, 39547 markings/sec, 165 secs
lola: 7210440 markings, 46194042 edges, 43202 markings/sec, 170 secs
lola: 7402040 markings, 47492752 edges, 38320 markings/sec, 175 secs
lola: 7584124 markings, 48803835 edges, 36417 markings/sec, 180 secs
lola: 7731281 markings, 50111809 edges, 29431 markings/sec, 185 secs
lola: 7896893 markings, 51421831 edges, 33122 markings/sec, 190 secs
lola: 8040930 markings, 52708352 edges, 28807 markings/sec, 195 secs
lola: 8184899 markings, 53981988 edges, 28794 markings/sec, 200 secs
lola: 8338788 markings, 55282644 edges, 30778 markings/sec, 205 secs
lola: 8479043 markings, 56564674 edges, 28051 markings/sec, 210 secs
lola: 8630971 markings, 57860315 edges, 30386 markings/sec, 215 secs
lola: 8771870 markings, 59136474 edges, 28180 markings/sec, 220 secs
lola: 8901459 markings, 60419558 edges, 25918 markings/sec, 225 secs
lola: 9013582 markings, 61684113 edges, 22425 markings/sec, 230 secs
lola: 9253326 markings, 62942699 edges, 47949 markings/sec, 235 secs
lola: 9481921 markings, 64219296 edges, 45719 markings/sec, 240 secs
lola: 9680116 markings, 65462512 edges, 39639 markings/sec, 245 secs
lola: 9873412 markings, 66724081 edges, 38659 markings/sec, 250 secs
lola: 10070380 markings, 67962276 edges, 39394 markings/sec, 255 secs
lola: 10266977 markings, 69207202 edges, 39319 markings/sec, 260 secs
lola: 10469958 markings, 70463735 edges, 40596 markings/sec, 265 secs
lola: 10684566 markings, 71730626 edges, 42922 markings/sec, 270 secs
lola: 10872397 markings, 72993079 edges, 37566 markings/sec, 275 secs
lola: 11060668 markings, 74240197 edges, 37654 markings/sec, 280 secs
lola: 11261337 markings, 75490797 edges, 40134 markings/sec, 285 secs
lola: 11477472 markings, 76749987 edges, 43227 markings/sec, 290 secs
lola: 11663827 markings, 77995927 edges, 37271 markings/sec, 295 secs
lola: 11847487 markings, 79220328 edges, 36732 markings/sec, 300 secs
lola: 12026117 markings, 80469524 edges, 35726 markings/sec, 305 secs
lola: 12173409 markings, 81731941 edges, 29458 markings/sec, 310 secs
lola: 12367444 markings, 82992077 edges, 38807 markings/sec, 315 secs
lola: 12589251 markings, 84271954 edges, 44361 markings/sec, 320 secs
lola: 12782562 markings, 85528792 edges, 38662 markings/sec, 325 secs
lola: 12973384 markings, 86786995 edges, 38164 markings/sec, 330 secs
lola: 13164847 markings, 88052895 edges, 38293 markings/sec, 335 secs
lola: 13380989 markings, 89335245 edges, 43228 markings/sec, 340 secs
lola: 13569037 markings, 90609538 edges, 37610 markings/sec, 345 secs
lola: 13762142 markings, 91873327 edges, 38621 markings/sec, 350 secs
lola: 13969526 markings, 93137004 edges, 41477 markings/sec, 355 secs
lola: 14154837 markings, 94392263 edges, 37062 markings/sec, 360 secs
lola: 14330989 markings, 95648478 edges, 35230 markings/sec, 365 secs
lola: 14474464 markings, 96912952 edges, 28695 markings/sec, 370 secs
lola: 14702903 markings, 98200148 edges, 45688 markings/sec, 375 secs
lola: 14912738 markings, 99483713 edges, 41967 markings/sec, 380 secs
lola: 15106480 markings, 100775765 edges, 38748 markings/sec, 385 secs
lola: 15302705 markings, 102038078 edges, 39245 markings/sec, 390 secs
lola: 15508291 markings, 103322261 edges, 41117 markings/sec, 395 secs
lola: 15710936 markings, 104610904 edges, 40529 markings/sec, 400 secs
lola: 15898806 markings, 105883507 edges, 37574 markings/sec, 405 secs
lola: 16108077 markings, 107158041 edges, 41854 markings/sec, 410 secs
lola: 16301829 markings, 108423672 edges, 38750 markings/sec, 415 secs
lola: 16486974 markings, 109676691 edges, 37029 markings/sec, 420 secs
lola: 16648404 markings, 110958035 edges, 32286 markings/sec, 425 secs
lola: 16797203 markings, 112223658 edges, 29760 markings/sec, 430 secs
lola: 16950822 markings, 113492389 edges, 30724 markings/sec, 435 secs
lola: 17091394 markings, 114745676 edges, 28114 markings/sec, 440 secs
lola: 17231900 markings, 115992647 edges, 28101 markings/sec, 445 secs
lola: 17380574 markings, 117261810 edges, 29735 markings/sec, 450 secs
lola: 17516694 markings, 118508680 edges, 27224 markings/sec, 455 secs
lola: 17665985 markings, 119766112 edges, 29858 markings/sec, 460 secs
lola: 17801563 markings, 121005314 edges, 27116 markings/sec, 465 secs
lola: 17923536 markings, 122252971 edges, 24395 markings/sec, 470 secs
lola: 18042847 markings, 123444069 edges, 23862 markings/sec, 475 secs
lola: 18276297 markings, 124685769 edges, 46690 markings/sec, 480 secs
lola: 18494749 markings, 125911916 edges, 43690 markings/sec, 485 secs
lola: 18686327 markings, 127118249 edges, 38316 markings/sec, 490 secs
lola: 18873993 markings, 128340660 edges, 37533 markings/sec, 495 secs
lola: 19070628 markings, 129578892 edges, 39327 markings/sec, 500 secs
lola: 19263541 markings, 130806267 edges, 38583 markings/sec, 505 secs
lola: 19464132 markings, 132052793 edges, 40118 markings/sec, 510 secs
lola: 19680401 markings, 133316203 edges, 43254 markings/sec, 515 secs
lola: 19867973 markings, 134571586 edges, 37514 markings/sec, 520 secs
lola: 20051913 markings, 135796626 edges, 36788 markings/sec, 525 secs
lola: 20250523 markings, 137050873 edges, 39722 markings/sec, 530 secs
lola: 20468554 markings, 138310441 edges, 43606 markings/sec, 535 secs
lola: 20656181 markings, 139550840 edges, 37525 markings/sec, 540 secs
lola: 20839768 markings, 140782999 edges, 36717 markings/sec, 545 secs
lola: 21019339 markings, 142026232 edges, 35914 markings/sec, 550 secs
lola: 21168708 markings, 143293232 edges, 29874 markings/sec, 555 secs
lola: 21355380 markings, 144548066 edges, 37334 markings/sec, 560 secs
lola: 21579233 markings, 145819892 edges, 44771 markings/sec, 565 secs
lola: 21761941 markings, 147016109 edges, 36542 markings/sec, 570 secs
lola: 21952112 markings, 148262914 edges, 38034 markings/sec, 575 secs
lola: 22138931 markings, 149506614 edges, 37364 markings/sec, 580 secs
lola: 22353978 markings, 150775548 edges, 43009 markings/sec, 585 secs
lola: 22539129 markings, 152032161 edges, 37030 markings/sec, 590 secs
lola: 22721283 markings, 153272121 edges, 36431 markings/sec, 595 secs
lola: 22935901 markings, 154520670 edges, 42924 markings/sec, 600 secs
lola: 23119461 markings, 155763713 edges, 36712 markings/sec, 605 secs
lola: 23296960 markings, 156988394 edges, 35500 markings/sec, 610 secs
lola: 23444004 markings, 158238600 edges, 29409 markings/sec, 615 secs
lola: 23643871 markings, 159493260 edges, 39973 markings/sec, 620 secs
lola: 23862282 markings, 160768667 edges, 43682 markings/sec, 625 secs
lola: 24054896 markings, 162031749 edges, 38523 markings/sec, 630 secs
lola: 24240375 markings, 163247257 edges, 37096 markings/sec, 635 secs
lola: 24430211 markings, 164489651 edges, 37967 markings/sec, 640 secs
lola: 24635951 markings, 165714292 edges, 41148 markings/sec, 645 secs
lola: 24817620 markings, 166946518 edges, 36334 markings/sec, 650 secs
lola: 25004253 markings, 168181398 edges, 37327 markings/sec, 655 secs
lola: 25212928 markings, 169437426 edges, 41735 markings/sec, 660 secs
lola: 25394214 markings, 170665373 edges, 36257 markings/sec, 665 secs
lola: 25571517 markings, 171908196 edges, 35461 markings/sec, 670 secs
lola: 25718596 markings, 173179718 edges, 29416 markings/sec, 675 secs
lola: 25875545 markings, 174447522 edges, 31390 markings/sec, 680 secs
lola: 26019300 markings, 175701093 edges, 28751 markings/sec, 685 secs
lola: 26157946 markings, 176937061 edges, 27729 markings/sec, 690 secs
lola: 26305526 markings, 178194812 edges, 29516 markings/sec, 695 secs
lola: 26445176 markings, 179450002 edges, 27930 markings/sec, 700 secs
lola: 26585397 markings, 180688185 edges, 28044 markings/sec, 705 secs
lola: 26729148 markings, 181939225 edges, 28750 markings/sec, 710 secs
lola: 26862570 markings, 183171997 edges, 26684 markings/sec, 715 secs
lola: 26973239 markings, 184419872 edges, 22134 markings/sec, 720 secs
lola: 27111047 markings, 185691396 edges, 27562 markings/sec, 725 secs
lola: 27266846 markings, 187001012 edges, 31160 markings/sec, 730 secs
lola: 27422758 markings, 188325379 edges, 31182 markings/sec, 735 secs
lola: 27566585 markings, 189609416 edges, 28765 markings/sec, 740 secs
lola: 27701667 markings, 190877904 edges, 27016 markings/sec, 745 secs
lola: 27841229 markings, 192184693 edges, 27912 markings/sec, 750 secs
lola: 27978512 markings, 193480406 edges, 27457 markings/sec, 755 secs
lola: 28113315 markings, 194746234 edges, 26961 markings/sec, 760 secs
lola: 28249596 markings, 196026333 edges, 27256 markings/sec, 765 secs
lola: 28382759 markings, 197318270 edges, 26633 markings/sec, 770 secs
lola: 28536048 markings, 198629301 edges, 30658 markings/sec, 775 secs
lola: 28684544 markings, 199950824 edges, 29699 markings/sec, 780 secs
lola: 28818315 markings, 201246898 edges, 26754 markings/sec, 785 secs
lola: 28951840 markings, 202535823 edges, 26705 markings/sec, 790 secs
lola: 29080205 markings, 203780002 edges, 25673 markings/sec, 795 secs
lola: 29217586 markings, 205074758 edges, 27476 markings/sec, 800 secs
lola: 29361468 markings, 206324337 edges, 28776 markings/sec, 805 secs
lola: 29505522 markings, 207622296 edges, 28811 markings/sec, 810 secs
lola: 29637870 markings, 208903813 edges, 26470 markings/sec, 815 secs
lola: 29770520 markings, 210185872 edges, 26530 markings/sec, 820 secs
lola: 29901227 markings, 211449926 edges, 26141 markings/sec, 825 secs
lola: 30029064 markings, 212735155 edges, 25567 markings/sec, 830 secs
lola: 30143372 markings, 214035523 edges, 22862 markings/sec, 835 secs
lola: 30252481 markings, 215318238 edges, 21822 markings/sec, 840 secs
lola: 30409818 markings, 216639347 edges, 31467 markings/sec, 845 secs
lola: 30563199 markings, 217979275 edges, 30676 markings/sec, 850 secs
lola: 30701541 markings, 219278908 edges, 27668 markings/sec, 855 secs
lola: 30837241 markings, 220594558 edges, 27140 markings/sec, 860 secs
lola: 30974194 markings, 221886634 edges, 27391 markings/sec, 865 secs
lola: 31110470 markings, 223183691 edges, 27255 markings/sec, 870 secs
lola: 31253148 markings, 224497335 edges, 28536 markings/sec, 875 secs
lola: 31399029 markings, 225821832 edges, 29176 markings/sec, 880 secs
lola: 31531647 markings, 227130766 edges, 26524 markings/sec, 885 secs
lola: 31665332 markings, 228426282 edges, 26737 markings/sec, 890 secs
lola: 31805653 markings, 229721573 edges, 28064 markings/sec, 895 secs
lola: 31951268 markings, 231032569 edges, 29123 markings/sec, 900 secs
lola: 32082906 markings, 232326518 edges, 26328 markings/sec, 905 secs
lola: 32214051 markings, 233602587 edges, 26229 markings/sec, 910 secs
lola: 32341068 markings, 234900460 edges, 25403 markings/sec, 915 secs
lola: 32450928 markings, 236191660 edges, 21972 markings/sec, 920 secs
lola: 32586360 markings, 237496729 edges, 27086 markings/sec, 925 secs
lola: 32744243 markings, 238838574 edges, 31577 markings/sec, 930 secs
lola: 32888342 markings, 240161044 edges, 28820 markings/sec, 935 secs
lola: 33026570 markings, 241479687 edges, 27646 markings/sec, 940 secs
lola: 33163755 markings, 242791895 edges, 27437 markings/sec, 945 secs
lola: 33299343 markings, 244084819 edges, 27118 markings/sec, 950 secs
lola: 33437148 markings, 245400755 edges, 27561 markings/sec, 955 secs
lola: 33585515 markings, 246712342 edges, 29673 markings/sec, 960 secs
lola: 33718796 markings, 247987993 edges, 26656 markings/sec, 965 secs
lola: 33852820 markings, 249296477 edges, 26805 markings/sec, 970 secs
lola: 33985757 markings, 250602635 edges, 26587 markings/sec, 975 secs
lola: 34136614 markings, 251917688 edges, 30171 markings/sec, 980 secs
lola: time limit reached - aborting
lola:
preliminary result: no yes unknown yes unknown no yes yes no yes yes no yes unknown no no
lola: caught signal User defined signal 1 - aborting LoLA
lola: lola:
preliminary result: no yes unknown yes unknown no yes yes no yes yes no yes unknown no no
preliminary result: no yes unknown yes unknown no yes yes no yes yes no yes unknown no no
lola: memory consumption: 4985588 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 1589867767404
--------------------
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="DES-PT-01b"
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 DES-PT-01b, 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 r060-ebro-158902579500051"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DES-PT-01b.tgz
mv DES-PT-01b 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 ;