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

About the Execution of 2019-Gold for CircularTrains-PT-096

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15918.680 3570172.00 3636259.00 8919.80 FFF?FF??TFTFF??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-158902068200020.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 CircularTrains-PT-096, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r045-smll-158902068200020
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 252K
-rw-r--r-- 1 mcc users 4.2K Mar 30 01:01 CTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Mar 30 01:01 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 28 15:18 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 28 15:18 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.4K Apr 8 14:44 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Apr 8 14:44 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Mar 27 08:13 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 27 08:13 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Mar 26 07:36 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 26 07:36 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 73K 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 CircularTrains-PT-096-00
FORMULA_NAME CircularTrains-PT-096-01
FORMULA_NAME CircularTrains-PT-096-02
FORMULA_NAME CircularTrains-PT-096-03
FORMULA_NAME CircularTrains-PT-096-04
FORMULA_NAME CircularTrains-PT-096-05
FORMULA_NAME CircularTrains-PT-096-06
FORMULA_NAME CircularTrains-PT-096-07
FORMULA_NAME CircularTrains-PT-096-08
FORMULA_NAME CircularTrains-PT-096-09
FORMULA_NAME CircularTrains-PT-096-10
FORMULA_NAME CircularTrains-PT-096-11
FORMULA_NAME CircularTrains-PT-096-12
FORMULA_NAME CircularTrains-PT-096-13
FORMULA_NAME CircularTrains-PT-096-14
FORMULA_NAME CircularTrains-PT-096-15

=== Now, execution of the tool begins

BK_START 1589233572357

info: Time: 3600 - MCC
vrfy: Checking LTLFireability @ CircularTrains-PT-096 @ 3570 seconds

FORMULA CircularTrains-PT-096-00 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CircularTrains-PT-096-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CircularTrains-PT-096-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CircularTrains-PT-096-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CircularTrains-PT-096-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CircularTrains-PT-096-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CircularTrains-PT-096-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CircularTrains-PT-096-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CircularTrains-PT-096-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CircularTrains-PT-096-08 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CircularTrains-PT-096-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CircularTrains-PT-096-03 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for LTLFireability @ CircularTrains-PT-096

{
"build":
{
"architecture": 64,
"assertions": false,
"build_hostname": "mcc2019",
"build_system": "x86_64-unknown-linux-gnu",
"optimizations": true,
"package_version": "2.0",
"svn_version": "3189M"
},
"call":
{
"exec_host": "mcc2019",
"markinglimit": null,
"parameters":
[
"--pnmlnet",
"model.pnml",
"--xmlformula",
"--formula=LTLFireability.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--check=modelchecking",
"--stubborn=deletion",
"--stateequation=par",
"--timelimit=3570",
"--localtimelimit=0",
"--preference=force_ltl",
"--json=LTLFireability.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Mon May 11 21:46:12 2020
",
"timelimit": 3570
},
"child":
[

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 222
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 2,
"U": 0,
"X": 2,
"aconj": 0,
"adisj": 1,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 3,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 3,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 2
},
"processed": "A (G (((FIREABLE(t29_to_30) OR FIREABLE(t23_to_24)) OR X (X (G (FIREABLE(t23_to_24)))))))",
"processed_size": 90,
"rewrites": 67
},
"result":
{
"edges": 861,
"markings": 861,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 4
},
"compoundnumber": 0,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 237
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 0,
"U": 0,
"X": 2,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 1,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 2,
"unfir": 1,
"visible_places": 0,
"visible_transitions": 2
},
"processed": "A ((X (X (F (FIREABLE(t66_to_67)))) R FIREABLE(t94_to_95)))",
"processed_size": 59,
"rewrites": 67
},
"result":
{
"edges": 861,
"markings": 861,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 5
},
"compoundnumber": 1,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 254
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 2,
"G": 1,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 2,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 1,
"tdisj": 0,
"tneg": 0,
"transition_references": 2,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 2
},
"processed": "A (X (F ((FIREABLE(t67_to_68) AND F (G (FIREABLE(t12_to_13)))))))",
"processed_size": 65,
"rewrites": 67
},
"result":
{
"edges": 861,
"markings": 861,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 4
},
"compoundnumber": 3,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 275
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 2,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 1,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 1,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 1
},
"processed": "A (X (X (G (NOT FIREABLE(t59_to_60)))))",
"processed_size": 39,
"rewrites": 67
},
"result":
{
"edges": 861,
"markings": 861,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 4
},
"compoundnumber": 6,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 306
},
"child":
[

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 306
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 1,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 1,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 1
},
"processed": "A (X (FIREABLE(t39_to_40)))",
"processed_size": 27,
"rewrites": 67
},
"result":
{
"edges": 891,
"markings": 891,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 7,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 7,
"type": "boolean"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 344
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 1,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 2,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 2,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 2
},
"processed": "(NOT FIREABLE(t58_to_59) OR NOT FIREABLE(t11_to_12))",
"processed_size": 53,
"rewrites": 69
},
"result":
{
"edges": 3227,
"markings": 3227,
"produced_by": "state space / EG",
"value": false
},
"task":
{
"compoundnumber": 10,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion",
"visible": 6
},
"threads": 1,
"type": "dfs"
},
"type": "eventual_occurrence"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 413
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 2,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 2,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 1,
"tdisj": 0,
"tneg": 0,
"transition_references": 2,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 2
},
"processed": "A (F (G ((FIREABLE(t11_to_12) AND F (FIREABLE(t18_to_19))))))",
"processed_size": 61,
"rewrites": 67
},
"result":
{
"edges": 810,
"markings": 809,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 11,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 517
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 2,
"G": 2,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 1,
"aneg": 3,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 4,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 1,
"tdisj": 1,
"tneg": 0,
"transition_references": 4,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 3
},
"processed": "A (G (F (((NOT FIREABLE(t12_to_13) AND NOT FIREABLE(t1_to_2)) OR (G (NOT FIREABLE(t13_to_14)) AND F (NOT FIREABLE(t12_to_13)))))))",
"processed_size": 130,
"rewrites": 67
},
"result":
{
"edges": 21149065,
"markings": 4830866,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 5
},
"compoundnumber": 12,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 677
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 2,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 3,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 1,
"tdisj": 1,
"tneg": 0,
"transition_references": 3,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 3
},
"processed": "A (F ((FIREABLE(t39_to_40) AND F ((FIREABLE(t60_to_61) OR NOT FIREABLE(t41_to_42))))))",
"processed_size": 86,
"rewrites": 67
},
"result":
{
"edges": 0,
"markings": 1,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 13,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1015
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 1,
"X": 0,
"aconj": 0,
"adisj": 1,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 4,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 2,
"tneg": 0,
"transition_references": 5,
"unfir": 1,
"visible_places": 0,
"visible_transitions": 4
},
"processed": "A (((FIREABLE(t36_to_37) OR FIREABLE(t13_to_14)) OR (G (FIREABLE(t76_to_77)) OR (FIREABLE(t36_to_37) U NOT FIREABLE(t78_to_79)))))",
"processed_size": 131,
"rewrites": 67
},
"result":
{
"edges": 0,
"markings": 1,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 5
},
"compoundnumber": 14,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 2031
},
"child":
[

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 2031
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 1,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 1,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 1
},
"processed": "A (G (FIREABLE(t93_to_94)))",
"processed_size": 27,
"rewrites": 69
},
"result":
{
"edges": 1,
"markings": 2,
"produced_by": "state space",
"value": false
},
"task":
{
"compoundnumber": 15,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 2,
"problems": 2
},
"type": "invariance",
"workflow": "stateequation||search"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 15,
"type": "boolean"
}
}
],
"exit":
{
"error": null,
"memory": 10956,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "LTLFireability.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "A(G((** OR X(X(G(**)))))) : A((X(X(F(**))) R *)) : A(F(G((** AND F(**))))) : A(X(G((X((F(**) OR X(G(*)))) AND (** OR F(**)))))) : A(G(F((* OR (G(*) AND F(*)))))) : A(X(F((** AND F(G(**)))))) : A(F((X((F(**) OR (** U **))) AND G(**)))) : A((F(**) OR X(X(G(*))))) : A((** OR (G(**) OR (** U **)))) : A(X(X(G(*)))) : A(F((** AND F((** OR *))))) : (A(X(**)) AND A(X((** U X(((** U **) OR (** U **))))))) : (A(G(**)) AND A(G((** OR F(G(**)))))) : A(((** U X(**)) OR G(F(**)))) : A(X(X(X((F(*) OR G(*)))))) : A(F(**))"
},
"net":
{
"arcs": 384,
"conflict_clusters": 96,
"places": 192,
"places_significant": 95,
"singleton_clusters": 0,
"transitions": 96
},
"result":
{
"interim_value": "no no no unknown no no unknown unknown yes no yes no no unknown unknown no ",
"preliminary_value": "no no no unknown no no unknown unknown yes no yes no no unknown unknown no "
},
"task":
{
"type": "compound"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 288/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 6144
lola: finding significant places
lola: 192 places, 96 transitions, 95 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 LTLFireability.xml
lola: A (G (((FIREABLE(t29_to_30) OR FIREABLE(t23_to_24)) OR X (NOT(X (NOT(G (FIREABLE(t23_to_24))))))))) : A (NOT((X (G (NOT(X (FIREABLE(t66_to_67))))) U NOT FIREABLE(t94_to_95)))) : A (X (X (F (G (F (G ((FIREABLE(t11_to_12) AND F (FIREABLE(t18_to_19)))))))))) : A (X (G ((X ((F (FIREABLE(t60_to_61)) OR X (NOT(F (FIREABLE(t60_to_61)))))) AND (FIREABLE(t2_to_3) OR F (FIREABLE(t70_to_71))))))) : A (NOT(X (X (F (G (X (((FIREABLE(t12_to_13) OR FIREABLE(t1_to_2)) AND (F (FIREABLE(t13_to_14)) OR G (FIREABLE(t12_to_13))))))))))) : A (X (F ((FIREABLE(t67_to_68) AND F (G (FIREABLE(t12_to_13))))))) : A (F ((F (FIREABLE(t12_to_13)) U (X ((F (FIREABLE(t44_to_45)) OR (FIREABLE(t12_to_13) U FIREABLE(t40_to_41)))) AND G (FIREABLE(t57_to_58)))))) : A ((F (NOT FIREABLE(t81_to_82)) OR X (G (X (NOT(F (FIREABLE(t7_to_8)))))))) : A ((((FIREABLE(t36_to_37) OR FIREABLE(t13_to_14)) OR G (FIREABLE(t76_to_77))) OR (FIREABLE(t36_to_37) U NOT FIREABLE(t78_to_79)))) : A (X (G (NOT(X (FIREABLE(t59_to_60)))))) : A (F ((FIREABLE(t39_to_40) AND (F (FIREABLE(t60_to_61)) OR NOT(G (FIREABLE(t41_to_42))))))) : A (X ((FIREABLE(t39_to_40) AND (FIREABLE(t40_to_41) U X (((FIREABLE(t40_to_41) U (FIREABLE(t39_to_40) OR FIREABLE(t92_to_93))) OR (FIREABLE(t64_to_65) U FIREABLE(t92_to_93)))))))) : A (G ((FIREABLE(t93_to_94) AND G ((FIREABLE(t31_to_32) OR G (NOT(G (NOT(G (FIREABLE(t31_to_32))))))))))) : A (((FIREABLE(t8_to_9) U X (FIREABLE(t28_to_29))) OR X (G (F (FIREABLE(t18_to_19)))))) : A (X (X (NOT((X (G (FIREABLE(t93_to_94))) AND X (F (FIREABLE(t9_to_10)))))))) : A ((F ((F (G (X (FIREABLE(t85_to_86)))) OR X (FIREABLE(t11_to_12)))) U F ((FIREABLE(t58_to_59) AND FIREABLE(t11_to_12)))))
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:374
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:380
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:353
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:519
lola: rewrite Frontend/Parser/formula_rewrite.k:551
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:374
lola: rewrite Frontend/Parser/formula_rewrite.k:545
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:525
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((FIREABLE(t29_to_30) OR FIREABLE(t23_to_24)) OR X (X (G (FIREABLE(t23_to_24)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (((FIREABLE(t29_to_30) OR FIREABLE(t23_to_24)) OR X (X (G (FIREABLE(t23_to_24)))))))
lola: processed formula length: 90
lola: 67 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 861 markings, 861 edges
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((X (X (F (FIREABLE(t66_to_67)))) R FIREABLE(t94_to_95)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((X (X (F (FIREABLE(t66_to_67)))) R FIREABLE(t94_to_95)))
lola: processed formula length: 59
lola: 67 rewrites
lola: closed formula file LTLFireability.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: 861 markings, 861 edges
lola: ========================================
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ========================================
lola: ...considering subproblem: A (X (G ((X ((F (FIREABLE(t60_to_61)) OR X (G (NOT FIREABLE(t60_to_61))))) AND (FIREABLE(t2_to_3) OR F (FIREABLE(t70_to_71)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (G ((X ((F (FIREABLE(t60_to_61)) OR X (G (NOT FIREABLE(t60_to_61))))) AND (FIREABLE(t2_to_3) OR F (FIREABLE(t70_to_71)))))))
lola: processed formula length: 129
lola: 67 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 1052807 markings, 2833076 edges, 210561 markings/sec, 0 secs
lola: 2050337 markings, 5826328 edges, 199506 markings/sec, 5 secs
lola: 2984347 markings, 8781068 edges, 186802 markings/sec, 10 secs
lola: 3914176 markings, 11722859 edges, 185966 markings/sec, 15 secs
lola: 4853246 markings, 14679792 edges, 187814 markings/sec, 20 secs
lola: 5785753 markings, 17589909 edges, 186501 markings/sec, 25 secs
lola: 6725876 markings, 20520979 edges, 188025 markings/sec, 30 secs
lola: 7676785 markings, 23456685 edges, 190182 markings/sec, 35 secs
lola: 8678453 markings, 26441434 edges, 200334 markings/sec, 40 secs
lola: 9567864 markings, 29266399 edges, 177882 markings/sec, 45 secs
lola: 10469663 markings, 32101175 edges, 180360 markings/sec, 50 secs
lola: 11328755 markings, 34896154 edges, 171818 markings/sec, 55 secs
lola: 12268795 markings, 37765535 edges, 188008 markings/sec, 60 secs
lola: 13112523 markings, 40632009 edges, 168746 markings/sec, 65 secs
lola: 13894427 markings, 43483210 edges, 156381 markings/sec, 70 secs
lola: 14681585 markings, 46357913 edges, 157432 markings/sec, 75 secs
lola: 15460810 markings, 49208570 edges, 155845 markings/sec, 80 secs
lola: 16246902 markings, 52076661 edges, 157218 markings/sec, 85 secs
lola: 17042013 markings, 54941132 edges, 159022 markings/sec, 90 secs
lola: 17847776 markings, 57821268 edges, 161153 markings/sec, 95 secs
lola: 18675166 markings, 60745298 edges, 165478 markings/sec, 100 secs
lola: 19476075 markings, 63584931 edges, 160182 markings/sec, 105 secs
lola: 20234185 markings, 66364742 edges, 151622 markings/sec, 110 secs
lola: 20963713 markings, 69090979 edges, 145906 markings/sec, 115 secs
lola: 21800971 markings, 71905195 edges, 167452 markings/sec, 120 secs
lola: 22696154 markings, 74787224 edges, 179037 markings/sec, 125 secs
lola: 23452931 markings, 77609498 edges, 151355 markings/sec, 130 secs
lola: 24233645 markings, 80463905 edges, 156143 markings/sec, 135 secs
lola: 25016793 markings, 83309150 edges, 156630 markings/sec, 140 secs
lola: 25794322 markings, 86112425 edges, 155506 markings/sec, 145 secs
lola: 26568750 markings, 88942504 edges, 154886 markings/sec, 150 secs
lola: 27357784 markings, 91782641 edges, 157807 markings/sec, 155 secs
lola: 28161857 markings, 94636918 edges, 160815 markings/sec, 160 secs
lola: 29006319 markings, 97534234 edges, 168892 markings/sec, 165 secs
lola: 29727511 markings, 100252224 edges, 144238 markings/sec, 170 secs
lola: 30497318 markings, 103059818 edges, 153961 markings/sec, 175 secs
lola: 31252112 markings, 105848130 edges, 150959 markings/sec, 180 secs
lola: 32162929 markings, 108735619 edges, 182163 markings/sec, 185 secs
lola: 32976182 markings, 111627357 edges, 162651 markings/sec, 190 secs
lola: 33773879 markings, 114501611 edges, 159539 markings/sec, 195 secs
lola: 34567852 markings, 117390664 edges, 158795 markings/sec, 200 secs
lola: 35373924 markings, 120276075 edges, 161214 markings/sec, 205 secs
lola: 36193411 markings, 123189740 edges, 163897 markings/sec, 210 secs
lola: 37033818 markings, 126115076 edges, 168081 markings/sec, 215 secs
lola: 37807519 markings, 128932704 edges, 154740 markings/sec, 220 secs
lola: 38561137 markings, 131731785 edges, 150724 markings/sec, 225 secs
lola: 39453689 markings, 134546783 edges, 178510 markings/sec, 230 secs
lola: 40229066 markings, 137376540 edges, 155075 markings/sec, 235 secs
lola: 41015669 markings, 140224276 edges, 157321 markings/sec, 240 secs
lola: 41810426 markings, 143076900 edges, 158951 markings/sec, 245 secs
lola: local time limit reached - aborting
lola:
preliminary result: no no unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 5982668 KB
lola: time consumption: 259 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (F ((FIREABLE(t67_to_68) AND F (G (FIREABLE(t12_to_13)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (F ((FIREABLE(t67_to_68) AND F (G (FIREABLE(t12_to_13)))))))
lola: processed formula length: 65
lola: 67 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 861 markings, 861 edges
lola: ========================================
lola: subprocess 4 will run for 275 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((X ((F (FIREABLE(t44_to_45)) OR (FIREABLE(t12_to_13) U FIREABLE(t40_to_41)))) AND G (FIREABLE(t57_to_58)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F ((X ((F (FIREABLE(t44_to_45)) OR (FIREABLE(t12_to_13) U FIREABLE(t40_to_41)))) AND G (FIREABLE(t57_to_58)))))
lola: processed formula length: 114
lola: 67 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 408360 markings, 3636002 edges, 81672 markings/sec, 0 secs
lola: 775822 markings, 7112332 edges, 73492 markings/sec, 5 secs
lola: 1178203 markings, 10926877 edges, 80476 markings/sec, 10 secs
lola: 1547013 markings, 14708190 edges, 73762 markings/sec, 15 secs
lola: 1887260 markings, 18171750 edges, 68049 markings/sec, 20 secs
lola: 2286166 markings, 21932780 edges, 79781 markings/sec, 25 secs
lola: 2652243 markings, 25716682 edges, 73215 markings/sec, 30 secs
lola: 2982078 markings, 29471197 edges, 65967 markings/sec, 35 secs
lola: 3339490 markings, 33209903 edges, 71482 markings/sec, 40 secs
lola: 3689775 markings, 36953618 edges, 70057 markings/sec, 45 secs
lola: 4017407 markings, 40665438 edges, 65526 markings/sec, 50 secs
lola: 4381739 markings, 44375043 edges, 72866 markings/sec, 55 secs
lola: 4786864 markings, 48064682 edges, 81025 markings/sec, 60 secs
lola: 5149187 markings, 51868920 edges, 72465 markings/sec, 65 secs
lola: 5475408 markings, 55578459 edges, 65244 markings/sec, 70 secs
lola: 5799451 markings, 59316247 edges, 64809 markings/sec, 75 secs
lola: 6137381 markings, 63058493 edges, 67586 markings/sec, 80 secs
lola: 6429562 markings, 66737126 edges, 58436 markings/sec, 85 secs
lola: 6741075 markings, 70431954 edges, 62303 markings/sec, 90 secs
lola: 7029690 markings, 74083236 edges, 57723 markings/sec, 95 secs
lola: 7339023 markings, 77733202 edges, 61867 markings/sec, 100 secs
lola: 7699425 markings, 81447138 edges, 72080 markings/sec, 105 secs
lola: 8063189 markings, 85257681 edges, 72753 markings/sec, 110 secs
lola: 8389831 markings, 89026230 edges, 65328 markings/sec, 115 secs
lola: 8712823 markings, 92795812 edges, 64598 markings/sec, 120 secs
lola: 9050576 markings, 96548724 edges, 67551 markings/sec, 125 secs
lola: 9341824 markings, 100262896 edges, 58250 markings/sec, 130 secs
lola: 9660353 markings, 103978672 edges, 63706 markings/sec, 135 secs
lola: 9947221 markings, 107669851 edges, 57374 markings/sec, 140 secs
lola: 10266970 markings, 111342066 edges, 63950 markings/sec, 145 secs
lola: 10634416 markings, 115048000 edges, 73489 markings/sec, 150 secs
lola: 10977029 markings, 118790248 edges, 68523 markings/sec, 155 secs
lola: 11306978 markings, 122480869 edges, 65990 markings/sec, 160 secs
lola: 11636052 markings, 126190004 edges, 65815 markings/sec, 165 secs
lola: 11977846 markings, 129851300 edges, 68359 markings/sec, 170 secs
lola: 12282273 markings, 133527979 edges, 60885 markings/sec, 175 secs
lola: 12575709 markings, 137185831 edges, 58687 markings/sec, 180 secs
lola: 12857201 markings, 140819852 edges, 56298 markings/sec, 185 secs
lola: 13178230 markings, 144537782 edges, 64206 markings/sec, 190 secs
lola: 13466590 markings, 148227928 edges, 57672 markings/sec, 195 secs
lola: 13755519 markings, 151915607 edges, 57786 markings/sec, 200 secs
lola: 14096841 markings, 155640416 edges, 68264 markings/sec, 205 secs
lola: 14449354 markings, 159388071 edges, 70503 markings/sec, 210 secs
lola: 14765609 markings, 163096131 edges, 63251 markings/sec, 215 secs
lola: 15085027 markings, 166759200 edges, 63884 markings/sec, 220 secs
lola: 15412385 markings, 170421192 edges, 65472 markings/sec, 225 secs
lola: 15730999 markings, 174095398 edges, 63723 markings/sec, 230 secs
lola: 16067451 markings, 177738837 edges, 67290 markings/sec, 235 secs
lola: 16397762 markings, 181327393 edges, 66062 markings/sec, 240 secs
lola: 16723224 markings, 184961066 edges, 65092 markings/sec, 245 secs
lola: 17057960 markings, 188628842 edges, 66947 markings/sec, 250 secs
lola: 17390579 markings, 192249070 edges, 66524 markings/sec, 255 secs
lola: 17716686 markings, 195880410 edges, 65221 markings/sec, 260 secs
lola: 18065005 markings, 199487708 edges, 69664 markings/sec, 265 secs
lola: local time limit reached - aborting
lola:
preliminary result: no no unknown unknown unknown no unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: no no unknown unknown unknown no unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 2566296 KB
lola: time consumption: 534 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 276 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((F (NOT FIREABLE(t81_to_82)) OR X (X (G (NOT FIREABLE(t7_to_8))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((F (NOT FIREABLE(t81_to_82)) OR X (X (G (NOT FIREABLE(t7_to_8))))))
lola: processed formula length: 70
lola: 67 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 1009191 markings, 2690769 edges, 201838 markings/sec, 0 secs
lola: 1968041 markings, 5393299 edges, 191770 markings/sec, 5 secs
lola: 3009250 markings, 8274654 edges, 208242 markings/sec, 10 secs
lola: 3869915 markings, 10942631 edges, 172133 markings/sec, 15 secs
lola: 4686154 markings, 13647966 edges, 163248 markings/sec, 20 secs
lola: 5564030 markings, 16482675 edges, 175575 markings/sec, 25 secs
lola: 6377020 markings, 19085628 edges, 162598 markings/sec, 30 secs
lola: 7196216 markings, 21784016 edges, 163839 markings/sec, 35 secs
lola: 8062450 markings, 24499777 edges, 173247 markings/sec, 40 secs
lola: 8862605 markings, 27146997 edges, 160031 markings/sec, 45 secs
lola: 9705297 markings, 29895450 edges, 168538 markings/sec, 50 secs
lola: 10548228 markings, 32569654 edges, 168586 markings/sec, 55 secs
lola: 11388060 markings, 35309079 edges, 167966 markings/sec, 60 secs
lola: 12225815 markings, 37980389 edges, 167551 markings/sec, 65 secs
lola: 13088227 markings, 40718189 edges, 172482 markings/sec, 70 secs
lola: 13906973 markings, 43401839 edges, 163749 markings/sec, 75 secs
lola: 14768764 markings, 46134138 edges, 172358 markings/sec, 80 secs
lola: 15624467 markings, 48854070 edges, 171141 markings/sec, 85 secs
lola: 16469758 markings, 51579675 edges, 169058 markings/sec, 90 secs
lola: 17315578 markings, 54299641 edges, 169164 markings/sec, 95 secs
lola: 18182325 markings, 57019245 edges, 173349 markings/sec, 100 secs
lola: 19040198 markings, 59755935 edges, 171575 markings/sec, 105 secs
lola: 19919492 markings, 62514546 edges, 175859 markings/sec, 110 secs
lola: 20813392 markings, 65285985 edges, 178780 markings/sec, 115 secs
lola: 21745256 markings, 68155865 edges, 186373 markings/sec, 120 secs
lola: 22652985 markings, 70890339 edges, 181546 markings/sec, 125 secs
lola: 23396911 markings, 73367715 edges, 148785 markings/sec, 130 secs
lola: 24134260 markings, 75798614 edges, 147470 markings/sec, 135 secs
lola: 24913889 markings, 78338681 edges, 155926 markings/sec, 140 secs
lola: 25578523 markings, 80844486 edges, 132927 markings/sec, 145 secs
lola: 26227367 markings, 83307174 edges, 129769 markings/sec, 150 secs
lola: 26917809 markings, 85869942 edges, 138088 markings/sec, 155 secs
lola: 27608809 markings, 88410759 edges, 138200 markings/sec, 160 secs
lola: 28265229 markings, 90910892 edges, 131284 markings/sec, 165 secs
lola: 28938919 markings, 93438284 edges, 134738 markings/sec, 170 secs
lola: 29647018 markings, 96022522 edges, 141620 markings/sec, 175 secs
lola: 30310935 markings, 98537128 edges, 132783 markings/sec, 180 secs
lola: 31025931 markings, 101141441 edges, 142999 markings/sec, 185 secs
lola: 31697045 markings, 103682343 edges, 134223 markings/sec, 190 secs
lola: 32416584 markings, 106299773 edges, 143908 markings/sec, 195 secs
lola: 33062251 markings, 108747527 edges, 129133 markings/sec, 200 secs
lola: 33792748 markings, 111411554 edges, 146099 markings/sec, 205 secs
lola: 34486770 markings, 114031107 edges, 138804 markings/sec, 210 secs
lola: 35211670 markings, 116695263 edges, 144980 markings/sec, 215 secs
lola: 35914556 markings, 119269774 edges, 140577 markings/sec, 220 secs
lola: 36642012 markings, 121958935 edges, 145491 markings/sec, 225 secs
lola: 37375159 markings, 124644385 edges, 146629 markings/sec, 230 secs
lola: 38112856 markings, 127363945 edges, 147539 markings/sec, 235 secs
lola: 38861154 markings, 130091019 edges, 149660 markings/sec, 240 secs
lola: 39621037 markings, 132848499 edges, 151977 markings/sec, 245 secs
lola: 40407755 markings, 135648706 edges, 157344 markings/sec, 250 secs
lola: 41198708 markings, 138541186 edges, 158191 markings/sec, 255 secs
lola: 42046154 markings, 141220266 edges, 169489 markings/sec, 260 secs
lola: 42815077 markings, 143771926 edges, 153785 markings/sec, 265 secs
lola: 43588418 markings, 146302997 edges, 154668 markings/sec, 270 secs
lola: local time limit reached - aborting
lola:
preliminary result: no no unknown unknown unknown no unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 6205212 KB
lola: time consumption: 811 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 275 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X (G (NOT FIREABLE(t59_to_60)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X (G (NOT FIREABLE(t59_to_60)))))
lola: processed formula length: 39
lola: 67 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 861 markings, 861 edges
lola: ========================================
lola: subprocess 7 will run for 306 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (X (FIREABLE(t39_to_40))) AND A (X ((FIREABLE(t40_to_41) U X (((FIREABLE(t40_to_41) U (FIREABLE(t39_to_40) OR FIREABLE(t92_to_93))) OR (FIREABLE(t64_to_65) U FIREABLE(t92_to_93))))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 7 will run for 306 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (FIREABLE(t39_to_40)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (FIREABLE(t39_to_40)))
lola: processed formula length: 27
lola: 67 rewrites
lola: closed formula file LTLFireability.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: 891 markings, 891 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 8 will run for 344 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((FIREABLE(t8_to_9) U X (FIREABLE(t28_to_29))) OR G (F (FIREABLE(t18_to_19)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((FIREABLE(t8_to_9) U X (FIREABLE(t28_to_29))) OR G (F (FIREABLE(t18_to_19)))))
lola: processed formula length: 82
lola: 67 rewrites
lola: closed formula file LTLFireability.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: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 993374 markings, 2759633 edges, 198675 markings/sec, 0 secs
lola: 2036669 markings, 6017149 edges, 208659 markings/sec, 5 secs
lola: 3095975 markings, 9297776 edges, 211861 markings/sec, 10 secs
lola: 4186948 markings, 12609030 edges, 218195 markings/sec, 15 secs
lola: 5250421 markings, 15874270 edges, 212695 markings/sec, 20 secs
lola: 6318975 markings, 19190137 edges, 213711 markings/sec, 25 secs
lola: 7261664 markings, 22412837 edges, 188538 markings/sec, 30 secs
lola: 8168055 markings, 25661723 edges, 181278 markings/sec, 35 secs
lola: 9097352 markings, 28931617 edges, 185859 markings/sec, 40 secs
lola: 10013867 markings, 32187981 edges, 183303 markings/sec, 45 secs
lola: 10969967 markings, 35396464 edges, 191220 markings/sec, 50 secs
lola: 11860649 markings, 38601751 edges, 178136 markings/sec, 55 secs
lola: 12772627 markings, 41818476 edges, 182396 markings/sec, 60 secs
lola: 13692981 markings, 45059936 edges, 184071 markings/sec, 65 secs
lola: 14657033 markings, 48291979 edges, 192810 markings/sec, 70 secs
lola: 15540196 markings, 51476601 edges, 176633 markings/sec, 75 secs
lola: 16451380 markings, 54679934 edges, 182237 markings/sec, 80 secs
lola: 17365852 markings, 57919855 edges, 182894 markings/sec, 85 secs
lola: 18323366 markings, 61158304 edges, 191503 markings/sec, 90 secs
lola: 19219249 markings, 64317802 edges, 179177 markings/sec, 95 secs
lola: 20136047 markings, 67549257 edges, 183360 markings/sec, 100 secs
lola: 21047982 markings, 70629755 edges, 182387 markings/sec, 105 secs
lola: 21938963 markings, 73735078 edges, 178196 markings/sec, 110 secs
lola: 22872728 markings, 76901278 edges, 186753 markings/sec, 115 secs
lola: 23777161 markings, 80028002 edges, 180887 markings/sec, 120 secs
lola: 24706072 markings, 83230685 edges, 185782 markings/sec, 125 secs
lola: 25609569 markings, 86360903 edges, 180699 markings/sec, 130 secs
lola: 26519536 markings, 89419450 edges, 181993 markings/sec, 135 secs
lola: 27374266 markings, 92332979 edges, 170946 markings/sec, 140 secs
lola: 28269872 markings, 95362038 edges, 179121 markings/sec, 145 secs
lola: 29161195 markings, 98355754 edges, 178265 markings/sec, 150 secs
lola: 30060572 markings, 101305442 edges, 179875 markings/sec, 155 secs
lola: 30994361 markings, 104253181 edges, 186758 markings/sec, 160 secs
lola: 31938422 markings, 107259760 edges, 188812 markings/sec, 165 secs
lola: 32795066 markings, 110385803 edges, 171329 markings/sec, 170 secs
lola: 33671874 markings, 113579178 edges, 175362 markings/sec, 175 secs
lola: 34538390 markings, 116705307 edges, 173303 markings/sec, 180 secs
lola: 35375677 markings, 119693504 edges, 167457 markings/sec, 185 secs
lola: 36327369 markings, 122960157 edges, 190338 markings/sec, 190 secs
lola: 37358225 markings, 126180955 edges, 206171 markings/sec, 195 secs
lola: 38396113 markings, 129415879 edges, 207578 markings/sec, 200 secs
lola: 39325817 markings, 132556289 edges, 185941 markings/sec, 205 secs
lola: 40210962 markings, 135740744 edges, 177029 markings/sec, 210 secs
lola: 41109511 markings, 138910041 edges, 179710 markings/sec, 215 secs
lola: 42005522 markings, 142083771 edges, 179202 markings/sec, 220 secs
lola: 42879069 markings, 145195846 edges, 174709 markings/sec, 225 secs
lola: 43655294 markings, 148255553 edges, 155245 markings/sec, 230 secs
lola: 44411939 markings, 151334912 edges, 151329 markings/sec, 235 secs
lola: 45201978 markings, 154476099 edges, 158008 markings/sec, 240 secs
lola: 45961236 markings, 157584006 edges, 151852 markings/sec, 245 secs
lola: 46767233 markings, 160641973 edges, 161199 markings/sec, 250 secs
lola: 47509279 markings, 163675337 edges, 148409 markings/sec, 255 secs
lola: 48271264 markings, 166771260 edges, 152397 markings/sec, 260 secs
lola: 49049893 markings, 169857561 edges, 155726 markings/sec, 265 secs
lola: 49818035 markings, 173044711 edges, 153628 markings/sec, 270 secs
lola: 50614057 markings, 176062498 edges, 159204 markings/sec, 275 secs
lola: 51376189 markings, 179134366 edges, 152426 markings/sec, 280 secs
lola: 52156770 markings, 182248610 edges, 156116 markings/sec, 285 secs
lola: 52934378 markings, 185273294 edges, 155522 markings/sec, 290 secs
lola: 53685705 markings, 188277478 edges, 150265 markings/sec, 295 secs
lola: 54461825 markings, 191403075 edges, 155224 markings/sec, 300 secs
lola: 55235457 markings, 194378714 edges, 154726 markings/sec, 305 secs
lola: 56004533 markings, 197418340 edges, 153815 markings/sec, 310 secs
lola: 56799071 markings, 200527707 edges, 158908 markings/sec, 315 secs
lola: 57555646 markings, 203516474 edges, 151315 markings/sec, 320 secs
lola: 58325695 markings, 206531301 edges, 154010 markings/sec, 325 secs
lola: 59102975 markings, 209560704 edges, 155456 markings/sec, 330 secs
lola: 59849902 markings, 212478417 edges, 149385 markings/sec, 335 secs
lola: local time limit reached - aborting
lola:
preliminary result: no no unknown unknown unknown no unknown unknown unknown no unknown no unknown unknown unknown unknown
lola: memory consumption: 8610232 KB
lola: time consumption: 1155 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 344 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X (X ((F (NOT FIREABLE(t93_to_94)) OR G (NOT FIREABLE(t9_to_10)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X (X ((F (NOT FIREABLE(t93_to_94)) OR G (NOT FIREABLE(t9_to_10)))))))
lola: processed formula length: 75
lola: 67 rewrites
lola: closed formula file LTLFireability.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: 1139468 markings, 2799190 edges, 227894 markings/sec, 0 secs
lola: 2127925 markings, 5651325 edges, 197691 markings/sec, 5 secs
lola: 3134499 markings, 8551340 edges, 201315 markings/sec, 10 secs
lola: 4144236 markings, 11438131 edges, 201947 markings/sec, 15 secs
lola: 5159414 markings, 14358992 edges, 203036 markings/sec, 20 secs
lola: 6192754 markings, 17304483 edges, 206668 markings/sec, 25 secs
lola: 7234420 markings, 20276726 edges, 208333 markings/sec, 30 secs
lola: 8305051 markings, 23306207 edges, 214126 markings/sec, 35 secs
lola: 9414860 markings, 26419101 edges, 221962 markings/sec, 40 secs
lola: 10508944 markings, 29492319 edges, 218817 markings/sec, 45 secs
lola: 11524682 markings, 32350467 edges, 203148 markings/sec, 50 secs
lola: 12361168 markings, 35091566 edges, 167297 markings/sec, 55 secs
lola: 13183762 markings, 37849813 edges, 164519 markings/sec, 60 secs
lola: 14004090 markings, 40619486 edges, 164066 markings/sec, 65 secs
lola: 14840804 markings, 43426004 edges, 167343 markings/sec, 70 secs
lola: 15684537 markings, 46255230 edges, 168747 markings/sec, 75 secs
lola: 16546691 markings, 49131516 edges, 172431 markings/sec, 80 secs
lola: 17435516 markings, 52093662 edges, 177765 markings/sec, 85 secs
lola: 18365370 markings, 55150083 edges, 185971 markings/sec, 90 secs
lola: 19260941 markings, 58124266 edges, 179114 markings/sec, 95 secs
lola: 20196525 markings, 60853238 edges, 187117 markings/sec, 100 secs
lola: 20997814 markings, 63525969 edges, 160258 markings/sec, 105 secs
lola: 21794201 markings, 66216996 edges, 159277 markings/sec, 110 secs
lola: 22598004 markings, 68926724 edges, 160761 markings/sec, 115 secs
lola: 23414752 markings, 71666879 edges, 163350 markings/sec, 120 secs
lola: 24241419 markings, 74434066 edges, 165333 markings/sec, 125 secs
lola: 25082138 markings, 77241729 edges, 168144 markings/sec, 130 secs
lola: 25952833 markings, 80134234 edges, 174139 markings/sec, 135 secs
lola: 26877880 markings, 83159258 edges, 185009 markings/sec, 140 secs
lola: 27679794 markings, 85833969 edges, 160383 markings/sec, 145 secs
lola: 28595307 markings, 88475406 edges, 183103 markings/sec, 150 secs
lola: 29292275 markings, 90825454 edges, 139394 markings/sec, 155 secs
lola: 30059438 markings, 93417832 edges, 153433 markings/sec, 160 secs
lola: 30857537 markings, 96105510 edges, 159620 markings/sec, 165 secs
lola: 31661775 markings, 98807327 edges, 160848 markings/sec, 170 secs
lola: 32476363 markings, 101537835 edges, 162918 markings/sec, 175 secs
lola: 33311973 markings, 104322813 edges, 167122 markings/sec, 180 secs
lola: 34169795 markings, 107183545 edges, 171564 markings/sec, 185 secs
lola: 35075412 markings, 110154698 edges, 181123 markings/sec, 190 secs
lola: 35941548 markings, 113035144 edges, 173227 markings/sec, 195 secs
lola: 36850829 markings, 115679525 edges, 181856 markings/sec, 200 secs
lola: 37626278 markings, 118284551 edges, 155090 markings/sec, 205 secs
lola: 38404217 markings, 120913577 edges, 155588 markings/sec, 210 secs
lola: 39193977 markings, 123559454 edges, 157952 markings/sec, 215 secs
lola: 39987932 markings, 126233467 edges, 158791 markings/sec, 220 secs
lola: 40799561 markings, 128944351 edges, 162326 markings/sec, 225 secs
lola: 41626757 markings, 131704498 edges, 165439 markings/sec, 230 secs
lola: 42483860 markings, 134545691 edges, 171421 markings/sec, 235 secs
lola: 43384979 markings, 137475950 edges, 180224 markings/sec, 240 secs
lola: 44250642 markings, 140222777 edges, 173133 markings/sec, 245 secs
lola: 45071168 markings, 142770778 edges, 164105 markings/sec, 250 secs
lola: 45839457 markings, 145360996 edges, 153658 markings/sec, 255 secs
lola: 46607863 markings, 147939306 edges, 153681 markings/sec, 260 secs
lola: 47392879 markings, 150570046 edges, 157003 markings/sec, 265 secs
lola: 48178239 markings, 153205403 edges, 157072 markings/sec, 270 secs
lola: 48982119 markings, 155897868 edges, 160776 markings/sec, 275 secs
lola: 49810090 markings, 158652127 edges, 165594 markings/sec, 280 secs
lola: 50681871 markings, 161517712 edges, 174356 markings/sec, 285 secs
lola: 51524275 markings, 164315191 edges, 168481 markings/sec, 290 secs
lola: 52411436 markings, 166885142 edges, 177432 markings/sec, 295 secs
lola: 53171691 markings, 169456239 edges, 152051 markings/sec, 300 secs
lola: 53936888 markings, 172040402 edges, 153039 markings/sec, 305 secs
lola: 54714409 markings, 174647317 edges, 155504 markings/sec, 310 secs
lola: 55499165 markings, 177277267 edges, 156951 markings/sec, 315 secs
lola: 56294593 markings, 179945922 edges, 159086 markings/sec, 320 secs
lola: 57111173 markings, 182668344 edges, 163316 markings/sec, 325 secs
lola: 57959442 markings, 185470925 edges, 169654 markings/sec, 330 secs
lola: 58826186 markings, 188304330 edges, 173349 markings/sec, 335 secs
lola: local time limit reached - aborting
lola:
preliminary result: no no unknown unknown unknown no unknown unknown unknown no unknown no unknown unknown unknown unknown
lola: memory consumption: 8300632 KB
lola: time consumption: 1500 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 344 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((FIREABLE(t58_to_59) AND FIREABLE(t11_to_12))))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:749
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: (NOT FIREABLE(t58_to_59) OR NOT FIREABLE(t11_to_12))
lola: processed formula length: 53
lola: 69 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 3227 markings, 3227 edges
lola: ========================================
lola: subprocess 11 will run for 413 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G ((FIREABLE(t11_to_12) AND F (FIREABLE(t18_to_19))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G ((FIREABLE(t11_to_12) AND F (FIREABLE(t18_to_19))))))
lola: processed formula length: 61
lola: 67 rewrites
lola: closed formula file LTLFireability.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: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 809 markings, 810 edges
lola: ========================================
lola: subprocess 12 will run for 517 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F (((NOT FIREABLE(t12_to_13) AND NOT FIREABLE(t1_to_2)) OR (G (NOT FIREABLE(t13_to_14)) AND F (NOT FIREABLE(t12_to_13)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F (((NOT FIREABLE(t12_to_13) AND NOT FIREABLE(t1_to_2)) OR (G (NOT FIREABLE(t13_to_14)) AND F (NOT FIREABLE(t12_to_13)))))))
lola: processed formula length: 130
lola: 67 rewrites
lola: closed formula file LTLFireability.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: 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: 980543 markings, 2550120 edges, 196109 markings/sec, 0 secs
lola: 1797710 markings, 5105654 edges, 163433 markings/sec, 5 secs
lola: 2591050 markings, 7887882 edges, 158668 markings/sec, 10 secs
lola: 3150597 markings, 10829250 edges, 111909 markings/sec, 15 secs
lola: 3651895 markings, 13485661 edges, 100260 markings/sec, 20 secs
lola: 4050495 markings, 16190072 edges, 79720 markings/sec, 25 secs
lola: 4496949 markings, 19152923 edges, 89291 markings/sec, 30 secs
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: 4830866 markings, 21149065 edges
lola: ========================================
lola: subprocess 13 will run for 677 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((FIREABLE(t39_to_40) AND F ((FIREABLE(t60_to_61) OR NOT FIREABLE(t41_to_42))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F ((FIREABLE(t39_to_40) AND F ((FIREABLE(t60_to_61) OR NOT FIREABLE(t41_to_42))))))
lola: processed formula length: 86
lola: 67 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: 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 14 will run for 1015 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((FIREABLE(t36_to_37) OR FIREABLE(t13_to_14)) OR (G (FIREABLE(t76_to_77)) OR (FIREABLE(t36_to_37) U NOT FIREABLE(t78_to_79)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((FIREABLE(t36_to_37) OR FIREABLE(t13_to_14)) OR (G (FIREABLE(t76_to_77)) OR (FIREABLE(t36_to_37) U NOT FIREABLE(t78_to_79)))))
lola: processed formula length: 131
lola: 67 rewrites
lola: closed formula file LTLFireability.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: 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 2031 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G (FIREABLE(t93_to_94))) AND A (G ((FIREABLE(t31_to_32) OR F (G (FIREABLE(t31_to_32)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 2031 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (FIREABLE(t93_to_94)))
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 (FIREABLE(t93_to_94)))
lola: processed formula length: 27
lola: 69 rewrites
lola: closed formula file LTLFireability.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: NOT FIREABLE(t93_to_94)
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: state equation task get result unparse finished id 0
lola: 2 markings, 1 edges
lola: state equation: Generated DNF with 2 literals and 2 conjunctive subformulas
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: A (X (G ((X ((F (FIREABLE(t60_to_61)) OR X (G (NOT FIREABLE(t60_to_61))))) AND (FIREABLE(t2_to_3) OR F (FIREABLE(t70_to_71)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (G ((X ((F (FIREABLE(t60_to_61)) OR X (G (NOT FIREABLE(t60_to_61))))) AND (FIREABLE(t2_to_3) OR F (FIREABLE(t70_to_71)))))))
lola: processed formula length: 129
lola: 67 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 1130908 markings, 3041532 edges, 226182 markings/sec, 0 secs
lola: 2112119 markings, 6026300 edges, 196242 markings/sec, 5 secs
lola: 3042601 markings, 8969581 edges, 186096 markings/sec, 10 secs
lola: 3972941 markings, 11913006 edges, 186068 markings/sec, 15 secs
lola: 4910628 markings, 14862151 edges, 187537 markings/sec, 20 secs
lola: 5843875 markings, 17776641 edges, 186649 markings/sec, 25 secs
lola: 6784425 markings, 20707976 edges, 188110 markings/sec, 30 secs
lola: 7736720 markings, 23640040 edges, 190459 markings/sec, 35 secs
lola: 8741084 markings, 26612240 edges, 200873 markings/sec, 40 secs
lola: 9617448 markings, 29428428 edges, 175273 markings/sec, 45 secs
lola: 10520790 markings, 32268909 edges, 180668 markings/sec, 50 secs
lola: 11385576 markings, 35075906 edges, 172957 markings/sec, 55 secs
lola: 12325518 markings, 37949307 edges, 187988 markings/sec, 60 secs
lola: 13160950 markings, 40813152 edges, 167086 markings/sec, 65 secs
lola: 13943854 markings, 43668596 edges, 156581 markings/sec, 70 secs
lola: 14729172 markings, 46535584 edges, 157064 markings/sec, 75 secs
lola: 15510298 markings, 49393058 edges, 156225 markings/sec, 80 secs
lola: 16297554 markings, 52260152 edges, 157451 markings/sec, 85 secs
lola: 17090643 markings, 55118847 edges, 158618 markings/sec, 90 secs
lola: 17894782 markings, 57992044 edges, 160828 markings/sec, 95 secs
lola: 18722582 markings, 60908432 edges, 165560 markings/sec, 100 secs
lola: 19514101 markings, 63730513 edges, 158304 markings/sec, 105 secs
lola: 20280696 markings, 66519032 edges, 153319 markings/sec, 110 secs
lola: 21008200 markings, 69257253 edges, 145501 markings/sec, 115 secs
lola: 21854717 markings, 72079188 edges, 169303 markings/sec, 120 secs
lola: 22740058 markings, 74954621 edges, 177068 markings/sec, 125 secs
lola: 23514731 markings, 77818446 edges, 154935 markings/sec, 130 secs
lola: 24310774 markings, 80740480 edges, 159209 markings/sec, 135 secs
lola: 25099595 markings, 83618584 edges, 157764 markings/sec, 140 secs
lola: 25893553 markings, 86485722 edges, 158792 markings/sec, 145 secs
lola: 26685243 markings, 89366055 edges, 158338 markings/sec, 150 secs
lola: 27491404 markings, 92246878 edges, 161232 markings/sec, 155 secs
lola: 28307260 markings, 95149402 edges, 163171 markings/sec, 160 secs
lola: 29141152 markings, 98045065 edges, 166778 markings/sec, 165 secs
lola: 29878620 markings, 100814866 edges, 147494 markings/sec, 170 secs
lola: 30642614 markings, 103604799 edges, 152799 markings/sec, 175 secs
lola: 31418935 markings, 106369662 edges, 155264 markings/sec, 180 secs
lola: 32335564 markings, 109279838 edges, 183326 markings/sec, 185 secs
lola: 33130050 markings, 112156754 edges, 158897 markings/sec, 190 secs
lola: 33914011 markings, 115023638 edges, 156792 markings/sec, 195 secs
lola: 34712733 markings, 117898303 edges, 159744 markings/sec, 200 secs
lola: 35514153 markings, 120787998 edges, 160284 markings/sec, 205 secs
lola: 36339330 markings, 123703706 edges, 165035 markings/sec, 210 secs
lola: 37157969 markings, 126580699 edges, 163728 markings/sec, 215 secs
lola: 37929056 markings, 129391873 edges, 154217 markings/sec, 220 secs
lola: 38698122 markings, 132172940 edges, 153813 markings/sec, 225 secs
lola: 39577035 markings, 135001807 edges, 175783 markings/sec, 230 secs
lola: 40354544 markings, 137841999 edges, 155502 markings/sec, 235 secs
lola: 41141926 markings, 140676198 edges, 157476 markings/sec, 240 secs
lola: 41938763 markings, 143541081 edges, 159367 markings/sec, 245 secs
lola: 42752606 markings, 146417737 edges, 162769 markings/sec, 250 secs
lola: 43552004 markings, 149236832 edges, 159880 markings/sec, 255 secs
lola: 44303026 markings, 151982785 edges, 150204 markings/sec, 260 secs
lola: 45072078 markings, 154589650 edges, 153810 markings/sec, 265 secs
lola: 45909334 markings, 157435204 edges, 167451 markings/sec, 270 secs
lola: 46692058 markings, 160269335 edges, 156545 markings/sec, 275 secs
lola: 47480244 markings, 163108787 edges, 157637 markings/sec, 280 secs
lola: 48279933 markings, 165973425 edges, 159938 markings/sec, 285 secs
lola: 49107105 markings, 168865039 edges, 165434 markings/sec, 290 secs
lola: 49874078 markings, 171634097 edges, 153395 markings/sec, 295 secs
lola: 50626135 markings, 174384595 edges, 150411 markings/sec, 300 secs
lola: 51496889 markings, 177201558 edges, 174151 markings/sec, 305 secs
lola: 52282082 markings, 180024218 edges, 157039 markings/sec, 310 secs
lola: 53078041 markings, 182866955 edges, 159192 markings/sec, 315 secs
lola: 53895082 markings, 185729738 edges, 163408 markings/sec, 320 secs
lola: 54681253 markings, 188518077 edges, 157234 markings/sec, 325 secs
lola: 55469652 markings, 191260323 edges, 157680 markings/sec, 330 secs
lola: 56290185 markings, 194076197 edges, 164107 markings/sec, 335 secs
lola: 57082216 markings, 196905415 edges, 158406 markings/sec, 340 secs
lola: 57918036 markings, 199781602 edges, 167164 markings/sec, 345 secs
lola: 58662089 markings, 202498965 edges, 148811 markings/sec, 350 secs
lola: 59511642 markings, 205299107 edges, 169911 markings/sec, 355 secs
lola: 60301148 markings, 208140315 edges, 157901 markings/sec, 360 secs
lola: 61108305 markings, 210991908 edges, 161431 markings/sec, 365 secs
lola: 61906054 markings, 213801367 edges, 159550 markings/sec, 370 secs
lola: 62700997 markings, 216558830 edges, 158989 markings/sec, 375 secs
lola: 63528829 markings, 219404434 edges, 165566 markings/sec, 380 secs
lola: 64364886 markings, 222282590 edges, 167211 markings/sec, 385 secs
lola: 65145706 markings, 225042675 edges, 156164 markings/sec, 390 secs
lola: 65976921 markings, 227887698 edges, 166243 markings/sec, 395 secs
lola: 66799208 markings, 230750474 edges, 164457 markings/sec, 400 secs
lola: 67629573 markings, 233557520 edges, 166073 markings/sec, 405 secs
lola: 68455774 markings, 236445514 edges, 165240 markings/sec, 410 secs
lola: 69261961 markings, 239239046 edges, 161237 markings/sec, 415 secs
lola: 70112760 markings, 242116634 edges, 170160 markings/sec, 420 secs
lola: 70936737 markings, 244935193 edges, 164795 markings/sec, 425 secs
lola: 71783539 markings, 247794493 edges, 169360 markings/sec, 430 secs
lola: 72614150 markings, 250657626 edges, 166122 markings/sec, 435 secs
lola: 73475189 markings, 253529855 edges, 172208 markings/sec, 440 secs
lola: 74353011 markings, 256445897 edges, 175564 markings/sec, 445 secs
lola: 75250107 markings, 259381535 edges, 179419 markings/sec, 450 secs
lola: 76178617 markings, 262308144 edges, 185702 markings/sec, 455 secs
lola: 77041268 markings, 265197076 edges, 172530 markings/sec, 460 secs
lola: 77837124 markings, 268097239 edges, 159171 markings/sec, 465 secs
lola: 78636641 markings, 271020948 edges, 159903 markings/sec, 470 secs
lola: 79426481 markings, 273913417 edges, 157968 markings/sec, 475 secs
lola: 80214416 markings, 276790127 edges, 157587 markings/sec, 480 secs
lola: 81010081 markings, 279655426 edges, 159133 markings/sec, 485 secs
lola: 81813305 markings, 282544132 edges, 160645 markings/sec, 490 secs
lola: 82643832 markings, 285468044 edges, 166105 markings/sec, 495 secs
lola: 83462352 markings, 288368671 edges, 163704 markings/sec, 500 secs
lola: 84237246 markings, 291208338 edges, 154979 markings/sec, 505 secs
lola: 84987503 markings, 294010268 edges, 150051 markings/sec, 510 secs
lola: 85792619 markings, 296857023 edges, 161023 markings/sec, 515 secs
lola: 86567399 markings, 299749345 edges, 154956 markings/sec, 520 secs
lola: 87258459 markings, 302616847 edges, 138212 markings/sec, 525 secs
lola: 87944875 markings, 305463541 edges, 137283 markings/sec, 530 secs
lola: 88636263 markings, 308323302 edges, 138278 markings/sec, 535 secs
lola: 89332362 markings, 311174256 edges, 139220 markings/sec, 540 secs
lola: 90038438 markings, 314042005 edges, 141215 markings/sec, 545 secs
lola: 90776910 markings, 316981493 edges, 147694 markings/sec, 550 secs
lola: 91456905 markings, 319780851 edges, 135999 markings/sec, 555 secs
lola: 92137322 markings, 322591892 edges, 136083 markings/sec, 560 secs
lola: 92814893 markings, 325374463 edges, 135514 markings/sec, 565 secs
lola: 93583921 markings, 328173931 edges, 153806 markings/sec, 570 secs
lola: 94257996 markings, 330963582 edges, 134815 markings/sec, 575 secs
lola: 94932549 markings, 333760873 edges, 134911 markings/sec, 580 secs
lola: 95616214 markings, 336558379 edges, 136733 markings/sec, 585 secs
lola: 96307532 markings, 339384412 edges, 138264 markings/sec, 590 secs
lola: 97020867 markings, 342240677 edges, 142667 markings/sec, 595 secs
lola: 97704319 markings, 345009541 edges, 136690 markings/sec, 600 secs
lola: 98366414 markings, 347753413 edges, 132419 markings/sec, 605 secs
lola: 99061505 markings, 350497820 edges, 139018 markings/sec, 610 secs
lola: 99811371 markings, 353330607 edges, 149973 markings/sec, 615 secs
lola: 100492172 markings, 356152689 edges, 136160 markings/sec, 620 secs
lola: 101180418 markings, 358991040 edges, 137649 markings/sec, 625 secs
lola: 101867985 markings, 361811090 edges, 137513 markings/sec, 630 secs
lola: 102567991 markings, 364653295 edges, 140001 markings/sec, 635 secs
lola: 103296999 markings, 367547908 edges, 145802 markings/sec, 640 secs
lola: 103962412 markings, 370297086 edges, 133083 markings/sec, 645 secs
lola: 104626488 markings, 373051741 edges, 132815 markings/sec, 650 secs
lola: 105351687 markings, 375840850 edges, 145040 markings/sec, 655 secs
lola: 106068626 markings, 378652563 edges, 143388 markings/sec, 660 secs
lola: 106754878 markings, 381468187 edges, 137250 markings/sec, 665 secs
lola: 107450803 markings, 384292696 edges, 139185 markings/sec, 670 secs
lola: 108183239 markings, 387174862 edges, 146487 markings/sec, 675 secs
lola: 108856094 markings, 389928405 edges, 134571 markings/sec, 680 secs
lola: 109539324 markings, 392669474 edges, 136646 markings/sec, 685 secs
lola: 110261393 markings, 395469541 edges, 144414 markings/sec, 690 secs
lola: 110949683 markings, 398278516 edges, 137658 markings/sec, 695 secs
lola: 111652761 markings, 401117290 edges, 140616 markings/sec, 700 secs
lola: 112353208 markings, 403923348 edges, 140089 markings/sec, 705 secs
lola: 113023225 markings, 406672137 edges, 134003 markings/sec, 710 secs
lola: 113766961 markings, 409478277 edges, 148747 markings/sec, 715 secs
lola: 114044239 markings, 410609074 edges, 55456 markings/sec, 720 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: A (F ((X ((F (FIREABLE(t44_to_45)) OR (FIREABLE(t12_to_13) U FIREABLE(t40_to_41)))) AND G (FIREABLE(t57_to_58)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F ((X ((F (FIREABLE(t44_to_45)) OR (FIREABLE(t12_to_13) U FIREABLE(t40_to_41)))) AND G (FIREABLE(t57_to_58)))))
lola: processed formula length: 114
lola: 67 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 383849 markings, 3378089 edges, 76770 markings/sec, 0 secs
lola: 787369 markings, 7211371 edges, 80704 markings/sec, 5 secs
lola: 1188732 markings, 11030702 edges, 80273 markings/sec, 10 secs
lola: 1556297 markings, 14813821 edges, 73513 markings/sec, 15 secs
lola: 1926783 markings, 18586285 edges, 74097 markings/sec, 20 secs
lola: 2327636 markings, 22349287 edges, 80171 markings/sec, 25 secs
lola: 2688849 markings, 26136647 edges, 72243 markings/sec, 30 secs
lola: 3016758 markings, 29876753 edges, 65582 markings/sec, 35 secs
lola: 3380585 markings, 33620159 edges, 72765 markings/sec, 40 secs
lola: 3723236 markings, 37359679 edges, 68530 markings/sec, 45 secs
lola: 4030307 markings, 40796461 edges, 61414 markings/sec, 50 secs
lola: 4383155 markings, 44389902 edges, 70570 markings/sec, 55 secs
lola: 4788169 markings, 48078422 edges, 81003 markings/sec, 60 secs
lola: 5150422 markings, 51883329 edges, 72451 markings/sec, 65 secs
lola: 5476843 markings, 55595502 edges, 65284 markings/sec, 70 secs
lola: 5785690 markings, 59166360 edges, 61769 markings/sec, 75 secs
lola: 6125814 markings, 62912711 edges, 68025 markings/sec, 80 secs
lola: 6419442 markings, 66597494 edges, 58726 markings/sec, 85 secs
lola: 6730246 markings, 70298546 edges, 62161 markings/sec, 90 secs
lola: 6998976 markings, 73680139 edges, 53746 markings/sec, 95 secs
lola: 7304908 markings, 77336587 edges, 61186 markings/sec, 100 secs
lola: 7658018 markings, 81023396 edges, 70622 markings/sec, 105 secs
lola: 8010416 markings, 84743941 edges, 70480 markings/sec, 110 secs
lola: 8330550 markings, 88387096 edges, 64027 markings/sec, 115 secs
lola: 8659080 markings, 92176554 edges, 65706 markings/sec, 120 secs
lola: 8999132 markings, 95945823 edges, 68010 markings/sec, 125 secs
lola: 9293876 markings, 99669885 edges, 58949 markings/sec, 130 secs
lola: 9608420 markings, 103394171 edges, 62909 markings/sec, 135 secs
lola: 9877106 markings, 106800785 edges, 53737 markings/sec, 140 secs
lola: 10188902 markings, 110482855 edges, 62359 markings/sec, 145 secs
lola: 10547329 markings, 114160848 edges, 71685 markings/sec, 150 secs
lola: 10903579 markings, 117912115 edges, 71250 markings/sec, 155 secs
lola: 11228056 markings, 121614421 edges, 64895 markings/sec, 160 secs
lola: 11564513 markings, 125325174 edges, 67291 markings/sec, 165 secs
lola: 11890303 markings, 128999848 edges, 65158 markings/sec, 170 secs
lola: 12219091 markings, 132686171 edges, 65758 markings/sec, 175 secs
lola: 12505142 markings, 136333796 edges, 57210 markings/sec, 180 secs
lola: 12790405 markings, 139990034 edges, 57053 markings/sec, 185 secs
lola: 13090777 markings, 143501138 edges, 60074 markings/sec, 190 secs
lola: 13384472 markings, 147206030 edges, 58739 markings/sec, 195 secs
lola: 13662297 markings, 150729133 edges, 55565 markings/sec, 200 secs
lola: 13944135 markings, 154054115 edges, 56368 markings/sec, 205 secs
lola: 14292805 markings, 157727589 edges, 69734 markings/sec, 210 secs
lola: 14623016 markings, 161439456 edges, 66042 markings/sec, 215 secs
lola: 14933889 markings, 165118416 edges, 62175 markings/sec, 220 secs
lola: 15253246 markings, 168517719 edges, 63871 markings/sec, 225 secs
lola: 15557173 markings, 172216297 edges, 60785 markings/sec, 230 secs
lola: 15903386 markings, 175889061 edges, 69243 markings/sec, 235 secs
lola: 16201673 markings, 179277118 edges, 59657 markings/sec, 240 secs
lola: 16526051 markings, 182869366 edges, 64876 markings/sec, 245 secs
lola: 16873544 markings, 186547080 edges, 69499 markings/sec, 250 secs
lola: 17192413 markings, 190176749 edges, 63774 markings/sec, 255 secs
lola: 17517651 markings, 193801624 edges, 65048 markings/sec, 260 secs
lola: 17867785 markings, 197425293 edges, 70027 markings/sec, 265 secs
lola: 18211478 markings, 200955078 edges, 68739 markings/sec, 270 secs
lola: 18572637 markings, 204512230 edges, 72232 markings/sec, 275 secs
lola: 18914704 markings, 208142530 edges, 68413 markings/sec, 280 secs
lola: 19229675 markings, 211740706 edges, 62994 markings/sec, 285 secs
lola: 19525787 markings, 215180350 edges, 59222 markings/sec, 290 secs
lola: 19833060 markings, 218805932 edges, 61455 markings/sec, 295 secs
lola: 20149590 markings, 222386011 edges, 63306 markings/sec, 300 secs
lola: 20508194 markings, 226031069 edges, 71721 markings/sec, 305 secs
lola: 20855908 markings, 229669088 edges, 69543 markings/sec, 310 secs
lola: 21156361 markings, 233274739 edges, 60091 markings/sec, 315 secs
lola: 21470888 markings, 236926690 edges, 62905 markings/sec, 320 secs
lola: 21785330 markings, 240561599 edges, 62888 markings/sec, 325 secs
lola: 22104909 markings, 244127442 edges, 63916 markings/sec, 330 secs
lola: 22462505 markings, 247759218 edges, 71519 markings/sec, 335 secs
lola: 22816924 markings, 251350931 edges, 70884 markings/sec, 340 secs
lola: 23212141 markings, 254928261 edges, 79043 markings/sec, 345 secs
lola: 23576679 markings, 258741370 edges, 72908 markings/sec, 350 secs
lola: 23909066 markings, 262489178 edges, 66477 markings/sec, 355 secs
lola: 24235356 markings, 266263789 edges, 65258 markings/sec, 360 secs
lola: 24576328 markings, 270018961 edges, 68194 markings/sec, 365 secs
lola: 24872306 markings, 273735381 edges, 59196 markings/sec, 370 secs
lola: 25185275 markings, 277455937 edges, 62594 markings/sec, 375 secs
lola: 25476909 markings, 281147085 edges, 58327 markings/sec, 380 secs
lola: 25788315 markings, 284824480 edges, 62281 markings/sec, 385 secs
lola: 26132453 markings, 288499204 edges, 68828 markings/sec, 390 secs
lola: 26431289 markings, 292202673 edges, 59767 markings/sec, 395 secs
lola: 26724737 markings, 295900348 edges, 58690 markings/sec, 400 secs
lola: 27019964 markings, 299569127 edges, 59045 markings/sec, 405 secs
lola: 27338304 markings, 303344451 edges, 63668 markings/sec, 410 secs
lola: 27633474 markings, 307083997 edges, 59034 markings/sec, 415 secs
lola: 27911840 markings, 310792719 edges, 55673 markings/sec, 420 secs
lola: 28191560 markings, 314458076 edges, 55944 markings/sec, 425 secs
lola: 28481578 markings, 318136014 edges, 58004 markings/sec, 430 secs
lola: 28746913 markings, 321801294 edges, 53067 markings/sec, 435 secs
lola: 29055603 markings, 325472297 edges, 61738 markings/sec, 440 secs
lola: 29331500 markings, 329087317 edges, 55179 markings/sec, 445 secs
lola: 29619580 markings, 332701875 edges, 57616 markings/sec, 450 secs
lola: 29917560 markings, 336376622 edges, 59596 markings/sec, 455 secs
lola: 30204342 markings, 340056684 edges, 57356 markings/sec, 460 secs
lola: 30499116 markings, 343708183 edges, 58955 markings/sec, 465 secs
lola: 30783545 markings, 347361274 edges, 56886 markings/sec, 470 secs
lola: 31078056 markings, 350982126 edges, 58902 markings/sec, 475 secs
lola: 31393853 markings, 354616511 edges, 63159 markings/sec, 480 secs
lola: 31711532 markings, 358269575 edges, 63536 markings/sec, 485 secs
lola: 32003063 markings, 361887532 edges, 58306 markings/sec, 490 secs
lola: 32278417 markings, 365460388 edges, 55071 markings/sec, 495 secs
lola: 32579104 markings, 369067563 edges, 60137 markings/sec, 500 secs
lola: 32881697 markings, 372708748 edges, 60519 markings/sec, 505 secs
lola: 33155286 markings, 376297167 edges, 54718 markings/sec, 510 secs
lola: 33445684 markings, 379879888 edges, 58080 markings/sec, 515 secs
lola: 33757918 markings, 383477291 edges, 62447 markings/sec, 520 secs
lola: 34103759 markings, 387069333 edges, 69168 markings/sec, 525 secs
lola: 34455746 markings, 390778986 edges, 70397 markings/sec, 530 secs
lola: 34778856 markings, 394432406 edges, 64622 markings/sec, 535 secs
lola: 35084028 markings, 398041440 edges, 61034 markings/sec, 540 secs
lola: 35420811 markings, 401645777 edges, 67357 markings/sec, 545 secs
lola: 35716200 markings, 405249575 edges, 59078 markings/sec, 550 secs
lola: 36023816 markings, 408841085 edges, 61523 markings/sec, 555 secs
lola: 36298614 markings, 412389516 edges, 54960 markings/sec, 560 secs
lola: 36584930 markings, 415938509 edges, 57263 markings/sec, 565 secs
lola: 36864034 markings, 419502937 edges, 55821 markings/sec, 570 secs
lola: 37151747 markings, 423112602 edges, 57543 markings/sec, 575 secs
lola: 37435356 markings, 426684181 edges, 56722 markings/sec, 580 secs
lola: 37704714 markings, 430236102 edges, 53872 markings/sec, 585 secs
lola: 38005299 markings, 433800964 edges, 60117 markings/sec, 590 secs
lola: 38300571 markings, 437351436 edges, 59054 markings/sec, 595 secs
lola: 38614097 markings, 440907015 edges, 62705 markings/sec, 600 secs
lola: 38900899 markings, 444408758 edges, 57360 markings/sec, 605 secs
lola: 39188093 markings, 447928197 edges, 57439 markings/sec, 610 secs
lola: 39474763 markings, 451424880 edges, 57334 markings/sec, 615 secs
lola: 39759722 markings, 454925124 edges, 56992 markings/sec, 620 secs
lola: 40073822 markings, 458413385 edges, 62820 markings/sec, 625 secs
lola: 40445263 markings, 462166095 edges, 74288 markings/sec, 630 secs
lola: 40782698 markings, 465880663 edges, 67487 markings/sec, 635 secs
lola: 41097962 markings, 469567300 edges, 63053 markings/sec, 640 secs
lola: 41424334 markings, 473212632 edges, 65274 markings/sec, 645 secs
lola: 41741168 markings, 476886566 edges, 63367 markings/sec, 650 secs
lola: 42052960 markings, 480546146 edges, 62358 markings/sec, 655 secs
lola: 42338790 markings, 484177273 edges, 57166 markings/sec, 660 secs
lola: 42627692 markings, 487776298 edges, 57780 markings/sec, 665 secs
lola: 42898760 markings, 491374325 edges, 54214 markings/sec, 670 secs
lola: 43207654 markings, 495068979 edges, 61779 markings/sec, 675 secs
lola: 43486126 markings, 498704516 edges, 55694 markings/sec, 680 secs
lola: 43770233 markings, 502341627 edges, 56821 markings/sec, 685 secs
lola: 44064459 markings, 505909195 edges, 58845 markings/sec, 690 secs
lola: 44343042 markings, 509248552 edges, 55717 markings/sec, 695 secs
lola: 44652338 markings, 512832276 edges, 61859 markings/sec, 700 secs
lola: 44954359 markings, 516419544 edges, 60404 markings/sec, 705 secs
lola: 45236393 markings, 519975445 edges, 56407 markings/sec, 710 secs
lola: 45537897 markings, 523561088 edges, 60301 markings/sec, 715 secs
lola: 45821080 markings, 527119552 edges, 56637 markings/sec, 720 secs
lola: 46138220 markings, 530675189 edges, 63428 markings/sec, 725 secs
lola: 46506239 markings, 534363220 edges, 73604 markings/sec, 730 secs
lola: 46846120 markings, 538107647 edges, 67976 markings/sec, 735 secs
lola: 47177075 markings, 541784136 edges, 66191 markings/sec, 740 secs
lola: 47501277 markings, 545473605 edges, 64840 markings/sec, 745 secs
lola: 47844262 markings, 549118157 edges, 68597 markings/sec, 750 secs
lola: 48146539 markings, 552796289 edges, 60455 markings/sec, 755 secs
lola: 48438404 markings, 556455964 edges, 58373 markings/sec, 760 secs
lola: 48718781 markings, 560068260 edges, 56075 markings/sec, 765 secs
lola: 49038636 markings, 563796926 edges, 63971 markings/sec, 770 secs
lola: 49329635 markings, 567488441 edges, 58200 markings/sec, 775 secs
lola: 49615833 markings, 571155282 edges, 57240 markings/sec, 780 secs
lola: 49929604 markings, 574832759 edges, 62754 markings/sec, 785 secs
lola: 50233642 markings, 578479450 edges, 60808 markings/sec, 790 secs
lola: 50544403 markings, 582089615 edges, 62152 markings/sec, 795 secs
lola: 50852536 markings, 585697259 edges, 61627 markings/sec, 800 secs
lola: 51185028 markings, 589373901 edges, 66498 markings/sec, 805 secs
lola: 51482129 markings, 593014560 edges, 59420 markings/sec, 810 secs
lola: 51766748 markings, 596619886 edges, 56924 markings/sec, 815 secs
lola: 52036817 markings, 600239981 edges, 54014 markings/sec, 820 secs
lola: 52302811 markings, 603877757 edges, 53199 markings/sec, 825 secs
lola: 52582130 markings, 607492957 edges, 55864 markings/sec, 830 secs
lola: 52863750 markings, 611060583 edges, 56324 markings/sec, 835 secs
lola: 53179593 markings, 614727513 edges, 63169 markings/sec, 840 secs
lola: 53476593 markings, 618344709 edges, 59400 markings/sec, 845 secs
lola: 53740706 markings, 621939081 edges, 52823 markings/sec, 850 secs
lola: 54017880 markings, 625578914 edges, 55435 markings/sec, 855 secs
lola: 54288826 markings, 629204165 edges, 54189 markings/sec, 860 secs
lola: 54563712 markings, 632773791 edges, 54977 markings/sec, 865 secs
lola: 54861135 markings, 636355894 edges, 59485 markings/sec, 870 secs
lola: 55158183 markings, 639971556 edges, 59410 markings/sec, 875 secs
lola: 55466983 markings, 643533396 edges, 61760 markings/sec, 880 secs
lola: 55802651 markings, 647098075 edges, 67134 markings/sec, 885 secs
lola: 56108822 markings, 650809859 edges, 61234 markings/sec, 890 secs
lola: 56403644 markings, 654503064 edges, 58964 markings/sec, 895 secs
lola: 56686054 markings, 658139899 edges, 56482 markings/sec, 900 secs
lola: 56970864 markings, 661824144 edges, 56962 markings/sec, 905 secs
lola: 57238612 markings, 665459227 edges, 53550 markings/sec, 910 secs
lola: 57509450 markings, 669068036 edges, 54168 markings/sec, 915 secs
lola: 57781524 markings, 672694508 edges, 54415 markings/sec, 920 secs
lola: 58072380 markings, 676323603 edges, 58171 markings/sec, 925 secs
lola: 58336032 markings, 679964646 edges, 52730 markings/sec, 930 secs
lola: 58590137 markings, 683583604 edges, 50821 markings/sec, 935 secs
lola: 58836360 markings, 687159015 edges, 49245 markings/sec, 940 secs
lola: 59105340 markings, 690772475 edges, 53796 markings/sec, 945 secs
lola: 59370612 markings, 694388287 edges, 53054 markings/sec, 950 secs
lola: 59614166 markings, 697971257 edges, 48711 markings/sec, 955 secs
lola: 59862187 markings, 701530847 edges, 49604 markings/sec, 960 secs
lola: 60134368 markings, 705133421 edges, 54436 markings/sec, 965 secs
lola: 60412978 markings, 708690680 edges, 55722 markings/sec, 970 secs
lola: 60723146 markings, 712300546 edges, 62034 markings/sec, 975 secs
lola: 61017921 markings, 715873611 edges, 58955 markings/sec, 980 secs
lola: 61282360 markings, 719399829 edges, 52888 markings/sec, 985 secs
lola: 61548720 markings, 722950995 edges, 53272 markings/sec, 990 secs
lola: 61832858 markings, 726506543 edges, 56828 markings/sec, 995 secs
lola: 62086906 markings, 730020890 edges, 50810 markings/sec, 1000 secs
lola: 62333018 markings, 733516504 edges, 49222 markings/sec, 1005 secs
lola: 62599439 markings, 737047435 edges, 53284 markings/sec, 1010 secs
lola: 62838948 markings, 740525735 edges, 47902 markings/sec, 1015 secs
lola: 63100357 markings, 744022167 edges, 52282 markings/sec, 1020 secs
lola: 63393006 markings, 747538844 edges, 58530 markings/sec, 1025 secs
lola: 63697091 markings, 751211513 edges, 60817 markings/sec, 1030 secs
lola: 63983929 markings, 754806942 edges, 57368 markings/sec, 1035 secs
lola: 64254382 markings, 758409548 edges, 54091 markings/sec, 1040 secs
lola: 64528616 markings, 761987230 edges, 54847 markings/sec, 1045 secs
lola: 64809485 markings, 765587045 edges, 56174 markings/sec, 1050 secs
lola: 65056393 markings, 769139668 edges, 49382 markings/sec, 1055 secs
lola: 65322139 markings, 772704735 edges, 53149 markings/sec, 1060 secs
lola: 65575525 markings, 776260667 edges, 50677 markings/sec, 1065 secs
lola: 65830859 markings, 779802515 edges, 51067 markings/sec, 1070 secs
lola: 66104095 markings, 783333640 edges, 54647 markings/sec, 1075 secs
lola: 66450729 markings, 786987951 edges, 69327 markings/sec, 1080 secs
lola: 66786619 markings, 790682722 edges, 67178 markings/sec, 1085 secs
lola: 67114333 markings, 794324503 edges, 65543 markings/sec, 1090 secs
lola: 67437164 markings, 797999253 edges, 64566 markings/sec, 1095 secs
lola: 67779618 markings, 801637507 edges, 68491 markings/sec, 1100 secs
lola: 68076956 markings, 805260788 edges, 59468 markings/sec, 1105 secs
lola: 68365243 markings, 808876903 edges, 57657 markings/sec, 1110 secs
lola: 68642227 markings, 812456294 edges, 55397 markings/sec, 1115 secs
lola: 68960258 markings, 816137376 edges, 63606 markings/sec, 1120 secs
lola: 69246845 markings, 819789763 edges, 57317 markings/sec, 1125 secs
lola: 69531864 markings, 823443205 edges, 57004 markings/sec, 1130 secs
lola: 69842219 markings, 827083711 edges, 62071 markings/sec, 1135 secs
lola: 70140008 markings, 830698013 edges, 59558 markings/sec, 1140 secs
lola: 70448044 markings, 834263221 edges, 61607 markings/sec, 1145 secs
lola: 70754945 markings, 837844338 edges, 61380 markings/sec, 1150 secs
lola: 71084445 markings, 841466913 edges, 65900 markings/sec, 1155 secs
lola: 71381004 markings, 845070812 edges, 59312 markings/sec, 1160 secs
lola: 71663063 markings, 848638908 edges, 56412 markings/sec, 1165 secs
lola: 71931548 markings, 852213009 edges, 53697 markings/sec, 1170 secs
lola: 72191360 markings, 855803621 edges, 51962 markings/sec, 1175 secs
lola: 72467799 markings, 859366457 edges, 55288 markings/sec, 1180 secs
lola: 72741110 markings, 862886405 edges, 54662 markings/sec, 1185 secs
lola: 73018836 markings, 866117595 edges, 55545 markings/sec, 1190 secs
lola: 73314947 markings, 869747014 edges, 59222 markings/sec, 1195 secs
lola: 73596115 markings, 873344970 edges, 56234 markings/sec, 1200 secs
lola: 73866300 markings, 876957149 edges, 54037 markings/sec, 1205 secs
lola: 74133166 markings, 880563280 edges, 53373 markings/sec, 1210 secs
lola: 74406169 markings, 884132545 edges, 54601 markings/sec, 1215 secs
lola: 74687598 markings, 887679349 edges, 56286 markings/sec, 1220 secs
lola: 74995586 markings, 891283235 edges, 61598 markings/sec, 1225 secs
lola: 75295901 markings, 894828010 edges, 60063 markings/sec, 1230 secs
lola: 75613002 markings, 898358867 edges, 63420 markings/sec, 1235 secs
lola: 75924970 markings, 901797340 edges, 62394 markings/sec, 1240 secs
lola: 76196547 markings, 905300244 edges, 54315 markings/sec, 1245 secs
lola: 76475006 markings, 908845778 edges, 55692 markings/sec, 1250 secs
lola: 76766906 markings, 912462566 edges, 58380 markings/sec, 1255 secs
lola: 77029111 markings, 916088104 edges, 52441 markings/sec, 1260 secs
lola: 77297810 markings, 919647627 edges, 53740 markings/sec, 1265 secs
lola: 77566350 markings, 923224014 edges, 53708 markings/sec, 1270 secs
lola: 77840334 markings, 926793579 edges, 54797 markings/sec, 1275 secs
lola: 78120881 markings, 930391995 edges, 56109 markings/sec, 1280 secs
lola: 78361248 markings, 933691124 edges, 48073 markings/sec, 1285 secs
lola: 78600662 markings, 937234697 edges, 47883 markings/sec, 1290 secs
lola: 78848216 markings, 940766963 edges, 49511 markings/sec, 1295 secs
lola: time limit reached - aborting
lola:
preliminary result: no no no unknown no no unknown unknown yes no yes no no unknown unknown no
lola:
preliminary result: no no no unknown no no unknown unknown yes no yes no no unknown unknown no
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no no no unknown no no unknown unknown yes no yes no no unknown unknown no
lola: memory consumption: 10956 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
rslt: finished

BK_STOP 1589237142529

--------------------
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="CircularTrains-PT-096"
export BK_EXAMINATION="LTLFireability"
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 CircularTrains-PT-096, examination is LTLFireability"
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-158902068200020"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/CircularTrains-PT-096.tgz
mv CircularTrains-PT-096 execution
cd execution
if [ "LTLFireability" = "ReachabilityDeadlock" ] || [ "LTLFireability" = "UpperBounds" ] || [ "LTLFireability" = "QuasiLiveness" ] || [ "LTLFireability" = "StableMarking" ] || [ "LTLFireability" = "Liveness" ] || [ "LTLFireability" = "OneSafe" ] || [ "LTLFireability" = "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 [ "LTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLFireability" != "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 "LTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLFireability.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 '' LTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "LTLFireability" = "ReachabilityDeadlock" ] || [ "LTLFireability" = "QuasiLiveness" ] || [ "LTLFireability" = "StableMarking" ] || [ "LTLFireability" = "Liveness" ] || [ "LTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME LTLFireability"
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 ;