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

About the Execution of LoLA for CircularTrains-PT-768

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
4074.410 3570635.00 3624433.00 8721.40 TT??FF??F?TF??FF 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 752K
-rw-r--r-- 1 mcc users 3.3K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:49 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K May 15 18:49 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.7K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.4K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 112 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 350 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 3.0K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:49 equiv_col
-rw-r--r-- 1 mcc users 4 May 15 18:49 instance
-rw-r--r-- 1 mcc users 6 May 15 18:49 iscolored
-rw-r--r-- 1 mcc users 591K May 15 18:49 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is CircularTrains-PT-768, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r040-smll-152646357100046
=====================================================================


--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME CircularTrains-PT-768-CTLFireability-00
FORMULA_NAME CircularTrains-PT-768-CTLFireability-01
FORMULA_NAME CircularTrains-PT-768-CTLFireability-02
FORMULA_NAME CircularTrains-PT-768-CTLFireability-03
FORMULA_NAME CircularTrains-PT-768-CTLFireability-04
FORMULA_NAME CircularTrains-PT-768-CTLFireability-05
FORMULA_NAME CircularTrains-PT-768-CTLFireability-06
FORMULA_NAME CircularTrains-PT-768-CTLFireability-07
FORMULA_NAME CircularTrains-PT-768-CTLFireability-08
FORMULA_NAME CircularTrains-PT-768-CTLFireability-09
FORMULA_NAME CircularTrains-PT-768-CTLFireability-10
FORMULA_NAME CircularTrains-PT-768-CTLFireability-11
FORMULA_NAME CircularTrains-PT-768-CTLFireability-12
FORMULA_NAME CircularTrains-PT-768-CTLFireability-13
FORMULA_NAME CircularTrains-PT-768-CTLFireability-14
FORMULA_NAME CircularTrains-PT-768-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1526486461163

info: Time: 3600 - MCC
===========================================================================================
prep: translating CircularTrains-PT-768 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating CircularTrains-PT-768 formula CTLFireability into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking CTLFireability @ CircularTrains-PT-768 @ 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: 2304/65536 symbol table entries, 362 collisions
lola: preprocessing...
lola: Size of bit vector: 49152
lola: finding significant places
lola: 1536 places, 768 transitions, 767 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1536 transition conflict sets
lola: TASK
lola: reading formula from CircularTrains-PT-768-CTLFireability.task
lola: E (G (NOT((A (G (FIREABLE(t25_to_26))) AND (NOT FIREABLE(t571_to_572) OR NOT FIREABLE(t179_to_180)))))) : A (F (NOT(A (G (NOT FIREABLE(t692_to_693)))))) : A (((NOT FIREABLE(t331_to_332) OR NOT FIREABLE(t55_to_56) OR FIREABLE(t486_to_487)) U (NOT FIREABLE(t72_to_73) OR E (G (FIREABLE(t138_to_139)))))) : (A (F ((FIREABLE(t634_to_635) OR E (G (FIREABLE(t287_to_288)))))) OR A ((E (X (FIREABLE(t142_to_143))) U E (X (FIREABLE(t755_to_756)))))) : (FIREABLE(t719_to_720) OR (NOT(E (F ((FIREABLE(t5_to_6) AND FIREABLE(t153_to_154))))) AND E (((FIREABLE(t117_to_118) OR FIREABLE(t266_to_267)) U FIREABLE(t526_to_527))))) : A (F ((FIREABLE(t264_to_265) AND (FIREABLE(t181_to_182) OR FIREABLE(t96_to_97)) AND FIREABLE(t452_to_453) AND FIREABLE(t422_to_423)))) : E (G ((((FIREABLE(t114_to_115) AND FIREABLE(t567_to_568) AND NOT FIREABLE(t544_to_545)) OR FIREABLE(t480_to_481)) OR A (F ((FIREABLE(t94_to_95) AND FIREABLE(t641_to_642))))))) : E ((NOT FIREABLE(t623_to_624) U E (G (NOT FIREABLE(t217_to_218))))) : NOT(E (G (E (F (FIREABLE(t450_to_451)))))) : E (F ((E (X ((FIREABLE(t432_to_433) OR FIREABLE(t535_to_536)))) AND A (X (FIREABLE(t287_to_288)))))) : A (((FIREABLE(t153_to_154) AND A (F (FIREABLE(t110_to_111)))) U E ((FIREABLE(t621_to_622) U FIREABLE(t329_to_330))))) : E (F (NOT(A (F ((FIREABLE(t658_to_659) OR FIREABLE(t291_to_292))))))) : NOT((((FIREABLE(t150_to_151) OR FIREABLE(t421_to_422) OR (FIREABLE(t376_to_377) AND FIREABLE(t214_to_215)) OR (FIREABLE(t599_to_600) AND NOT FIREABLE(t578_to_579))) AND A (G (NOT FIREABLE(t308_to_309)))) OR NOT(E (G (NOT FIREABLE(t274_to_275)))))) : E (F (E (F (A (G (FIREABLE(t690_to_691))))))) : (E (X ((A (G (FIREABLE(t702_to_703))) AND E (G (FIREABLE(t306_to_307)))))) OR FIREABLE(t592_to_593)) : E (G (FIREABLE(t510_to_511)))
lola: rewrite Frontend/Parser/formula_rewrite.k:315
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: 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:449
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: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:323
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:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
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:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:401
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (F ((FIREABLE(t634_to_635) OR E (G (FIREABLE(t287_to_288)))))) OR A ((E (X (FIREABLE(t142_to_143))) U E (X (FIREABLE(t755_to_756))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:739
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: (A(TRUE U (FIREABLE(t634_to_635) OR NOT(A(TRUE U NOT FIREABLE(t287_to_288))))) OR A(EX(FIREABLE(t142_to_143)) U EX(FIREABLE(t755_to_756))))
lola: processed formula length: 139
lola: 39 rewrites
lola: closed formula file CircularTrains-PT-768-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: 230462 markings, 476476 edges, 46092 markings/sec, 0 secs
lola: 438246 markings, 998549 edges, 41557 markings/sec, 5 secs
lola: 605128 markings, 1516543 edges, 33376 markings/sec, 10 secs
lola: 792689 markings, 2073916 edges, 37512 markings/sec, 15 secs
lola: 977561 markings, 2629176 edges, 36974 markings/sec, 20 secs
lola: 1161108 markings, 3146217 edges, 36709 markings/sec, 25 secs
lola: 1357006 markings, 3700186 edges, 39180 markings/sec, 30 secs
lola: 1549228 markings, 4254610 edges, 38444 markings/sec, 35 secs
lola: 1746197 markings, 4810621 edges, 39394 markings/sec, 40 secs
lola: 1949219 markings, 5369753 edges, 40604 markings/sec, 45 secs
lola: 2122188 markings, 5888456 edges, 34594 markings/sec, 50 secs
lola: 2322152 markings, 6446670 edges, 39993 markings/sec, 55 secs
lola: 2493613 markings, 6960697 edges, 34292 markings/sec, 60 secs
lola: 2697606 markings, 7515227 edges, 40799 markings/sec, 65 secs
lola: 2895111 markings, 8069909 edges, 39501 markings/sec, 70 secs
lola: 3062534 markings, 8589727 edges, 33485 markings/sec, 75 secs
lola: 3233239 markings, 9154009 edges, 34141 markings/sec, 80 secs
lola: 3411286 markings, 9718466 edges, 35609 markings/sec, 85 secs
lola: 3587352 markings, 10283481 edges, 35213 markings/sec, 90 secs
lola: 3749514 markings, 10848835 edges, 32432 markings/sec, 95 secs
lola: 3903402 markings, 11365825 edges, 30778 markings/sec, 100 secs
lola: 4089888 markings, 11928898 edges, 37297 markings/sec, 105 secs
lola: 4271898 markings, 12492154 edges, 36402 markings/sec, 110 secs
lola: 4441341 markings, 13059355 edges, 33889 markings/sec, 115 secs
lola: 4599138 markings, 13620982 edges, 31559 markings/sec, 120 secs
lola: 4770468 markings, 14185287 edges, 34266 markings/sec, 125 secs
lola: 4953574 markings, 14743793 edges, 36621 markings/sec, 130 secs
lola: 5122510 markings, 15300645 edges, 33787 markings/sec, 135 secs
lola: 5291535 markings, 15858405 edges, 33805 markings/sec, 140 secs
lola: 5466621 markings, 16419818 edges, 35017 markings/sec, 145 secs
lola: 5624099 markings, 16939326 edges, 31496 markings/sec, 150 secs
lola: 5804797 markings, 17501158 edges, 36140 markings/sec, 155 secs
lola: 5974276 markings, 18064255 edges, 33896 markings/sec, 160 secs
lola: 6135711 markings, 18628251 edges, 32287 markings/sec, 165 secs
lola: 6293511 markings, 19192087 edges, 31560 markings/sec, 170 secs
lola: 6463486 markings, 19756041 edges, 33995 markings/sec, 175 secs
lola: 6630334 markings, 20316134 edges, 33370 markings/sec, 180 secs
lola: 6799747 markings, 20877462 edges, 33883 markings/sec, 185 secs
lola: 6975875 markings, 21438394 edges, 35226 markings/sec, 190 secs
lola: 7144367 markings, 21987924 edges, 33698 markings/sec, 195 secs
lola: 7321010 markings, 22541225 edges, 35329 markings/sec, 200 secs
lola: 7474543 markings, 23058118 edges, 30707 markings/sec, 205 secs
lola: 7647260 markings, 23619120 edges, 34543 markings/sec, 210 secs
lola: 7821991 markings, 24172676 edges, 34946 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 617184 KB
lola: time consumption: 223 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((E (X ((FIREABLE(t432_to_433) OR FIREABLE(t535_to_536)))) AND A (X (FIREABLE(t287_to_288))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: processed formula: E(TRUE U (EX((FIREABLE(t432_to_433) OR FIREABLE(t535_to_536))) AND AX(FIREABLE(t287_to_288))))
lola: processed formula length: 95
lola: 36 rewrites
lola: closed formula file CircularTrains-PT-768-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: 339352 markings, 499292 edges, 67870 markings/sec, 0 secs
lola: 652288 markings, 995829 edges, 62587 markings/sec, 5 secs
lola: 953795 markings, 1484283 edges, 60301 markings/sec, 10 secs
lola: 1251099 markings, 1967371 edges, 59461 markings/sec, 15 secs
lola: 1544584 markings, 2449382 edges, 58697 markings/sec, 20 secs
lola: 1834372 markings, 2927964 edges, 57958 markings/sec, 25 secs
lola: 2126936 markings, 3409635 edges, 58513 markings/sec, 30 secs
lola: 2414970 markings, 3888804 edges, 57607 markings/sec, 35 secs
lola: 2701202 markings, 4365749 edges, 57246 markings/sec, 40 secs
lola: 2985958 markings, 4841514 edges, 56951 markings/sec, 45 secs
lola: 3271389 markings, 5315275 edges, 57086 markings/sec, 50 secs
lola: 3556027 markings, 5783115 edges, 56928 markings/sec, 55 secs
lola: 3836558 markings, 6255229 edges, 56106 markings/sec, 60 secs
lola: 4117329 markings, 6721020 edges, 56154 markings/sec, 65 secs
lola: 4398585 markings, 7185940 edges, 56251 markings/sec, 70 secs
lola: 4675930 markings, 7650954 edges, 55469 markings/sec, 75 secs
lola: 4951601 markings, 8115862 edges, 55134 markings/sec, 80 secs
lola: 5228658 markings, 8578278 edges, 55411 markings/sec, 85 secs
lola: 5505537 markings, 9045657 edges, 55376 markings/sec, 90 secs
lola: 5780568 markings, 9509133 edges, 55006 markings/sec, 95 secs
lola: 6056599 markings, 9974023 edges, 55206 markings/sec, 100 secs
lola: 6332944 markings, 10435630 edges, 55269 markings/sec, 105 secs
lola: 6609115 markings, 10900238 edges, 55234 markings/sec, 110 secs
lola: 6881264 markings, 11362801 edges, 54430 markings/sec, 115 secs
lola: 7154909 markings, 11819265 edges, 54729 markings/sec, 120 secs
lola: 7428046 markings, 12278637 edges, 54627 markings/sec, 125 secs
lola: 7696309 markings, 12736054 edges, 53653 markings/sec, 130 secs
lola: 7964681 markings, 13191865 edges, 53674 markings/sec, 135 secs
lola: 8233128 markings, 13647693 edges, 53689 markings/sec, 140 secs
lola: 8503609 markings, 14106583 edges, 54096 markings/sec, 145 secs
lola: 8778051 markings, 14564971 edges, 54888 markings/sec, 150 secs
lola: 9049228 markings, 15023737 edges, 54235 markings/sec, 155 secs
lola: 9315882 markings, 15483591 edges, 53331 markings/sec, 160 secs
lola: 9587154 markings, 15940105 edges, 54254 markings/sec, 165 secs
lola: 9855303 markings, 16399327 edges, 53630 markings/sec, 170 secs
lola: 10124606 markings, 16859211 edges, 53861 markings/sec, 175 secs
lola: 10395409 markings, 17317800 edges, 54161 markings/sec, 180 secs
lola: 10663222 markings, 17774005 edges, 53563 markings/sec, 185 secs
lola: 10932086 markings, 18230236 edges, 53773 markings/sec, 190 secs
lola: 11202085 markings, 18685947 edges, 54000 markings/sec, 195 secs
lola: 11470230 markings, 19144071 edges, 53629 markings/sec, 200 secs
lola: 11738677 markings, 19601882 edges, 53689 markings/sec, 205 secs
lola: 12006209 markings, 20057762 edges, 53506 markings/sec, 210 secs
lola: 12272313 markings, 20511320 edges, 53221 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 2876332 KB
lola: time consumption: 446 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (X ((A (G (FIREABLE(t702_to_703))) AND E (G (FIREABLE(t306_to_307)))))) OR FIREABLE(t592_to_593))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 2 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FIREABLE(t592_to_593)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(t592_to_593)
lola: processed formula length: 21
lola: 33 rewrites
lola: closed formula file CircularTrains-PT-768-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 3 will run for 240 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (X ((A (G (FIREABLE(t702_to_703))) AND E (G (FIREABLE(t306_to_307))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: EX((NOT(E(TRUE U NOT FIREABLE(t702_to_703))) AND NOT(A(TRUE U NOT FIREABLE(t306_to_307)))))
lola: processed formula length: 91
lola: 38 rewrites
lola: closed formula file CircularTrains-PT-768-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: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 125918 markings, 126167 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================

FORMULA CircularTrains-PT-768-CTLFireability-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 240 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t692_to_693)))
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(t692_to_693)))
lola: processed formula length: 29
lola: 34 rewrites
lola: closed formula file CircularTrains-PT-768-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(t692_to_693)
lola: SUBRESULT
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 5 markings, 4 edges
lola: state equation: write sara problem file to CircularTrains-PT-768-CTLFireability-3-0.sara
lola: ========================================

FORMULA CircularTrains-PT-768-CTLFireability-1 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 260 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (A (G (FIREABLE(t690_to_691)))))
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(t690_to_691)
lola: processed formula length: 25
lola: 35 rewrites
lola: closed formula file CircularTrains-PT-768-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: 362323 markings, 537750 edges, 72465 markings/sec, 0 secs
lola: 718770 markings, 1106656 edges, 71289 markings/sec, 5 secs
lola: 1061646 markings, 1667870 edges, 68575 markings/sec, 10 secs
lola: 1405775 markings, 2223625 edges, 68826 markings/sec, 15 secs
lola: 1741708 markings, 2774064 edges, 67187 markings/sec, 20 secs
lola: 2071993 markings, 3322277 edges, 66057 markings/sec, 25 secs
lola: 2402372 markings, 3865724 edges, 66076 markings/sec, 30 secs
lola: 2726643 markings, 4408267 edges, 64854 markings/sec, 35 secs
lola: 3053684 markings, 4951134 edges, 65408 markings/sec, 40 secs
lola: 3377137 markings, 5491598 edges, 64691 markings/sec, 45 secs
lola: 3698137 markings, 6028226 edges, 64200 markings/sec, 50 secs
lola: 4000360 markings, 6535269 edges, 60445 markings/sec, 55 secs
lola: 4316871 markings, 7066073 edges, 63302 markings/sec, 60 secs
lola: 4635875 markings, 7594492 edges, 63801 markings/sec, 65 secs
lola: 4951613 markings, 8122957 edges, 63148 markings/sec, 70 secs
lola: 5264780 markings, 8648003 edges, 62633 markings/sec, 75 secs
lola: 5574562 markings, 9174789 edges, 61956 markings/sec, 80 secs
lola: 5885973 markings, 9698292 edges, 62282 markings/sec, 85 secs
lola: 6193495 markings, 10222376 edges, 61504 markings/sec, 90 secs
lola: 6502649 markings, 10744644 edges, 61831 markings/sec, 95 secs
lola: 6809090 markings, 11265086 edges, 61288 markings/sec, 100 secs
lola: 7117963 markings, 11784782 edges, 61775 markings/sec, 105 secs
lola: 7423595 markings, 12298945 edges, 61126 markings/sec, 110 secs
lola: 7731740 markings, 12814056 edges, 61629 markings/sec, 115 secs
lola: 8036475 markings, 13327333 edges, 60947 markings/sec, 120 secs
lola: 8341128 markings, 13839216 edges, 60931 markings/sec, 125 secs
lola: 8643329 markings, 14351386 edges, 60440 markings/sec, 130 secs
lola: 8945118 markings, 14860745 edges, 60358 markings/sec, 135 secs
lola: 9244085 markings, 15372720 edges, 59793 markings/sec, 140 secs
lola: 9544851 markings, 15883566 edges, 60153 markings/sec, 145 secs
lola: 9843099 markings, 16391522 edges, 59650 markings/sec, 150 secs
lola: 10142659 markings, 16900731 edges, 59912 markings/sec, 155 secs
lola: 10440040 markings, 17407293 edges, 59476 markings/sec, 160 secs
lola: 10736182 markings, 17911860 edges, 59228 markings/sec, 165 secs
lola: 11030551 markings, 18414448 edges, 58874 markings/sec, 170 secs
lola: 11331197 markings, 18914559 edges, 60129 markings/sec, 175 secs
lola: 11627355 markings, 19419607 edges, 59232 markings/sec, 180 secs
lola: 11920728 markings, 19921370 edges, 58675 markings/sec, 185 secs
lola: 12214487 markings, 20423777 edges, 58752 markings/sec, 190 secs
lola: 12506940 markings, 20926213 edges, 58491 markings/sec, 195 secs
lola: 12803972 markings, 21426843 edges, 59406 markings/sec, 200 secs
lola: 13099275 markings, 21924297 edges, 59061 markings/sec, 205 secs
lola: 13391321 markings, 22421761 edges, 58409 markings/sec, 210 secs
lola: 13683270 markings, 22921478 edges, 58390 markings/sec, 215 secs
lola: 13969252 markings, 23413389 edges, 57196 markings/sec, 220 secs
lola: 14252444 markings, 23897983 edges, 56638 markings/sec, 225 secs
lola: 14534938 markings, 24379178 edges, 56499 markings/sec, 230 secs
lola: 14817049 markings, 24862826 edges, 56422 markings/sec, 235 secs
lola: 15105398 markings, 25351132 edges, 57670 markings/sec, 240 secs
lola: 15391802 markings, 25839394 edges, 57281 markings/sec, 245 secs
lola: 15677839 markings, 26327243 edges, 57207 markings/sec, 250 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown no unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown yes unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown no unknown
lola: memory consumption: 2567828 KB
lola: time consumption: 707 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 260 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (FIREABLE(t510_to_511)))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation
lola: processed formula: E (G (FIREABLE(t510_to_511)))
lola: processed formula length: 29
lola: 33 rewrites
lola: closed formula file CircularTrains-PT-768-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: 49025 markings, 49024 edges
lola: ========================================

FORMULA CircularTrains-PT-768-CTLFireability-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 286 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (E (G ((NOT FIREABLE(t658_to_659) AND NOT FIREABLE(t291_to_292))))))
lola: ========================================
lola: SUBTASK
lola: checking reachability of possible preservation
lola: rewrite Frontend/Parser/formula_rewrite.k:640
lola: processed formula: (NOT FIREABLE(t658_to_659) AND NOT FIREABLE(t291_to_292))
lola: processed formula length: 57
lola: 34 rewrites
lola: closed formula file CircularTrains-PT-768-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: 518259 markings, 519065 edges, 103652 markings/sec, 0 secs
lola: 998947 markings, 1001892 edges, 96138 markings/sec, 5 secs
lola: SUBRESULT
lola: result: no
lola: produced by: state space /EFEG
lola: The predicate is not possibly preserved from any reachable marking.
lola: 1139849 markings, 1143497 edges

FORMULA CircularTrains-PT-768-CTLFireability-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: lola: subprocess 7 will run for 316 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((FIREABLE(t264_to_265) AND (FIREABLE(t181_to_182) OR FIREABLE(t96_to_97)) AND FIREABLE(t452_to_453) AND FIREABLE(t422_to_423))))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:659
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: (NOT FIREABLE(t264_to_265) OR (NOT FIREABLE(t181_to_182) AND NOT FIREABLE(t96_to_97)) OR NOT FIREABLE(t452_to_453) OR NOT FIREABLE(t422_to_423))
lola: processed formula length: 147
lola: 35 rewrites
lola: ========================================
closed formula file CircularTrains-PT-768-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 does not eventually occur.
lola: 49350 markings, 49350 edges
lola: ========================================

FORMULA CircularTrains-PT-768-CTLFireability-5 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E ((NOT FIREABLE(t623_to_624) U E (G (NOT FIREABLE(t217_to_218)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: E(NOT FIREABLE(t623_to_624) U NOT(A(TRUE U FIREABLE(t217_to_218))))
lola: processed formula length: 67
lola: 36 rewrites
lola: closed formula file CircularTrains-PT-768-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: 264888 markings, 497417 edges, 52978 markings/sec, 0 secs
lola: 492121 markings, 1016086 edges, 45447 markings/sec, 5 secs
lola: 729282 markings, 1535200 edges, 47432 markings/sec, 10 secs
lola: 957731 markings, 2035617 edges, 45690 markings/sec, 15 secs
lola: 1158079 markings, 2551019 edges, 40070 markings/sec, 20 secs
lola: 1354399 markings, 3068863 edges, 39264 markings/sec, 25 secs
lola: 1553486 markings, 3581404 edges, 39817 markings/sec, 30 secs
lola: 1756713 markings, 4086179 edges, 40645 markings/sec, 35 secs
lola: 1947016 markings, 4610846 edges, 38061 markings/sec, 40 secs
lola: 2135414 markings, 5133496 edges, 37680 markings/sec, 45 secs
lola: 2324755 markings, 5656392 edges, 37868 markings/sec, 50 secs
lola: 2528487 markings, 6174694 edges, 40746 markings/sec, 55 secs
lola: 2733511 markings, 6695044 edges, 41005 markings/sec, 60 secs
lola: 2931831 markings, 7214164 edges, 39664 markings/sec, 65 secs
lola: 3128113 markings, 7735160 edges, 39256 markings/sec, 70 secs
lola: 3324450 markings, 8254081 edges, 39267 markings/sec, 75 secs
lola: 3522387 markings, 8772041 edges, 39587 markings/sec, 80 secs
lola: 3736105 markings, 9294018 edges, 42744 markings/sec, 85 secs
lola: 3932506 markings, 9820560 edges, 39280 markings/sec, 90 secs
lola: 4118815 markings, 10344429 edges, 37262 markings/sec, 95 secs
lola: 4294969 markings, 10870556 edges, 35231 markings/sec, 100 secs
lola: 4474813 markings, 11391121 edges, 35969 markings/sec, 105 secs
lola: 4639442 markings, 11889258 edges, 32926 markings/sec, 110 secs
lola: 4812740 markings, 12408871 edges, 34660 markings/sec, 115 secs
lola: 4988500 markings, 12929387 edges, 35152 markings/sec, 120 secs
lola: 5162688 markings, 13453017 edges, 34838 markings/sec, 125 secs
lola: 5341678 markings, 13977802 edges, 35798 markings/sec, 130 secs
lola: 5519799 markings, 14495658 edges, 35624 markings/sec, 135 secs
lola: 5703892 markings, 15015379 edges, 36819 markings/sec, 140 secs
lola: 5882870 markings, 15509526 edges, 35796 markings/sec, 145 secs
lola: 6096745 markings, 16003783 edges, 42775 markings/sec, 150 secs
lola: 6285811 markings, 16491916 edges, 37813 markings/sec, 155 secs
lola: 6472394 markings, 16998485 edges, 37317 markings/sec, 160 secs
lola: 6663749 markings, 17517288 edges, 38271 markings/sec, 165 secs
lola: 6859391 markings, 18009110 edges, 39128 markings/sec, 170 secs
lola: 7056803 markings, 18528754 edges, 39482 markings/sec, 175 secs
lola: 7258774 markings, 19039914 edges, 40394 markings/sec, 180 secs
lola: 7452414 markings, 19563406 edges, 38728 markings/sec, 185 secs
lola: 7645572 markings, 20078950 edges, 38632 markings/sec, 190 secs
lola: 7844223 markings, 20594386 edges, 39730 markings/sec, 195 secs
lola: 8027934 markings, 21076759 edges, 36742 markings/sec, 200 secs
lola: 8230493 markings, 21585857 edges, 40512 markings/sec, 205 secs
lola: 8424842 markings, 22088478 edges, 38870 markings/sec, 210 secs
lola: 8598448 markings, 22550646 edges, 34721 markings/sec, 215 secs
lola: 8793683 markings, 23061940 edges, 39047 markings/sec, 220 secs
lola: 8990327 markings, 23582761 edges, 39329 markings/sec, 225 secs
lola: 9192088 markings, 24102179 edges, 40352 markings/sec, 230 secs
lola: 9391957 markings, 24624513 edges, 39974 markings/sec, 235 secs
lola: 9584700 markings, 25153918 edges, 38549 markings/sec, 240 secs
lola: 9781566 markings, 25679327 edges, 39373 markings/sec, 245 secs
lola: 9985714 markings, 26198537 edges, 40830 markings/sec, 250 secs
lola: 10185982 markings, 26718922 edges, 40054 markings/sec, 255 secs
lola: 10384300 markings, 27239640 edges, 39664 markings/sec, 260 secs
lola: 10588254 markings, 27753253 edges, 40791 markings/sec, 265 secs
lola: 10781298 markings, 28275296 edges, 38609 markings/sec, 270 secs
lola: 10985471 markings, 28788551 edges, 40835 markings/sec, 275 secs
lola: 11181441 markings, 29304585 edges, 39194 markings/sec, 280 secs
lola: 11368810 markings, 29780280 edges, 37474 markings/sec, 285 secs
lola: 11566580 markings, 30295316 edges, 39554 markings/sec, 290 secs
lola: 11757159 markings, 30799746 edges, 38116 markings/sec, 295 secs
lola: 11933633 markings, 31318465 edges, 35295 markings/sec, 300 secs
lola: 12099117 markings, 31843269 edges, 33097 markings/sec, 305 secs
lola: 12264205 markings, 32367348 edges, 33018 markings/sec, 310 secs
lola: 12433033 markings, 32887278 edges, 33766 markings/sec, 315 secs
lola: 12617170 markings, 33379677 edges, 36827 markings/sec, 320 secs
lola: 12806950 markings, 33876398 edges, 37956 markings/sec, 325 secs
lola: 12992303 markings, 34373659 edges, 37071 markings/sec, 330 secs
lola: 13176475 markings, 34868706 edges, 36834 markings/sec, 335 secs
lola: 13365574 markings, 35366000 edges, 37820 markings/sec, 340 secs
lola: 13563415 markings, 35870594 edges, 39568 markings/sec, 345 secs
lola: 13770079 markings, 36384919 edges, 41333 markings/sec, 350 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes unknown unknown unknown no unknown unknown unknown unknown unknown no unknown unknown no no
lola: memory consumption: 1095704 KB
lola: time consumption: 1077 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G ((E (F (NOT FIREABLE(t25_to_26))) OR (FIREABLE(t571_to_572) AND FIREABLE(t179_to_180)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: processed formula: NOT(A(TRUE U (NOT(E(TRUE U NOT FIREABLE(t25_to_26))) AND (NOT FIREABLE(t571_to_572) OR NOT FIREABLE(t179_to_180)))))
lola: processed formula length: 117
lola: 37 rewrites
lola: closed formula file CircularTrains-PT-768-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: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 63861 markings, 113436 edges
lola: ========================================

FORMULA CircularTrains-PT-768-CTLFireability-0 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 415 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((NOT FIREABLE(t331_to_332) OR NOT FIREABLE(t55_to_56) OR FIREABLE(t486_to_487)) U (NOT FIREABLE(t72_to_73) OR E (G (FIREABLE(t138_to_139))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:739
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: A((NOT FIREABLE(t331_to_332) OR NOT FIREABLE(t55_to_56) OR FIREABLE(t486_to_487)) U (NOT FIREABLE(t72_to_73) OR NOT(A(TRUE U NOT FIREABLE(t138_to_139)))))
lola: processed formula length: 156
lola: 36 rewrites
lola: closed formula file CircularTrains-PT-768-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: 281899 markings, 452655 edges, 56380 markings/sec, 0 secs
lola: 523017 markings, 936595 edges, 48224 markings/sec, 5 secs
lola: 741242 markings, 1425981 edges, 43645 markings/sec, 10 secs
lola: 944745 markings, 1872982 edges, 40701 markings/sec, 15 secs
lola: 1171816 markings, 2366426 edges, 45414 markings/sec, 20 secs
lola: 1357977 markings, 2821394 edges, 37232 markings/sec, 25 secs
lola: 1568598 markings, 3282652 edges, 42124 markings/sec, 30 secs
lola: 1772806 markings, 3750144 edges, 40842 markings/sec, 35 secs
lola: 1976793 markings, 4197527 edges, 40797 markings/sec, 40 secs
lola: 2182740 markings, 4660174 edges, 41189 markings/sec, 45 secs
lola: 2389537 markings, 5125515 edges, 41359 markings/sec, 50 secs
lola: 2598832 markings, 5592056 edges, 41859 markings/sec, 55 secs
lola: 2842266 markings, 6084163 edges, 48687 markings/sec, 60 secs
lola: 3052410 markings, 6563897 edges, 42029 markings/sec, 65 secs
lola: 3239127 markings, 6988246 edges, 37343 markings/sec, 70 secs
lola: 3401790 markings, 7357069 edges, 32533 markings/sec, 75 secs
lola: 3600016 markings, 7807820 edges, 39645 markings/sec, 80 secs
lola: 3807105 markings, 8277358 edges, 41418 markings/sec, 85 secs
lola: 4008692 markings, 8740694 edges, 40317 markings/sec, 90 secs
lola: 4215938 markings, 9215414 edges, 41449 markings/sec, 95 secs
lola: 4407303 markings, 9648151 edges, 38273 markings/sec, 100 secs
lola: 4602494 markings, 10094045 edges, 39038 markings/sec, 105 secs
lola: 4802323 markings, 10547795 edges, 39966 markings/sec, 110 secs
lola: 5012406 markings, 11013671 edges, 42017 markings/sec, 115 secs
lola: 5203286 markings, 11442791 edges, 38176 markings/sec, 120 secs
lola: 5400393 markings, 11888543 edges, 39421 markings/sec, 125 secs
lola: 5597408 markings, 12330168 edges, 39403 markings/sec, 130 secs
lola: 5795365 markings, 12775539 edges, 39591 markings/sec, 135 secs
lola: 5980921 markings, 13196647 edges, 37111 markings/sec, 140 secs
lola: 6196032 markings, 13678560 edges, 43022 markings/sec, 145 secs
lola: 6404294 markings, 14146658 edges, 41652 markings/sec, 150 secs
lola: 6632402 markings, 14649289 edges, 45622 markings/sec, 155 secs
lola: 6862519 markings, 15147592 edges, 46023 markings/sec, 160 secs
lola: 7071222 markings, 15614393 edges, 41741 markings/sec, 165 secs
lola: 7278828 markings, 16086869 edges, 41521 markings/sec, 170 secs
lola: 7482811 markings, 16536608 edges, 40797 markings/sec, 175 secs
lola: 7692921 markings, 17013968 edges, 42022 markings/sec, 180 secs
lola: 7892029 markings, 17466958 edges, 39822 markings/sec, 185 secs
lola: 8104819 markings, 17950842 edges, 42558 markings/sec, 190 secs
lola: 8319965 markings, 18430922 edges, 43029 markings/sec, 195 secs
lola: 8532046 markings, 18906431 edges, 42416 markings/sec, 200 secs
lola: 8734198 markings, 19360639 edges, 40430 markings/sec, 205 secs
lola: 8939887 markings, 19813464 edges, 41138 markings/sec, 210 secs
lola: 9151692 markings, 20274687 edges, 42361 markings/sec, 215 secs
lola: 9357980 markings, 20737941 edges, 41258 markings/sec, 220 secs
lola: 9558103 markings, 21179342 edges, 40025 markings/sec, 225 secs
lola: 9761920 markings, 21645916 edges, 40763 markings/sec, 230 secs
lola: 9960601 markings, 22099992 edges, 39736 markings/sec, 235 secs
lola: 10168837 markings, 22573769 edges, 41647 markings/sec, 240 secs
lola: 10384066 markings, 23057959 edges, 43046 markings/sec, 245 secs
lola: 10585322 markings, 23503278 edges, 40251 markings/sec, 250 secs
lola: 10794516 markings, 23977344 edges, 41839 markings/sec, 255 secs
lola: 10999958 markings, 24435765 edges, 41088 markings/sec, 260 secs
lola: 11218739 markings, 24913884 edges, 43756 markings/sec, 265 secs
lola: 11429678 markings, 25389164 edges, 42188 markings/sec, 270 secs
lola: 11627073 markings, 25821044 edges, 39479 markings/sec, 275 secs
lola: 11818853 markings, 26260252 edges, 38356 markings/sec, 280 secs
lola: 12001348 markings, 26679438 edges, 36499 markings/sec, 285 secs
lola: 12196912 markings, 27119696 edges, 39113 markings/sec, 290 secs
lola: 12373018 markings, 27514249 edges, 35221 markings/sec, 295 secs
lola: 12566308 markings, 27941912 edges, 38658 markings/sec, 300 secs
lola: 12748983 markings, 28353307 edges, 36535 markings/sec, 305 secs
lola: 12951792 markings, 28825464 edges, 40562 markings/sec, 310 secs
lola: 13131106 markings, 29232378 edges, 35863 markings/sec, 315 secs
lola: 13344380 markings, 29710410 edges, 42655 markings/sec, 320 secs
lola: 13567642 markings, 30200631 edges, 44652 markings/sec, 325 secs
lola: 13773445 markings, 30652187 edges, 41161 markings/sec, 330 secs
lola: 13993189 markings, 31140386 edges, 43949 markings/sec, 335 secs
lola: 14187932 markings, 31601084 edges, 38949 markings/sec, 340 secs
lola: 14396080 markings, 32080669 edges, 41630 markings/sec, 345 secs
lola: 14606718 markings, 32541565 edges, 42128 markings/sec, 350 secs
lola: 14814782 markings, 33031102 edges, 41613 markings/sec, 355 secs
lola: 15038627 markings, 33525171 edges, 44769 markings/sec, 360 secs
lola: 15249181 markings, 34012059 edges, 42111 markings/sec, 365 secs
lola: 15455997 markings, 34471745 edges, 41363 markings/sec, 370 secs
lola: 15668973 markings, 34967902 edges, 42595 markings/sec, 375 secs
lola: 15893382 markings, 35460065 edges, 44882 markings/sec, 380 secs
lola: 16101173 markings, 35936071 edges, 41558 markings/sec, 385 secs
lola: 16306066 markings, 36383000 edges, 40979 markings/sec, 390 secs
lola: 16517264 markings, 36861574 edges, 42240 markings/sec, 395 secs
lola: 16728656 markings, 37336639 edges, 42278 markings/sec, 400 secs
lola: 16932272 markings, 37783018 edges, 40723 markings/sec, 405 secs
lola: local time limit reached - aborting
lola:
preliminary result: yes yes unknown unknown unknown no unknown unknown unknown unknown unknown no unknown unknown no no
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: yes yes unknown unknown unknown no unknown unknown unknown unknown unknown no unknown unknown no no
lola: memory consumption: 1455684 KB
lola: time consumption: 1494 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 415 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G ((((FIREABLE(t114_to_115) AND FIREABLE(t567_to_568) AND NOT FIREABLE(t544_to_545)) OR FIREABLE(t480_to_481)) OR A (F ((FIREABLE(t94_to_95) AND FIREABLE(t641_to_642)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: NOT(A(TRUE U (((NOT FIREABLE(t114_to_115) OR NOT FIREABLE(t567_to_568) OR FIREABLE(t544_to_545)) AND NOT FIREABLE(t480_to_481)) AND NOT(A(TRUE U (FIREABLE(t94_to_95) AND FIREABLE(t641_to_642)))))))
lola: processed formula length: 199
lola: 37 rewrites
lola: closed formula file CircularTrains-PT-768-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: 476763 markings, 477619 edges, 95353 markings/sec, 0 secs
lola: 932026 markings, 933354 edges, 91053 markings/sec, 5 secs
lola: 1311315 markings, 1313169 edges, 75858 markings/sec, 10 secs
lola: 1719051 markings, 1721155 edges, 81547 markings/sec, 15 secs
lola: 2139492 markings, 2141792 edges, 84088 markings/sec, 20 secs
lola: 2599967 markings, 2602703 edges, 92095 markings/sec, 25 secs
lola: 2994228 markings, 3009447 edges, 78852 markings/sec, 30 secs
lola: 3265716 markings, 3514022 edges, 54298 markings/sec, 35 secs
lola: 3523680 markings, 3985201 edges, 51593 markings/sec, 40 secs
lola: 3778061 markings, 4486744 edges, 50876 markings/sec, 45 secs
lola: 3996916 markings, 4982056 edges, 43771 markings/sec, 50 secs
lola: 4193951 markings, 5453908 edges, 39407 markings/sec, 55 secs
lola: 4415685 markings, 5952237 edges, 44347 markings/sec, 60 secs
lola: 4633002 markings, 6457244 edges, 43463 markings/sec, 65 secs
lola: 4865045 markings, 6944572 edges, 46409 markings/sec, 70 secs
lola: 5100598 markings, 7421267 edges, 47111 markings/sec, 75 secs
lola: 5306968 markings, 7936776 edges, 41274 markings/sec, 80 secs
lola: 5498271 markings, 8466893 edges, 38261 markings/sec, 85 secs
lola: 5723968 markings, 8963848 edges, 45139 markings/sec, 90 secs
lola: 5960862 markings, 9462204 edges, 47379 markings/sec, 95 secs
lola: 6182307 markings, 9938898 edges, 44289 markings/sec, 100 secs
lola: 6458380 markings, 10443798 edges, 55215 markings/sec, 105 secs
lola: 6684107 markings, 10912798 edges, 45145 markings/sec, 110 secs
lola: 6899901 markings, 11407970 edges, 43159 markings/sec, 115 secs
lola: 7126123 markings, 11881531 edges, 45244 markings/sec, 120 secs
lola: 7397638 markings, 12386375 edges, 54303 markings/sec, 125 secs
lola: 7627692 markings, 12882849 edges, 46011 markings/sec, 130 secs
lola: 7865434 markings, 13382066 edges, 47548 markings/sec, 135 secs
lola: 8092383 markings, 13884889 edges, 45390 markings/sec, 140 secs
lola: 8287025 markings, 14363003 edges, 38928 markings/sec, 145 secs
lola: 8479779 markings, 14882661 edges, 38551 markings/sec, 150 secs
lola: 8672478 markings, 15364529 edges, 38540 markings/sec, 155 secs
lola: 8879576 markings, 15870721 edges, 41420 markings/sec, 160 secs
lola: 9135350 markings, 16371095 edges, 51155 markings/sec, 165 secs
lola: 9356271 markings, 16879814 edges, 44184 markings/sec, 170 secs
lola: 9557030 markings, 17388156 edges, 40152 markings/sec, 175 secs
lola: 9753873 markings, 17895565 edges, 39369 markings/sec, 180 secs
lola: 9929744 markings, 18422197 edges, 35174 markings/sec, 185 secs
lola: 10122104 markings, 18932791 edges, 38472 markings/sec, 190 secs
lola: 10320689 markings, 19439506 edges, 39717 markings/sec, 195 secs
lola: 10516702 markings, 19943600 edges, 39203 markings/sec, 200 secs
lola: 10710072 markings, 20446364 edges, 38674 markings/sec, 205 secs
lola: 10898442 markings, 20921738 edges, 37674 markings/sec, 210 secs
lola: 11088436 markings, 21407596 edges, 37999 markings/sec, 215 secs
lola: 11286379 markings, 21913466 edges, 39589 markings/sec, 220 secs
lola: 11485300 markings, 22419416 edges, 39784 markings/sec, 225 secs
lola: 11684383 markings, 22920761 edges, 39817 markings/sec, 230 secs
lola: 11870681 markings, 23387007 edges, 37260 markings/sec, 235 secs
lola: 12070147 markings, 23870817 edges, 39893 markings/sec, 240 secs
lola: 12320636 markings, 24373455 edges, 50098 markings/sec, 245 secs
lola: 12515413 markings, 24856410 edges, 38955 markings/sec, 250 secs
lola: 12749030 markings, 25364313 edges, 46723 markings/sec, 255 secs
lola: 12951483 markings, 25836908 edges, 40491 markings/sec, 260 secs
lola: 13166481 markings, 26348289 edges, 43000 markings/sec, 265 secs
lola: 13373052 markings, 26833690 edges, 41314 markings/sec, 270 secs
lola: 13595313 markings, 27330283 edges, 44452 markings/sec, 275 secs
lola: 13840190 markings, 27826218 edges, 48975 markings/sec, 280 secs
lola: 14066717 markings, 28297236 edges, 45305 markings/sec, 285 secs
lola: 14292445 markings, 28796495 edges, 45146 markings/sec, 290 secs
lola: 14539231 markings, 29296407 edges, 49357 markings/sec, 295 secs
lola: 14758823 markings, 29797675 edges, 43918 markings/sec, 300 secs
lola: 14969709 markings, 30243299 edges, 42177 markings/sec, 305 secs
lola: 15217463 markings, 30748747 edges, 49551 markings/sec, 310 secs
lola: 15444801 markings, 31245389 edges, 45468 markings/sec, 315 secs
lola: 15682201 markings, 31744706 edges, 47480 markings/sec, 320 secs
lola: 15906848 markings, 32243144 edges, 44929 markings/sec, 325 secs
lola: 16121010 markings, 32722031 edges, 42832 markings/sec, 330 secs
lola: 16351772 markings, 33226686 edges, 46152 markings/sec, 335 secs
lola: 16579178 markings, 33731644 edges, 45481 markings/sec, 340 secs
lola: 16799175 markings, 34244835 edges, 43999 markings/sec, 345 secs
lola: 17024686 markings, 34728568 edges, 45102 markings/sec, 350 secs
lola: 17253239 markings, 35241822 edges, 45711 markings/sec, 355 secs
lola: 17481308 markings, 35726146 edges, 45614 markings/sec, 360 secs
lola: 17713662 markings, 36213057 edges, 46471 markings/sec, 365 secs
lola: 17904204 markings, 36707920 edges, 38108 markings/sec, 370 secs
lola: 18115867 markings, 37196419 edges, 42333 markings/sec, 375 secs
lola: 18350489 markings, 37693773 edges, 46924 markings/sec, 380 secs
lola: 18559824 markings, 38199715 edges, 41867 markings/sec, 385 secs
lola: 18741173 markings, 38717341 edges, 36270 markings/sec, 390 secs
lola: 18956954 markings, 39213515 edges, 43156 markings/sec, 395 secs
lola: 19168347 markings, 39710716 edges, 42279 markings/sec, 400 secs
lola: 19378621 markings, 40188703 edges, 42055 markings/sec, 405 secs
lola: local time limit reached - aborting
lola:
preliminary result: yes yes unknown unknown unknown no unknown unknown unknown unknown unknown no unknown unknown no no
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: yes yes unknown unknown unknown no unknown unknown unknown unknown unknown no unknown unknown no no
lola: memory consumption: 2009200 KB
lola: time consumption: 1909 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 415 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((FIREABLE(t153_to_154) AND A (F (FIREABLE(t110_to_111)))) U E ((FIREABLE(t621_to_622) U FIREABLE(t329_to_330)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: rewrite Frontend/Parser/formula_rewrite.k:739
lola: processed formula: A((FIREABLE(t153_to_154) AND A(TRUE U FIREABLE(t110_to_111))) U E(FIREABLE(t621_to_622) U FIREABLE(t329_to_330)))
lola: processed formula length: 113
lola: 36 rewrites
lola: closed formula file CircularTrains-PT-768-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: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 25894 markings, 25894 edges
lola: ========================================

FORMULA CircularTrains-PT-768-CTLFireability-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 553 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (A (G (NOT FIREABLE(t450_to_451)))))
lola: ========================================
lola: SUBTASK
lola: checking eventual invariance
lola: rewrite Frontend/Parser/formula_rewrite.k:665
lola: rewrite Frontend/Parser/formula_rewrite.k:695
lola: processed formula: FIREABLE(t450_to_451)
lola: processed formula length: 21
lola: 35 rewrites
lola: closed formula file CircularTrains-PT-768-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EGEF)
lola: state space: using reachability graph (EGEF version) (--search=depth)
lola: state space: using ctl preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space /EGEF
lola: The predicate is not eventually invariant.
lola: 49774 markings, 49774 edges
lola: ========================================

FORMULA CircularTrains-PT-768-CTLFireability-8 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 830 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (FIREABLE(t719_to_720) OR (A (G ((NOT FIREABLE(t5_to_6) OR NOT FIREABLE(t153_to_154)))) AND E (((FIREABLE(t117_to_118) OR FIREABLE(t266_to_267)) U FIREABLE(t526_to_527)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 14 will run for 830 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FIREABLE(t719_to_720)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(t719_to_720)
lola: processed formula length: 21
lola: 33 rewrites
lola: closed formula file CircularTrains-PT-768-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 15 will run for 1660 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((NOT FIREABLE(t5_to_6) OR NOT FIREABLE(t153_to_154))))
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(t5_to_6) OR NOT FIREABLE(t153_to_154))))
lola: processed formula length: 61
lola: 35 rewrites
lola: closed formula file CircularTrains-PT-768-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(t5_to_6) AND FIREABLE(t153_to_154))
lola: state equation: Generated DNF with 4 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 5 markings, 4 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================

FORMULA CircularTrains-PT-768-CTLFireability-4 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 1660 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (((NOT FIREABLE(t150_to_151) AND NOT FIREABLE(t421_to_422) AND (NOT FIREABLE(t376_to_377) OR NOT FIREABLE(t214_to_215)) AND (NOT FIREABLE(t599_to_600) OR FIREABLE(t578_to_579))) OR E (F (FIREABLE(t308_to_309)))) AND E (G (NOT FIREABLE(t274_to_275))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 1660 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (NOT FIREABLE(t150_to_151) AND NOT FIREABLE(t421_to_422) AND (NOT FIREABLE(t376_to_377) OR NOT FIREABLE(t214_to_215)) AND (NOT FIREABLE(t599_to_600) OR FIREABLE(t578_to_579)))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (NOT FIREABLE(t150_to_151) AND NOT FIREABLE(t421_to_422) AND (NOT FIREABLE(t376_to_377) OR NOT FIREABLE(t214_to_215)) AND (NOT FIREABLE(t599_to_600) OR FIREABLE(t578_to_579)))
lola: processed formula length: 177
lola: 33 rewrites
lola: closed formula file CircularTrains-PT-768-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: Child process aborted or communication problem between parent and child process
lola: subprocess 17 will run for 1 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t308_to_309)))
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(t308_to_309)))
lola: processed formula length: 29
lola: 34 rewrites
lola: closed formula file CircularTrains-PT-768-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(t308_to_309)
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CircularTrains-PT-768-CTLFireability-17-0.sara
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 5 markings, 4 edges
lola: lola: state equation: calling and running sara
========================================
lola: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: (A (F ((FIREABLE(t634_to_635) OR E (G (FIREABLE(t287_to_288)))))) OR A ((E (X (FIREABLE(t142_to_143))) U E (X (FIREABLE(t755_to_756))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:739
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: (A(TRUE U (FIREABLE(t634_to_635) OR NOT(A(TRUE U NOT FIREABLE(t287_to_288))))) OR A(EX(FIREABLE(t142_to_143)) U EX(FIREABLE(t755_to_756))))
lola: processed formula length: 139
lola: 39 rewrites
lola: closed formula file CircularTrains-PT-768-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).
sara: try reading problem file CircularTrains-PT-768-CTLFireability-17-0.sara.
sara: place or transition ordering is non-deterministic

lola: 255445 markings, 538594 edges, 51089 markings/sec, 0 secs
lola: 473287 markings, 1101214 edges, 43568 markings/sec, 5 secs
lola: 653552 markings, 1664771 edges, 36053 markings/sec, 10 secs
lola: 843025 markings, 2225515 edges, 37895 markings/sec, 15 secs
lola: 1027893 markings, 2761504 edges, 36974 markings/sec, 20 secs
lola: 1223050 markings, 3318299 edges, 39031 markings/sec, 25 secs
lola: 1416629 markings, 3873765 edges, 38716 markings/sec, 30 secs
lola: 1597538 markings, 4393522 edges, 36182 markings/sec, 35 secs
lola: 1798448 markings, 4956194 edges, 40182 markings/sec, 40 secs
lola: 2001048 markings, 5519432 edges, 40520 markings/sec, 45 secs
lola: 2186348 markings, 6080034 edges, 37060 markings/sec, 50 secs
lola: 2384166 markings, 6637736 edges, 39564 markings/sec, 55 secs
lola: 2575421 markings, 7195191 edges, 38251 markings/sec, 60 secs
lola: 2784437 markings, 7753560 edges, 41803 markings/sec, 65 secs
lola: 2967864 markings, 8292448 edges, 36685 markings/sec, 70 secs
lola: 3142771 markings, 8856278 edges, 34981 markings/sec, 75 secs
lola: 3310434 markings, 9414719 edges, 33533 markings/sec, 80 secs
lola: 3480744 markings, 9931072 edges, 34062 markings/sec, 85 secs
lola: 3639612 markings, 10470141 edges, 31774 markings/sec, 90 secs
lola: 3802251 markings, 11028507 edges, 32528 markings/sec, 95 secs
lola: 3956932 markings, 11543981 edges, 30936 markings/sec, 100 secs
lola: 4149903 markings, 12106950 edges, 38594 markings/sec, 105 secs
lola: 4325394 markings, 12670191 edges, 35098 markings/sec, 110 secs
lola: 4488107 markings, 13228756 edges, 32543 markings/sec, 115 secs
lola: 4636938 markings, 13746024 edges, 29766 markings/sec, 120 secs
lola: 4813107 markings, 14308083 edges, 35234 markings/sec, 125 secs
lola: 4989877 markings, 14871069 edges, 35354 markings/sec, 130 secs
lola: 5160887 markings, 15430506 edges, 34202 markings/sec, 135 secs
lola: 5319692 markings, 15945825 edges, 31761 markings/sec, 140 secs
lola: 5495293 markings, 16509158 edges, 35120 markings/sec, 145 secs
lola: 5665441 markings, 17065969 edges, 34030 markings/sec, 150 secs
lola: 5841377 markings, 17624764 edges, 35187 markings/sec, 155 secs
lola: 5996507 markings, 18144971 edges, 31026 markings/sec, 160 secs
lola: 6161445 markings, 18711986 edges, 32988 markings/sec, 165 secs
lola: 6317776 markings, 19278347 edges, 31266 markings/sec, 170 secs
lola: 6485699 markings, 19829456 edges, 33585 markings/sec, 175 secs
lola: 6652490 markings, 20390923 edges, 33358 markings/sec, 180 secs
lola: 6823697 markings, 20954137 edges, 34241 markings/sec, 185 secs
lola: 6998866 markings, 21516221 edges, 35034 markings/sec, 190 secs
lola: 7175682 markings, 22078757 edges, 35363 markings/sec, 195 secs
lola: 7350158 markings, 22641285 edges, 34895 markings/sec, 200 secs
lola: 7519877 markings, 23202979 edges, 33944 markings/sec, 205 secs
lola: 7693322 markings, 23767143 edges, 34689 markings/sec, 210 secs
lola: 7878588 markings, 24330463 edges, 37053 markings/sec, 215 secs
lola: 8061577 markings, 24893883 edges, 36598 markings/sec, 220 secs
lola: 8233926 markings, 25458164 edges, 34470 markings/sec, 225 secs
lola: 8407585 markings, 26020729 edges, 34732 markings/sec, 230 secs
lola: 8598434 markings, 26584450 edges, 38170 markings/sec, 235 secs
lola: 8767166 markings, 27148151 edges, 33746 markings/sec, 240 secs
lola: 8938599 markings, 27712770 edges, 34287 markings/sec, 245 secs
lola: 9115175 markings, 28277215 edges, 35315 markings/sec, 250 secs
lola: 9308130 markings, 28839586 edges, 38591 markings/sec, 255 secs
lola: 9484679 markings, 29399386 edges, 35310 markings/sec, 260 secs
lola: 9666168 markings, 29960962 edges, 36298 markings/sec, 265 secs
lola: 9842760 markings, 30522568 edges, 35318 markings/sec, 270 secs
lola: 10016233 markings, 31085182 edges, 34695 markings/sec, 275 secs
lola: 10188941 markings, 31648390 edges, 34542 markings/sec, 280 secs
lola: 10348429 markings, 32213477 edges, 31898 markings/sec, 285 secs
lola: 10523990 markings, 32776036 edges, 35112 markings/sec, 290 secs
lola: 10702323 markings, 33340414 edges, 35667 markings/sec, 295 secs
lola: 10866064 markings, 33904958 edges, 32748 markings/sec, 300 secs
lola: 11015406 markings, 34471124 edges, 29868 markings/sec, 305 secs
lola: 11156072 markings, 35036991 edges, 28133 markings/sec, 310 secs
lola: 11295001 markings, 35601215 edges, 27786 markings/sec, 315 secs
lola: 11434012 markings, 36158260 edges, 27802 markings/sec, 320 secs
lola: 11558348 markings, 36655189 edges, 24867 markings/sec, 325 secs
lola: 11699913 markings, 37211654 edges, 28313 markings/sec, 330 secs
lola: 11848162 markings, 37772352 edges, 29650 markings/sec, 335 secs
lola: 11983400 markings, 38332768 edges, 27048 markings/sec, 340 secs
lola: 12136120 markings, 38892297 edges, 30544 markings/sec, 345 secs
lola: 12301270 markings, 39453630 edges, 33030 markings/sec, 350 secs
lola: 12448938 markings, 40010441 edges, 29534 markings/sec, 355 secs
lola: 12593875 markings, 40565248 edges, 28987 markings/sec, 360 secs
lola: 12739495 markings, 41121605 edges, 29124 markings/sec, 365 secs
lola: 12888048 markings, 41685477 edges, 29711 markings/sec, 370 secs
lola: 13037363 markings, 42248835 edges, 29863 markings/sec, 375 secs
lola: 13192916 markings, 42810928 edges, 31111 markings/sec, 380 secs
lola: 13341288 markings, 43371598 edges, 29674 markings/sec, 385 secs
lola: 13506534 markings, 43925969 edges, 33049 markings/sec, 390 secs
lola: 13663337 markings, 44491625 edges, 31361 markings/sec, 395 secs
lola: 13813049 markings, 45050059 edges, 29942 markings/sec, 400 secs
lola: 13963647 markings, 45611769 edges, 30120 markings/sec, 405 secs
lola: 14119377 markings, 46172068 edges, 31146 markings/sec, 410 secs
lola: 14278577 markings, 46729270 edges, 31840 markings/sec, 415 secs
lola: 14438447 markings, 47291563 edges, 31974 markings/sec, 420 secs
lola: 14579961 markings, 47816804 edges, 28303 markings/sec, 425 secs
lola: 14729067 markings, 48359336 edges, 29821 markings/sec, 430 secs
lola: 14881885 markings, 48919098 edges, 30564 markings/sec, 435 secs
lola: 15035171 markings, 49447933 edges, 30657 markings/sec, 440 secs
lola: 15162389 markings, 49936956 edges, 25444 markings/sec, 445 secs
lola: 15311912 markings, 50498370 edges, 29905 markings/sec, 450 secs
lola: 15464559 markings, 51063859 edges, 30529 markings/sec, 455 secs
lola: 15641414 markings, 51633670 edges, 35371 markings/sec, 460 secs
lola: 15820299 markings, 52203681 edges, 35777 markings/sec, 465 secs
lola: 16008140 markings, 52772495 edges, 37568 markings/sec, 470 secs
lola: 16184179 markings, 53341554 edges, 35208 markings/sec, 475 secs
lola: 16354294 markings, 53910759 edges, 34023 markings/sec, 480 secs
lola: 16528211 markings, 54478547 edges, 34783 markings/sec, 485 secs
lola: 16699389 markings, 55043327 edges, 34236 markings/sec, 490 secs
lola: 16872390 markings, 55605203 edges, 34600 markings/sec, 495 secs
lola: 17026178 markings, 56170901 edges, 30758 markings/sec, 500 secs
lola: 17180514 markings, 56735246 edges, 30867 markings/sec, 505 secs
lola: 17329436 markings, 57300411 edges, 29784 markings/sec, 510 secs
lola: 17477260 markings, 57865850 edges, 29565 markings/sec, 515 secs
lola: 17635655 markings, 58430070 edges, 31679 markings/sec, 520 secs
lola: 17796353 markings, 58995496 edges, 32140 markings/sec, 525 secs
lola: 17982810 markings, 59557325 edges, 37291 markings/sec, 530 secs
lola: 18154997 markings, 60121729 edges, 34437 markings/sec, 535 secs
lola: 18323539 markings, 60684890 edges, 33708 markings/sec, 540 secs
lola: 18498672 markings, 61247351 edges, 35027 markings/sec, 545 secs
lola: 18666512 markings, 61810257 edges, 33568 markings/sec, 550 secs
lola: 18842162 markings, 62373616 edges, 35130 markings/sec, 555 secs
lola: 19010616 markings, 62933721 edges, 33691 markings/sec, 560 secs
lola: 19154641 markings, 63498359 edges, 28805 markings/sec, 565 secs
lola: 19305579 markings, 64059936 edges, 30188 markings/sec, 570 secs
lola: 19454853 markings, 64622784 edges, 29855 markings/sec, 575 secs
lola: 19615428 markings, 65186959 edges, 32115 markings/sec, 580 secs
lola: 19798240 markings, 65751344 edges, 36562 markings/sec, 585 secs
lola: 19976590 markings, 66318278 edges, 35670 markings/sec, 590 secs
lola: 20162686 markings, 66883368 edges, 37219 markings/sec, 595 secs
lola: 20346843 markings, 67445122 edges, 36831 markings/sec, 600 secs
lola: 20526638 markings, 68015280 edges, 35959 markings/sec, 605 secs
lola: 20707727 markings, 68581736 edges, 36218 markings/sec, 610 secs
lola: 20892282 markings, 69150269 edges, 36911 markings/sec, 615 secs
lola: 21073271 markings, 69719008 edges, 36198 markings/sec, 620 secs
lola: 21251549 markings, 70287017 edges, 35656 markings/sec, 625 secs
lola: 21420953 markings, 70856337 edges, 33881 markings/sec, 630 secs
lola: 21598706 markings, 71423298 edges, 35551 markings/sec, 635 secs
lola: 21766365 markings, 71990828 edges, 33532 markings/sec, 640 secs
lola: 21940907 markings, 72558831 edges, 34908 markings/sec, 645 secs
lola: 22134349 markings, 73127478 edges, 38688 markings/sec, 650 secs
lola: 22314873 markings, 73696969 edges, 36105 markings/sec, 655 secs
lola: 22464778 markings, 74242060 edges, 29981 markings/sec, 660 secs
lola: 22621139 markings, 74813039 edges, 31272 markings/sec, 665 secs
lola: 22791683 markings, 75384210 edges, 34109 markings/sec, 670 secs
lola: 22947788 markings, 75955659 edges, 31221 markings/sec, 675 secs
lola: 23118835 markings, 76525897 edges, 34209 markings/sec, 680 secs
lola: 23306938 markings, 77057972 edges, 37621 markings/sec, 685 secs
lola: 23497692 markings, 77624220 edges, 38151 markings/sec, 690 secs
lola: 23686045 markings, 78147168 edges, 37671 markings/sec, 695 secs
lola: 23833918 markings, 78667217 edges, 29575 markings/sec, 700 secs
lola: 23982594 markings, 79191327 edges, 29735 markings/sec, 705 secs
lola: 24141704 markings, 79759869 edges, 31822 markings/sec, 710 secs
lola: 24274218 markings, 80242888 edges, 26503 markings/sec, 715 secs
lola: 24426402 markings, 80763035 edges, 30437 markings/sec, 720 secs
lola: 24569105 markings, 81292466 edges, 28541 markings/sec, 725 secs
lola: 24726966 markings, 81854476 edges, 31572 markings/sec, 730 secs
lola: 24887086 markings, 82421661 edges, 32024 markings/sec, 735 secs
lola: 25029921 markings, 82939500 edges, 28567 markings/sec, 740 secs
lola: 25186050 markings, 83499232 edges, 31226 markings/sec, 745 secs
lola: 25339279 markings, 84037897 edges, 30646 markings/sec, 750 secs
lola: 25478680 markings, 84548780 edges, 27880 markings/sec, 755 secs
lola: 25626175 markings, 85068683 edges, 29499 markings/sec, 760 secs
lola: 25779767 markings, 85633567 edges, 30718 markings/sec, 765 secs
lola: 25917435 markings, 86157856 edges, 27534 markings/sec, 770 secs
lola: 26070717 markings, 86723916 edges, 30656 markings/sec, 775 secs
lola: 26222219 markings, 87289948 edges, 30300 markings/sec, 780 secs
lola: 26379025 markings, 87854608 edges, 31361 markings/sec, 785 secs
lola: 26532841 markings, 88374671 edges, 30763 markings/sec, 790 secs
lola: 26687799 markings, 88939886 edges, 30992 markings/sec, 795 secs
lola: 26825898 markings, 89507842 edges, 27620 markings/sec, 800 secs
lola: 26963513 markings, 90075615 edges, 27523 markings/sec, 805 secs
lola: 27112237 markings, 90642405 edges, 29745 markings/sec, 810 secs
lola: 27238980 markings, 91168147 edges, 25349 markings/sec, 815 secs
lola: 27390632 markings, 91737137 edges, 30330 markings/sec, 820 secs
lola: 27541852 markings, 92231905 edges, 30244 markings/sec, 825 secs
lola: 27702206 markings, 92780448 edges, 32071 markings/sec, 830 secs
lola: 27885246 markings, 93348705 edges, 36608 markings/sec, 835 secs
lola: 28067715 markings, 93874122 edges, 36494 markings/sec, 840 secs
lola: 28240317 markings, 94401925 edges, 34520 markings/sec, 845 secs
lola: 28407439 markings, 94969753 edges, 33424 markings/sec, 850 secs
lola: 28556748 markings, 95478100 edges, 29862 markings/sec, 855 secs
lola: 28718751 markings, 96025139 edges, 32401 markings/sec, 860 secs
lola: 28873845 markings, 96547515 edges, 31019 markings/sec, 865 secs
lola: 29044212 markings, 97114493 edges, 34073 markings/sec, 870 secs
lola: 29198038 markings, 97614989 edges, 30765 markings/sec, 875 secs
lola: 29367629 markings, 98182832 edges, 33918 markings/sec, 880 secs
lola: 29546505 markings, 98750622 edges, 35775 markings/sec, 885 secs
lola: 29709333 markings, 99319054 edges, 32566 markings/sec, 890 secs
lola: 29850894 markings, 99842587 edges, 28312 markings/sec, 895 secs
lola: 29989793 markings, 100411719 edges, 27780 markings/sec, 900 secs
lola: 30120225 markings, 100937361 edges, 26086 markings/sec, 905 secs
lola: 30261074 markings, 101505827 edges, 28170 markings/sec, 910 secs
lola: 30391853 markings, 102030325 edges, 26156 markings/sec, 915 secs
lola: 30523146 markings, 102557464 edges, 26259 markings/sec, 920 secs
lola: 30659296 markings, 103101542 edges, 27230 markings/sec, 925 secs
lola: 30793163 markings, 103629607 edges, 26773 markings/sec, 930 secs
lola: 30946388 markings, 104199042 edges, 30645 markings/sec, 935 secs
lola: 31099613 markings, 104721872 edges, 30645 markings/sec, 940 secs
lola: 31245724 markings, 105266958 edges, 29222 markings/sec, 945 secs
lola: 31383418 markings, 105792696 edges, 27539 markings/sec, 950 secs
lola: 31530661 markings, 106362340 edges, 29449 markings/sec, 955 secs
lola: 31680173 markings, 106930880 edges, 29902 markings/sec, 960 secs
lola: 31829699 markings, 107499044 edges, 29905 markings/sec, 965 secs
lola: 31968292 markings, 108021342 edges, 27719 markings/sec, 970 secs
lola: 32109603 markings, 108545731 edges, 28262 markings/sec, 975 secs
lola: 32255381 markings, 109066884 edges, 29156 markings/sec, 980 secs
lola: 32410638 markings, 109599540 edges, 31051 markings/sec, 985 secs
lola: 32538385 markings, 110088643 edges, 25549 markings/sec, 990 secs
lola: 32686951 markings, 110655250 edges, 29713 markings/sec, 995 secs
lola: 32825945 markings, 111178225 edges, 27799 markings/sec, 1000 secs
lola: 32966445 markings, 111702548 edges, 28100 markings/sec, 1005 secs
lola: 33125349 markings, 112269028 edges, 31781 markings/sec, 1010 secs
lola: 33263419 markings, 112760869 edges, 27614 markings/sec, 1015 secs
lola: 33412157 markings, 113327168 edges, 29748 markings/sec, 1020 secs
lola: 33563526 markings, 113896087 edges, 30274 markings/sec, 1025 secs
lola: 33705137 markings, 114419211 edges, 28322 markings/sec, 1030 secs
lola: 33857138 markings, 114943062 edges, 30400 markings/sec, 1035 secs
lola: 33996866 markings, 115464181 edges, 27946 markings/sec, 1040 secs
lola: 34133906 markings, 115987017 edges, 27408 markings/sec, 1045 secs
lola: 34276260 markings, 116519216 edges, 28471 markings/sec, 1050 secs
lola: 34430237 markings, 117081075 edges, 30795 markings/sec, 1055 secs
lola: 34590170 markings, 117644068 edges, 31987 markings/sec, 1060 secs
lola: 34731503 markings, 118166809 edges, 28267 markings/sec, 1065 secs
lola: 34882831 markings, 118708653 edges, 30266 markings/sec, 1070 secs
lola: 35025719 markings, 119232331 edges, 28578 markings/sec, 1075 secs
lola: 35185321 markings, 119800160 edges, 31920 markings/sec, 1080 secs
lola: 35353448 markings, 120368426 edges, 33625 markings/sec, 1085 secs
lola: 35510942 markings, 120937896 edges, 31499 markings/sec, 1090 secs
lola: 35637414 markings, 121463803 edges, 25294 markings/sec, 1095 secs
lola: 35775723 markings, 121989832 edges, 27662 markings/sec, 1100 secs
lola: 35916644 markings, 122559643 edges, 28184 markings/sec, 1105 secs
lola: 36050415 markings, 123081205 edges, 26754 markings/sec, 1110 secs
lola: 36201263 markings, 123647933 edges, 30170 markings/sec, 1115 secs
lola: 36347675 markings, 124213589 edges, 29282 markings/sec, 1120 secs
lola: 36494867 markings, 124778971 edges, 29438 markings/sec, 1125 secs
lola: 36640808 markings, 125341978 edges, 29188 markings/sec, 1130 secs
lola: 36787043 markings, 125905673 edges, 29247 markings/sec, 1135 secs
lola: 36943905 markings, 126469282 edges, 31372 markings/sec, 1140 secs
lola: 37098139 markings, 127031204 edges, 30847 markings/sec, 1145 secs
lola: 37256152 markings, 127591757 edges, 31603 markings/sec, 1150 secs
lola: 37403467 markings, 128112152 edges, 29463 markings/sec, 1155 secs
lola: 37554017 markings, 128676898 edges, 30110 markings/sec, 1160 secs
lola: 37719018 markings, 129241763 edges, 33000 markings/sec, 1165 secs
lola: 37870507 markings, 129766247 edges, 30298 markings/sec, 1170 secs
lola: 38022669 markings, 130333206 edges, 30432 markings/sec, 1175 secs
lola: 38144735 markings, 130845567 edges, 24413 markings/sec, 1180 secs
lola: 38281839 markings, 131383096 edges, 27421 markings/sec, 1185 secs
lola: 38427285 markings, 131948771 edges, 29089 markings/sec, 1190 secs
lola: 38573404 markings, 132515895 edges, 29224 markings/sec, 1195 secs
lola: 38706524 markings, 133039611 edges, 26624 markings/sec, 1200 secs
lola: 38853797 markings, 133604061 edges, 29455 markings/sec, 1205 secs
lola: 38990065 markings, 134126433 edges, 27254 markings/sec, 1210 secs
lola: 39136411 markings, 134689275 edges, 29269 markings/sec, 1215 secs
lola: 39285319 markings, 135254337 edges, 29782 markings/sec, 1220 secs
lola: 39413467 markings, 135739245 edges, 25630 markings/sec, 1225 secs
lola: 39553390 markings, 136234932 edges, 27985 markings/sec, 1230 secs
lola: 39704189 markings, 136766066 edges, 30160 markings/sec, 1235 secs
lola: 39866124 markings, 137330576 edges, 32387 markings/sec, 1240 secs
lola: 40015674 markings, 137849865 edges, 29910 markings/sec, 1245 secs
lola: 40172170 markings, 138410130 edges, 31299 markings/sec, 1250 secs
lola: 40337785 markings, 138973063 edges, 33123 markings/sec, 1255 secs
lola: 40530177 markings, 139539377 edges, 38478 markings/sec, 1260 secs
lola: 40712324 markings, 140063155 edges, 36429 markings/sec, 1265 secs
lola: 40881618 markings, 140588284 edges, 33859 markings/sec, 1270 secs
lola: 41052138 markings, 141156087 edges, 34104 markings/sec, 1275 secs
lola: 41223220 markings, 141724460 edges, 34216 markings/sec, 1280 secs
lola: 41382256 markings, 142250219 edges, 31807 markings/sec, 1285 secs
lola: 41545105 markings, 142776178 edges, 32570 markings/sec, 1290 secs
lola: 41710206 markings, 143308401 edges, 33020 markings/sec, 1295 secs
lola: 41881584 markings, 143848249 edges, 34276 markings/sec, 1300 secs
lola: 42050258 markings, 144415021 edges, 33735 markings/sec, 1305 secs
lola: 42201404 markings, 144981972 edges, 30229 markings/sec, 1310 secs
lola: 42343008 markings, 145507657 edges, 28321 markings/sec, 1315 secs
lola: 42497546 markings, 146077476 edges, 30908 markings/sec, 1320 secs
lola: 42641393 markings, 146603521 edges, 28769 markings/sec, 1325 secs
lola: 42796222 markings, 147124165 edges, 30966 markings/sec, 1330 secs
lola: 42949219 markings, 147689318 edges, 30599 markings/sec, 1335 secs
lola: 43102551 markings, 148258395 edges, 30666 markings/sec, 1340 secs
lola: 43258028 markings, 148826847 edges, 31095 markings/sec, 1345 secs
lola: 43433909 markings, 149394732 edges, 35176 markings/sec, 1350 secs
lola: 43621080 markings, 149960188 edges, 37434 markings/sec, 1355 secs
lola: 43806268 markings, 150526465 edges, 37038 markings/sec, 1360 secs
lola: 43953860 markings, 151006126 edges, 29518 markings/sec, 1365 secs
lola: 44116772 markings, 151574565 edges, 32582 markings/sec, 1370 secs
lola: 44260643 markings, 152070939 edges, 28774 markings/sec, 1375 secs
lola: 44414069 markings, 152636237 edges, 30685 markings/sec, 1380 secs
lola: 44582693 markings, 153201308 edges, 33725 markings/sec, 1385 secs
lola: 44730714 markings, 153721560 edges, 29604 markings/sec, 1390 secs
lola: 44898642 markings, 154287307 edges, 33586 markings/sec, 1395 secs
lola: 45053605 markings, 154811676 edges, 30993 markings/sec, 1400 secs
lola: 45210609 markings, 155341736 edges, 31401 markings/sec, 1405 secs
lola: 45338785 markings, 155773187 edges, 25635 markings/sec, 1410 secs
lola: 45505486 markings, 156329149 edges, 33340 markings/sec, 1415 secs
lola: 45665111 markings, 156859120 edges, 31925 markings/sec, 1420 secs
lola: 45834932 markings, 157426764 edges, 33964 markings/sec, 1425 secs
lola: 45977215 markings, 157920966 edges, 28457 markings/sec, 1430 secs
lola: 46148487 markings, 158487077 edges, 34254 markings/sec, 1435 secs
lola: 46332387 markings, 159054357 edges, 36780 markings/sec, 1440 secs
lola: 46487800 markings, 159578273 edges, 31083 markings/sec, 1445 secs
lola: 46638240 markings, 160104603 edges, 30088 markings/sec, 1450 secs
lola: 46771874 markings, 160630911 edges, 26727 markings/sec, 1455 secs
lola: 46897759 markings, 161157089 edges, 25177 markings/sec, 1460 secs
lola: 47045962 markings, 161723039 edges, 29641 markings/sec, 1465 secs
lola: 47177608 markings, 162247516 edges, 26329 markings/sec, 1470 secs
lola: 47316235 markings, 162775825 edges, 27725 markings/sec, 1475 secs
lola: 47463204 markings, 163343033 edges, 29394 markings/sec, 1480 secs
lola: 47599260 markings, 163868801 edges, 27211 markings/sec, 1485 secs
lola: 47744932 markings, 164435493 edges, 29134 markings/sec, 1490 secs
lola: 47893858 markings, 164999790 edges, 29785 markings/sec, 1495 secs
lola: 48022208 markings, 165493924 edges, 25670 markings/sec, 1500 secs
lola: 48173416 markings, 166058590 edges, 30242 markings/sec, 1505 secs
lola: 48318948 markings, 166625531 edges, 29106 markings/sec, 1510 secs
lola: 48464313 markings, 167192527 edges, 29073 markings/sec, 1515 secs
lola: 48617545 markings, 167751400 edges, 30646 markings/sec, 1520 secs
lola: 48771162 markings, 168278489 edges, 30723 markings/sec, 1525 secs
lola: 48936057 markings, 168845087 edges, 32979 markings/sec, 1530 secs
lola: 49095464 markings, 169412561 edges, 31881 markings/sec, 1535 secs
lola: 49221670 markings, 169938986 edges, 25241 markings/sec, 1540 secs
lola: 49345002 markings, 170430213 edges, 24666 markings/sec, 1545 secs
lola: 49490816 markings, 170996016 edges, 29163 markings/sec, 1550 secs
lola: 49632216 markings, 171563165 edges, 28280 markings/sec, 1555 secs
lola: 49780704 markings, 172129966 edges, 29698 markings/sec, 1560 secs
lola: 49916601 markings, 172649696 edges, 27179 markings/sec, 1565 secs
lola: 50063220 markings, 173214730 edges, 29324 markings/sec, 1570 secs
lola: 50209769 markings, 173778344 edges, 29310 markings/sec, 1575 secs
lola: 50357509 markings, 174342675 edges, 29548 markings/sec, 1580 secs
lola: 50505252 markings, 174906552 edges, 29549 markings/sec, 1585 secs
lola: 50654835 markings, 175473392 edges, 29917 markings/sec, 1590 secs
lola: 50799222 markings, 176039126 edges, 28877 markings/sec, 1595 secs
lola: 50950393 markings, 176604647 edges, 30234 markings/sec, 1600 secs
lola: 51111787 markings, 177169197 edges, 32279 markings/sec, 1605 secs
lola: 51277043 markings, 177731171 edges, 33051 markings/sec, 1610 secs
lola: 51430404 markings, 178296866 edges, 30672 markings/sec, 1615 secs
lola: 51578733 markings, 178862729 edges, 29666 markings/sec, 1620 secs
lola: 51729309 markings, 179428947 edges, 30115 markings/sec, 1625 secs
lola: 51888822 markings, 179994668 edges, 31903 markings/sec, 1630 secs
lola: 52050293 markings, 180562085 edges, 32294 markings/sec, 1635 secs
lola: 52207107 markings, 181129915 edges, 31363 markings/sec, 1640 secs
lola: 52370488 markings, 181698720 edges, 32676 markings/sec, 1645 secs
lola: 52528039 markings, 182270110 edges, 31510 markings/sec, 1650 secs
lola: 52690447 markings, 182840404 edges, 32482 markings/sec, 1655 secs
lola: time limit reached - aborting
lola:
preliminary result: yes yes unknown unknown no no unknown unknown no unknown yes no unknown unknown no no
lola:
preliminary result: yes yes unknown unknown no no unknown unknown no unknown yes no unknown unknown no no
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes yes unknown unknown no no unknown unknown no unknown yes no unknown unknown no no
lola: memory consumption: 3953552 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes yes unknown unknown no no unknown unknown no unknown yes no unknown unknown no no
lola: memory consumption: 3953552 KB
lola: time consumption: 3570 seconds

BK_STOP 1526490031798

--------------------
content from stderr:

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="CircularTrains-PT-768"
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/CircularTrains-PT-768.tgz
mv CircularTrains-PT-768 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 CircularTrains-PT-768, 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 r040-smll-152646357100046"
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 ;