About the Execution of 2019-Gold for CloudDeployment-PT-4b
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
4291.220 | 3570148.00 | 3630591.00 | 9608.30 | FF?T??TFFFFTFT?F | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2020-input.r045-smll-158902068300077.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool win2019
Input is CloudDeployment-PT-4b, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r045-smll-158902068300077
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 760K
-rw-r--r-- 1 mcc users 3.2K Mar 30 01:17 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 30 01:17 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Mar 28 15:36 CTLFireability.txt
-rw-r--r-- 1 mcc users 11K Mar 28 15:36 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.3K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.3K Apr 8 14:45 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 8 14:45 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Mar 27 08:24 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 27 08:24 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 26 07:49 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 26 07:49 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K 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 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 591K 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 CloudDeployment-PT-4b-00
FORMULA_NAME CloudDeployment-PT-4b-01
FORMULA_NAME CloudDeployment-PT-4b-02
FORMULA_NAME CloudDeployment-PT-4b-03
FORMULA_NAME CloudDeployment-PT-4b-04
FORMULA_NAME CloudDeployment-PT-4b-05
FORMULA_NAME CloudDeployment-PT-4b-06
FORMULA_NAME CloudDeployment-PT-4b-07
FORMULA_NAME CloudDeployment-PT-4b-08
FORMULA_NAME CloudDeployment-PT-4b-09
FORMULA_NAME CloudDeployment-PT-4b-10
FORMULA_NAME CloudDeployment-PT-4b-11
FORMULA_NAME CloudDeployment-PT-4b-12
FORMULA_NAME CloudDeployment-PT-4b-13
FORMULA_NAME CloudDeployment-PT-4b-14
FORMULA_NAME CloudDeployment-PT-4b-15
=== Now, execution of the tool begins
BK_START 1590050655346
info: Time: 3600 - MCC
vrfy: Checking LTLCardinality @ CloudDeployment-PT-4b @ 3570 seconds
FORMULA CloudDeployment-PT-4b-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudDeployment-PT-4b-03 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudDeployment-PT-4b-07 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudDeployment-PT-4b-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudDeployment-PT-4b-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudDeployment-PT-4b-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudDeployment-PT-4b-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudDeployment-PT-4b-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudDeployment-PT-4b-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudDeployment-PT-4b-00 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudDeployment-PT-4b-06 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudDeployment-PT-4b-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for LTLCardinality @ CloudDeployment-PT-4b
{
"exit":
{
"memory": 2697936,
"runtime": 3570.000000,
"signal": "User defined signal 1"
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"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": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "A (F (G (((p1085 <= p1078) OR X ((p1180 + 1 <= p248))))))",
"processed_size": 57,
"rewrites": 99
},
"result":
{
"preliminary_value": "no no unknown yes unknown unknown yes no no no no yes no yes unknown no "
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 16,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 3006/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 1182
lola: finding significant places
lola: 1182 places, 1824 transitions, 1165 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 <= p28)
lola: LP says that atomic proposition is always false: (3 <= p28)
lola: LP says that atomic proposition is always false: (3 <= p918)
lola: LP says that atomic proposition is always false: (3 <= p918)
lola: LP says that atomic proposition is always false: (2 <= p722)
lola: LP says that atomic proposition is always false: (3 <= p392)
lola: LP says that atomic proposition is always false: (3 <= p392)
lola: LP says that atomic proposition is always false: (2 <= p174)
lola: LP says that atomic proposition is always false: (3 <= p429)
lola: LP says that atomic proposition is always false: (3 <= p322)
lola: LP says that atomic proposition is always false: (2 <= p615)
lola: LP says that atomic proposition is always false: (2 <= p332)
lola: LP says that atomic proposition is always false: (3 <= p876)
lola: LP says that atomic proposition is always false: (2 <= p477)
lola: LP says that atomic proposition is always false: (2 <= p590)
lola: A (G ((p0 <= p1141))) : A (X (((X (G ((p250 <= p302))) AND NOT(G ((3 <= p28)))) U (3 <= p28)))) : A (X (G (F (G (F (((p90 <= p1026) OR NOT(F ((p554 <= p103)))))))))) : A (F (G ((NOT(G ((3 <= p918))) OR (((3 <= p918) U (p548 <= p84)) U (p548 <= p84)))))) : A (G (F (G (F (X ((NOT(F ((1 <= p906))) OR ((F ((2 <= p722)) U (1 <= p906)) U (p529 <= p118))))))))) : A (F (X ((G (((p1085 <= p1078) OR X ((p1180 + 1 <= p248)))) OR ((3 <= p392) AND X ((3 <= p392))))))) : A ((((p448 <= p1139) OR X (G (F (G (((1 <= p631) OR G ((p483 <= p499)))))))) OR NOT(F ((1 <= p631))))) : A (((p748 + 1 <= p897) OR X ((G ((2 <= p174)) U ())))) : A (G ((3 <= p322))) : A (NOT(F (NOT(G (NOT(F ((0 <= p392)))))))) : A (NOT(((p36 <= p739) AND X (((p36 <= p739) OR G ((2 <= p615))))))) : A (((F (()) OR F ((3 <= p876))) U (p504 <= p958))) : A ((F ((p705 <= p135)) AND G (((2 <= p477) U NOT(F ((p1049 <= p278))))))) : A ((((p777 <= p640) OR (p1145 <= p195)) U F (NOT(F (((p645 <= p1104) U G (()))))))) : A (NOT(G (((p146 <= p323) AND X (((p708 <= p1149) U G ((p1149 + 1 <= p708)))))))) : A (X ((((p57 + 1 <= p338) AND (p302 <= 0)) U (F (((p190 <= p562) U (p36 <= 0))) U (p57 + 1 <= p338)))))
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:282
lola: rewrite Frontend/Parser/formula_rewrite.k:115
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:180
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:371
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:282
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:124
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:154
lola: rewrite Frontend/Parser/formula_rewrite.k:151
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:157
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:371
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:118
lola: rewrite Frontend/Parser/formula_rewrite.k:121
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:374
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:98
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:145
lola: rewrite Frontend/Parser/formula_rewrite.k:121
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:100
lola: rewrite Frontend/Parser/formula_rewrite.k:154
lola: rewrite Frontend/Parser/formula_rewrite.k:279
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:282
lola: rewrite Frontend/Parser/formula_rewrite.k:154
lola: rewrite Frontend/Parser/formula_rewrite.k:279
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:121
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:122
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:536
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:157
lola: rewrite Frontend/Parser/formula_rewrite.k:282
lola: rewrite Frontend/Parser/formula_rewrite.k:154
lola: rewrite Frontend/Parser/formula_rewrite.k:166
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 221 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: 99 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 236 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: 99 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 253 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (p748 + 1 <= p897)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (p748 + 1 <= p897)
lola: processed formula length: 18
lola: 99 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 1 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 3 will run for 272 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: 99 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 4 will run for 295 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: 99 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 322 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (p504 <= p958)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (p504 <= p958)
lola: processed formula length: 14
lola: 99 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 1 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 6 will run for 354 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: 99 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 394 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G (((p1085 <= p1078) OR X ((p1180 + 1 <= p248))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G (((p1085 <= p1078) OR X ((p1180 + 1 <= p248))))))
lola: processed formula length: 57
lola: 99 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: 102544 markings, 453848 edges, 20509 markings/sec, 0 secs
lola: 206548 markings, 926707 edges, 20801 markings/sec, 5 secs
lola: 311503 markings, 1399466 edges, 20991 markings/sec, 10 secs
lola: 410711 markings, 1872452 edges, 19842 markings/sec, 15 secs
lola: 492369 markings, 2344206 edges, 16332 markings/sec, 20 secs
lola: 588062 markings, 2819253 edges, 19139 markings/sec, 25 secs
lola: 688561 markings, 3284595 edges, 20100 markings/sec, 30 secs
lola: 774438 markings, 3750499 edges, 17175 markings/sec, 35 secs
lola: 849949 markings, 4212660 edges, 15102 markings/sec, 40 secs
lola: 923964 markings, 4678866 edges, 14803 markings/sec, 45 secs
lola: 993861 markings, 5141000 edges, 13979 markings/sec, 50 secs
lola: 1079207 markings, 5605647 edges, 17069 markings/sec, 55 secs
lola: 1150589 markings, 6074555 edges, 14276 markings/sec, 60 secs
lola: 1228837 markings, 6536310 edges, 15650 markings/sec, 65 secs
lola: 1309719 markings, 7002705 edges, 16176 markings/sec, 70 secs
lola: 1374416 markings, 7465398 edges, 12939 markings/sec, 75 secs
lola: 1459067 markings, 7930490 edges, 16930 markings/sec, 80 secs
lola: 1528160 markings, 8392961 edges, 13819 markings/sec, 85 secs
lola: 1615062 markings, 8860250 edges, 17380 markings/sec, 90 secs
lola: 1697778 markings, 9334205 edges, 16543 markings/sec, 95 secs
lola: 1784433 markings, 9809161 edges, 17331 markings/sec, 100 secs
lola: 1872439 markings, 10283747 edges, 17601 markings/sec, 105 secs
lola: 1954164 markings, 10756204 edges, 16345 markings/sec, 110 secs
lola: 2040706 markings, 11227834 edges, 17308 markings/sec, 115 secs
lola: 2122566 markings, 11699857 edges, 16372 markings/sec, 120 secs
lola: 2192569 markings, 12171444 edges, 14001 markings/sec, 125 secs
lola: 2268639 markings, 12644209 edges, 15214 markings/sec, 130 secs
lola: 2355584 markings, 13113593 edges, 17389 markings/sec, 135 secs
lola: 2430976 markings, 13574664 edges, 15078 markings/sec, 140 secs
lola: 2499870 markings, 14041128 edges, 13779 markings/sec, 145 secs
lola: 2563219 markings, 14500786 edges, 12670 markings/sec, 150 secs
lola: 2630384 markings, 14967303 edges, 13433 markings/sec, 155 secs
lola: 2693698 markings, 15426543 edges, 12663 markings/sec, 160 secs
lola: 2760921 markings, 15892962 edges, 13445 markings/sec, 165 secs
lola: 2824213 markings, 16351993 edges, 12658 markings/sec, 170 secs
lola: 2891405 markings, 16818322 edges, 13438 markings/sec, 175 secs
lola: 2954652 markings, 17277404 edges, 12649 markings/sec, 180 secs
lola: 3022313 markings, 17743777 edges, 13532 markings/sec, 185 secs
lola: 3085350 markings, 18202632 edges, 12607 markings/sec, 190 secs
lola: 3152875 markings, 18669377 edges, 13505 markings/sec, 195 secs
lola: 3215967 markings, 19129591 edges, 12618 markings/sec, 200 secs
lola: 3278875 markings, 19595944 edges, 12582 markings/sec, 205 secs
lola: 3352489 markings, 20067674 edges, 14723 markings/sec, 210 secs
lola: 3422680 markings, 20540961 edges, 14038 markings/sec, 215 secs
lola: 3510309 markings, 21015325 edges, 17526 markings/sec, 220 secs
lola: 3596965 markings, 21488372 edges, 17331 markings/sec, 225 secs
lola: 3678352 markings, 21959719 edges, 16277 markings/sec, 230 secs
lola: 3766001 markings, 22430406 edges, 17530 markings/sec, 235 secs
lola: 3845711 markings, 22901744 edges, 15942 markings/sec, 240 secs
lola: 3915267 markings, 23372349 edges, 13911 markings/sec, 245 secs
lola: 3993558 markings, 23844485 edges, 15658 markings/sec, 250 secs
lola: 4080705 markings, 24312319 edges, 17429 markings/sec, 255 secs
lola: 4147076 markings, 24775273 edges, 13274 markings/sec, 260 secs
lola: 4219947 markings, 25241845 edges, 14574 markings/sec, 265 secs
lola: 4279427 markings, 25701409 edges, 11896 markings/sec, 270 secs
lola: 4350268 markings, 26167248 edges, 14168 markings/sec, 275 secs
lola: 4409788 markings, 26626788 edges, 11904 markings/sec, 280 secs
lola: 4480759 markings, 27093593 edges, 14194 markings/sec, 285 secs
lola: 4540310 markings, 27553287 edges, 11910 markings/sec, 290 secs
lola: 4611181 markings, 28019514 edges, 14174 markings/sec, 295 secs
lola: 4670654 markings, 28478526 edges, 11895 markings/sec, 300 secs
lola: 4741311 markings, 28944399 edges, 14131 markings/sec, 305 secs
lola: 4800752 markings, 29403051 edges, 11888 markings/sec, 310 secs
lola: 4871613 markings, 29869921 edges, 14172 markings/sec, 315 secs
lola: 4931223 markings, 30329617 edges, 11922 markings/sec, 320 secs
lola: 5001099 markings, 30795624 edges, 13975 markings/sec, 325 secs
lola: 5075425 markings, 31268001 edges, 14865 markings/sec, 330 secs
lola: 5148466 markings, 31741959 edges, 14608 markings/sec, 335 secs
lola: 5220546 markings, 32216057 edges, 14416 markings/sec, 340 secs
lola: 5294524 markings, 32689900 edges, 14796 markings/sec, 345 secs
lola: 5364491 markings, 33160946 edges, 13993 markings/sec, 350 secs
lola: 5437350 markings, 33632148 edges, 14572 markings/sec, 355 secs
lola: 5506930 markings, 34101909 edges, 13916 markings/sec, 360 secs
lola: 5573150 markings, 34572714 edges, 13244 markings/sec, 365 secs
lola: 5633308 markings, 35041813 edges, 12032 markings/sec, 370 secs
lola: 5701377 markings, 35517166 edges, 13614 markings/sec, 375 secs
lola: 5771985 markings, 35979074 edges, 14122 markings/sec, 380 secs
lola: 5834468 markings, 36436305 edges, 12497 markings/sec, 385 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no unknown yes unknown unknown unknown no no no unknown yes unknown yes unknown unknown
lola: memory consumption: 869024 KB
lola: time consumption: 416 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 8 will run for 394 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((p739 + 1 <= p36) OR X ((p739 + 1 <= p36))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((p739 + 1 <= p36) OR X ((p739 + 1 <= p36))))
lola: processed formula length: 48
lola: 99 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 155 markings, 155 edges
lola: ========================================
lola: subprocess 9 will run for 450 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (((p323 + 1 <= p146) OR X (((p1149 + 1 <= p708) R F ((p708 <= p1149)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (((p323 + 1 <= p146) OR X (((p1149 + 1 <= p708) R F ((p708 <= p1149)))))))
lola: processed formula length: 79
lola: 99 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: 92470 markings, 412830 edges, 18494 markings/sec, 0 secs
lola: 197364 markings, 880898 edges, 20979 markings/sec, 5 secs
lola: 300470 markings, 1347748 edges, 20621 markings/sec, 10 secs
lola: 395928 markings, 1798323 edges, 19092 markings/sec, 15 secs
lola: 479869 markings, 2269256 edges, 16788 markings/sec, 20 secs
lola: 571745 markings, 2739036 edges, 18375 markings/sec, 25 secs
lola: 671703 markings, 3202561 edges, 19992 markings/sec, 30 secs
lola: 753518 markings, 3660475 edges, 16363 markings/sec, 35 secs
lola: 829908 markings, 4122592 edges, 15278 markings/sec, 40 secs
lola: 913513 markings, 4580986 edges, 16721 markings/sec, 45 secs
lola: 982106 markings, 5041886 edges, 13719 markings/sec, 50 secs
lola: 1059013 markings, 5504259 edges, 15381 markings/sec, 55 secs
lola: 1128136 markings, 5963417 edges, 13825 markings/sec, 60 secs
lola: 1211161 markings, 6425155 edges, 16605 markings/sec, 65 secs
lola: 1284398 markings, 6886836 edges, 14647 markings/sec, 70 secs
lola: 1362877 markings, 7346407 edges, 15696 markings/sec, 75 secs
lola: 1440776 markings, 7809410 edges, 15580 markings/sec, 80 secs
lola: 1506263 markings, 8268033 edges, 13097 markings/sec, 85 secs
lola: 1590072 markings, 8731581 edges, 16762 markings/sec, 90 secs
lola: 1673010 markings, 9198063 edges, 16588 markings/sec, 95 secs
lola: 1761009 markings, 9666489 edges, 17600 markings/sec, 100 secs
lola: 1842359 markings, 10138954 edges, 16270 markings/sec, 105 secs
lola: 1928673 markings, 10606544 edges, 17263 markings/sec, 110 secs
lola: 2014062 markings, 11075221 edges, 17078 markings/sec, 115 secs
lola: 2094422 markings, 11541049 edges, 16072 markings/sec, 120 secs
lola: 2168595 markings, 12007511 edges, 14835 markings/sec, 125 secs
lola: 2239988 markings, 12475224 edges, 14279 markings/sec, 130 secs
lola: 2320894 markings, 12944911 edges, 16181 markings/sec, 135 secs
lola: 2401191 markings, 13404372 edges, 16059 markings/sec, 140 secs
lola: 2471573 markings, 13867690 edges, 14076 markings/sec, 145 secs
lola: 2534840 markings, 14323526 edges, 12653 markings/sec, 150 secs
lola: 2600299 markings, 14783139 edges, 13092 markings/sec, 155 secs
lola: 2664056 markings, 15239252 edges, 12751 markings/sec, 160 secs
lola: 2728454 markings, 15696819 edges, 12880 markings/sec, 165 secs
lola: 2793030 markings, 16152822 edges, 12915 markings/sec, 170 secs
lola: 2856927 markings, 16611164 edges, 12779 markings/sec, 175 secs
lola: 2923470 markings, 17063915 edges, 13309 markings/sec, 180 secs
lola: 2985296 markings, 17525236 edges, 12365 markings/sec, 185 secs
lola: 3054239 markings, 17984383 edges, 13789 markings/sec, 190 secs
lola: 3114379 markings, 18442993 edges, 12028 markings/sec, 195 secs
lola: 3184449 markings, 18901484 edges, 14014 markings/sec, 200 secs
lola: 3243240 markings, 19357399 edges, 11758 markings/sec, 205 secs
lola: 3315598 markings, 19820912 edges, 14472 markings/sec, 210 secs
lola: 3384737 markings, 20287527 edges, 13828 markings/sec, 215 secs
lola: 3464838 markings, 20756808 edges, 16020 markings/sec, 220 secs
lola: 3547363 markings, 21227357 edges, 16505 markings/sec, 225 secs
lola: 3634205 markings, 21697431 edges, 17368 markings/sec, 230 secs
lola: 3719528 markings, 22171264 edges, 17065 markings/sec, 235 secs
lola: 3802280 markings, 22642725 edges, 16550 markings/sec, 240 secs
lola: 3877072 markings, 23111501 edges, 14958 markings/sec, 245 secs
lola: 3948526 markings, 23583956 edges, 14291 markings/sec, 250 secs
lola: 4028995 markings, 24056254 edges, 16094 markings/sec, 255 secs
lola: 4112690 markings, 24522511 edges, 16739 markings/sec, 260 secs
lola: 4182069 markings, 24988100 edges, 13876 markings/sec, 265 secs
lola: 4246701 markings, 25450328 edges, 12926 markings/sec, 270 secs
lola: 4312284 markings, 25913176 edges, 13117 markings/sec, 275 secs
lola: 4376970 markings, 26374662 edges, 12937 markings/sec, 280 secs
lola: 4442352 markings, 26837845 edges, 13076 markings/sec, 285 secs
lola: 4507139 markings, 27299105 edges, 12957 markings/sec, 290 secs
lola: 4572496 markings, 27762829 edges, 13071 markings/sec, 295 secs
lola: 4637305 markings, 28223695 edges, 12962 markings/sec, 300 secs
lola: 4702462 markings, 28687627 edges, 13031 markings/sec, 305 secs
lola: 4767464 markings, 29149272 edges, 13000 markings/sec, 310 secs
lola: 4832864 markings, 29612959 edges, 13080 markings/sec, 315 secs
lola: 4897659 markings, 30074764 edges, 12959 markings/sec, 320 secs
lola: 4962492 markings, 30536935 edges, 12967 markings/sec, 325 secs
lola: 5036642 markings, 31006723 edges, 14830 markings/sec, 330 secs
lola: 5107036 markings, 31479844 edges, 14079 markings/sec, 335 secs
lola: 5181340 markings, 31955065 edges, 14861 markings/sec, 340 secs
lola: 5252618 markings, 32430623 edges, 14256 markings/sec, 345 secs
lola: 5325691 markings, 32904039 edges, 14615 markings/sec, 350 secs
lola: 5395786 markings, 33376333 edges, 14019 markings/sec, 355 secs
lola: 5469192 markings, 33848578 edges, 14681 markings/sec, 360 secs
lola: 5539756 markings, 34320874 edges, 14113 markings/sec, 365 secs
lola: 5601240 markings, 34792508 edges, 12297 markings/sec, 370 secs
lola: 5663957 markings, 35262836 edges, 12543 markings/sec, 375 secs
lola: 5732964 markings, 35734448 edges, 13801 markings/sec, 380 secs
lola: 5803867 markings, 36200955 edges, 14181 markings/sec, 385 secs
lola: 5863534 markings, 36660643 edges, 11933 markings/sec, 390 secs
lola: 5926693 markings, 37126252 edges, 12632 markings/sec, 395 secs
lola: 5985515 markings, 37582429 edges, 11764 markings/sec, 400 secs
lola: 6043400 markings, 38047018 edges, 11577 markings/sec, 405 secs
lola: 6095032 markings, 38507190 edges, 10326 markings/sec, 410 secs
lola: 6151553 markings, 38967606 edges, 11304 markings/sec, 415 secs
lola: 6212181 markings, 39412831 edges, 12126 markings/sec, 420 secs
lola: 6258909 markings, 39851503 edges, 9346 markings/sec, 425 secs
lola: 6320627 markings, 40316031 edges, 12344 markings/sec, 430 secs
lola: 6378346 markings, 40772837 edges, 11544 markings/sec, 435 secs
lola: 6438203 markings, 41238103 edges, 11971 markings/sec, 440 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no unknown yes unknown unknown unknown no no no no yes unknown yes unknown unknown
lola: memory consumption: 957828 KB
lola: time consumption: 866 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 10 will run for 450 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X ((((p57 + 1 <= p338) AND (p302 <= 0)) U (F ((p36 <= 0)) U (p57 + 1 <= p338)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X ((((p57 + 1 <= p338) AND (p302 <= 0)) U (F ((p36 <= 0)) U (p57 + 1 <= p338)))))
lola: processed formula length: 84
lola: 99 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: 155 markings, 155 edges
lola: ========================================
lola: subprocess 11 will run for 540 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((p0 <= p1141)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: A (G ((p0 <= p1141)))
lola: processed formula length: 21
lola: 101 rewrites
lola: closed formula file LTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (p1141 + 1 <= p0)
lola: state equation task get result unparse finished id 0
lola: SUBRESULT
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 12 will run for 676 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F ((G ((p906 <= 0)) OR ((1 <= p906) U (p529 <= p118))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F ((G ((p906 <= 0)) OR ((1 <= p906) U (p529 <= p118))))))
lola: processed formula length: 63
lola: 99 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: 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: 142750 markings, 396971 edges, 28550 markings/sec, 0 secs
lola: 268918 markings, 789152 edges, 25234 markings/sec, 5 secs
lola: 402907 markings, 1193325 edges, 26798 markings/sec, 10 secs
lola: 538054 markings, 1615253 edges, 27029 markings/sec, 15 secs
lola: 672654 markings, 2031022 edges, 26920 markings/sec, 20 secs
lola: 776731 markings, 2456158 edges, 20815 markings/sec, 25 secs
lola: 892734 markings, 2881361 edges, 23201 markings/sec, 30 secs
lola: 998898 markings, 3299460 edges, 21233 markings/sec, 35 secs
lola: 1119662 markings, 3712482 edges, 24153 markings/sec, 40 secs
lola: 1268407 markings, 4131101 edges, 29749 markings/sec, 45 secs
lola: 1399884 markings, 4553305 edges, 26295 markings/sec, 50 secs
lola: 1533967 markings, 4969369 edges, 26817 markings/sec, 55 secs
lola: 1629178 markings, 5393492 edges, 19042 markings/sec, 60 secs
lola: 1730344 markings, 5810300 edges, 20233 markings/sec, 65 secs
lola: 1872680 markings, 6221057 edges, 28467 markings/sec, 70 secs
lola: 1997246 markings, 6648746 edges, 24913 markings/sec, 75 secs
lola: 2144568 markings, 7061844 edges, 29464 markings/sec, 80 secs
lola: 2272999 markings, 7480874 edges, 25686 markings/sec, 85 secs
lola: 2389184 markings, 7899798 edges, 23237 markings/sec, 90 secs
lola: 2502977 markings, 8325361 edges, 22759 markings/sec, 95 secs
lola: 2611660 markings, 8743016 edges, 21737 markings/sec, 100 secs
lola: 2722073 markings, 9152822 edges, 22083 markings/sec, 105 secs
lola: 2836394 markings, 9535716 edges, 22864 markings/sec, 110 secs
lola: 2912680 markings, 9931075 edges, 15257 markings/sec, 115 secs
lola: 2991183 markings, 10319012 edges, 15701 markings/sec, 120 secs
lola: 3062647 markings, 10727285 edges, 14293 markings/sec, 125 secs
lola: 3129064 markings, 11136828 edges, 13283 markings/sec, 130 secs
lola: 3256685 markings, 11558960 edges, 25524 markings/sec, 135 secs
lola: 3371733 markings, 11972422 edges, 23010 markings/sec, 140 secs
lola: 3495903 markings, 12387856 edges, 24834 markings/sec, 145 secs
lola: 3619533 markings, 12795164 edges, 24726 markings/sec, 150 secs
lola: 3763381 markings, 13207972 edges, 28770 markings/sec, 155 secs
lola: 3890224 markings, 13626618 edges, 25369 markings/sec, 160 secs
lola: 4002903 markings, 14047105 edges, 22536 markings/sec, 165 secs
lola: 4135590 markings, 14459912 edges, 26537 markings/sec, 170 secs
lola: 4269845 markings, 14863469 edges, 26851 markings/sec, 175 secs
lola: 4410288 markings, 15270702 edges, 28089 markings/sec, 180 secs
lola: 4516652 markings, 15686513 edges, 21273 markings/sec, 185 secs
lola: 4647321 markings, 16104592 edges, 26134 markings/sec, 190 secs
lola: 4763276 markings, 16519206 edges, 23191 markings/sec, 195 secs
lola: 4841048 markings, 16930429 edges, 15554 markings/sec, 200 secs
lola: 4951253 markings, 17342824 edges, 22041 markings/sec, 205 secs
lola: 5073193 markings, 17766038 edges, 24388 markings/sec, 210 secs
lola: 5181320 markings, 18171506 edges, 21625 markings/sec, 215 secs
lola: 5275310 markings, 18576042 edges, 18798 markings/sec, 220 secs
lola: 5399729 markings, 18991359 edges, 24884 markings/sec, 225 secs
lola: 5501157 markings, 19417632 edges, 20286 markings/sec, 230 secs
lola: 5623948 markings, 19836650 edges, 24558 markings/sec, 235 secs
lola: 5765424 markings, 20243632 edges, 28295 markings/sec, 240 secs
lola: 5878123 markings, 20662082 edges, 22540 markings/sec, 245 secs
lola: 5971524 markings, 21085722 edges, 18680 markings/sec, 250 secs
lola: 6104321 markings, 21500653 edges, 26559 markings/sec, 255 secs
lola: 6214363 markings, 21925487 edges, 22008 markings/sec, 260 secs
lola: 6319984 markings, 22349196 edges, 21124 markings/sec, 265 secs
lola: 6436248 markings, 22778407 edges, 23253 markings/sec, 270 secs
lola: 6526676 markings, 23186198 edges, 18086 markings/sec, 275 secs
lola: 6649759 markings, 23599986 edges, 24617 markings/sec, 280 secs
lola: 6783595 markings, 23999914 edges, 26767 markings/sec, 285 secs
lola: 6908501 markings, 24400527 edges, 24981 markings/sec, 290 secs
lola: 6999259 markings, 24821422 edges, 18152 markings/sec, 295 secs
lola: 7099228 markings, 25230808 edges, 19994 markings/sec, 300 secs
lola: 7212402 markings, 25632388 edges, 22635 markings/sec, 305 secs
lola: 7342746 markings, 26029703 edges, 26069 markings/sec, 310 secs
lola: 7471562 markings, 26426659 edges, 25763 markings/sec, 315 secs
lola: 7576595 markings, 26833541 edges, 21007 markings/sec, 320 secs
lola: 7687079 markings, 27231315 edges, 22097 markings/sec, 325 secs
lola: 7796402 markings, 27644600 edges, 21865 markings/sec, 330 secs
lola: 7887651 markings, 28034975 edges, 18250 markings/sec, 335 secs
lola: 7972353 markings, 28448503 edges, 16940 markings/sec, 340 secs
lola: 8056996 markings, 28870275 edges, 16929 markings/sec, 345 secs
lola: 8142861 markings, 29277252 edges, 17173 markings/sec, 350 secs
lola: 8244740 markings, 29683183 edges, 20376 markings/sec, 355 secs
lola: 8342670 markings, 30087793 edges, 19586 markings/sec, 360 secs
lola: 8430246 markings, 30496164 edges, 17515 markings/sec, 365 secs
lola: 8516468 markings, 30905076 edges, 17244 markings/sec, 370 secs
lola: 8611812 markings, 31314572 edges, 19069 markings/sec, 375 secs
lola: 8696218 markings, 31747060 edges, 16881 markings/sec, 380 secs
lola: 8805337 markings, 32152821 edges, 21824 markings/sec, 385 secs
lola: 8886999 markings, 32574956 edges, 16332 markings/sec, 390 secs
lola: 8963847 markings, 33006955 edges, 15370 markings/sec, 395 secs
lola: 9037117 markings, 33424423 edges, 14654 markings/sec, 400 secs
lola: 9109438 markings, 33827325 edges, 14464 markings/sec, 405 secs
lola: 9193662 markings, 34213931 edges, 16845 markings/sec, 410 secs
lola: 9319842 markings, 34630036 edges, 25236 markings/sec, 415 secs
lola: 9412867 markings, 35045548 edges, 18605 markings/sec, 420 secs
lola: 9489890 markings, 35451182 edges, 15405 markings/sec, 425 secs
lola: 9610886 markings, 35872452 edges, 24199 markings/sec, 430 secs
lola: 9736454 markings, 36286643 edges, 25114 markings/sec, 435 secs
lola: 9848393 markings, 36710074 edges, 22388 markings/sec, 440 secs
lola: 9955842 markings, 37131299 edges, 21490 markings/sec, 445 secs
lola: 10036240 markings, 37511470 edges, 16080 markings/sec, 450 secs
lola: 10163440 markings, 37929754 edges, 25440 markings/sec, 455 secs
lola: 10286242 markings, 38351576 edges, 24560 markings/sec, 460 secs
lola: 10416541 markings, 38761571 edges, 26060 markings/sec, 465 secs
lola: 10540855 markings, 39180046 edges, 24863 markings/sec, 470 secs
lola: 10681119 markings, 39584362 edges, 28053 markings/sec, 475 secs
lola: 10802084 markings, 39993693 edges, 24193 markings/sec, 480 secs
lola: 10901707 markings, 40413897 edges, 19925 markings/sec, 485 secs
lola: 10967128 markings, 40838004 edges, 13084 markings/sec, 490 secs
lola: 11051279 markings, 41256749 edges, 16830 markings/sec, 495 secs
lola: 11166927 markings, 41672800 edges, 23130 markings/sec, 500 secs
lola: 11265522 markings, 42092483 edges, 19719 markings/sec, 505 secs
lola: 11370530 markings, 42510014 edges, 21002 markings/sec, 510 secs
lola: 11471724 markings, 42930211 edges, 20239 markings/sec, 515 secs
lola: 11575085 markings, 43340024 edges, 20672 markings/sec, 520 secs
lola: 11677583 markings, 43764736 edges, 20500 markings/sec, 525 secs
lola: 11765734 markings, 44192445 edges, 17630 markings/sec, 530 secs
lola: 11832801 markings, 44622392 edges, 13413 markings/sec, 535 secs
lola: 11920234 markings, 45046843 edges, 17487 markings/sec, 540 secs
lola: 12001000 markings, 45483062 edges, 16153 markings/sec, 545 secs
lola: 12095363 markings, 45895475 edges, 18873 markings/sec, 550 secs
lola: 12194176 markings, 46306114 edges, 19763 markings/sec, 555 secs
lola: 12294739 markings, 46725494 edges, 20113 markings/sec, 560 secs
lola: 12402667 markings, 47140255 edges, 21586 markings/sec, 565 secs
lola: 12496426 markings, 47549858 edges, 18752 markings/sec, 570 secs
lola: 12596977 markings, 47973653 edges, 20110 markings/sec, 575 secs
lola: 12703256 markings, 48385716 edges, 21256 markings/sec, 580 secs
lola: 12824318 markings, 48774867 edges, 24212 markings/sec, 585 secs
lola: 12946746 markings, 49156891 edges, 24486 markings/sec, 590 secs
lola: 13055712 markings, 49545725 edges, 21793 markings/sec, 595 secs
lola: 13136082 markings, 49963753 edges, 16074 markings/sec, 600 secs
lola: 13229030 markings, 50362411 edges, 18590 markings/sec, 605 secs
lola: 13325112 markings, 50754544 edges, 19216 markings/sec, 610 secs
lola: 13432957 markings, 51138615 edges, 21569 markings/sec, 615 secs
lola: 13550680 markings, 51520942 edges, 23545 markings/sec, 620 secs
lola: 13673091 markings, 51903160 edges, 24482 markings/sec, 625 secs
lola: 13771150 markings, 52291973 edges, 19612 markings/sec, 630 secs
lola: 13876861 markings, 52677940 edges, 21142 markings/sec, 635 secs
lola: 13979494 markings, 53072504 edges, 20527 markings/sec, 640 secs
lola: 14060345 markings, 53484452 edges, 16170 markings/sec, 645 secs
lola: 14151374 markings, 53853554 edges, 18206 markings/sec, 650 secs
lola: 14242978 markings, 54250200 edges, 18321 markings/sec, 655 secs
lola: 14314672 markings, 54666017 edges, 14339 markings/sec, 660 secs
lola: 14385369 markings, 55075973 edges, 14139 markings/sec, 665 secs
lola: 14466676 markings, 55467628 edges, 16261 markings/sec, 670 secs
lola: local time limit reached - aborting
lola:
preliminary result: no no unknown yes unknown unknown unknown no no no no yes unknown yes unknown no
lola: memory consumption: 2149448 KB
lola: time consumption: 1542 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 13 will run for 676 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F (((p90 <= p1026) OR G ((p103 + 1 <= p554))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F (((p90 <= p1026) OR G ((p103 + 1 <= p554))))))
lola: processed formula length: 54
lola: 99 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: 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: 113950 markings, 420102 edges, 22790 markings/sec, 0 secs
lola: 241422 markings, 858079 edges, 25494 markings/sec, 5 secs
lola: 331329 markings, 1305754 edges, 17981 markings/sec, 10 secs
lola: 442842 markings, 1740553 edges, 22303 markings/sec, 15 secs
lola: 561378 markings, 2173684 edges, 23707 markings/sec, 20 secs
lola: 662108 markings, 2609466 edges, 20146 markings/sec, 25 secs
lola: 762459 markings, 3046794 edges, 20070 markings/sec, 30 secs
lola: 869693 markings, 3478779 edges, 21447 markings/sec, 35 secs
lola: 976104 markings, 3895252 edges, 21282 markings/sec, 40 secs
lola: 1064889 markings, 4340334 edges, 17757 markings/sec, 45 secs
lola: 1173926 markings, 4778215 edges, 21807 markings/sec, 50 secs
lola: 1249477 markings, 5227009 edges, 15110 markings/sec, 55 secs
lola: 1353459 markings, 5667013 edges, 20796 markings/sec, 60 secs
lola: 1462380 markings, 6106699 edges, 21784 markings/sec, 65 secs
lola: 1552005 markings, 6552394 edges, 17925 markings/sec, 70 secs
lola: 1660364 markings, 6991464 edges, 21672 markings/sec, 75 secs
lola: 1737653 markings, 7438056 edges, 15458 markings/sec, 80 secs
lola: 1836476 markings, 7876058 edges, 19765 markings/sec, 85 secs
lola: 1912126 markings, 8325332 edges, 15130 markings/sec, 90 secs
lola: 2002666 markings, 8766084 edges, 18108 markings/sec, 95 secs
lola: 2080698 markings, 9210455 edges, 15606 markings/sec, 100 secs
lola: 2148531 markings, 9656651 edges, 13567 markings/sec, 105 secs
lola: 2255274 markings, 10089969 edges, 21349 markings/sec, 110 secs
lola: 2358518 markings, 10523068 edges, 20649 markings/sec, 115 secs
lola: 2449703 markings, 10958189 edges, 18237 markings/sec, 120 secs
lola: 2548779 markings, 11402975 edges, 19815 markings/sec, 125 secs
lola: 2664643 markings, 11844281 edges, 23173 markings/sec, 130 secs
lola: 2754395 markings, 12291486 edges, 17950 markings/sec, 135 secs
lola: 2911340 markings, 12710147 edges, 31389 markings/sec, 140 secs
lola: 3033535 markings, 13132352 edges, 24439 markings/sec, 145 secs
lola: 3122019 markings, 13573821 edges, 17697 markings/sec, 150 secs
lola: 3208624 markings, 14018410 edges, 17321 markings/sec, 155 secs
lola: 3290300 markings, 14460807 edges, 16335 markings/sec, 160 secs
lola: 3400017 markings, 14902525 edges, 21943 markings/sec, 165 secs
lola: 3507467 markings, 15334873 edges, 21490 markings/sec, 170 secs
lola: 3612867 markings, 15758989 edges, 21080 markings/sec, 175 secs
lola: 3712539 markings, 16181659 edges, 19934 markings/sec, 180 secs
lola: 3801562 markings, 16602766 edges, 17805 markings/sec, 185 secs
lola: 3883038 markings, 17017578 edges, 16295 markings/sec, 190 secs
lola: 3956674 markings, 17434603 edges, 14727 markings/sec, 195 secs
lola: 4027335 markings, 17855871 edges, 14132 markings/sec, 200 secs
lola: 4099147 markings, 18276097 edges, 14362 markings/sec, 205 secs
lola: 4168855 markings, 18693517 edges, 13942 markings/sec, 210 secs
lola: 4248200 markings, 19126110 edges, 15869 markings/sec, 215 secs
lola: 4322378 markings, 19545784 edges, 14836 markings/sec, 220 secs
lola: 4391777 markings, 19973825 edges, 13880 markings/sec, 225 secs
lola: 4460678 markings, 20400571 edges, 13780 markings/sec, 230 secs
lola: 4547287 markings, 20825148 edges, 17322 markings/sec, 235 secs
lola: 4648298 markings, 21258639 edges, 20202 markings/sec, 240 secs
lola: 4735621 markings, 21689646 edges, 17465 markings/sec, 245 secs
lola: 4822237 markings, 22121868 edges, 17323 markings/sec, 250 secs
lola: 4910745 markings, 22560027 edges, 17702 markings/sec, 255 secs
lola: 4983555 markings, 22988788 edges, 14562 markings/sec, 260 secs
lola: 5051278 markings, 23426282 edges, 13545 markings/sec, 265 secs
lola: 5125574 markings, 23853693 edges, 14859 markings/sec, 270 secs
lola: 5197563 markings, 24279111 edges, 14398 markings/sec, 275 secs
lola: 5268476 markings, 24712321 edges, 14183 markings/sec, 280 secs
lola: 5338118 markings, 25146189 edges, 13928 markings/sec, 285 secs
lola: 5403434 markings, 25562350 edges, 13063 markings/sec, 290 secs
lola: 5518992 markings, 25988420 edges, 23112 markings/sec, 295 secs
lola: 5632202 markings, 26411771 edges, 22642 markings/sec, 300 secs
lola: 5743633 markings, 26837383 edges, 22286 markings/sec, 305 secs
lola: 5835240 markings, 27274280 edges, 18321 markings/sec, 310 secs
lola: 5914146 markings, 27706058 edges, 15781 markings/sec, 315 secs
lola: 5986216 markings, 28135196 edges, 14414 markings/sec, 320 secs
lola: 6056408 markings, 28573144 edges, 14038 markings/sec, 325 secs
lola: 6117549 markings, 28991549 edges, 12228 markings/sec, 330 secs
lola: 6219618 markings, 29424722 edges, 20414 markings/sec, 335 secs
lola: 6308435 markings, 29855864 edges, 17763 markings/sec, 340 secs
lola: 6391231 markings, 30282397 edges, 16559 markings/sec, 345 secs
lola: 6465753 markings, 30710824 edges, 14904 markings/sec, 350 secs
lola: 6538456 markings, 31139380 edges, 14541 markings/sec, 355 secs
lola: 6611507 markings, 31571634 edges, 14610 markings/sec, 360 secs
lola: 6694931 markings, 31994368 edges, 16685 markings/sec, 365 secs
lola: 6803695 markings, 32418079 edges, 21753 markings/sec, 370 secs
lola: 6905537 markings, 32843115 edges, 20368 markings/sec, 375 secs
lola: 7011846 markings, 33267162 edges, 21262 markings/sec, 380 secs
lola: 7089892 markings, 33700700 edges, 15609 markings/sec, 385 secs
lola: 7160011 markings, 34126153 edges, 14024 markings/sec, 390 secs
lola: 7227715 markings, 34553416 edges, 13541 markings/sec, 395 secs
lola: 7292838 markings, 34971352 edges, 13025 markings/sec, 400 secs
lola: 7395822 markings, 35379627 edges, 20597 markings/sec, 405 secs
lola: 7505007 markings, 35791602 edges, 21837 markings/sec, 410 secs
lola: 7595978 markings, 36217887 edges, 18194 markings/sec, 415 secs
lola: 7693134 markings, 36625182 edges, 19431 markings/sec, 420 secs
lola: 7789100 markings, 37026231 edges, 19193 markings/sec, 425 secs
lola: 7882974 markings, 37436986 edges, 18775 markings/sec, 430 secs
lola: 7969653 markings, 37855371 edges, 17336 markings/sec, 435 secs
lola: 8050682 markings, 38269772 edges, 16206 markings/sec, 440 secs
lola: 8141915 markings, 38666965 edges, 18247 markings/sec, 445 secs
lola: 8222763 markings, 39074880 edges, 16170 markings/sec, 450 secs
lola: 8301170 markings, 39490401 edges, 15681 markings/sec, 455 secs
lola: 8377612 markings, 39906621 edges, 15288 markings/sec, 460 secs
lola: 8449624 markings, 40313241 edges, 14402 markings/sec, 465 secs
lola: 8517759 markings, 40721316 edges, 13627 markings/sec, 470 secs
lola: 8595765 markings, 41155248 edges, 15601 markings/sec, 475 secs
lola: 8666568 markings, 41574089 edges, 14161 markings/sec, 480 secs
lola: 8734738 markings, 41998196 edges, 13634 markings/sec, 485 secs
lola: 8801724 markings, 42423939 edges, 13397 markings/sec, 490 secs
lola: 8875817 markings, 42852783 edges, 14819 markings/sec, 495 secs
lola: 8952630 markings, 43274510 edges, 15363 markings/sec, 500 secs
lola: 9022379 markings, 43696251 edges, 13950 markings/sec, 505 secs
lola: 9089209 markings, 44116526 edges, 13366 markings/sec, 510 secs
lola: 9152187 markings, 44536152 edges, 12596 markings/sec, 515 secs
lola: 9292409 markings, 44950352 edges, 28044 markings/sec, 520 secs
lola: 9423755 markings, 45357821 edges, 26269 markings/sec, 525 secs
lola: 9547605 markings, 45766127 edges, 24770 markings/sec, 530 secs
lola: 9680629 markings, 46158749 edges, 26605 markings/sec, 535 secs
lola: 9798806 markings, 46564225 edges, 23635 markings/sec, 540 secs
lola: 9877289 markings, 46992531 edges, 15697 markings/sec, 545 secs
lola: 9945300 markings, 47413359 edges, 13602 markings/sec, 550 secs
lola: 10013360 markings, 47840926 edges, 13612 markings/sec, 555 secs
lola: 10075894 markings, 48258154 edges, 12507 markings/sec, 560 secs
lola: 10153879 markings, 48680345 edges, 15597 markings/sec, 565 secs
lola: 10224326 markings, 49103110 edges, 14089 markings/sec, 570 secs
lola: 10290088 markings, 49521000 edges, 13152 markings/sec, 575 secs
lola: 10374520 markings, 49935649 edges, 16886 markings/sec, 580 secs
lola: 10536097 markings, 50340007 edges, 32315 markings/sec, 585 secs
lola: 10678579 markings, 50746793 edges, 28496 markings/sec, 590 secs
lola: 10828161 markings, 51143298 edges, 29916 markings/sec, 595 secs
lola: 10976949 markings, 51537477 edges, 29758 markings/sec, 600 secs
lola: 11099945 markings, 51937012 edges, 24599 markings/sec, 605 secs
lola: 11235817 markings, 52336492 edges, 27174 markings/sec, 610 secs
lola: 11386881 markings, 52723527 edges, 30213 markings/sec, 615 secs
lola: 11532788 markings, 53116807 edges, 29181 markings/sec, 620 secs
lola: 11674880 markings, 53522209 edges, 28418 markings/sec, 625 secs
lola: 11825514 markings, 53911839 edges, 30127 markings/sec, 630 secs
lola: 11963620 markings, 54289393 edges, 27621 markings/sec, 635 secs
lola: 12072394 markings, 54698929 edges, 21755 markings/sec, 640 secs
lola: 12204689 markings, 55097967 edges, 26459 markings/sec, 645 secs
lola: 12346298 markings, 55465804 edges, 28322 markings/sec, 650 secs
lola: 12492884 markings, 55854950 edges, 29317 markings/sec, 655 secs
lola: 12641367 markings, 56248912 edges, 29697 markings/sec, 660 secs
lola: 12786122 markings, 56646482 edges, 28951 markings/sec, 665 secs
lola: 12930334 markings, 57028870 edges, 28842 markings/sec, 670 secs
lola: local time limit reached - aborting
lola:
preliminary result: no no unknown yes unknown unknown unknown no no no no yes unknown yes unknown no
lola: memory consumption: 2387688 KB
lola: time consumption: 2218 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 675 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((p448 <= p1139) OR (F (G (((1 <= p631) OR G ((p483 <= p499))))) OR G ((p631 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((p448 <= p1139) OR (F (G (((1 <= p631) OR G ((p483 <= p499))))) OR G ((p631 <= 0)))))
lola: processed formula length: 89
lola: 99 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 7 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: 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: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 15 will run for 1351 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (F ((p705 <= p135))) AND A (G ((p278 + 1 <= p1049))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 1351 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((p278 + 1 <= p1049)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: processed formula: A (G ((p278 + 1 <= p1049)))
lola: processed formula length: 27
lola: 101 rewrites
lola: closed formula file LTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (p1049 <= p278)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 0 markings, 0 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: A (F (G (((p1085 <= p1078) OR X ((p1180 + 1 <= p248))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G (((p1085 <= p1078) OR X ((p1180 + 1 <= p248))))))
lola: processed formula length: 57
lola: 99 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: 102011 markings, 451933 edges, 20402 markings/sec, 0 secs
lola: 197746 markings, 885556 edges, 19147 markings/sec, 5 secs
lola: 302049 markings, 1355195 edges, 20861 markings/sec, 10 secs
lola: 385576 markings, 1754432 edges, 16705 markings/sec, 15 secs
lola: 465448 markings, 2184719 edges, 15974 markings/sec, 20 secs
lola: 553425 markings, 2655848 edges, 17595 markings/sec, 25 secs
lola: 657269 markings, 3121625 edges, 20769 markings/sec, 30 secs
lola: 736168 markings, 3570165 edges, 15780 markings/sec, 35 secs
lola: 817252 markings, 4005797 edges, 16217 markings/sec, 40 secs
lola: 881426 markings, 4444348 edges, 12835 markings/sec, 45 secs
lola: 958473 markings, 4906516 edges, 15409 markings/sec, 50 secs
lola: 1042184 markings, 5368441 edges, 16742 markings/sec, 55 secs
lola: 1112354 markings, 5829212 edges, 14034 markings/sec, 60 secs
lola: 1185710 markings, 6275707 edges, 14671 markings/sec, 65 secs
lola: 1255291 markings, 6736320 edges, 13916 markings/sec, 70 secs
lola: 1334865 markings, 7163703 edges, 15915 markings/sec, 75 secs
lola: 1402535 markings, 7624077 edges, 13534 markings/sec, 80 secs
lola: 1479993 markings, 8088169 edges, 15492 markings/sec, 85 secs
lola: 1556191 markings, 8551158 edges, 15240 markings/sec, 90 secs
lola: 1642457 markings, 9020310 edges, 17253 markings/sec, 95 secs
lola: 1729357 markings, 9491596 edges, 17380 markings/sec, 100 secs
lola: 1812671 markings, 9965043 edges, 16663 markings/sec, 105 secs
lola: 1894700 markings, 10411534 edges, 16406 markings/sec, 110 secs
lola: 1978291 markings, 10882831 edges, 16718 markings/sec, 115 secs
lola: 2062137 markings, 11353223 edges, 16769 markings/sec, 120 secs
lola: 2141178 markings, 11824325 edges, 15808 markings/sec, 125 secs
lola: 2210776 markings, 12294381 edges, 13920 markings/sec, 130 secs
lola: 2283672 markings, 12728077 edges, 14579 markings/sec, 135 secs
lola: 2369230 markings, 13194439 edges, 17112 markings/sec, 140 secs
lola: 2436829 markings, 13656133 edges, 13520 markings/sec, 145 secs
lola: 2504616 markings, 14089043 edges, 13557 markings/sec, 150 secs
lola: 2563603 markings, 14516827 edges, 11797 markings/sec, 155 secs
lola: 2629941 markings, 14952264 edges, 13268 markings/sec, 160 secs
lola: 2692635 markings, 15408606 edges, 12539 markings/sec, 165 secs
lola: 2757571 markings, 15846809 edges, 12987 markings/sec, 170 secs
lola: 2815629 markings, 16281229 edges, 11612 markings/sec, 175 secs
lola: 2882504 markings, 16743074 edges, 13375 markings/sec, 180 secs
lola: 2945187 markings, 17203035 edges, 12537 markings/sec, 185 secs
lola: 3007977 markings, 17647810 edges, 12558 markings/sec, 190 secs
lola: 3070662 markings, 18107134 edges, 12537 markings/sec, 195 secs
lola: 3137840 markings, 18571471 edges, 13436 markings/sec, 200 secs
lola: 3193579 markings, 18996425 edges, 11148 markings/sec, 205 secs
lola: 3257223 markings, 19453068 edges, 12729 markings/sec, 210 secs
lola: 3330101 markings, 19918316 edges, 14576 markings/sec, 215 secs
lola: 3399748 markings, 20389312 edges, 13929 markings/sec, 220 secs
lola: 3483607 markings, 20862957 edges, 16772 markings/sec, 225 secs
lola: 3570012 markings, 21336861 edges, 17281 markings/sec, 230 secs
lola: 3653088 markings, 21808811 edges, 16615 markings/sec, 235 secs
lola: 3738602 markings, 22280194 edges, 17103 markings/sec, 240 secs
lola: 3821693 markings, 22750483 edges, 16618 markings/sec, 245 secs
lola: 3892850 markings, 23219955 edges, 14231 markings/sec, 250 secs
lola: 3960218 markings, 23653187 edges, 13474 markings/sec, 255 secs
lola: 4041644 markings, 24121839 edges, 16285 markings/sec, 260 secs
lola: 4119178 markings, 24586571 edges, 15507 markings/sec, 265 secs
lola: 4193738 markings, 25051429 edges, 14912 markings/sec, 270 secs
lola: 4251741 markings, 25484419 edges, 11601 markings/sec, 275 secs
lola: 4318215 markings, 25947046 edges, 13295 markings/sec, 280 secs
lola: 4382033 markings, 26409467 edges, 12764 markings/sec, 285 secs
lola: 4443648 markings, 26844129 edges, 12323 markings/sec, 290 secs
lola: 4507793 markings, 27304485 edges, 12829 markings/sec, 295 secs
lola: 4568771 markings, 27740254 edges, 12196 markings/sec, 300 secs
lola: 4635541 markings, 28198048 edges, 13354 markings/sec, 305 secs
lola: 4698256 markings, 28661513 edges, 12543 markings/sec, 310 secs
lola: 4765745 markings, 29100750 edges, 13498 markings/sec, 315 secs
lola: 4824304 markings, 29560329 edges, 11712 markings/sec, 320 secs
lola: 4895865 markings, 30023744 edges, 14312 markings/sec, 325 secs
lola: 4954133 markings, 30480679 edges, 11654 markings/sec, 330 secs
lola: 5026374 markings, 30943766 edges, 14448 markings/sec, 335 secs
lola: 5092214 markings, 31381388 edges, 13168 markings/sec, 340 secs
lola: 5167383 markings, 31855209 edges, 15034 markings/sec, 345 secs
lola: 5236732 markings, 32325747 edges, 13870 markings/sec, 350 secs
lola: 5309822 markings, 32796773 edges, 14618 markings/sec, 355 secs
lola: 5379163 markings, 33264135 edges, 13868 markings/sec, 360 secs
lola: 5447845 markings, 33703053 edges, 13736 markings/sec, 365 secs
lola: 5516622 markings, 34170353 edges, 13755 markings/sec, 370 secs
lola: 5580818 markings, 34636066 edges, 12839 markings/sec, 375 secs
lola: 5641429 markings, 35101105 edges, 12122 markings/sec, 380 secs
lola: 5703940 markings, 35533425 edges, 12502 markings/sec, 385 secs
lola: 5776604 markings, 36001264 edges, 14533 markings/sec, 390 secs
lola: 5833431 markings, 36426279 edges, 11365 markings/sec, 395 secs
lola: 5895821 markings, 36888485 edges, 12478 markings/sec, 400 secs
lola: 5953234 markings, 37315380 edges, 11483 markings/sec, 405 secs
lola: 5998785 markings, 37743934 edges, 9110 markings/sec, 410 secs
lola: 6060289 markings, 38207007 edges, 12301 markings/sec, 415 secs
lola: 6116996 markings, 38654075 edges, 11341 markings/sec, 420 secs
lola: 6172092 markings, 39093909 edges, 11019 markings/sec, 425 secs
lola: 6223749 markings, 39548735 edges, 10331 markings/sec, 430 secs
lola: 6279458 markings, 40005531 edges, 11142 markings/sec, 435 secs
lola: 6338800 markings, 40441307 edges, 11868 markings/sec, 440 secs
lola: 6383224 markings, 40860668 edges, 8885 markings/sec, 445 secs
lola: 6446548 markings, 41324389 edges, 12665 markings/sec, 450 secs
lola: 6497656 markings, 41742135 edges, 10222 markings/sec, 455 secs
lola: 6553104 markings, 42206166 edges, 11090 markings/sec, 460 secs
lola: 6609211 markings, 42661342 edges, 11221 markings/sec, 465 secs
lola: 6658796 markings, 43089308 edges, 9917 markings/sec, 470 secs
lola: 6715358 markings, 43521694 edges, 11312 markings/sec, 475 secs
lola: 6780584 markings, 43994690 edges, 13045 markings/sec, 480 secs
lola: 6840464 markings, 44466685 edges, 11976 markings/sec, 485 secs
lola: 6926359 markings, 44941976 edges, 17179 markings/sec, 490 secs
lola: 7013603 markings, 45414909 edges, 17449 markings/sec, 495 secs
lola: 7094826 markings, 45882562 edges, 16245 markings/sec, 500 secs
lola: 7179802 markings, 46350977 edges, 16995 markings/sec, 505 secs
lola: 7261139 markings, 46818667 edges, 16267 markings/sec, 510 secs
lola: 7330698 markings, 47287389 edges, 13912 markings/sec, 515 secs
lola: 7406018 markings, 47755480 edges, 15064 markings/sec, 520 secs
lola: 7492640 markings, 48220761 edges, 17324 markings/sec, 525 secs
lola: 7567415 markings, 48681553 edges, 14955 markings/sec, 530 secs
lola: 7635935 markings, 49143555 edges, 13704 markings/sec, 535 secs
lola: 7699002 markings, 49596885 edges, 12613 markings/sec, 540 secs
lola: 7766193 markings, 50058238 edges, 13438 markings/sec, 545 secs
lola: 7828728 markings, 50512008 edges, 12507 markings/sec, 550 secs
lola: 7896141 markings, 50973016 edges, 13483 markings/sec, 555 secs
lola: 7958254 markings, 51427071 edges, 12423 markings/sec, 560 secs
lola: 8025762 markings, 51889802 edges, 13502 markings/sec, 565 secs
lola: 8088044 markings, 52345677 edges, 12456 markings/sec, 570 secs
lola: 8155406 markings, 52808109 edges, 13472 markings/sec, 575 secs
lola: 8216820 markings, 53262279 edges, 12283 markings/sec, 580 secs
lola: 8283596 markings, 53721772 edges, 13355 markings/sec, 585 secs
lola: 8345300 markings, 54176837 edges, 12341 markings/sec, 590 secs
lola: 8405956 markings, 54638294 edges, 12131 markings/sec, 595 secs
lola: 8479594 markings, 55105321 edges, 14728 markings/sec, 600 secs
lola: 8548838 markings, 55573998 edges, 13849 markings/sec, 605 secs
lola: 8617149 markings, 56010480 edges, 13662 markings/sec, 610 secs
lola: 8687520 markings, 56484864 edges, 14074 markings/sec, 615 secs
lola: 8761252 markings, 56957574 edges, 14746 markings/sec, 620 secs
lola: 8834960 markings, 57430081 edges, 14742 markings/sec, 625 secs
lola: 8905479 markings, 57900532 edges, 14104 markings/sec, 630 secs
lola: 8974909 markings, 58372225 edges, 13886 markings/sec, 635 secs
lola: 9034756 markings, 58842180 edges, 11969 markings/sec, 640 secs
lola: 9099305 markings, 59313934 edges, 12910 markings/sec, 645 secs
lola: 9168636 markings, 59784324 edges, 13866 markings/sec, 650 secs
lola: 9240425 markings, 60248417 edges, 14358 markings/sec, 655 secs
lola: 9298669 markings, 60709711 edges, 11649 markings/sec, 660 secs
lola: 9360792 markings, 61174675 edges, 12425 markings/sec, 665 secs
lola: 9411954 markings, 61630960 edges, 10232 markings/sec, 670 secs
lola: 9477809 markings, 62096919 edges, 13171 markings/sec, 675 secs
lola: 9532472 markings, 62555606 edges, 10933 markings/sec, 680 secs
lola: 9587567 markings, 63021029 edges, 11019 markings/sec, 685 secs
lola: 9642631 markings, 63480830 edges, 11013 markings/sec, 690 secs
lola: 9698457 markings, 63942241 edges, 11165 markings/sec, 695 secs
lola: 9761392 markings, 64404532 edges, 12587 markings/sec, 700 secs
lola: 9811275 markings, 64862558 edges, 9977 markings/sec, 705 secs
lola: 9872704 markings, 65327334 edges, 12286 markings/sec, 710 secs
lola: 9931682 markings, 65783536 edges, 11796 markings/sec, 715 secs
lola: 9989481 markings, 66249965 edges, 11560 markings/sec, 720 secs
lola: 10041708 markings, 66711021 edges, 10445 markings/sec, 725 secs
lola: 10097762 markings, 67172175 edges, 11211 markings/sec, 730 secs
lola: 10161181 markings, 67640171 edges, 12684 markings/sec, 735 secs
lola: 10223328 markings, 68112706 edges, 12429 markings/sec, 740 secs
lola: 10297262 markings, 68585027 edges, 14787 markings/sec, 745 secs
lola: 10396172 markings, 69056927 edges, 19782 markings/sec, 750 secs
lola: 10501805 markings, 69527330 edges, 21127 markings/sec, 755 secs
lola: 10605141 markings, 69996854 edges, 20667 markings/sec, 760 secs
lola: 10700638 markings, 70467167 edges, 19099 markings/sec, 765 secs
lola: 10782057 markings, 70938115 edges, 16284 markings/sec, 770 secs
lola: 10880005 markings, 71407995 edges, 19590 markings/sec, 775 secs
lola: 10976088 markings, 71871636 edges, 19217 markings/sec, 780 secs
lola: 11060060 markings, 72335783 edges, 16794 markings/sec, 785 secs
lola: 11128389 markings, 72796594 edges, 13666 markings/sec, 790 secs
lola: 11214151 markings, 73261414 edges, 17152 markings/sec, 795 secs
lola: 11282300 markings, 73723585 edges, 13630 markings/sec, 800 secs
lola: 11359185 markings, 74185804 edges, 15377 markings/sec, 805 secs
lola: 11442495 markings, 74648074 edges, 16662 markings/sec, 810 secs
lola: 11514691 markings, 75107630 edges, 14439 markings/sec, 815 secs
lola: 11589582 markings, 75573236 edges, 14978 markings/sec, 820 secs
lola: 11658964 markings, 76033080 edges, 13876 markings/sec, 825 secs
lola: 11743924 markings, 76496948 edges, 16992 markings/sec, 830 secs
lola: 11813576 markings, 76958828 edges, 13930 markings/sec, 835 secs
lola: 11900154 markings, 77424790 edges, 17316 markings/sec, 840 secs
lola: 11980369 markings, 77894536 edges, 16043 markings/sec, 845 secs
lola: 12069223 markings, 78367317 edges, 17771 markings/sec, 850 secs
lola: 12154723 markings, 78839173 edges, 17100 markings/sec, 855 secs
lola: 12236371 markings, 79309576 edges, 16330 markings/sec, 860 secs
lola: 12323609 markings, 79779088 edges, 17448 markings/sec, 865 secs
lola: 12403766 markings, 80249262 edges, 16031 markings/sec, 870 secs
lola: 12473054 markings, 80719279 edges, 13858 markings/sec, 875 secs
lola: 12550328 markings, 81190000 edges, 15455 markings/sec, 880 secs
lola: 12638664 markings, 81656193 edges, 17667 markings/sec, 885 secs
lola: 12705404 markings, 82116478 edges, 13348 markings/sec, 890 secs
lola: 12776762 markings, 82582262 edges, 14272 markings/sec, 895 secs
lola: 12836016 markings, 83039763 edges, 11851 markings/sec, 900 secs
lola: 12906604 markings, 83505355 edges, 14118 markings/sec, 905 secs
lola: 12966555 markings, 83962844 edges, 11990 markings/sec, 910 secs
lola: 13036665 markings, 84428725 edges, 14022 markings/sec, 915 secs
lola: 13097090 markings, 84886067 edges, 12085 markings/sec, 920 secs
lola: 13166834 markings, 85351825 edges, 13949 markings/sec, 925 secs
lola: 13227590 markings, 85808927 edges, 12151 markings/sec, 930 secs
lola: 13296570 markings, 86274189 edges, 13796 markings/sec, 935 secs
lola: 13358541 markings, 86730702 edges, 12394 markings/sec, 940 secs
lola: 13426194 markings, 87196171 edges, 13531 markings/sec, 945 secs
lola: 13489108 markings, 87653970 edges, 12583 markings/sec, 950 secs
lola: 13554936 markings, 88118099 edges, 13166 markings/sec, 955 secs
lola: 13629539 markings, 88587598 edges, 14921 markings/sec, 960 secs
lola: 13699481 markings, 89058603 edges, 13988 markings/sec, 965 secs
lola: 13773396 markings, 89534228 edges, 14783 markings/sec, 970 secs
lola: 13847078 markings, 90009530 edges, 14736 markings/sec, 975 secs
lola: 13917482 markings, 90483211 edges, 14081 markings/sec, 980 secs
lola: 13991193 markings, 90956200 edges, 14742 markings/sec, 985 secs
lola: 14061073 markings, 91428059 edges, 13976 markings/sec, 990 secs
lola: 14129184 markings, 91901198 edges, 13622 markings/sec, 995 secs
lola: 14188866 markings, 92372338 edges, 11936 markings/sec, 1000 secs
lola: 14255566 markings, 92845425 edges, 13340 markings/sec, 1005 secs
lola: 14327797 markings, 93315308 edges, 14446 markings/sec, 1010 secs
lola: 14391854 markings, 93778584 edges, 12811 markings/sec, 1015 secs
lola: 14454956 markings, 94243580 edges, 12620 markings/sec, 1020 secs
lola: 14515357 markings, 94705219 edges, 12080 markings/sec, 1025 secs
lola: 14566471 markings, 95167002 edges, 10223 markings/sec, 1030 secs
lola: 14628855 markings, 95632247 edges, 12477 markings/sec, 1035 secs
lola: 14680033 markings, 96089845 edges, 10236 markings/sec, 1040 secs
lola: 14744880 markings, 96556517 edges, 12969 markings/sec, 1045 secs
lola: 14800832 markings, 97015651 edges, 11190 markings/sec, 1050 secs
lola: 14856758 markings, 97482523 edges, 11185 markings/sec, 1055 secs
lola: 14910911 markings, 97943306 edges, 10831 markings/sec, 1060 secs
lola: 14967288 markings, 98406032 edges, 11275 markings/sec, 1065 secs
lola: 15030180 markings, 98868570 edges, 12578 markings/sec, 1070 secs
lola: 15079805 markings, 99327712 edges, 9925 markings/sec, 1075 secs
lola: 15141776 markings, 99794431 edges, 12394 markings/sec, 1080 secs
lola: 15199882 markings, 100252797 edges, 11621 markings/sec, 1085 secs
lola: 15254542 markings, 100720264 edges, 10932 markings/sec, 1090 secs
lola: 15318519 markings, 101191615 edges, 12795 markings/sec, 1095 secs
lola: 15379978 markings, 101664803 edges, 12292 markings/sec, 1100 secs
lola: 15445506 markings, 102140304 edges, 13106 markings/sec, 1105 secs
lola: 15506851 markings, 102615366 edges, 12269 markings/sec, 1110 secs
lola: 15571253 markings, 103089866 edges, 12880 markings/sec, 1115 secs
lola: 15631916 markings, 103562542 edges, 12133 markings/sec, 1120 secs
lola: 15696674 markings, 104034722 edges, 12952 markings/sec, 1125 secs
lola: 15756319 markings, 104505156 edges, 11929 markings/sec, 1130 secs
lola: 15817423 markings, 104976190 edges, 12221 markings/sec, 1135 secs
lola: 15871494 markings, 105446418 edges, 10814 markings/sec, 1140 secs
lola: 15925960 markings, 105917056 edges, 10893 markings/sec, 1145 secs
lola: 15986402 markings, 106388420 edges, 12088 markings/sec, 1150 secs
lola: 16050337 markings, 106856860 edges, 12787 markings/sec, 1155 secs
lola: 16104079 markings, 107317627 edges, 10748 markings/sec, 1160 secs
lola: 16158735 markings, 107779893 edges, 10931 markings/sec, 1165 secs
lola: 16213609 markings, 108242725 edges, 10975 markings/sec, 1170 secs
lola: 16259990 markings, 108697707 edges, 9276 markings/sec, 1175 secs
lola: 16316273 markings, 109164708 edges, 11257 markings/sec, 1180 secs
lola: 16361718 markings, 109623396 edges, 9089 markings/sec, 1185 secs
lola: 16410955 markings, 110081877 edges, 9847 markings/sec, 1190 secs
lola: 16464983 markings, 110542503 edges, 10806 markings/sec, 1195 secs
lola: 16516658 markings, 110992032 edges, 10335 markings/sec, 1200 secs
lola: 16564796 markings, 111457055 edges, 9628 markings/sec, 1205 secs
lola: 16617815 markings, 111911571 edges, 10604 markings/sec, 1210 secs
lola: 16661167 markings, 112364037 edges, 8670 markings/sec, 1215 secs
lola: 16718420 markings, 112825322 edges, 11451 markings/sec, 1220 secs
lola: 16765924 markings, 113283764 edges, 9501 markings/sec, 1225 secs
lola: 16814038 markings, 113740761 edges, 9623 markings/sec, 1230 secs
lola: 16868551 markings, 114199969 edges, 10903 markings/sec, 1235 secs
lola: 16913314 markings, 114652501 edges, 8953 markings/sec, 1240 secs
lola: 16965814 markings, 115114369 edges, 10500 markings/sec, 1245 secs
lola: 17022409 markings, 115578783 edges, 11319 markings/sec, 1250 secs
lola: 17075748 markings, 116048198 edges, 10668 markings/sec, 1255 secs
lola: 17138298 markings, 116516493 edges, 12510 markings/sec, 1260 secs
lola: 17220959 markings, 116986545 edges, 16532 markings/sec, 1265 secs
lola: 17305993 markings, 117455014 edges, 17007 markings/sec, 1270 secs
lola: 17391369 markings, 117921928 edges, 17075 markings/sec, 1275 secs
lola: 17473484 markings, 118389191 edges, 16423 markings/sec, 1280 secs
lola: 17551719 markings, 118858368 edges, 15647 markings/sec, 1285 secs
lola: 17621328 markings, 119325840 edges, 13922 markings/sec, 1290 secs
lola: 17699597 markings, 119794701 edges, 15654 markings/sec, 1295 secs
lola: 17782504 markings, 120258744 edges, 16581 markings/sec, 1300 secs
lola: 17851519 markings, 120714106 edges, 13803 markings/sec, 1305 secs
lola: 17923729 markings, 121176208 edges, 14442 markings/sec, 1310 secs
lola: 17981584 markings, 121632449 edges, 11571 markings/sec, 1315 secs
lola: 18052108 markings, 122091857 edges, 14105 markings/sec, 1320 secs
lola: 18110125 markings, 122544062 edges, 11603 markings/sec, 1325 secs
lola: 18181100 markings, 123010683 edges, 14195 markings/sec, 1330 secs
lola: 18238741 markings, 123459326 edges, 11528 markings/sec, 1335 secs
lola: 18308818 markings, 123919391 edges, 14015 markings/sec, 1340 secs
lola: 18367473 markings, 124373973 edges, 11731 markings/sec, 1345 secs
lola: time limit reached - aborting
lola:
preliminary result: no no unknown yes unknown unknown yes no no no no yes no yes unknown no
lola: lola: caught signal User defined signal 1 - aborting LoLA
preliminary result: no no unknown yes unknown unknown yes no no no no yes no yes unknown no lola:
preliminary result: no no unknown yes unknown unknown yes no no no no yes no yes unknown no
lola: memory consumption: 2697936 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLCardinality.json
lola: closed JSON file LTLCardinality.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no no unknown yes unknown unknown yes no no no no yes no yes unknown no
lola: memory consumption: 2697936 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 1590054225494
--------------------
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="CloudDeployment-PT-4b"
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 CloudDeployment-PT-4b, 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 r045-smll-158902068300077"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/CloudDeployment-PT-4b.tgz
mv CloudDeployment-PT-4b 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 ;