fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r045-smll-158902068300077
Last Updated
Jun 28, 2020

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 '' LTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
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 ;