fond
Model Checking Contest 2018
8th edition, Bratislava, Slovakia, June 26, 2018
Execution of r064-smll-152649735200116
Last Updated
June 26, 2018

About the Execution of LoLA for DLCround-PT-11a

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
6213.590 3570566.00 3622293.00 7887.90 F????T?T??F?TT?? normal

Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Waiting for the VM to be ready (probing ssh)
...............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
/home/mcc/execution
total 928K
-rw-r--r-- 1 mcc users 3.3K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.9K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.3K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.3K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 106 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 344 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.8K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 4 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 762K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is DLCround-PT-11a, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r064-smll-152649735200116
=====================================================================


--------------------
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 DLCround-PT-11a-CTLFireability-00
FORMULA_NAME DLCround-PT-11a-CTLFireability-01
FORMULA_NAME DLCround-PT-11a-CTLFireability-02
FORMULA_NAME DLCround-PT-11a-CTLFireability-03
FORMULA_NAME DLCround-PT-11a-CTLFireability-04
FORMULA_NAME DLCround-PT-11a-CTLFireability-05
FORMULA_NAME DLCround-PT-11a-CTLFireability-06
FORMULA_NAME DLCround-PT-11a-CTLFireability-07
FORMULA_NAME DLCround-PT-11a-CTLFireability-08
FORMULA_NAME DLCround-PT-11a-CTLFireability-09
FORMULA_NAME DLCround-PT-11a-CTLFireability-10
FORMULA_NAME DLCround-PT-11a-CTLFireability-11
FORMULA_NAME DLCround-PT-11a-CTLFireability-12
FORMULA_NAME DLCround-PT-11a-CTLFireability-13
FORMULA_NAME DLCround-PT-11a-CTLFireability-14
FORMULA_NAME DLCround-PT-11a-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1526656348244

info: Time: 3600 - MCC
===========================================================================================
prep: translating DLCround-PT-11a Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: net is already safe
prep: check for too many tokens
===========================================================================================
prep: translating DLCround-PT-11a formula CTLFireability into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking CTLFireability @ DLCround-PT-11a @ 3570 seconds
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 3370/65536 symbol table entries, 452 collisions
lola: preprocessing...
lola: Size of bit vector: 377
lola: finding significant places
lola: 377 places, 2993 transitions, 133 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2646 transition conflict sets
lola: TASK
lola: reading formula from DLCround-PT-11a-CTLFireability.task
lola: A (G (A (G (((FIREABLE(t1176) AND FIREABLE(t663)) OR NOT FIREABLE(t2467)))))) : E (((NOT FIREABLE(t2846) OR E (G (FIREABLE(t1074)))) U (A (G (FIREABLE(t2451))) AND (FIREABLE(t2787) OR (FIREABLE(t699) AND FIREABLE(t944)))))) : E (F (NOT((E (G (FIREABLE(t2485))) OR E (F (FIREABLE(t2521))))))) : ((((NOT FIREABLE(t2810) AND FIREABLE(t1664)) OR NOT FIREABLE(t2192)) AND E (F (E (F (FIREABLE(t1911)))))) AND A (G ((E (F (FIREABLE(t2625))) OR (NOT FIREABLE(t2822) OR FIREABLE(t1659)))))) : NOT(NOT(A (G (E (F (FIREABLE(t328))))))) : E (X (E (X (E (G (FIREABLE(t2409))))))) : (E (F (A (G ((FIREABLE(t2544) AND FIREABLE(t678)))))) OR (NOT(E (F ((FIREABLE(t1013) AND FIREABLE(t564))))) AND E (((FIREABLE(t1919) OR FIREABLE(t1138)) U NOT FIREABLE(t290))))) : E (F ((FIREABLE(t734) AND FIREABLE(t2520)))) : E (((NOT FIREABLE(t1046) OR NOT FIREABLE(t802) OR FIREABLE(t608)) U NOT(E (F (FIREABLE(t2901)))))) : NOT(E ((A (F (FIREABLE(t1659))) U A (F (FIREABLE(t2779)))))) : A (G ((E (F (NOT FIREABLE(t321))) AND A (F (NOT FIREABLE(t480)))))) : ((FIREABLE(t255) OR A (G (E (F (FIREABLE(t1299)))))) OR E (G (FIREABLE(t973)))) : E (F (FIREABLE(t51))) : NOT((A (G ((NOT FIREABLE(t1319) OR NOT FIREABLE(t2069)))) OR FIREABLE(t1906))) : E (((E (F (FIREABLE(t2753))) OR FIREABLE(t2921)) U FIREABLE(t938))) : E (F (A (G ((FIREABLE(t1806) OR FIREABLE(t1372) OR (FIREABLE(t2545) AND FIREABLE(t865)))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:389
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:401
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:545
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (X (E (X (E (G (FIREABLE(t2409)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: EX(EX(NOT(A(TRUE U NOT FIREABLE(t2409)))))
lola: processed formula length: 42
lola: 45 rewrites
lola: closed formula file DLCround-PT-11a-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 4 markings, 8 edges
lola: ========================================

FORMULA DLCround-PT-11a-CTLFireability-5 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 238 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t51)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F (FIREABLE(t51)))
lola: processed formula length: 21
lola: 42 rewrites
lola: closed formula file DLCround-PT-11a-CTLFireability.task
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: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: FIREABLE(t51)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DLCround-PT-11a-CTLFireability-0.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 6 markings, 5 edges
lola: ========================================

FORMULA DLCround-PT-11a-CTLFireability-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 255 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t734) AND FIREABLE(t2520))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F ((FIREABLE(t734) AND FIREABLE(t2520))))
lola: processed formula length: 44
lola: 42 rewrites
lola: closed formula file DLCround-PT-11a-CTLFireability.task
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: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: (FIREABLE(t734) AND FIREABLE(t2520))
lola: state equation: Generated DNF with 4 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 5 markings, 4 edges
lola: ========================================

FORMULA DLCround-PT-11a-CTLFireability-7 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((FIREABLE(t1176) AND FIREABLE(t663)) OR NOT FIREABLE(t2467))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G (((FIREABLE(t1176) AND FIREABLE(t663)) OR NOT FIREABLE(t2467))))
lola: processed formula length: 70
lola: 43 rewrites
lola: closed formula file DLCround-PT-11a-CTLFireability.task
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: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: ((NOT FIREABLE(t1176) OR NOT FIREABLE(t663)) AND FIREABLE(t2467))
lola: state equation: Generated DNF with 9 literals and 3 conjunctive subformulas
lola: state equation: write sara problem file to DLCround-PT-11a-CTLFireability-3-0.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 5 markings, 4 edges
lola: ========================================

FORMULA DLCround-PT-11a-CTLFireability-0 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (E (F (FIREABLE(t328)))))
lola: ========================================
lola: SUBTASK
lola: checking liveness
lola: AGEF init
lola: rewrite Frontend/Parser/formula_rewrite.k:617
lola: processed formula: FIREABLE(t328)
lola: processed formula length: 14
lola: 42 rewrites
lola: closed formula file DLCround-PT-11a-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using tscc preserving stubborn set method (--stubborn)
lola: RUNNING
lola: 25645 markings, 705495 edges, 5129 markings/sec, 0 secs
lola: 51921 markings, 1427568 edges, 5255 markings/sec, 5 secs
lola: 77734 markings, 2140401 edges, 5163 markings/sec, 10 secs
lola: 103927 markings, 2873973 edges, 5239 markings/sec, 15 secs
lola: 129997 markings, 3596899 edges, 5214 markings/sec, 20 secs
lola: 155840 markings, 4318387 edges, 5169 markings/sec, 25 secs
lola: 182126 markings, 5037884 edges, 5257 markings/sec, 30 secs
lola: 208433 markings, 5762070 edges, 5261 markings/sec, 35 secs
lola: 234643 markings, 6478933 edges, 5242 markings/sec, 40 secs
lola: 260615 markings, 7194543 edges, 5194 markings/sec, 45 secs
lola: 286817 markings, 7920757 edges, 5240 markings/sec, 50 secs
lola: 313362 markings, 8647612 edges, 5309 markings/sec, 55 secs
lola: 339617 markings, 9375279 edges, 5251 markings/sec, 60 secs
lola: 365310 markings, 10093395 edges, 5139 markings/sec, 65 secs
lola: 390922 markings, 10810524 edges, 5122 markings/sec, 70 secs
lola: 415553 markings, 11501102 edges, 4926 markings/sec, 75 secs
lola: 441118 markings, 12224976 edges, 5113 markings/sec, 80 secs
lola: 466736 markings, 12933989 edges, 5124 markings/sec, 85 secs
lola: 492787 markings, 13644879 edges, 5210 markings/sec, 90 secs
lola: 518131 markings, 14349750 edges, 5069 markings/sec, 95 secs
lola: 543573 markings, 15070340 edges, 5088 markings/sec, 100 secs
lola: 569055 markings, 15789464 edges, 5096 markings/sec, 105 secs
lola: 595127 markings, 16504139 edges, 5214 markings/sec, 110 secs
lola: 620591 markings, 17227413 edges, 5093 markings/sec, 115 secs
lola: 646068 markings, 17938796 edges, 5095 markings/sec, 120 secs
lola: 671381 markings, 18652323 edges, 5063 markings/sec, 125 secs
lola: 696552 markings, 19364341 edges, 5034 markings/sec, 130 secs
lola: 722402 markings, 20080407 edges, 5170 markings/sec, 135 secs
lola: 748490 markings, 20796668 edges, 5218 markings/sec, 140 secs
lola: 774671 markings, 21523176 edges, 5236 markings/sec, 145 secs
lola: 801116 markings, 22257209 edges, 5289 markings/sec, 150 secs
lola: 826291 markings, 22954294 edges, 5035 markings/sec, 155 secs
lola: 851191 markings, 23634441 edges, 4980 markings/sec, 160 secs
lola: 876878 markings, 24351624 edges, 5137 markings/sec, 165 secs
lola: 902901 markings, 25065511 edges, 5205 markings/sec, 170 secs
lola: 928570 markings, 25777709 edges, 5134 markings/sec, 175 secs
lola: 954097 markings, 26499834 edges, 5105 markings/sec, 180 secs
lola: 979816 markings, 27215046 edges, 5144 markings/sec, 185 secs
lola: 1005274 markings, 27922152 edges, 5092 markings/sec, 190 secs
lola: 1030410 markings, 28628936 edges, 5027 markings/sec, 195 secs
lola: 1055660 markings, 29333969 edges, 5050 markings/sec, 200 secs
lola: 1080756 markings, 30046969 edges, 5019 markings/sec, 205 secs
lola: 1105842 markings, 30749742 edges, 5017 markings/sec, 210 secs
lola: 1131326 markings, 31447648 edges, 5097 markings/sec, 215 secs
lola: 1156449 markings, 32150790 edges, 5025 markings/sec, 220 secs
lola: 1181251 markings, 32858803 edges, 4960 markings/sec, 225 secs
lola: 1206470 markings, 33574523 edges, 5044 markings/sec, 230 secs
lola: 1232827 markings, 34293572 edges, 5271 markings/sec, 235 secs
lola: 1258275 markings, 35008431 edges, 5090 markings/sec, 240 secs
lola: 1283856 markings, 35733637 edges, 5116 markings/sec, 245 secs
lola: 1310099 markings, 36457046 edges, 5249 markings/sec, 250 secs
lola: 1335267 markings, 37174423 edges, 5034 markings/sec, 255 secs
lola: 1360858 markings, 37878813 edges, 5118 markings/sec, 260 secs
lola: 1386736 markings, 38595315 edges, 5176 markings/sec, 265 secs
lola: 1412447 markings, 39306893 edges, 5142 markings/sec, 270 secs
lola: 1437502 markings, 40020676 edges, 5011 markings/sec, 275 secs
lola: 1462747 markings, 40730024 edges, 5049 markings/sec, 280 secs
lola: 1488132 markings, 41437908 edges, 5077 markings/sec, 285 secs
lola: 1513614 markings, 42146223 edges, 5096 markings/sec, 290 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown unknown unknown unknown yes unknown yes unknown unknown unknown unknown yes unknown unknown unknown
lola: memory consumption: 1800484 KB
lola: time consumption: 297 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (A (G ((FIREABLE(t1806) OR FIREABLE(t1372) OR (FIREABLE(t2545) AND FIREABLE(t865)))))))
lola: ========================================
lola: SUBTASK
lola: checking possible invariance
lola: AGEF init
lola: rewrite Frontend/Parser/formula_rewrite.k:636
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: (NOT FIREABLE(t1806) AND NOT FIREABLE(t1372) AND (NOT FIREABLE(t2545) OR NOT FIREABLE(t865)))
lola: processed formula length: 94
lola: 43 rewrites
lola: closed formula file DLCround-PT-11a-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using tscc preserving stubborn set method (--stubborn)
lola: RUNNING
lola: 65266 markings, 3003431 edges, 13053 markings/sec, 0 secs
lola: 132473 markings, 6124275 edges, 13441 markings/sec, 5 secs
lola: 206067 markings, 9346956 edges, 14719 markings/sec, 10 secs
lola: 294664 markings, 12517064 edges, 17719 markings/sec, 15 secs
lola: 374655 markings, 15589953 edges, 15998 markings/sec, 20 secs
lola: 450746 markings, 18532299 edges, 15218 markings/sec, 25 secs
lola: 530915 markings, 21547565 edges, 16034 markings/sec, 30 secs
lola: 604957 markings, 24424707 edges, 14808 markings/sec, 35 secs
lola: 676717 markings, 27251352 edges, 14352 markings/sec, 40 secs
lola: 749119 markings, 30087833 edges, 14480 markings/sec, 45 secs
lola: 820206 markings, 32876362 edges, 14217 markings/sec, 50 secs
lola: 891869 markings, 35676361 edges, 14333 markings/sec, 55 secs
lola: 964555 markings, 38453724 edges, 14537 markings/sec, 60 secs
lola: 1045209 markings, 41599732 edges, 16131 markings/sec, 65 secs
lola: 1117407 markings, 44591061 edges, 14440 markings/sec, 70 secs
lola: 1190304 markings, 47558181 edges, 14579 markings/sec, 75 secs
lola: 1261971 markings, 50476128 edges, 14333 markings/sec, 80 secs
lola: 1333817 markings, 53417234 edges, 14369 markings/sec, 85 secs
lola: 1399696 markings, 56211061 edges, 13176 markings/sec, 90 secs
lola: 1465263 markings, 58945117 edges, 13113 markings/sec, 95 secs
lola: 1536298 markings, 61883646 edges, 14207 markings/sec, 100 secs
lola: 1601952 markings, 64627390 edges, 13131 markings/sec, 105 secs
lola: 1683459 markings, 67605412 edges, 16301 markings/sec, 110 secs
lola: 1759692 markings, 70600050 edges, 15247 markings/sec, 115 secs
lola: 1836357 markings, 73627905 edges, 15333 markings/sec, 120 secs
lola: 1914488 markings, 76707746 edges, 15626 markings/sec, 125 secs
lola: 1984993 markings, 79606849 edges, 14101 markings/sec, 130 secs
lola: 2057765 markings, 82543772 edges, 14554 markings/sec, 135 secs
lola: 2122189 markings, 85287721 edges, 12885 markings/sec, 140 secs
lola: 2185005 markings, 87967759 edges, 12563 markings/sec, 145 secs
lola: 2254167 markings, 90838007 edges, 13832 markings/sec, 150 secs
lola: 2320647 markings, 93651519 edges, 13296 markings/sec, 155 secs
lola: 2386475 markings, 96425387 edges, 13166 markings/sec, 160 secs
lola: 2451094 markings, 99192604 edges, 12924 markings/sec, 165 secs
lola: 2524574 markings, 102076977 edges, 14696 markings/sec, 170 secs
lola: 2590957 markings, 104850712 edges, 13277 markings/sec, 175 secs
lola: 2659555 markings, 107674270 edges, 13720 markings/sec, 180 secs
lola: 2720187 markings, 110231059 edges, 12126 markings/sec, 185 secs
lola: 2781431 markings, 112812847 edges, 12249 markings/sec, 190 secs
lola: 2852806 markings, 115748298 edges, 14275 markings/sec, 195 secs
lola: 2914230 markings, 118382604 edges, 12285 markings/sec, 200 secs
lola: 2981391 markings, 121182024 edges, 13432 markings/sec, 205 secs
lola: 3047916 markings, 123976564 edges, 13305 markings/sec, 210 secs
lola: 3117746 markings, 126777757 edges, 13966 markings/sec, 215 secs
lola: 3187630 markings, 129655326 edges, 13977 markings/sec, 220 secs
lola: 3248430 markings, 132221190 edges, 12160 markings/sec, 225 secs
lola: 3315198 markings, 134983047 edges, 13354 markings/sec, 230 secs
lola: 3376001 markings, 137572886 edges, 12161 markings/sec, 235 secs
lola: 3436029 markings, 140157151 edges, 12006 markings/sec, 240 secs
lola: 3504514 markings, 142970046 edges, 13697 markings/sec, 245 secs
lola: 3572962 markings, 145740792 edges, 13690 markings/sec, 250 secs
lola: 3633073 markings, 148287650 edges, 12022 markings/sec, 255 secs
lola: 3693553 markings, 150893720 edges, 12096 markings/sec, 260 secs
lola: 3753255 markings, 153468342 edges, 11940 markings/sec, 265 secs
lola: 3814331 markings, 156079950 edges, 12215 markings/sec, 270 secs
lola: 3876277 markings, 158707719 edges, 12389 markings/sec, 275 secs
lola: 3934553 markings, 161186523 edges, 11655 markings/sec, 280 secs
lola: 3995004 markings, 163800917 edges, 12090 markings/sec, 285 secs
lola: 4063662 markings, 166635938 edges, 13732 markings/sec, 290 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown unknown unknown unknown yes unknown yes unknown unknown unknown unknown yes unknown unknown unknown
lola: memory consumption: 3811016 KB
lola: time consumption: 594 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (((E (F (FIREABLE(t2753))) OR FIREABLE(t2921)) U FIREABLE(t938)))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: processed formula: E((E(TRUE U FIREABLE(t2753)) OR FIREABLE(t2921)) U FIREABLE(t938))
lola: processed formula length: 66
lola: 43 rewrites
lola: closed formula file DLCround-PT-11a-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 63238 markings, 3038635 edges, 12648 markings/sec, 0 secs
lola: 125959 markings, 6091041 edges, 12544 markings/sec, 5 secs
lola: 195088 markings, 9282571 edges, 13826 markings/sec, 10 secs
lola: 264359 markings, 12420991 edges, 13854 markings/sec, 15 secs
lola: 332816 markings, 15569620 edges, 13691 markings/sec, 20 secs
lola: 409018 markings, 18633319 edges, 15240 markings/sec, 25 secs
lola: 482134 markings, 21618985 edges, 14623 markings/sec, 30 secs
lola: 553277 markings, 24621555 edges, 14229 markings/sec, 35 secs
lola: 629112 markings, 27598569 edges, 15167 markings/sec, 40 secs
lola: 701207 markings, 30594131 edges, 14419 markings/sec, 45 secs
lola: 775184 markings, 33668427 edges, 14795 markings/sec, 50 secs
lola: 848717 markings, 36735872 edges, 14707 markings/sec, 55 secs
lola: 922166 markings, 39736508 edges, 14690 markings/sec, 60 secs
lola: 995217 markings, 42720853 edges, 14610 markings/sec, 65 secs
lola: 1067207 markings, 45670833 edges, 14398 markings/sec, 70 secs
lola: 1135961 markings, 48587416 edges, 13751 markings/sec, 75 secs
lola: 1206397 markings, 51492685 edges, 14087 markings/sec, 80 secs
lola: 1280129 markings, 54564501 edges, 14746 markings/sec, 85 secs
lola: 1350286 markings, 57481340 edges, 14031 markings/sec, 90 secs
lola: 1422423 markings, 60433654 edges, 14427 markings/sec, 95 secs
lola: 1493979 markings, 63386616 edges, 14311 markings/sec, 100 secs
lola: 1567481 markings, 66350738 edges, 14700 markings/sec, 105 secs
lola: 1638849 markings, 69316917 edges, 14274 markings/sec, 110 secs
lola: 1713015 markings, 72336794 edges, 14833 markings/sec, 115 secs
lola: 1784127 markings, 75256398 edges, 14222 markings/sec, 120 secs
lola: 1856631 markings, 78295627 edges, 14501 markings/sec, 125 secs
lola: 1926048 markings, 81293281 edges, 13883 markings/sec, 130 secs
lola: 1995634 markings, 84232699 edges, 13917 markings/sec, 135 secs
lola: 2061347 markings, 87066363 edges, 13143 markings/sec, 140 secs
lola: 2128964 markings, 89991035 edges, 13523 markings/sec, 145 secs
lola: 2197042 markings, 92942502 edges, 13616 markings/sec, 150 secs
lola: 2264882 markings, 95833745 edges, 13568 markings/sec, 155 secs
lola: 2334736 markings, 98705213 edges, 13971 markings/sec, 160 secs
lola: 2408564 markings, 101817885 edges, 14766 markings/sec, 165 secs
lola: 2482296 markings, 104880661 edges, 14746 markings/sec, 170 secs
lola: 2554025 markings, 107872491 edges, 14346 markings/sec, 175 secs
lola: 2620420 markings, 110761673 edges, 13279 markings/sec, 180 secs
lola: 2689721 markings, 113701603 edges, 13860 markings/sec, 185 secs
lola: 2756867 markings, 116588859 edges, 13429 markings/sec, 190 secs
lola: 2826960 markings, 119607286 edges, 14019 markings/sec, 195 secs
lola: 2895441 markings, 122526156 edges, 13696 markings/sec, 200 secs
lola: 2965158 markings, 125458423 edges, 13943 markings/sec, 205 secs
lola: 3033731 markings, 128401167 edges, 13715 markings/sec, 210 secs
lola: 3102007 markings, 131340675 edges, 13655 markings/sec, 215 secs
lola: 3170506 markings, 134284524 edges, 13700 markings/sec, 220 secs
lola: 3239358 markings, 137236799 edges, 13770 markings/sec, 225 secs
lola: 3308912 markings, 140217920 edges, 13911 markings/sec, 230 secs
lola: 3378252 markings, 143223170 edges, 13868 markings/sec, 235 secs
lola: 3447147 markings, 146188466 edges, 13779 markings/sec, 240 secs
lola: 3516697 markings, 149212424 edges, 13910 markings/sec, 245 secs
lola: 3588353 markings, 152079656 edges, 14331 markings/sec, 250 secs
lola: 3658899 markings, 154922566 edges, 14109 markings/sec, 255 secs
lola: 3728509 markings, 157836524 edges, 13922 markings/sec, 260 secs
lola: 3797612 markings, 160736627 edges, 13821 markings/sec, 265 secs
lola: 3867762 markings, 163717348 edges, 14030 markings/sec, 270 secs
lola: 3936083 markings, 166646797 edges, 13664 markings/sec, 275 secs
lola: 4003628 markings, 169597453 edges, 13509 markings/sec, 280 secs
lola: 4072320 markings, 172567492 edges, 13738 markings/sec, 285 secs
lola: 4141369 markings, 175559841 edges, 13810 markings/sec, 290 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown unknown unknown unknown yes unknown yes unknown unknown unknown unknown yes unknown unknown unknown
lola: memory consumption: 4975896 KB
lola: time consumption: 892 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (((NOT FIREABLE(t1046) OR NOT FIREABLE(t802) OR FIREABLE(t608)) U A (G (NOT FIREABLE(t2901)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: processed formula: E((NOT FIREABLE(t1046) OR NOT FIREABLE(t802) OR FIREABLE(t608)) U NOT(E(TRUE U FIREABLE(t2901))))
lola: processed formula length: 99
lola: 44 rewrites
lola: closed formula file DLCround-PT-11a-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 40650 markings, 2842655 edges, 8130 markings/sec, 0 secs
lola: 87772 markings, 5722428 edges, 9424 markings/sec, 5 secs
lola: 133746 markings, 8551994 edges, 9195 markings/sec, 10 secs
lola: 182056 markings, 11616515 edges, 9662 markings/sec, 15 secs
lola: 234592 markings, 14616190 edges, 10507 markings/sec, 20 secs
lola: 286836 markings, 17606225 edges, 10449 markings/sec, 25 secs
lola: 341306 markings, 20564515 edges, 10894 markings/sec, 30 secs
lola: 399583 markings, 23447693 edges, 11655 markings/sec, 35 secs
lola: 456378 markings, 26309308 edges, 11359 markings/sec, 40 secs
lola: 511076 markings, 29098656 edges, 10940 markings/sec, 45 secs
lola: 568557 markings, 31963002 edges, 11496 markings/sec, 50 secs
lola: 624760 markings, 34793341 edges, 11241 markings/sec, 55 secs
lola: 681976 markings, 37607208 edges, 11443 markings/sec, 60 secs
lola: 740371 markings, 40495135 edges, 11679 markings/sec, 65 secs
lola: 798362 markings, 43399574 edges, 11598 markings/sec, 70 secs
lola: 857209 markings, 46276988 edges, 11769 markings/sec, 75 secs
lola: 914507 markings, 49115475 edges, 11460 markings/sec, 80 secs
lola: 971678 markings, 51942314 edges, 11434 markings/sec, 85 secs
lola: 1029534 markings, 54778159 edges, 11571 markings/sec, 90 secs
lola: 1082495 markings, 57541134 edges, 10592 markings/sec, 95 secs
lola: 1136380 markings, 60283609 edges, 10777 markings/sec, 100 secs
lola: 1192781 markings, 63027057 edges, 11280 markings/sec, 105 secs
lola: 1248985 markings, 65915525 edges, 11241 markings/sec, 110 secs
lola: 1305328 markings, 68767762 edges, 11269 markings/sec, 115 secs
lola: 1359684 markings, 71523735 edges, 10871 markings/sec, 120 secs
lola: 1415954 markings, 74354925 edges, 11254 markings/sec, 125 secs
lola: 1473373 markings, 77144124 edges, 11484 markings/sec, 130 secs
lola: 1530645 markings, 79945217 edges, 11454 markings/sec, 135 secs
lola: 1585835 markings, 82678480 edges, 11038 markings/sec, 140 secs
lola: 1643022 markings, 85521662 edges, 11437 markings/sec, 145 secs
lola: 1700555 markings, 88384181 edges, 11507 markings/sec, 150 secs
lola: 1757058 markings, 91147729 edges, 11301 markings/sec, 155 secs
lola: 1813766 markings, 93936308 edges, 11342 markings/sec, 160 secs
lola: 1869094 markings, 96699116 edges, 11066 markings/sec, 165 secs
lola: 1924790 markings, 99516395 edges, 11139 markings/sec, 170 secs
lola: 1981736 markings, 102363712 edges, 11389 markings/sec, 175 secs
lola: 2032237 markings, 105046947 edges, 10100 markings/sec, 180 secs
lola: 2084465 markings, 107733462 edges, 10446 markings/sec, 185 secs
lola: 2140444 markings, 110552338 edges, 11196 markings/sec, 190 secs
lola: 2196152 markings, 113337705 edges, 11142 markings/sec, 195 secs
lola: 2249700 markings, 116073304 edges, 10710 markings/sec, 200 secs
lola: 2305623 markings, 118816695 edges, 11185 markings/sec, 205 secs
lola: 2361007 markings, 121592603 edges, 11077 markings/sec, 210 secs
lola: 2420763 markings, 124575234 edges, 11951 markings/sec, 215 secs
lola: 2476312 markings, 127482656 edges, 11110 markings/sec, 220 secs
lola: 2533193 markings, 130282221 edges, 11376 markings/sec, 225 secs
lola: 2588719 markings, 133088257 edges, 11105 markings/sec, 230 secs
lola: 2643354 markings, 135858162 edges, 10927 markings/sec, 235 secs
lola: 2696140 markings, 138634132 edges, 10557 markings/sec, 240 secs
lola: 2749460 markings, 141347769 edges, 10664 markings/sec, 245 secs
lola: 2806033 markings, 144210821 edges, 11315 markings/sec, 250 secs
lola: 2860068 markings, 146957016 edges, 10807 markings/sec, 255 secs
lola: 2914239 markings, 149686539 edges, 10834 markings/sec, 260 secs
lola: 2968709 markings, 152466862 edges, 10894 markings/sec, 265 secs
lola: 3022715 markings, 155279832 edges, 10801 markings/sec, 270 secs
lola: 3076899 markings, 158038414 edges, 10837 markings/sec, 275 secs
lola: 3132020 markings, 160863955 edges, 11024 markings/sec, 280 secs
lola: 3189003 markings, 163653232 edges, 11397 markings/sec, 285 secs
lola: 3244576 markings, 166429529 edges, 11115 markings/sec, 290 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown unknown unknown unknown yes unknown yes unknown unknown unknown unknown yes unknown unknown unknown
lola: memory consumption: 3921132 KB
lola: time consumption: 1189 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((E (G (NOT FIREABLE(t1659))) R E (G (NOT FIREABLE(t2779)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:742
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:312
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:312
lola: processed formula: NOT(E(A(TRUE U FIREABLE(t1659)) U A(TRUE U FIREABLE(t2779))))
lola: processed formula length: 61
lola: 48 rewrites
lola: closed formula file DLCround-PT-11a-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 3 significant temporal operators and needs 13 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 85835 markings, 2500975 edges, 17167 markings/sec, 0 secs
lola: 179660 markings, 5108146 edges, 18765 markings/sec, 5 secs
lola: 271732 markings, 7696379 edges, 18414 markings/sec, 10 secs
lola: 359574 markings, 10177145 edges, 17568 markings/sec, 15 secs
lola: 446197 markings, 12694762 edges, 17325 markings/sec, 20 secs
lola: 536057 markings, 15237047 edges, 17972 markings/sec, 25 secs
lola: 631026 markings, 17824582 edges, 18994 markings/sec, 30 secs
lola: 718588 markings, 20377098 edges, 17512 markings/sec, 35 secs
lola: 804722 markings, 22892029 edges, 17227 markings/sec, 40 secs
lola: 893496 markings, 25475373 edges, 17755 markings/sec, 45 secs
lola: 982315 markings, 28011152 edges, 17764 markings/sec, 50 secs
lola: 1070984 markings, 30552815 edges, 17734 markings/sec, 55 secs
lola: 1160673 markings, 33048956 edges, 17938 markings/sec, 60 secs
lola: 1248635 markings, 35597568 edges, 17592 markings/sec, 65 secs
lola: 1335130 markings, 38122333 edges, 17299 markings/sec, 70 secs
lola: 1424873 markings, 40614578 edges, 17949 markings/sec, 75 secs
lola: 1512187 markings, 42999003 edges, 17463 markings/sec, 80 secs
lola: 1598801 markings, 45471087 edges, 17323 markings/sec, 85 secs
lola: 1686272 markings, 48002439 edges, 17494 markings/sec, 90 secs
lola: 1772131 markings, 50549662 edges, 17172 markings/sec, 95 secs
lola: 1861144 markings, 53098157 edges, 17803 markings/sec, 100 secs
lola: 1948759 markings, 55598628 edges, 17523 markings/sec, 105 secs
lola: 2034356 markings, 58113335 edges, 17119 markings/sec, 110 secs
lola: 2119743 markings, 60641678 edges, 17077 markings/sec, 115 secs
lola: 2207605 markings, 63209643 edges, 17572 markings/sec, 120 secs
lola: 2298981 markings, 65773866 edges, 18275 markings/sec, 125 secs
lola: 2386030 markings, 68252397 edges, 17410 markings/sec, 130 secs
lola: 2473125 markings, 70743712 edges, 17419 markings/sec, 135 secs
lola: 2558272 markings, 73245716 edges, 17029 markings/sec, 140 secs
lola: 2643032 markings, 75695875 edges, 16952 markings/sec, 145 secs
lola: 2730863 markings, 78162696 edges, 17566 markings/sec, 150 secs
lola: 2820171 markings, 80693545 edges, 17862 markings/sec, 155 secs
lola: 2907570 markings, 83216869 edges, 17480 markings/sec, 160 secs
lola: 2993394 markings, 85712357 edges, 17165 markings/sec, 165 secs
lola: 3078145 markings, 88166428 edges, 16950 markings/sec, 170 secs
lola: 3164090 markings, 90624526 edges, 17189 markings/sec, 175 secs
lola: 3248424 markings, 93109137 edges, 16867 markings/sec, 180 secs
lola: 3330075 markings, 95503433 edges, 16330 markings/sec, 185 secs
lola: 3418051 markings, 98025463 edges, 17595 markings/sec, 190 secs
lola: 3505476 markings, 100548992 edges, 17485 markings/sec, 195 secs
lola: 3588846 markings, 103017399 edges, 16674 markings/sec, 200 secs
lola: 3674941 markings, 105503133 edges, 17219 markings/sec, 205 secs
lola: 3761479 markings, 108031829 edges, 17308 markings/sec, 210 secs
lola: 3843797 markings, 110483121 edges, 16464 markings/sec, 215 secs
lola: 3928085 markings, 112979391 edges, 16858 markings/sec, 220 secs
lola: 4013236 markings, 115495621 edges, 17030 markings/sec, 225 secs
lola: 4101250 markings, 118038829 edges, 17603 markings/sec, 230 secs
lola: 4184612 markings, 120514643 edges, 16672 markings/sec, 235 secs
lola: 4267647 markings, 122974416 edges, 16607 markings/sec, 240 secs
lola: 4348158 markings, 125389554 edges, 16102 markings/sec, 245 secs
lola: 4433694 markings, 127901686 edges, 17107 markings/sec, 250 secs
lola: 4518068 markings, 130402342 edges, 16875 markings/sec, 255 secs
lola: 4603725 markings, 132925282 edges, 17131 markings/sec, 260 secs
lola: 4692088 markings, 135506960 edges, 17673 markings/sec, 265 secs
lola: 4782823 markings, 138119660 edges, 18147 markings/sec, 270 secs
lola: 4872810 markings, 140677489 edges, 17997 markings/sec, 275 secs
lola: 4959287 markings, 143187212 edges, 17295 markings/sec, 280 secs
lola: 5045479 markings, 145705822 edges, 17238 markings/sec, 285 secs
lola: 5130742 markings, 148192129 edges, 17053 markings/sec, 290 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown unknown unknown unknown yes unknown yes unknown unknown unknown unknown yes unknown unknown unknown
lola: memory consumption: 4163412 KB
lola: time consumption: 1486 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((A (F (NOT FIREABLE(t2485))) AND A (G (NOT FIREABLE(t2521))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: processed formula: E(TRUE U (A(TRUE U NOT FIREABLE(t2485)) AND NOT(E(TRUE U FIREABLE(t2521)))))
lola: processed formula length: 76
lola: 45 rewrites
lola: closed formula file DLCround-PT-11a-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 3 significant temporal operators and needs 13 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 46964 markings, 3030635 edges, 9393 markings/sec, 0 secs
lola: 67843 markings, 6014195 edges, 4176 markings/sec, 5 secs
lola: 121235 markings, 8923182 edges, 10678 markings/sec, 10 secs
lola: 147340 markings, 12107947 edges, 5221 markings/sec, 15 secs
lola: 193008 markings, 14905607 edges, 9134 markings/sec, 20 secs
lola: 218343 markings, 17929751 edges, 5067 markings/sec, 25 secs
lola: 268663 markings, 20939362 edges, 10064 markings/sec, 30 secs
lola: 322037 markings, 23913582 edges, 10675 markings/sec, 35 secs
lola: 367521 markings, 26919236 edges, 9097 markings/sec, 40 secs
lola: 424790 markings, 29787556 edges, 11454 markings/sec, 45 secs
lola: 471963 markings, 32674998 edges, 9435 markings/sec, 50 secs
lola: 523159 markings, 35508295 edges, 10239 markings/sec, 55 secs
lola: 575928 markings, 38413755 edges, 10554 markings/sec, 60 secs
lola: 628196 markings, 41236729 edges, 10454 markings/sec, 65 secs
lola: 684243 markings, 44052448 edges, 11209 markings/sec, 70 secs
lola: 741296 markings, 46930030 edges, 11411 markings/sec, 75 secs
lola: 797232 markings, 49841092 edges, 11187 markings/sec, 80 secs
lola: 855089 markings, 52717043 edges, 11571 markings/sec, 85 secs
lola: 911394 markings, 55555169 edges, 11261 markings/sec, 90 secs
lola: 967140 markings, 58383479 edges, 11149 markings/sec, 95 secs
lola: 1023795 markings, 61215340 edges, 11331 markings/sec, 100 secs
lola: 1068331 markings, 64055919 edges, 8907 markings/sec, 105 secs
lola: 1121312 markings, 66789847 edges, 10596 markings/sec, 110 secs
lola: 1175801 markings, 69532541 edges, 10898 markings/sec, 115 secs
lola: 1232061 markings, 72346840 edges, 11252 markings/sec, 120 secs
lola: 1286535 markings, 75279963 edges, 10895 markings/sec, 125 secs
lola: 1342341 markings, 78092224 edges, 11161 markings/sec, 130 secs
lola: 1385670 markings, 80854419 edges, 8666 markings/sec, 135 secs
lola: 1440819 markings, 83713114 edges, 11030 markings/sec, 140 secs
lola: 1495482 markings, 86451359 edges, 10933 markings/sec, 145 secs
lola: 1552626 markings, 89281040 edges, 11429 markings/sec, 150 secs
lola: 1606590 markings, 92043082 edges, 10793 markings/sec, 155 secs
lola: 1662409 markings, 94872591 edges, 11164 markings/sec, 160 secs
lola: 1719607 markings, 97737343 edges, 11440 markings/sec, 165 secs
lola: 1774854 markings, 100474557 edges, 11049 markings/sec, 170 secs
lola: 1830832 markings, 103318706 edges, 11196 markings/sec, 175 secs
lola: 1886655 markings, 106204688 edges, 11165 markings/sec, 180 secs
lola: 1942525 markings, 109018477 edges, 11174 markings/sec, 185 secs
lola: 1992942 markings, 111822903 edges, 10083 markings/sec, 190 secs
lola: 2034657 markings, 114533290 edges, 8343 markings/sec, 195 secs
lola: 2085818 markings, 117207222 edges, 10232 markings/sec, 200 secs
lola: 2141137 markings, 120031072 edges, 11064 markings/sec, 205 secs
lola: 2195771 markings, 122810243 edges, 10927 markings/sec, 210 secs
lola: 2246842 markings, 125555218 edges, 10214 markings/sec, 215 secs
lola: 2301526 markings, 128284987 edges, 10937 markings/sec, 220 secs
lola: 2354372 markings, 131018047 edges, 10569 markings/sec, 225 secs
lola: 2413004 markings, 133983802 edges, 11726 markings/sec, 230 secs
lola: 2467129 markings, 136899043 edges, 10825 markings/sec, 235 secs
lola: 2523070 markings, 139701508 edges, 11188 markings/sec, 240 secs
lola: 2578179 markings, 142528981 edges, 11022 markings/sec, 245 secs
lola: 2631628 markings, 145264089 edges, 10690 markings/sec, 250 secs
lola: 2684245 markings, 148040639 edges, 10523 markings/sec, 255 secs
lola: 2735029 markings, 150744324 edges, 10157 markings/sec, 260 secs
lola: 2789930 markings, 153535175 edges, 10980 markings/sec, 265 secs
lola: 2843793 markings, 156351517 edges, 10773 markings/sec, 270 secs
lola: 2896484 markings, 159057695 edges, 10538 markings/sec, 275 secs
lola: 2950583 markings, 161834593 edges, 10820 markings/sec, 280 secs
lola: 2999445 markings, 164538509 edges, 9772 markings/sec, 285 secs
lola: 3053321 markings, 167293455 edges, 10775 markings/sec, 290 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown unknown unknown unknown yes unknown yes unknown unknown unknown unknown yes unknown unknown unknown
lola: memory consumption: 3696032 KB
lola: time consumption: 1784 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (((NOT FIREABLE(t2846) OR E (G (FIREABLE(t1074)))) U (A (G (FIREABLE(t2451))) AND (FIREABLE(t2787) OR (FIREABLE(t699) AND FIREABLE(t944))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: E((NOT FIREABLE(t2846) OR NOT(A(TRUE U NOT FIREABLE(t1074)))) U (NOT(E(TRUE U NOT FIREABLE(t2451))) AND (FIREABLE(t2787) OR (FIREABLE(t699) AND FIREABLE(t944)))))
lola: processed formula length: 163
lola: 46 rewrites
lola: closed formula file DLCround-PT-11a-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 3 significant temporal operators and needs 13 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 58151 markings, 2869109 edges, 11630 markings/sec, 0 secs
lola: 118498 markings, 5884610 edges, 12069 markings/sec, 5 secs
lola: 185197 markings, 9047743 edges, 13340 markings/sec, 10 secs
lola: 251291 markings, 12167278 edges, 13219 markings/sec, 15 secs
lola: 314813 markings, 15090231 edges, 12704 markings/sec, 20 secs
lola: 384036 markings, 18042234 edges, 13845 markings/sec, 25 secs
lola: 455226 markings, 20995399 edges, 14238 markings/sec, 30 secs
lola: 524281 markings, 23959255 edges, 13811 markings/sec, 35 secs
lola: 598016 markings, 26964421 edges, 14747 markings/sec, 40 secs
lola: 668510 markings, 29941617 edges, 14099 markings/sec, 45 secs
lola: 740031 markings, 32965785 edges, 14304 markings/sec, 50 secs
lola: 811041 markings, 36016533 edges, 14202 markings/sec, 55 secs
lola: 883021 markings, 39032124 edges, 14396 markings/sec, 60 secs
lola: 954235 markings, 42034143 edges, 14243 markings/sec, 65 secs
lola: 1023081 markings, 45020824 edges, 13769 markings/sec, 70 secs
lola: 1092542 markings, 47915432 edges, 13892 markings/sec, 75 secs
lola: 1159548 markings, 50819232 edges, 13401 markings/sec, 80 secs
lola: 1227872 markings, 53744026 edges, 13665 markings/sec, 85 secs
lola: 1299993 markings, 56800859 edges, 14424 markings/sec, 90 secs
lola: 1368253 markings, 59664816 edges, 13652 markings/sec, 95 secs
lola: 1437062 markings, 62629047 edges, 13762 markings/sec, 100 secs
lola: 1505866 markings, 65508468 edges, 13761 markings/sec, 105 secs
lola: 1576704 markings, 68430198 edges, 14168 markings/sec, 110 secs
lola: 1646121 markings, 71379895 edges, 13883 markings/sec, 115 secs
lola: 1717774 markings, 74373690 edges, 14331 markings/sec, 120 secs
lola: 1785739 markings, 77254923 edges, 13593 markings/sec, 125 secs
lola: 1855258 markings, 80244065 edges, 13904 markings/sec, 130 secs
lola: 1922157 markings, 83211674 edges, 13380 markings/sec, 135 secs
lola: 1989545 markings, 86125025 edges, 13478 markings/sec, 140 secs
lola: 2053286 markings, 88919107 edges, 12748 markings/sec, 145 secs
lola: 2117572 markings, 91782204 edges, 12857 markings/sec, 150 secs
lola: 2183287 markings, 94687556 edges, 13143 markings/sec, 155 secs
lola: 2248451 markings, 97556603 edges, 13033 markings/sec, 160 secs
lola: 2314829 markings, 100403719 edges, 13276 markings/sec, 165 secs
lola: 2384430 markings, 103370391 edges, 13920 markings/sec, 170 secs
lola: 2456762 markings, 106455785 edges, 14466 markings/sec, 175 secs
lola: 2523196 markings, 109342356 edges, 13287 markings/sec, 180 secs
lola: 2590152 markings, 112266902 edges, 13391 markings/sec, 185 secs
lola: 2657005 markings, 115160903 edges, 13371 markings/sec, 190 secs
lola: 2721374 markings, 117994419 edges, 12874 markings/sec, 195 secs
lola: 2786602 markings, 120884642 edges, 13046 markings/sec, 200 secs
lola: 2854953 markings, 123825589 edges, 13670 markings/sec, 205 secs
lola: 2917948 markings, 126651968 edges, 12599 markings/sec, 210 secs
lola: 2983566 markings, 129494093 edges, 13124 markings/sec, 215 secs
lola: 3050166 markings, 132398194 edges, 13320 markings/sec, 220 secs
lola: 3114854 markings, 135303150 edges, 12938 markings/sec, 225 secs
lola: 3181258 markings, 138182826 edges, 13281 markings/sec, 230 secs
lola: 3246279 markings, 141061232 edges, 13004 markings/sec, 235 secs
lola: 3313436 markings, 144007928 edges, 13431 markings/sec, 240 secs
lola: 3379415 markings, 146941212 edges, 13196 markings/sec, 245 secs
lola: 3445213 markings, 149841844 edges, 13160 markings/sec, 250 secs
lola: 3511850 markings, 152805514 edges, 13327 markings/sec, 255 secs
lola: 3579758 markings, 155635223 edges, 13582 markings/sec, 260 secs
lola: 3646515 markings, 158385299 edges, 13351 markings/sec, 265 secs
lola: 3712772 markings, 161189674 edges, 13251 markings/sec, 270 secs
lola: 3779102 markings, 164059030 edges, 13266 markings/sec, 275 secs
lola: 3847109 markings, 166975585 edges, 13601 markings/sec, 280 secs
lola: 3911317 markings, 169834938 edges, 12842 markings/sec, 285 secs
lola: 3975220 markings, 172677004 edges, 12781 markings/sec, 290 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown unknown unknown unknown yes unknown yes unknown unknown unknown unknown yes unknown unknown unknown
lola: memory consumption: 4766244 KB
lola: time consumption: 2081 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (F ((FIREABLE(t1319) AND FIREABLE(t2069)))) AND NOT FIREABLE(t1906))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 11 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: NOT FIREABLE(t1906)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: NOT FIREABLE(t1906)
lola: processed formula length: 19
lola: 41 rewrites
lola: closed formula file DLCround-PT-11a-CTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 12 will run for 372 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t1319) AND FIREABLE(t2069))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F ((FIREABLE(t1319) AND FIREABLE(t2069))))
lola: processed formula length: 45
lola: 42 rewrites
lola: closed formula file DLCround-PT-11a-CTLFireability.task
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: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: (FIREABLE(t1319) AND FIREABLE(t2069))
lola: state equation: Generated DNF with 4 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DLCround-PT-11a-CTLFireability-12-0.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 5 markings, 4 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================

FORMULA DLCround-PT-11a-CTLFireability-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 372 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (FIREABLE(t255) OR (A (G (E (F (FIREABLE(t1299))))) OR E (G (FIREABLE(t973)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 12 will run for 372 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (FIREABLE(t973)))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation
lola: processed formula: E (G (FIREABLE(t973)))
lola: processed formula length: 22
lola: 41 rewrites
lola: closed formula file DLCround-PT-11a-CTLFireability.task
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 is not possibly preserved.
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 13 will run for 496 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FIREABLE(t255)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(t255)
lola: processed formula length: 14
lola: 41 rewrites
lola: closed formula file DLCround-PT-11a-CTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 14 will run for 744 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (E (F (FIREABLE(t1299)))))
lola: ========================================
lola: SUBTASK
lola: checking liveness
lola: AGEF init
lola: rewrite Frontend/Parser/formula_rewrite.k:617
lola: processed formula: FIREABLE(t1299)
lola: processed formula length: 15
lola: 42 rewrites
lola: closed formula file DLCround-PT-11a-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using tscc preserving stubborn set method (--stubborn)
lola: RUNNING
lola: 25325 markings, 337268 edges, 5065 markings/sec, 0 secs
lola: 52150 markings, 699255 edges, 5365 markings/sec, 5 secs
lola: 78662 markings, 1080808 edges, 5302 markings/sec, 10 secs
lola: 105153 markings, 1467369 edges, 5298 markings/sec, 15 secs
lola: 131772 markings, 1849040 edges, 5324 markings/sec, 20 secs
lola: 158045 markings, 2247880 edges, 5255 markings/sec, 25 secs
lola: 184557 markings, 2628445 edges, 5302 markings/sec, 30 secs
lola: 210736 markings, 3030493 edges, 5236 markings/sec, 35 secs
lola: 237237 markings, 3403197 edges, 5300 markings/sec, 40 secs
lola: 263326 markings, 3806257 edges, 5218 markings/sec, 45 secs
lola: 290183 markings, 4163283 edges, 5371 markings/sec, 50 secs
lola: 316635 markings, 4532057 edges, 5290 markings/sec, 55 secs
lola: 343001 markings, 4915122 edges, 5273 markings/sec, 60 secs
lola: 369219 markings, 5301124 edges, 5244 markings/sec, 65 secs
lola: 395410 markings, 5691797 edges, 5238 markings/sec, 70 secs
lola: 421851 markings, 6071711 edges, 5288 markings/sec, 75 secs
lola: 448132 markings, 6446393 edges, 5256 markings/sec, 80 secs
lola: 474572 markings, 6821617 edges, 5288 markings/sec, 85 secs
lola: 500848 markings, 7213047 edges, 5255 markings/sec, 90 secs
lola: 527469 markings, 7575928 edges, 5324 markings/sec, 95 secs
lola: 554252 markings, 7937909 edges, 5357 markings/sec, 100 secs
lola: 580747 markings, 8300117 edges, 5299 markings/sec, 105 secs
lola: 606082 markings, 8660159 edges, 5067 markings/sec, 110 secs
lola: 631285 markings, 9029694 edges, 5041 markings/sec, 115 secs
lola: 656850 markings, 9372615 edges, 5113 markings/sec, 120 secs
lola: 682667 markings, 9757153 edges, 5163 markings/sec, 125 secs
lola: 709007 markings, 10136547 edges, 5268 markings/sec, 130 secs
lola: 735419 markings, 10519888 edges, 5282 markings/sec, 135 secs
lola: 761737 markings, 10909246 edges, 5264 markings/sec, 140 secs
lola: 784454 markings, 11220378 edges, 4543 markings/sec, 145 secs
lola: 810488 markings, 11617042 edges, 5207 markings/sec, 150 secs
lola: 836547 markings, 12025213 edges, 5212 markings/sec, 155 secs
lola: 862870 markings, 12409249 edges, 5265 markings/sec, 160 secs
lola: 889077 markings, 12802233 edges, 5241 markings/sec, 165 secs
lola: 915422 markings, 13197021 edges, 5269 markings/sec, 170 secs
lola: 941743 markings, 13572590 edges, 5264 markings/sec, 175 secs
lola: 967900 markings, 13957324 edges, 5231 markings/sec, 180 secs
lola: 993530 markings, 14340434 edges, 5126 markings/sec, 185 secs
lola: 1019459 markings, 14726749 edges, 5186 markings/sec, 190 secs
lola: 1045690 markings, 15117351 edges, 5246 markings/sec, 195 secs
lola: 1072341 markings, 15481160 edges, 5330 markings/sec, 200 secs
lola: 1098627 markings, 15883238 edges, 5257 markings/sec, 205 secs
lola: 1124596 markings, 16281131 edges, 5194 markings/sec, 210 secs
lola: 1150738 markings, 16679805 edges, 5228 markings/sec, 215 secs
lola: 1177193 markings, 17046251 edges, 5291 markings/sec, 220 secs
lola: 1203840 markings, 17415282 edges, 5329 markings/sec, 225 secs
lola: 1230519 markings, 17784961 edges, 5336 markings/sec, 230 secs
lola: 1256643 markings, 18187805 edges, 5225 markings/sec, 235 secs
lola: 1283317 markings, 18551030 edges, 5335 markings/sec, 240 secs
lola: 1309577 markings, 18950665 edges, 5252 markings/sec, 245 secs
lola: 1335981 markings, 19335131 edges, 5281 markings/sec, 250 secs
lola: 1361961 markings, 19748238 edges, 5196 markings/sec, 255 secs
lola: 1388772 markings, 20116368 edges, 5362 markings/sec, 260 secs
lola: 1415634 markings, 20482363 edges, 5372 markings/sec, 265 secs
lola: 1442301 markings, 20858004 edges, 5333 markings/sec, 270 secs
lola: 1468711 markings, 21247240 edges, 5282 markings/sec, 275 secs
lola: 1495152 markings, 21633680 edges, 5288 markings/sec, 280 secs
lola: 1521549 markings, 22022235 edges, 5279 markings/sec, 285 secs
lola: 1547785 markings, 22419034 edges, 5247 markings/sec, 290 secs
lola: 1574268 markings, 22791469 edges, 5297 markings/sec, 295 secs
lola: 1600602 markings, 23166627 edges, 5267 markings/sec, 300 secs
lola: 1627033 markings, 23551183 edges, 5286 markings/sec, 305 secs
lola: 1652996 markings, 23963782 edges, 5193 markings/sec, 310 secs
lola: 1679680 markings, 24331929 edges, 5337 markings/sec, 315 secs
lola: 1706397 markings, 24696193 edges, 5343 markings/sec, 320 secs
lola: 1732766 markings, 25080767 edges, 5274 markings/sec, 325 secs
lola: 1759274 markings, 25460046 edges, 5302 markings/sec, 330 secs
lola: 1785613 markings, 25850237 edges, 5268 markings/sec, 335 secs
lola: 1811946 markings, 26245505 edges, 5267 markings/sec, 340 secs
lola: 1838518 markings, 26622738 edges, 5314 markings/sec, 345 secs
lola: 1864781 markings, 27016723 edges, 5253 markings/sec, 350 secs
lola: 1890980 markings, 27414767 edges, 5240 markings/sec, 355 secs
lola: 1917318 markings, 27803820 edges, 5268 markings/sec, 360 secs
lola: 1943839 markings, 28190432 edges, 5304 markings/sec, 365 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown unknown unknown unknown yes unknown yes unknown unknown unknown unknown yes yes unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no unknown unknown unknown unknown yes unknown yes unknown unknown unknown unknown yes yes unknown unknown
lola: memory consumption: 2115508 KB
lola: time consumption: 2453 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no unknown unknown unknown unknown yes unknown yes unknown unknown unknown unknown yes yes unknown unknown
lola: memory consumption: 2115832 KB
lola: time consumption: 2453 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 372 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (((NOT FIREABLE(t2810) AND FIREABLE(t1664)) OR NOT FIREABLE(t2192)) AND (E (F (FIREABLE(t1911))) AND A (G ((E (F (FIREABLE(t2625))) OR (NOT FIREABLE(t2822) OR FIREABLE(t1659)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 13 will run for 372 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((NOT FIREABLE(t2810) AND FIREABLE(t1664)) OR NOT FIREABLE(t2192))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((NOT FIREABLE(t2810) AND FIREABLE(t1664)) OR NOT FIREABLE(t2192))
lola: processed formula length: 67
lola: 41 rewrites
lola: closed formula file DLCround-PT-11a-CTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 14 will run for 558 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t1911)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F (FIREABLE(t1911)))
lola: processed formula length: 23
lola: 42 rewrites
lola: closed formula file DLCround-PT-11a-CTLFireability.task
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: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: FIREABLE(t1911)
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 4 markings, 3 edges
lola: state equation: write sara problem file to DLCround-PT-11a-CTLFireability-14-0.sara
lola: lola: ========================================
state equation: calling and running sara
lola: subprocess 15 will run for 1117 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((E (F (FIREABLE(t2625))) OR (NOT FIREABLE(t2822) OR FIREABLE(t1659)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
sara: try reading problem file DLCround-PT-11a-CTLFireability-14-0.sara.
lola: processed formula: NOT(E(TRUE U (NOT(E(TRUE U FIREABLE(t2625))) AND (FIREABLE(t2822) AND NOT FIREABLE(t1659)))))
lola: processed formula length: 93
lola: 45 rewrites
lola: closed formula file DLCround-PT-11a-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
sara: place or transition ordering is non-deterministic

lola: 63222 markings, 3038035 edges, 12644 markings/sec, 0 secs
lola: 126207 markings, 6101584 edges, 12597 markings/sec, 5 secs
lola: 195040 markings, 9280784 edges, 13767 markings/sec, 10 secs
lola: 264458 markings, 12425705 edges, 13884 markings/sec, 15 secs
lola: 332600 markings, 15559108 edges, 13628 markings/sec, 20 secs
lola: 408629 markings, 18615420 edges, 15206 markings/sec, 25 secs
lola: 481502 markings, 21593357 edges, 14575 markings/sec, 30 secs
lola: 552980 markings, 24609250 edges, 14296 markings/sec, 35 secs
lola: 628900 markings, 27590956 edges, 15184 markings/sec, 40 secs
lola: 700876 markings, 30579710 edges, 14395 markings/sec, 45 secs
lola: 775087 markings, 33663781 edges, 14842 markings/sec, 50 secs
lola: 848211 markings, 36713595 edges, 14625 markings/sec, 55 secs
lola: 921693 markings, 39715697 edges, 14696 markings/sec, 60 secs
lola: 994865 markings, 42704948 edges, 14634 markings/sec, 65 secs
lola: 1066900 markings, 45658874 edges, 14407 markings/sec, 70 secs
lola: 1135019 markings, 48550148 edges, 13624 markings/sec, 75 secs
lola: 1205589 markings, 51457555 edges, 14114 markings/sec, 80 secs
lola: 1279323 markings, 54528988 edges, 14747 markings/sec, 85 secs
lola: 1349592 markings, 57453371 edges, 14054 markings/sec, 90 secs
lola: 1421978 markings, 60415426 edges, 14477 markings/sec, 95 secs
lola: 1492679 markings, 63337797 edges, 14140 markings/sec, 100 secs
lola: 1566305 markings, 66299545 edges, 14725 markings/sec, 105 secs
lola: 1637541 markings, 69263762 edges, 14247 markings/sec, 110 secs
lola: 1711419 markings, 72277716 edges, 14776 markings/sec, 115 secs
lola: 1782503 markings, 75185689 edges, 14217 markings/sec, 120 secs
lola: 1853567 markings, 78165183 edges, 14213 markings/sec, 125 secs
lola: 1922438 markings, 81148467 edges, 13774 markings/sec, 130 secs
lola: 1989910 markings, 83991211 edges, 13494 markings/sec, 135 secs
lola: 2056345 markings, 86839394 edges, 13287 markings/sec, 140 secs
lola: 2123848 markings, 89761630 edges, 13501 markings/sec, 145 secs
lola: 2192081 markings, 92714347 edges, 13647 markings/sec, 150 secs
lola: 2259400 markings, 95599396 edges, 13464 markings/sec, 155 secs
lola: 2329216 markings, 98476295 edges, 13963 markings/sec, 160 secs
lola: 2402917 markings, 101569438 edges, 14740 markings/sec, 165 secs
lola: 2476491 markings, 104646459 edges, 14715 markings/sec, 170 secs
lola: 2548650 markings, 107641788 edges, 14432 markings/sec, 175 secs
lola: 2615177 markings, 110534010 edges, 13305 markings/sec, 180 secs
lola: 2684463 markings, 113479146 edges, 13857 markings/sec, 185 secs
lola: 2751091 markings, 116350857 edges, 13326 markings/sec, 190 secs
lola: 2821151 markings, 119346445 edges, 14012 markings/sec, 195 secs
lola: 2889452 markings, 122253357 edges, 13660 markings/sec, 200 secs
lola: 2958379 markings, 125174669 edges, 13785 markings/sec, 205 secs
lola: 3023806 markings, 127967244 edges, 13085 markings/sec, 210 secs
lola: 3088987 markings, 130761621 edges, 13036 markings/sec, 215 secs
lola: 3154250 markings, 133590428 edges, 13053 markings/sec, 220 secs
lola: 3220325 markings, 136404879 edges, 13215 markings/sec, 225 secs
lola: 3285912 markings, 139246647 edges, 13117 markings/sec, 230 secs
lola: 3356954 markings, 142302275 edges, 14208 markings/sec, 235 secs
lola: 3425672 markings, 145252039 edges, 13744 markings/sec, 240 secs
lola: 3495851 markings, 148276640 edges, 14036 markings/sec, 245 secs
lola: 3565527 markings, 151193809 edges, 13935 markings/sec, 250 secs
lola: 3636541 markings, 154032912 edges, 14203 markings/sec, 255 secs
lola: 3707370 markings, 156927036 edges, 14166 markings/sec, 260 secs
lola: 3776717 markings, 159861776 edges, 13869 markings/sec, 265 secs
lola: 3847758 markings, 162830856 edges, 14208 markings/sec, 270 secs
lola: 3914885 markings, 165749701 edges, 13425 markings/sec, 275 secs
lola: 3982368 markings, 168676187 edges, 13497 markings/sec, 280 secs
lola: 4050540 markings, 171637651 edges, 13634 markings/sec, 285 secs
lola: 4120609 markings, 174635564 edges, 14014 markings/sec, 290 secs
lola: 4191119 markings, 177647514 edges, 14102 markings/sec, 295 secs
lola: 4258893 markings, 180561950 edges, 13555 markings/sec, 300 secs
lola: 4327133 markings, 183401734 edges, 13648 markings/sec, 305 secs
lola: 4395149 markings, 186286982 edges, 13603 markings/sec, 310 secs
lola: 4460816 markings, 189163496 edges, 13133 markings/sec, 315 secs
lola: 4526999 markings, 191998575 edges, 13237 markings/sec, 320 secs
lola: 4593785 markings, 194921098 edges, 13357 markings/sec, 325 secs
lola: 4662854 markings, 197894169 edges, 13814 markings/sec, 330 secs
lola: 4732887 markings, 200870677 edges, 14007 markings/sec, 335 secs
lola: 4803103 markings, 203878553 edges, 14043 markings/sec, 340 secs
lola: 4873115 markings, 206815688 edges, 14002 markings/sec, 345 secs
lola: 4946640 markings, 209850231 edges, 14705 markings/sec, 350 secs
lola: 5018751 markings, 212860848 edges, 14422 markings/sec, 355 secs
lola: 5090032 markings, 215912258 edges, 14256 markings/sec, 360 secs
lola: 5156369 markings, 218841363 edges, 13267 markings/sec, 365 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown unknown unknown unknown yes unknown yes unknown unknown unknown unknown yes yes unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no unknown unknown unknown unknown yes unknown yes unknown unknown unknown unknown yes yes unknown unknown
lola: memory consumption: 6150408 KB
lola: time consumption: 2825 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no unknown unknown unknown unknown yes unknown yes unknown unknown unknown unknown yes yes unknown unknown
lola: memory consumption: 6150408 KB
lola: time consumption: 2826 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 372 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G (E (F (NOT FIREABLE(t321))))) AND A (G (A (F (NOT FIREABLE(t480))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 14 will run for 372 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (A (F (NOT FIREABLE(t480)))))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence in all states
lola: rewrite Frontend/Parser/formula_rewrite.k:644
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: FIREABLE(t480)
lola: processed formula length: 14
lola: 43 rewrites
lola: closed formula file DLCround-PT-11a-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EFEG)
lola: state space: using reachability graph (EFEG version) (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space /EFEG
lola: The predicate does not eventually occur from all states.
lola: 7 markings, 7 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.

FORMULA DLCround-PT-11a-CTLFireability-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 15 will run for 744 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (F (A (G ((FIREABLE(t2544) AND FIREABLE(t678)))))) OR (A (G ((NOT FIREABLE(t1013) OR NOT FIREABLE(t564)))) AND E (((FIREABLE(t1919) OR FIREABLE(t1138)) U NOT FIREABLE(t290)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 744 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((NOT FIREABLE(t1013) OR NOT FIREABLE(t564))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:695
lola: processed formula: A (G ((NOT FIREABLE(t1013) OR NOT FIREABLE(t564))))
lola: processed formula length: 52
lola: 43 rewrites
lola: closed formula file DLCround-PT-11a-CTLFireability.task
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: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:695
lola: formula 0: (FIREABLE(t1013) AND FIREABLE(t564))
lola: state equation: Generated DNF with 4 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DLCround-PT-11a-CTLFireability-15-0.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 5 markings, 4 edges
lola: ========================================
lola: Child process aborted or communication problem between parent and child process
lola: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: A (G (E (F (FIREABLE(t328)))))
lola: ========================================
lola: SUBTASK
lola: checking liveness
lola: AGEF init
lola: rewrite Frontend/Parser/formula_rewrite.k:617
lola: processed formula: FIREABLE(t328)
lola: processed formula length: 14
lola: 42 rewrites
lola: closed formula file DLCround-PT-11a-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using tscc preserving stubborn set method (--stubborn)
lola: RUNNING
lola: 27123 markings, 746467 edges, 5425 markings/sec, 0 secs
lola: 53852 markings, 1480262 edges, 5346 markings/sec, 5 secs
lola: 80119 markings, 2205968 edges, 5253 markings/sec, 10 secs
lola: 106809 markings, 2953628 edges, 5338 markings/sec, 15 secs
lola: 133118 markings, 3686023 edges, 5262 markings/sec, 20 secs
lola: 159201 markings, 4413493 edges, 5217 markings/sec, 25 secs
lola: 185868 markings, 5140986 edges, 5333 markings/sec, 30 secs
lola: 212440 markings, 5870207 edges, 5314 markings/sec, 35 secs
lola: 238859 markings, 6588876 edges, 5284 markings/sec, 40 secs
lola: 265149 markings, 7318217 edges, 5258 markings/sec, 45 secs
lola: 291749 markings, 8054470 edges, 5320 markings/sec, 50 secs
lola: 318213 markings, 8787189 edges, 5293 markings/sec, 55 secs
lola: 344713 markings, 9521198 edges, 5300 markings/sec, 60 secs
lola: 370695 markings, 10243757 edges, 5196 markings/sec, 65 secs
lola: 396591 markings, 10971123 edges, 5179 markings/sec, 70 secs
lola: 422652 markings, 11697049 edges, 5212 markings/sec, 75 secs
lola: 448196 markings, 12430043 edges, 5109 markings/sec, 80 secs
lola: 474566 markings, 13141725 edges, 5274 markings/sec, 85 secs
lola: 500455 markings, 13858527 edges, 5178 markings/sec, 90 secs
lola: 526266 markings, 14578116 edges, 5162 markings/sec, 95 secs
lola: 552092 markings, 15311612 edges, 5165 markings/sec, 100 secs
lola: 577602 markings, 16031388 edges, 5102 markings/sec, 105 secs
lola: 603841 markings, 16754698 edges, 5248 markings/sec, 110 secs
lola: 629700 markings, 17489800 edges, 5172 markings/sec, 115 secs
lola: 655590 markings, 18201636 edges, 5178 markings/sec, 120 secs
lola: 680953 markings, 18929188 edges, 5073 markings/sec, 125 secs
lola: 706744 markings, 19649886 edges, 5158 markings/sec, 130 secs
lola: 733283 markings, 20374089 edges, 5308 markings/sec, 135 secs
lola: 759404 markings, 21101567 edges, 5224 markings/sec, 140 secs
lola: 785832 markings, 21831321 edges, 5286 markings/sec, 145 secs
lola: 812097 markings, 22561005 edges, 5253 markings/sec, 150 secs
lola: 837913 markings, 23276714 edges, 5163 markings/sec, 155 secs
lola: 864274 markings, 23995352 edges, 5272 markings/sec, 160 secs
lola: 890397 markings, 24720722 edges, 5225 markings/sec, 165 secs
lola: 916388 markings, 25432646 edges, 5198 markings/sec, 170 secs
lola: 942017 markings, 26158897 edges, 5126 markings/sec, 175 secs
lola: 968107 markings, 26892581 edges, 5218 markings/sec, 180 secs
lola: 994438 markings, 27620721 edges, 5266 markings/sec, 185 secs
lola: 1019945 markings, 28340427 edges, 5101 markings/sec, 190 secs
lola: 1045896 markings, 29063078 edges, 5190 markings/sec, 195 secs
lola: 1071518 markings, 29783083 edges, 5124 markings/sec, 200 secs
lola: 1096944 markings, 30505661 edges, 5085 markings/sec, 205 secs
lola: 1123129 markings, 31226718 edges, 5237 markings/sec, 210 secs
lola: 1149052 markings, 31944788 edges, 5185 markings/sec, 215 secs
lola: 1174459 markings, 32668180 edges, 5081 markings/sec, 220 secs
lola: 1200148 markings, 33398929 edges, 5138 markings/sec, 225 secs
lola: 1227034 markings, 34138365 edges, 5377 markings/sec, 230 secs
lola: 1253354 markings, 34862662 edges, 5264 markings/sec, 235 secs
lola: 1279055 markings, 35602378 edges, 5140 markings/sec, 240 secs
lola: 1305740 markings, 36338254 edges, 5337 markings/sec, 245 secs
lola: 1331724 markings, 37068375 edges, 5197 markings/sec, 250 secs
lola: 1357496 markings, 37785370 edges, 5154 markings/sec, 255 secs
lola: 1383747 markings, 38514797 edges, 5250 markings/sec, 260 secs
lola: 1410021 markings, 39236745 edges, 5255 markings/sec, 265 secs
lola: 1435572 markings, 39966427 edges, 5110 markings/sec, 270 secs
lola: 1461177 markings, 40685039 edges, 5121 markings/sec, 275 secs
lola: 1487010 markings, 41406145 edges, 5167 markings/sec, 280 secs
lola: 1512691 markings, 42120705 edges, 5136 markings/sec, 285 secs
lola: 1537819 markings, 42837602 edges, 5026 markings/sec, 290 secs
lola: 1563323 markings, 43551297 edges, 5101 markings/sec, 295 secs
lola: 1588732 markings, 44266924 edges, 5082 markings/sec, 300 secs
lola: 1615022 markings, 44993677 edges, 5258 markings/sec, 305 secs
lola: 1640942 markings, 45708404 edges, 5184 markings/sec, 310 secs
lola: 1666298 markings, 46417332 edges, 5071 markings/sec, 315 secs
lola: 1691512 markings, 47141170 edges, 5043 markings/sec, 320 secs
lola: 1717472 markings, 47869373 edges, 5192 markings/sec, 325 secs
lola: 1743589 markings, 48605801 edges, 5223 markings/sec, 330 secs
lola: 1769313 markings, 49330195 edges, 5145 markings/sec, 335 secs
lola: 1795135 markings, 50047497 edges, 5164 markings/sec, 340 secs
lola: 1821428 markings, 50776856 edges, 5259 markings/sec, 345 secs
lola: 1847570 markings, 51495774 edges, 5228 markings/sec, 350 secs
lola: 1873296 markings, 52210359 edges, 5145 markings/sec, 355 secs
lola: 1898622 markings, 52915788 edges, 5065 markings/sec, 360 secs
lola: 1924529 markings, 53625498 edges, 5181 markings/sec, 365 secs
lola: 1950069 markings, 54347319 edges, 5108 markings/sec, 370 secs
lola: 1975764 markings, 55073150 edges, 5139 markings/sec, 375 secs
lola: 2000949 markings, 55795434 edges, 5037 markings/sec, 380 secs
lola: 2026643 markings, 56515431 edges, 5139 markings/sec, 385 secs
lola: 2051730 markings, 57225487 edges, 5017 markings/sec, 390 secs
lola: 2076929 markings, 57949348 edges, 5040 markings/sec, 395 secs
lola: 2102372 markings, 58660063 edges, 5089 markings/sec, 400 secs
lola: 2127700 markings, 59367923 edges, 5066 markings/sec, 405 secs
lola: 2152782 markings, 60084340 edges, 5016 markings/sec, 410 secs
lola: 2178566 markings, 60800975 edges, 5157 markings/sec, 415 secs
lola: 2204207 markings, 61507385 edges, 5128 markings/sec, 420 secs
lola: 2229589 markings, 62218508 edges, 5076 markings/sec, 425 secs
lola: 2255007 markings, 62931215 edges, 5084 markings/sec, 430 secs
lola: 2280563 markings, 63632853 edges, 5111 markings/sec, 435 secs
lola: 2305368 markings, 64346288 edges, 4961 markings/sec, 440 secs
lola: 2330742 markings, 65060825 edges, 5075 markings/sec, 445 secs
lola: 2355957 markings, 65773324 edges, 5043 markings/sec, 450 secs
lola: 2382256 markings, 66511618 edges, 5260 markings/sec, 455 secs
lola: 2408484 markings, 67241645 edges, 5246 markings/sec, 460 secs
lola: 2434706 markings, 67966203 edges, 5244 markings/sec, 465 secs
lola: 2461060 markings, 68685000 edges, 5271 markings/sec, 470 secs
lola: 2486968 markings, 69411252 edges, 5182 markings/sec, 475 secs
lola: 2512773 markings, 70132543 edges, 5161 markings/sec, 480 secs
lola: 2538744 markings, 70863066 edges, 5194 markings/sec, 485 secs
lola: 2564411 markings, 71588691 edges, 5133 markings/sec, 490 secs
lola: 2591101 markings, 72319210 edges, 5338 markings/sec, 495 secs
lola: 2617543 markings, 73038791 edges, 5288 markings/sec, 500 secs
lola: 2644272 markings, 73777936 edges, 5346 markings/sec, 505 secs
lola: 2670095 markings, 74496797 edges, 5165 markings/sec, 510 secs
lola: 2695203 markings, 75195502 edges, 5022 markings/sec, 515 secs
lola: 2720571 markings, 75891866 edges, 5074 markings/sec, 520 secs
lola: 2746373 markings, 76608338 edges, 5160 markings/sec, 525 secs
lola: 2772418 markings, 77331469 edges, 5209 markings/sec, 530 secs
lola: 2798091 markings, 78047548 edges, 5135 markings/sec, 535 secs
lola: 2824102 markings, 78774673 edges, 5202 markings/sec, 540 secs
lola: 2849787 markings, 79491058 edges, 5137 markings/sec, 545 secs
lola: 2875758 markings, 80208324 edges, 5194 markings/sec, 550 secs
lola: 2901611 markings, 80931988 edges, 5171 markings/sec, 555 secs
lola: 2927240 markings, 81648391 edges, 5126 markings/sec, 560 secs
lola: 2953227 markings, 82370352 edges, 5197 markings/sec, 565 secs
lola: 2979153 markings, 83085565 edges, 5185 markings/sec, 570 secs
lola: 3004931 markings, 83800610 edges, 5156 markings/sec, 575 secs
lola: 3030469 markings, 84526169 edges, 5108 markings/sec, 580 secs
lola: 3056195 markings, 85237843 edges, 5145 markings/sec, 585 secs
lola: 3081793 markings, 85951166 edges, 5120 markings/sec, 590 secs
lola: 3107077 markings, 86657518 edges, 5057 markings/sec, 595 secs
lola: 3132434 markings, 87384344 edges, 5071 markings/sec, 600 secs
lola: 3159095 markings, 88108903 edges, 5332 markings/sec, 605 secs
lola: 3185275 markings, 88828232 edges, 5236 markings/sec, 610 secs
lola: 3211046 markings, 89540230 edges, 5154 markings/sec, 615 secs
lola: 3236967 markings, 90253950 edges, 5184 markings/sec, 620 secs
lola: 3262348 markings, 90972743 edges, 5076 markings/sec, 625 secs
lola: 3288413 markings, 91694696 edges, 5213 markings/sec, 630 secs
lola: 3314703 markings, 92419373 edges, 5258 markings/sec, 635 secs
lola: 3340852 markings, 93143655 edges, 5230 markings/sec, 640 secs
lola: 3366997 markings, 93864597 edges, 5229 markings/sec, 645 secs
lola: 3393079 markings, 94589524 edges, 5216 markings/sec, 650 secs
lola: 3418882 markings, 95306018 edges, 5161 markings/sec, 655 secs
lola: 3444570 markings, 96024304 edges, 5138 markings/sec, 660 secs
lola: 3470237 markings, 96737555 edges, 5133 markings/sec, 665 secs
lola: 3495997 markings, 97455395 edges, 5152 markings/sec, 670 secs
lola: 3521621 markings, 98164753 edges, 5125 markings/sec, 675 secs
lola: 3547157 markings, 98885739 edges, 5107 markings/sec, 680 secs
lola: 3572974 markings, 99605805 edges, 5163 markings/sec, 685 secs
lola: 3599145 markings, 100322494 edges, 5234 markings/sec, 690 secs
lola: 3625282 markings, 101036551 edges, 5227 markings/sec, 695 secs
lola: 3651627 markings, 101757549 edges, 5269 markings/sec, 700 secs
lola: 3677180 markings, 102473850 edges, 5111 markings/sec, 705 secs
lola: 3703438 markings, 103205234 edges, 5252 markings/sec, 710 secs
lola: 3729177 markings, 103935299 edges, 5148 markings/sec, 715 secs
lola: 3755247 markings, 104660711 edges, 5214 markings/sec, 720 secs
lola: 3780677 markings, 105384932 edges, 5086 markings/sec, 725 secs
lola: 3806410 markings, 106108723 edges, 5147 markings/sec, 730 secs
lola: 3832309 markings, 106830092 edges, 5180 markings/sec, 735 secs
lola: time limit reached - aborting
lola:
preliminary result: no unknown unknown unknown unknown yes unknown yes unknown unknown no unknown yes yes unknown unknown
lola:
preliminary result: no unknown unknown unknown unknown yes unknown yes unknown unknown no unknown yes yes unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no unknown unknown unknown unknown yes unknown yes unknown unknown no unknown yes yes unknown unknown
lola: memory consumption: 4527240 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no unknown unknown unknown unknown yes unknown yes unknown unknown no unknown yes yes unknown unknown
lola: memory consumption: 4527484 KB
lola: time consumption: 3570 seconds

BK_STOP 1526659918810

--------------------
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="DLCround-PT-11a"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="lola"
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

tar xzf /home/mcc/BenchKit/INPUTS/DLCround-PT-11a.tgz
mv DLCround-PT-11a execution
cd execution
pwd
ls -lh

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool lola"
echo " Input is DLCround-PT-11a, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r064-smll-152649735200116"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 '' CTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
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 ;