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

About the Execution of M4M.full for DNAwalker-PT-08ringLL

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
4762.820 1523364.00 1489551.00 4005.90 FFFFT?T?FTTFFF?F 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 276K
-rw-r--r-- 1 mcc users 3.4K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.6K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.3K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 7.0K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K 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 2.8K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K 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.7K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 9 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 112K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool mcc4mcc-full
Input is DNAwalker-PT-08ringLL, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r070-smll-152649743100277
=====================================================================


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

=== Now, execution of the tool begins

BK_START 1526756902736


BK_STOP 1526758426100

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

Prefix is 65b80f64.
Reading known information in /usr/share/mcc4mcc/65b80f64-known.json.
Reading learned information in /usr/share/mcc4mcc/65b80f64-learned.json.
Reading value translations in /usr/share/mcc4mcc/65b80f64-values.json.
Using directory /home/mcc/execution for input, as it contains a model.pnml file.
Using DNAwalker-PT-08ringLL as instance name.
Using DNAwalker as model name.
Using algorithm or tool voting-classifier.
Model characteristics are: {'Examination': 'CTLFireability', 'Place/Transition': True, 'Colored': False, 'Relative-Time': 1, 'Relative-Memory': 1, 'Ordinary': False, 'Simple Free Choice': False, 'Extended Free Choice': False, 'State Machine': False, 'Marked Graph': False, 'Connected': True, 'Strongly Connected': False, 'Source Place': None, 'Sink Place': False, 'Source Transition': False, 'Sink Transition': None, 'Loop Free': False, 'Conservative': False, 'Sub-Conservative': True, 'Nested Units': False, 'Safe': False, 'Deadlock': True, 'Reversible': False, 'Quasi Live': None, 'Live': None}.
/usr/local/lib/python3.6/dist-packages/sklearn/preprocessing/label.py:151: DeprecationWarning: The truth value of an empty array is ambiguous. Returning False, but in future this will result in an error. Use `array.size > 0` to check that an array is not empty.
if diff:
Known tools are: [{'Time': 15011, 'Memory': 7644.31, 'Tool': 'marcie'}, {'Time': 16891, 'Memory': 7644.32, 'Tool': 'marcie'}, {'Time': 30487, 'Memory': 904.56, 'Tool': 'itstools'}, {'Time': 30643, 'Memory': 895.46, 'Tool': 'itstools'}, {'Time': 1188286, 'Memory': 3139.02, 'Tool': 'lola'}, {'Time': 1404880, 'Memory': 3147.16, 'Tool': 'lola'}].
Learned tools are: [{'Tool': 'lola'}].
Learned tool lola is 79.16101525547931x far from the best tool marcie.
CTLFireability lola DNAwalker-PT-08ringLL...

Time: 3600 - MCC
----- Start make prepare stdout -----
----- Start make prepare stderr -----
===========================================================================================
DNAwalker-PT-08ringLL: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete


checking for too many tokens
===========================================================================================
DNAwalker-PT-08ringLL: translating PT formula CTLFireability into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
----- Start make result stderr -----
CTLFireability @ DNAwalker-PT-08ringLL @ 3540 seconds
----- Start make result stderr -----
----- Start make result stdout -----
lola: LoLA will run for 3540 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 287/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 27 places, 260 transitions, 27 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 163 transition conflict sets
lola: TASK
lola: reading formula from DNAwalker-PT-08ringLL-CTLFireability.task
lola: ((FIREABLE(t6_8) AND NOT(((NOT FIREABLE(t3_19) AND NOT FIREABLE(t19_4)) OR E (G (FIREABLE(t20_19)))))) OR NOT(NOT((FIREABLE(t8_6) OR A (F (FIREABLE(t6_8))))))) : E (F (E (F ((FIREABLE(t5_1) AND NOT FIREABLE(t13_8)))))) : E ((FIREABLE(t6_4) U A (F ((FIREABLE(t10_8) OR FIREABLE(t14_16)))))) : A (G (A (F ((FIREABLE(t3_4) AND FIREABLE(t20_2) AND FIREABLE(t16_18)))))) : (NOT(NOT((E (G (FIREABLE(t19_1))) AND (NOT FIREABLE(t3_5) OR NOT FIREABLE(t18_2))))) OR A (F (A (G (NOT FIREABLE(t21_4)))))) : NOT(E (F (((NOT FIREABLE(t10_14) AND NOT FIREABLE(t21_3)) AND A (X (FIREABLE(t2_3))))))) : (E (G (NOT FIREABLE(t11_8))) OR A (F (A (G (FIREABLE(t11_12)))))) : NOT(A (G (NOT(A (G (FIREABLE(t2_9))))))) : (A (((FIREABLE(t8_5) AND FIREABLE(t13_1) AND NOT FIREABLE(t8_14)) U E (X (FIREABLE(t15_19))))) OR (A (F (A (F (FIREABLE(t3_18))))) AND ((NOT FIREABLE(t15_13) OR FIREABLE(t13_20)) AND (A (F (FIREABLE(t13_21))) OR FIREABLE(t12_13))))) : (NOT(A (X (E (G (FIREABLE(t13_6)))))) AND NOT(A (F (A (F (FIREABLE(t15_11))))))) : (FIREABLE(t9_5) OR NOT(A (F ((FIREABLE(t8_7) OR FIREABLE(t14_10)))))) : ((FIREABLE(t16_12) OR ((A (G (FIREABLE(t14_16))) OR FIREABLE(t13_19)) AND A ((FIREABLE(t2_19) U FIREABLE(t19_21))))) OR A (G ((((FIREABLE(t20_21) OR FIREABLE(t12_7)) AND FIREABLE(t13_20)) OR A (F (FIREABLE(t21_17))))))) : (A (F (E (X ((FIREABLE(t2_4) AND FIREABLE(t20_1)))))) AND A ((A (F (FIREABLE(t20_21))) U E (G (FIREABLE(t18_14)))))) : A (G (NOT(NOT(E (F (FIREABLE(t5_21))))))) : (((FIREABLE(t20_4) AND (A (X (FIREABLE(t1_12))) OR (NOT FIREABLE(t5_6) OR NOT FIREABLE(t20_17)))) OR (NOT FIREABLE(t16_2) OR NOT FIREABLE(t5_21) OR NOT FIREABLE(t6_3) OR NOT FIREABLE(t10_8) OR FIREABLE(tb15))) AND (NOT(((NOT FIREABLE(tb5) AND NOT FIREABLE(tAb5)) OR A (G (FIREABLE(t3_2))))) AND E (X (E (G (FIREABLE(t19_13))))))) : E (F (A (G (A (X (FIREABLE(t13_2)))))))
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: ((FIREABLE(t6_8) AND NOT(((NOT FIREABLE(t3_19) AND NOT FIREABLE(t19_4)) OR E (G (FIREABLE(t20_19)))))) OR NOT(NOT((FIREABLE(t8_6) OR A (F (FIREABLE(t6_8)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 0 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: FIREABLE(t6_8)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(t6_8)
lola: processed formula length: 14
lola: 15 rewrites
lola: formula mentions 0 of 27 places; total mentions: 0
lola: closed formula file DNAwalker-PT-08ringLL-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 1 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: FIREABLE(t8_6)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(t8_6)
lola: processed formula length: 14
lola: 15 rewrites
lola: formula mentions 0 of 27 places; total mentions: 0
lola: closed formula file DNAwalker-PT-08ringLL-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 2 will run for 252 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (F (FIREABLE(t6_8)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a B\xfcchi-Automaton
lola: processed formula: A (F (FIREABLE(t6_8)))
lola: processed formula: A (F (FIREABLE(t6_8)))
lola: processed formula length: 22
lola: 15 rewrites
lola: formula mentions 0 of 27 places; total mentions: 0
lola: closed formula file DNAwalker-PT-08ringLL-CTLFireability.task
lola: the resulting B\xfcchi automaton has 1 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 112 bytes per marking, with 31 unused bits
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method (--stubborn)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 11 markings, 11 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 1 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (E (F ((FIREABLE(t5_1) AND NOT FIREABLE(t13_8))))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 108 bytes per marking, with 0 unused bits
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: 340472 markings, 1885966 edges, 68094 markings/sec, 0 secs
lola: 680208 markings, 3991791 edges, 67947 markings/sec, 5 secs
lola: 1020730 markings, 5974185 edges, 68104 markings/sec, 10 secs
lola: 1340659 markings, 7970540 edges, 63986 markings/sec, 15 secs
lola: 1638200 markings, 9943946 edges, 59508 markings/sec, 20 secs
lola: 1915563 markings, 12070359 edges, 55473 markings/sec, 25 secs
lola: 2241975 markings, 14090872 edges, 65282 markings/sec, 30 secs
lola: 2550909 markings, 16179714 edges, 61787 markings/sec, 35 secs
lola: 2854254 markings, 18256929 edges, 60669 markings/sec, 40 secs
lola: 3161442 markings, 20257480 edges, 61438 markings/sec, 45 secs
lola: 3455922 markings, 22277234 edges, 58896 markings/sec, 50 secs
lola: 3749257 markings, 24367146 edges, 58667 markings/sec, 55 secs
lola: 4037095 markings, 26434596 edges, 57568 markings/sec, 60 secs
lola: 4297267 markings, 28501290 edges, 52034 markings/sec, 65 secs
lola: 4622804 markings, 30479270 edges, 65107 markings/sec, 70 secs
lola: 4925297 markings, 32478995 edges, 60499 markings/sec, 75 secs
lola: 5203178 markings, 34552496 edges, 55576 markings/sec, 80 secs
lola: 5497216 markings, 36628969 edges, 58808 markings/sec, 85 secs
lola: 5788081 markings, 38665859 edges, 58173 markings/sec, 90 secs
lola: 6071810 markings, 40776371 edges, 56746 markings/sec, 95 secs
lola: 6357372 markings, 42855862 edges, 57112 markings/sec, 100 secs
lola: 6648349 markings, 44829959 edges, 58195 markings/sec, 105 secs
lola: 6939392 markings, 46780013 edges, 58209 markings/sec, 110 secs
lola: 7231721 markings, 48753457 edges, 58466 markings/sec, 115 secs
lola: 7516913 markings, 50733943 edges, 57038 markings/sec, 120 secs
lola: 7757687 markings, 52848543 edges, 48155 markings/sec, 125 secs
lola: 8025515 markings, 54841981 edges, 53566 markings/sec, 130 secs
lola: 8278848 markings, 56930558 edges, 50667 markings/sec, 135 secs
lola: 8538839 markings, 58991730 edges, 51998 markings/sec, 140 secs
lola: 8799420 markings, 61110143 edges, 52116 markings/sec, 145 secs
lola: 9061245 markings, 63221542 edges, 52365 markings/sec, 150 secs
lola: 9311136 markings, 65202491 edges, 49978 markings/sec, 155 secs
lola: 9544365 markings, 67194207 edges, 46646 markings/sec, 160 secs
lola: 9775338 markings, 69199813 edges, 46195 markings/sec, 165 secs
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is unreachable.
lola: 9806333 markings, 69499459 edges
lola: ========================================
lola: subprocess 2 will run for 240 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E ((FIREABLE(t6_4) U A (F ((FIREABLE(t10_8) OR FIREABLE(t14_16))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: E(FIREABLE(t6_4) U A(TRUE U (FIREABLE(t10_8) OR FIREABLE(t14_16))))
lola: processed formula length: 68
lola: 2 rewrites
lola: formula mentions 0 of 27 places; total mentions: 0
lola: closed formula file DNAwalker-PT-08ringLL-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 108 bytes per marking, with 0 unused bits
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: 16 markings, 17 edges
lola: ========================================
lola: subprocess 3 will run for 259 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G (A (F ((FIREABLE(t3_4) AND FIREABLE(t20_2) AND FIREABLE(t16_18))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: NOT(E(TRUE U NOT(A(TRUE U (FIREABLE(t3_4) AND FIREABLE(t20_2) AND FIREABLE(t16_18))))))
lola: processed formula length: 87
lola: 2 rewrites
lola: formula mentions 0 of 27 places; total mentions: 0
lola: closed formula file DNAwalker-PT-08ringLL-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 108 bytes per marking, with 0 unused bits
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: 15 markings, 16 edges
lola: ========================================
lola: subprocess 4 will run for 280 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: (NOT(NOT((E (G (FIREABLE(t19_1))) AND (NOT FIREABLE(t3_5) OR NOT FIREABLE(t18_2))))) OR A (F (A (G (NOT FIREABLE(t21_4))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 4 will run for 280 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (G (FIREABLE(t19_1)))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: NOT(A(TRUE U NOT FIREABLE(t19_1)))
lola: processed formula length: 34
lola: 12 rewrites
lola: formula mentions 0 of 27 places; total mentions: 0
lola: closed formula file DNAwalker-PT-08ringLL-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 108 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 5 will run for 306 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (F (A (G (NOT FIREABLE(t21_4)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a B\xfcchi-Automaton
lola: processed formula: A (F (A (G (NOT FIREABLE(t21_4)))))
lola: processed formula: A (F (A (G (NOT FIREABLE(t21_4)))))
lola: processed formula length: 35
lola: 10 rewrites
lola: formula mentions 0 of 27 places; total mentions: 0
lola: closed formula file DNAwalker-PT-08ringLL-CTLFireability.task
lola: the resulting B\xfcchi automaton has 2 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 112 bytes per marking, with 30 unused bits
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method (--stubborn)
lola: SEARCH
lola: RUNNING
lola: 179327 markings, 783286 edges, 35865 markings/sec, 0 secs
lola: 359996 markings, 1620191 edges, 36134 markings/sec, 5 secs
lola: 530412 markings, 2446524 edges, 34083 markings/sec, 10 secs
lola: 713349 markings, 3342809 edges, 36587 markings/sec, 15 secs
lola: 885725 markings, 4270902 edges, 34475 markings/sec, 20 secs
lola: 1048641 markings, 5094989 edges, 32583 markings/sec, 25 secs
lola: 1220273 markings, 5945641 edges, 34326 markings/sec, 30 secs
lola: 1376691 markings, 6815409 edges, 31284 markings/sec, 35 secs
lola: 1533781 markings, 7670432 edges, 31418 markings/sec, 40 secs
lola: 1701247 markings, 8585195 edges, 33493 markings/sec, 45 secs
lola: 1859307 markings, 9500245 edges, 31612 markings/sec, 50 secs
lola: 2009310 markings, 10491106 edges, 30001 markings/sec, 55 secs
lola: 2165247 markings, 11365104 edges, 31187 markings/sec, 60 secs
lola: 2328843 markings, 12314543 edges, 32719 markings/sec, 65 secs
lola: 2479780 markings, 13236683 edges, 30187 markings/sec, 70 secs
lola: 2639737 markings, 14205391 edges, 31991 markings/sec, 75 secs
lola: 2805438 markings, 15243497 edges, 33140 markings/sec, 80 secs
lola: 2959050 markings, 16209367 edges, 30722 markings/sec, 85 secs
lola: 3111471 markings, 17279503 edges, 30484 markings/sec, 90 secs
lola: 3266151 markings, 18221664 edges, 30936 markings/sec, 95 secs
lola: 3419062 markings, 19163530 edges, 30582 markings/sec, 100 secs
lola: 3562462 markings, 20109762 edges, 28680 markings/sec, 105 secs
lola: 3697803 markings, 21102400 edges, 27068 markings/sec, 110 secs
lola: 3850102 markings, 22085053 edges, 30460 markings/sec, 115 secs
lola: 4011713 markings, 23192725 edges, 32322 markings/sec, 120 secs
lola: 4153729 markings, 24168816 edges, 28403 markings/sec, 125 secs
lola: 4290421 markings, 25178057 edges, 27338 markings/sec, 130 secs
lola: 4429406 markings, 26295634 edges, 27797 markings/sec, 135 secs
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 4491863 markings, 26742597 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: subprocess 5 will run for 293 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: NOT(E (F (((NOT FIREABLE(t10_14) AND NOT FIREABLE(t21_3)) AND A (X (FIREABLE(t2_3)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: NOT(E(TRUE U ((NOT FIREABLE(t10_14) AND NOT FIREABLE(t21_3)) AND NOT(EX(NOT FIREABLE(t2_3))))))
lola: processed formula length: 95
lola: 11 rewrites
lola: formula mentions 0 of 27 places; total mentions: 0
lola: closed formula file DNAwalker-PT-08ringLL-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 108 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Formula contains EX or AX operators, stubborn sets not applicable
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 636109 markings, 4121723 edges, 2908347618566340608 markings/sec, 0 secs
lola: 1205747 markings, 8303340 edges, 113928 markings/sec, 5 secs
lola: 1732741 markings, 12384182 edges, 105399 markings/sec, 10 secs
lola: 2226674 markings, 16347031 edges, 98787 markings/sec, 15 secs
lola: 2635783 markings, 20126935 edges, 81822 markings/sec, 20 secs
lola: 3155195 markings, 24142397 edges, 103882 markings/sec, 25 secs
lola: 3675516 markings, 28099115 edges, 104064 markings/sec, 30 secs
lola: 4109088 markings, 31831103 edges, 86714 markings/sec, 35 secs
lola: 4602572 markings, 35788088 edges, 98697 markings/sec, 40 secs
lola: 5035809 markings, 39286954 edges, 86647 markings/sec, 45 secs
lola: 5443050 markings, 42887619 edges, 81448 markings/sec, 50 secs
lola: 5917192 markings, 46683959 edges, 94828 markings/sec, 55 secs
lola: 6433488 markings, 50211940 edges, 103259 markings/sec, 60 secs
lola: 6931365 markings, 53728981 edges, 99575 markings/sec, 65 secs
lola: 7353935 markings, 56981967 edges, 84514 markings/sec, 70 secs
lola: 7706152 markings, 60224095 edges, 70443 markings/sec, 75 secs
lola: 8174085 markings, 63684874 edges, 93587 markings/sec, 80 secs
lola: 8637589 markings, 67085421 edges, 92701 markings/sec, 85 secs
lola: 9004778 markings, 70280067 edges, 73438 markings/sec, 90 secs
lola: 9431487 markings, 73704632 edges, 85342 markings/sec, 95 secs
lola: 9821775 markings, 76895158 edges, 78058 markings/sec, 100 secs
lola: 10208908 markings, 80170381 edges, 77427 markings/sec, 105 secs
lola: 10587332 markings, 83528966 edges, 75685 markings/sec, 110 secs
lola: 10947768 markings, 86626608 edges, 72087 markings/sec, 115 secs
lola: 11264149 markings, 89406762 edges, 63276 markings/sec, 120 secs
lola: 11591299 markings, 92567202 edges, 65430 markings/sec, 125 secs
lola: 11877070 markings, 95512799 edges, 57154 markings/sec, 130 secs
lola: 12155812 markings, 98385512 edges, 55748 markings/sec, 135 secs
lola: 12428819 markings, 101505604 edges, 54601 markings/sec, 140 secs
lola: 12915262 markings, 104544667 edges, 97289 markings/sec, 145 secs
lola: 13344406 markings, 107567053 edges, 85829 markings/sec, 150 secs
lola: 13741710 markings, 110541317 edges, 79461 markings/sec, 155 secs
lola: 14075189 markings, 113118429 edges, 66696 markings/sec, 160 secs
lola: 14344012 markings, 115588472 edges, 53765 markings/sec, 165 secs
lola: 14736946 markings, 118506888 edges, 78587 markings/sec, 170 secs
lola: 15130988 markings, 121445633 edges, 78808 markings/sec, 175 secs
lola: 15483546 markings, 124222963 edges, 70512 markings/sec, 180 secs
lola: 15775922 markings, 127024484 edges, 58475 markings/sec, 185 secs
lola: 16176337 markings, 129897498 edges, 80083 markings/sec, 190 secs
lola: 16499739 markings, 132676003 edges, 64680 markings/sec, 195 secs
lola: 16839012 markings, 135474285 edges, 67855 markings/sec, 200 secs
lola: 17148340 markings, 138314993 edges, 61866 markings/sec, 205 secs
lola: 17459070 markings, 140994793 edges, 62146 markings/sec, 210 secs
lola: 17765271 markings, 143642392 edges, 61240 markings/sec, 215 secs
lola: 18063996 markings, 146429214 edges, 59745 markings/sec, 220 secs
lola: 18319391 markings, 149116636 edges, 51079 markings/sec, 225 secs
lola: 18587818 markings, 151858032 edges, 53685 markings/sec, 230 secs
lola: 18841044 markings, 154594345 edges, 50645 markings/sec, 235 secs
lola: 19180202 markings, 157497800 edges, 67832 markings/sec, 240 secs
lola: 19579590 markings, 160387494 edges, 79878 markings/sec, 245 secs
lola: 19917529 markings, 163158979 edges, 67588 markings/sec, 250 secs
lola: 20262182 markings, 165985211 edges, 68931 markings/sec, 255 secs
lola: 20618259 markings, 168773630 edges, 71215 markings/sec, 260 secs
lola: 20947100 markings, 171546833 edges, 65768 markings/sec, 265 secs
lola: 21256654 markings, 174268859 edges, 61911 markings/sec, 270 secs
lola: 21565813 markings, 176980035 edges, 61832 markings/sec, 275 secs
lola: 21848733 markings, 179558817 edges, 56584 markings/sec, 280 secs
lola: 22104821 markings, 182180298 edges, 51218 markings/sec, 285 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 293 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: (E (G (NOT FIREABLE(t11_8))) OR A (F (A (G (FIREABLE(t11_12))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 6 will run for 293 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (G (NOT FIREABLE(t11_8)))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: NOT(A(TRUE U FIREABLE(t11_8)))
lola: processed formula length: 30
lola: 2 rewrites
lola: formula mentions 0 of 27 places; total mentions: 0
lola: closed formula file DNAwalker-PT-08ringLL-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 108 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 15 markings, 15 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: subprocess 7 will run for 326 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: NOT(A (G (NOT(A (G (FIREABLE(t2_9)))))))
lola: ========================================
lola: SUBTASK
lola: checking possible invariance
lola: possible invariance not yet implemented, converting to CTL...
lola: processed formula: E(TRUE U NOT(E(TRUE U NOT FIREABLE(t2_9))))
lola: processed formula length: 43
lola: 11 rewrites
lola: formula mentions 0 of 27 places; total mentions: 0
lola: closed formula file DNAwalker-PT-08ringLL-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 108 bytes per marking, with 0 unused bits
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: 682281 markings, 5149465 edges, 2908347618566340608 markings/sec, 0 secs
lola: 1295376 markings, 10272482 edges, 122619 markings/sec, 5 secs
lola: 1864858 markings, 15307705 edges, 113896 markings/sec, 10 secs
lola: 2371023 markings, 19953852 edges, 101233 markings/sec, 15 secs
lola: 2820323 markings, 24589592 edges, 89860 markings/sec, 20 secs
lola: 3409105 markings, 29412600 edges, 117756 markings/sec, 25 secs
lola: 3920743 markings, 34037688 edges, 102328 markings/sec, 30 secs
lola: 4401809 markings, 38656294 edges, 96213 markings/sec, 35 secs
lola: 4881498 markings, 43026285 edges, 95938 markings/sec, 40 secs
lola: 5345415 markings, 47487124 edges, 92783 markings/sec, 45 secs
lola: 5832300 markings, 52100668 edges, 97377 markings/sec, 50 secs
lola: 6368632 markings, 56358259 edges, 107266 markings/sec, 55 secs
lola: 6931115 markings, 60785125 edges, 112497 markings/sec, 60 secs
lola: 7390097 markings, 64826462 edges, 91796 markings/sec, 65 secs
lola: 7761673 markings, 68723903 edges, 74315 markings/sec, 70 secs
lola: 8318144 markings, 73098110 edges, 111294 markings/sec, 75 secs
lola: 8779174 markings, 77147835 edges, 92206 markings/sec, 80 secs
lola: 9166739 markings, 81119067 edges, 77513 markings/sec, 85 secs
lola: 9652451 markings, 85209636 edges, 97142 markings/sec, 90 secs
lola: 10051665 markings, 89259800 edges, 79843 markings/sec, 95 secs
lola: 10481546 markings, 93215729 edges, 85976 markings/sec, 100 secs
lola: 10874750 markings, 97080927 edges, 78641 markings/sec, 105 secs
lola: 11229403 markings, 100524966 edges, 70931 markings/sec, 110 secs
lola: 11581108 markings, 104250005 edges, 70341 markings/sec, 115 secs
lola: 11899822 markings, 107858991 edges, 63743 markings/sec, 120 secs
lola: 12200193 markings, 111263849 edges, 60074 markings/sec, 125 secs
lola: 12570488 markings, 115109793 edges, 74059 markings/sec, 130 secs
lola: 13040100 markings, 118835070 edges, 93922 markings/sec, 135 secs
lola: 13507769 markings, 122571586 edges, 93534 markings/sec, 140 secs
lola: 13927125 markings, 126099624 edges, 83871 markings/sec, 145 secs
lola: 14275840 markings, 129484738 edges, 69743 markings/sec, 150 secs
lola: 14683711 markings, 133057677 edges, 81574 markings/sec, 155 secs
lola: 15114842 markings, 136699706 edges, 86226 markings/sec, 160 secs
lola: 15494745 markings, 140091858 edges, 75981 markings/sec, 165 secs
lola: 15833124 markings, 143498266 edges, 67676 markings/sec, 170 secs
lola: 16251563 markings, 147007415 edges, 83688 markings/sec, 175 secs
lola: 16585687 markings, 150376308 edges, 66825 markings/sec, 180 secs
lola: 16963603 markings, 153804619 edges, 75583 markings/sec, 185 secs
lola: 17298044 markings, 157179157 edges, 66888 markings/sec, 190 secs
lola: 17628373 markings, 160383658 edges, 66066 markings/sec, 195 secs
lola: 17959283 markings, 163645151 edges, 66182 markings/sec, 200 secs
lola: 18246186 markings, 166881043 edges, 57381 markings/sec, 205 secs
lola: 18530198 markings, 170138536 edges, 56802 markings/sec, 210 secs
lola: 18808662 markings, 173358346 edges, 55693 markings/sec, 215 secs
lola: 19161477 markings, 176874960 edges, 70563 markings/sec, 220 secs
lola: 19598907 markings, 180471348 edges, 87486 markings/sec, 225 secs
lola: 19957911 markings, 183844279 edges, 71801 markings/sec, 230 secs
lola: 20356102 markings, 187361233 edges, 79638 markings/sec, 235 secs
lola: 20707250 markings, 190692436 edges, 70230 markings/sec, 240 secs
lola: 21080254 markings, 194100540 edges, 74601 markings/sec, 245 secs
lola: 21418553 markings, 197422480 edges, 67660 markings/sec, 250 secs
lola: 21738327 markings, 200611183 edges, 63955 markings/sec, 255 secs
lola: 22028976 markings, 203748801 edges, 58130 markings/sec, 260 secs
lola: 22290590 markings, 206842677 edges, 52323 markings/sec, 265 secs
lola: 22600844 markings, 210172779 edges, 62051 markings/sec, 270 secs
lola: 22975104 markings, 213556215 edges, 74852 markings/sec, 275 secs
lola: 23281678 markings, 216712589 edges, 61315 markings/sec, 280 secs
lola: 23631685 markings, 220034945 edges, 70001 markings/sec, 285 secs
lola: 23961378 markings, 223380080 edges, 65939 markings/sec, 290 secs
lola: 24282109 markings, 226650753 edges, 64146 markings/sec, 295 secs
lola: 24649978 markings, 230112178 edges, 73574 markings/sec, 300 secs
lola: 24987761 markings, 233481437 edges, 67557 markings/sec, 305 secs
lola: 25274564 markings, 236679818 edges, 57361 markings/sec, 310 secs
lola: 25587997 markings, 240039981 edges, 62687 markings/sec, 315 secs
lola: 25913589 markings, 243454343 edges, 65118 markings/sec, 320 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 326 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: (A (((FIREABLE(t8_5) AND FIREABLE(t13_1) AND NOT FIREABLE(t8_14)) U E (X (FIREABLE(t15_19))))) OR (A (F (A (F (FIREABLE(t3_18))))) AND ((NOT FIREABLE(t15_13) OR FIREABLE(t13_20)) AND (A (F (FIREABLE(t13_21))) OR FIREABLE(t12_13)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 8 will run for 326 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (((FIREABLE(t8_5) AND FIREABLE(t13_1) AND NOT FIREABLE(t8_14)) U E (X (FIREABLE(t15_19)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: A((FIREABLE(t8_5) AND FIREABLE(t13_1) AND NOT FIREABLE(t8_14)) U EX(FIREABLE(t15_19)))
lola: processed formula length: 86
lola: 3 rewrites
lola: formula mentions 0 of 27 places; total mentions: 0
lola: closed formula file DNAwalker-PT-08ringLL-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 108 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Formula contains EX or AX operators, stubborn sets not applicable
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 9 will run for 372 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (F (FIREABLE(t3_18)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a B\xfcchi-Automaton
lola: processed formula: A (F (FIREABLE(t3_18)))
lola: processed formula: A (F (FIREABLE(t3_18)))
lola: processed formula length: 23
lola: 1 rewrites
lola: formula mentions 0 of 27 places; total mentions: 0
lola: closed formula file DNAwalker-PT-08ringLL-CTLFireability.task
lola: the resulting B\xfcchi automaton has 1 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 112 bytes per marking, with 31 unused bits
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method (--stubborn)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 16 markings, 16 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 9 will run for 372 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: (NOT(A (X (E (G (FIREABLE(t13_6)))))) AND NOT(A (F (A (F (FIREABLE(t15_11)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 9 will run for 372 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (X (A (F (NOT FIREABLE(t13_6)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: EX(A(TRUE U NOT FIREABLE(t13_6)))
lola: processed formula length: 33
lola: 11 rewrites
lola: formula mentions 0 of 27 places; total mentions: 0
lola: closed formula file DNAwalker-PT-08ringLL-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 108 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Formula contains EX or AX operators, stubborn sets not applicable
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 10 will run for 434 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (G (NOT FIREABLE(t15_11)))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: NOT(A(TRUE U FIREABLE(t15_11)))
lola: processed formula length: 31
lola: 11 rewrites
lola: formula mentions 0 of 27 places; total mentions: 0
lola: closed formula file DNAwalker-PT-08ringLL-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 108 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 15 markings, 15 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: subprocess 10 will run for 434 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: (FIREABLE(t9_5) OR NOT(A (F ((FIREABLE(t8_7) OR FIREABLE(t14_10))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 10 will run for 434 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: FIREABLE(t9_5)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(t9_5)
lola: processed formula length: 14
lola: 3 rewrites
lola: formula mentions 0 of 27 places; total mentions: 0
lola: closed formula file DNAwalker-PT-08ringLL-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 11 will run for 521 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (G ((NOT FIREABLE(t8_7) AND NOT FIREABLE(t14_10))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: NOT(A(TRUE U (FIREABLE(t8_7) OR FIREABLE(t14_10))))
lola: processed formula length: 52
lola: 5 rewrites
lola: formula mentions 0 of 27 places; total mentions: 0
lola: closed formula file DNAwalker-PT-08ringLL-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 108 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 16 markings, 16 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: subprocess 11 will run for 521 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: ((FIREABLE(t16_12) OR ((A (G (FIREABLE(t14_16))) OR FIREABLE(t13_19)) AND A ((FIREABLE(t2_19) U FIREABLE(t19_21))))) OR A (G ((((FIREABLE(t20_21) OR FIREABLE(t12_7)) AND FIREABLE(t13_20)) OR A (F (FIREABLE(t21_17)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 11 will run for 521 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: FIREABLE(t16_12)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(t16_12)
lola: processed formula length: 16
lola: 1 rewrites
lola: formula mentions 0 of 27 places; total mentions: 0
lola: closed formula file DNAwalker-PT-08ringLL-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 12 will run for 652 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G (FIREABLE(t14_16)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 108 bytes per marking, with 0 unused bits
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: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 13 will run for 869 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: FIREABLE(t13_19)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(t13_19)
lola: processed formula length: 16
lola: 1 rewrites
lola: formula mentions 0 of 27 places; total mentions: 0
lola: closed formula file DNAwalker-PT-08ringLL-CTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 14 will run for 1304 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G ((((FIREABLE(t20_21) OR FIREABLE(t12_7)) AND FIREABLE(t13_20)) OR A (F (FIREABLE(t21_17))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: NOT(E(TRUE U (((NOT FIREABLE(t20_21) AND NOT FIREABLE(t12_7)) OR NOT FIREABLE(t13_20)) AND NOT(A(TRUE U FIREABLE(t21_17))))))
lola: processed formula length: 126
lola: 5 rewrites
lola: formula mentions 0 of 27 places; total mentions: 0
lola: closed formula file DNAwalker-PT-08ringLL-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 108 bytes per marking, with 0 unused bits
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: 15 markings, 16 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 12 will run for 652 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: (A (F (E (X ((FIREABLE(t2_4) AND FIREABLE(t20_1)))))) AND A ((A (F (FIREABLE(t20_21))) U E (G (FIREABLE(t18_14))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 12 will run for 652 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (F (E (X ((FIREABLE(t2_4) AND FIREABLE(t20_1))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: A(TRUE U EX((FIREABLE(t2_4) AND FIREABLE(t20_1))))
lola: processed formula length: 50
lola: 2 rewrites
lola: formula mentions 0 of 27 places; total mentions: 0
lola: closed formula file DNAwalker-PT-08ringLL-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 108 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Formula contains EX or AX operators, stubborn sets not applicable
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 15 markings, 15 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 13 will run for 869 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G (NOT(NOT(E (F (FIREABLE(t5_21)))))))
lola: ========================================
lola: SUBTASK
lola: checking liveness
lola: liveness not yet implemented, converting to CTL...
lola: processed formula: NOT(E(TRUE U NOT(E(TRUE U FIREABLE(t5_21)))))
lola: processed formula length: 45
lola: 8 rewrites
lola: formula mentions 0 of 27 places; total mentions: 0
lola: closed formula file DNAwalker-PT-08ringLL-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 108 bytes per marking, with 0 unused bits
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: 734913 markings, 4901732 edges, 3689329903141912576 markings/sec, 0 secs
lola: 1392336 markings, 9815617 edges, 131485 markings/sec, 5 secs
lola: 2019814 markings, 14703140 edges, 125496 markings/sec, 10 secs
lola: 2527102 markings, 19098148 edges, 101458 markings/sec, 15 secs
lola: 3106744 markings, 23729205 edges, 115928 markings/sec, 20 secs
lola: 3705423 markings, 28357812 edges, 119736 markings/sec, 25 secs
lola: 4186420 markings, 32654811 edges, 96199 markings/sec, 30 secs
lola: 4765312 markings, 37105491 edges, 115778 markings/sec, 35 secs
lola: 5291789 markings, 41499762 edges, 105295 markings/sec, 40 secs
lola: 5785358 markings, 45903209 edges, 98714 markings/sec, 45 secs
lola: 6424090 markings, 50159204 edges, 127746 markings/sec, 50 secs
lola: 7007900 markings, 54346460 edges, 116762 markings/sec, 55 secs
lola: 7480578 markings, 58125008 edges, 94536 markings/sec, 60 secs
lola: 7954852 markings, 62032278 edges, 94855 markings/sec, 65 secs
lola: 8513443 markings, 66149888 edges, 111718 markings/sec, 70 secs
lola: 8959980 markings, 69870786 edges, 89307 markings/sec, 75 secs
lola: 9450186 markings, 73839999 edges, 98041 markings/sec, 80 secs
lola: 9895576 markings, 77571667 edges, 89078 markings/sec, 85 secs
lola: 10352046 markings, 81372979 edges, 91294 markings/sec, 90 secs
lola: 10780847 markings, 85192053 edges, 85760 markings/sec, 95 secs
lola: 11165759 markings, 88524283 edges, 76982 markings/sec, 100 secs
lola: 11536203 markings, 92025992 edges, 74089 markings/sec, 105 secs
lola: 11876772 markings, 95509615 edges, 68114 markings/sec, 110 secs
lola: 12195615 markings, 98802210 edges, 63769 markings/sec, 115 secs
lola: 12593392 markings, 102473014 edges, 79555 markings/sec, 120 secs
lola: 13101534 markings, 105965388 edges, 101628 markings/sec, 125 secs
lola: 13599479 markings, 109429140 edges, 99589 markings/sec, 130 secs
lola: 14025439 markings, 112699609 edges, 85192 markings/sec, 135 secs
lola: 14376622 markings, 115899425 edges, 70237 markings/sec, 140 secs
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 14451724 markings, 116707923 edges
lola: ========================================
lola: subprocess 14 will run for 1231 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: (((FIREABLE(t20_4) AND (A (X (FIREABLE(t1_12))) OR (NOT FIREABLE(t5_6) OR NOT FIREABLE(t20_17)))) OR (NOT FIREABLE(t16_2) OR NOT FIREABLE(t5_21) OR NOT FIREABLE(t6_3) OR NOT FIREABLE(t10_8) OR FIREABLE(tb15))) AND (NOT(((NOT FIREABLE(tb5) AND NOT FIREABLE(tAb5)) OR A (G (FIREABLE(t3_2))))) AND E (X (E (G (FIREABLE(t19_13)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 14 will run for 1231 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: FIREABLE(t20_4)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(t20_4)
lola: processed formula length: 15
lola: 6 rewrites
lola: formula mentions 0 of 27 places; total mentions: 0
lola: closed formula file DNAwalker-PT-08ringLL-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 2462 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: (NOT FIREABLE(t16_2) OR NOT FIREABLE(t5_21) OR NOT FIREABLE(t6_3) OR NOT FIREABLE(t10_8) OR FIREABLE(tb15))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (NOT FIREABLE(t16_2) OR NOT FIREABLE(t5_21) OR NOT FIREABLE(t6_3) OR NOT FIREABLE(t10_8) OR FIREABLE(tb15))
lola: processed formula length: 111
lola: 6 rewrites
lola: formula mentions 0 of 27 places; total mentions: 0
lola: closed formula file DNAwalker-PT-08ringLL-CTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: Child process aborted or communication problem between parent and child process
terminate called after throwing an instance of 'std::runtime_error'
what(): parse error at position 0: unexpected character, last read: '\ufffd'
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 2462 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (A (G (A (X (FIREABLE(t13_2)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: E(TRUE U NOT(E(TRUE U NOT(AX(FIREABLE(t13_2))))))
lola: processed formula length: 49
lola: 3 rewrites
lola: formula mentions 0 of 27 places; total mentions: 0
lola: closed formula file DNAwalker-PT-08ringLL-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 108 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Formula contains EX or AX operators, stubborn sets not applicable
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 583016 markings, 4337300 edges, 3689329903141912576 markings/sec, 0 secs
lola: 1120829 markings, 8827718 edges, 107563 markings/sec, 5 secs
lola: 1636909 markings, 13214201 edges, 103216 markings/sec, 10 secs
lola: 2113335 markings, 17560951 edges, 95285 markings/sec, 15 secs
lola: 2520387 markings, 21556378 edges, 81410 markings/sec, 20 secs
lola: 2971740 markings, 25754056 edges, 90271 markings/sec, 25 secs
lola: 3472735 markings, 29993615 edges, 100199 markings/sec, 30 secs
lola: 3933238 markings, 34108701 edges, 92101 markings/sec, 35 secs
lola: 4360526 markings, 38234127 edges, 85458 markings/sec, 40 secs
lola: 4793935 markings, 42151703 edges, 86682 markings/sec, 45 secs
lola: 5235435 markings, 46241190 edges, 88300 markings/sec, 50 secs
lola: 5636700 markings, 50212187 edges, 80253 markings/sec, 55 secs
lola: 6141839 markings, 54237845 edges, 101028 markings/sec, 60 secs
lola: 6615311 markings, 58017358 edges, 94694 markings/sec, 65 secs
lola: 7064751 markings, 61845887 edges, 89888 markings/sec, 70 secs
lola: 7447308 markings, 65268919 edges, 76511 markings/sec, 75 secs
lola: 7770357 markings, 68682088 edges, 64610 markings/sec, 80 secs
lola: 8258784 markings, 72508622 edges, 97685 markings/sec, 85 secs
lola: 8680740 markings, 76100985 edges, 84391 markings/sec, 90 secs
lola: 9028395 markings, 79528978 edges, 69531 markings/sec, 95 secs
lola: 9412957 markings, 82975903 edges, 76912 markings/sec, 100 secs
lola: 9793306 markings, 86427624 edges, 76070 markings/sec, 105 secs
lola: 10165198 markings, 90013726 edges, 74378 markings/sec, 110 secs
lola: 10528654 markings, 93551450 edges, 72691 markings/sec, 115 secs
lola: 10858127 markings, 96728892 edges, 65895 markings/sec, 120 secs
lola: 11180295 markings, 99828892 edges, 64434 markings/sec, 125 secs
lola: 11496292 markings, 103110340 edges, 63199 markings/sec, 130 secs
lola: 11776267 markings, 106259524 edges, 55995 markings/sec, 135 secs
lola: 12069833 markings, 109550928 edges, 58713 markings/sec, 140 secs
lola: 12343013 markings, 112824225 edges, 54636 markings/sec, 145 secs
lola: 12749705 markings, 116193493 edges, 81338 markings/sec, 150 secs
lola: 13156675 markings, 119457578 edges, 81394 markings/sec, 155 secs
lola: 13528154 markings, 122470536 edges, 74296 markings/sec, 160 secs
lola: 13894783 markings, 125575210 edges, 73326 markings/sec, 165 secs
lola: 14211488 markings, 128581407 edges, 63341 markings/sec, 170 secs
lola: 14529952 markings, 131651096 edges, 63693 markings/sec, 175 secs
lola: 14931395 markings, 134876227 edges, 80289 markings/sec, 180 secs
lola: 15294709 markings, 137963194 edges, 72663 markings/sec, 185 secs
lola: 15605592 markings, 140948043 edges, 62177 markings/sec, 190 secs
lola: 15938245 markings, 144024592 edges, 66531 markings/sec, 195 secs
lola: 16289190 markings, 147069114 edges, 70189 markings/sec, 200 secs
lola: 16583475 markings, 150058990 edges, 58857 markings/sec, 205 secs
lola: 16921011 markings, 153088401 edges, 67507 markings/sec, 210 secs
lola: 17218582 markings, 156114471 edges, 59514 markings/sec, 215 secs
lola: 17512608 markings, 158959377 edges, 58805 markings/sec, 220 secs
lola: 17798094 markings, 161771305 edges, 57097 markings/sec, 225 secs
lola: 18086760 markings, 164752875 edges, 57733 markings/sec, 230 secs
lola: 18339455 markings, 167641418 edges, 50539 markings/sec, 235 secs
lola: 18592325 markings, 170500607 edges, 50574 markings/sec, 240 secs
lola: 18837882 markings, 173393549 edges, 49111 markings/sec, 245 secs
lola: 19158646 markings, 176516346 edges, 64153 markings/sec, 250 secs
lola: 19538653 markings, 179666602 edges, 76001 markings/sec, 255 secs
lola: 19880458 markings, 182680761 edges, 68361 markings/sec, 260 secs
lola: 20204381 markings, 185713222 edges, 64785 markings/sec, 265 secs
lola: 20553234 markings, 188757036 edges, 69771 markings/sec, 270 secs
lola: 20861131 markings, 191735822 edges, 61579 markings/sec, 275 secs
lola: 21169512 markings, 194676183 edges, 61676 markings/sec, 280 secs
lola: 21471611 markings, 197639771 edges, 60420 markings/sec, 285 secs
lola: 21757938 markings, 200430844 edges, 57265 markings/sec, 290 secs
lola: 22016685 markings, 203228706 edges, 51749 markings/sec, 295 secs
lola: 22253368 markings, 205990769 edges, 47337 markings/sec, 300 secs
lola: 22477859 markings, 208825539 edges, 44898 markings/sec, 305 secs
lola: 22837704 markings, 211892229 edges, 71969 markings/sec, 310 secs
lola: 23144528 markings, 214803026 edges, 61365 markings/sec, 315 secs
lola: 23415050 markings, 217633396 edges, 54104 markings/sec, 320 secs
lola: 23730990 markings, 220570982 edges, 63188 markings/sec, 325 secs
lola: 24017366 markings, 223557718 edges, 57275 markings/sec, 330 secs
lola: 24312903 markings, 226466264 edges, 59107 markings/sec, 335 secs
lola: 24630558 markings, 229499970 edges, 63531 markings/sec, 340 secs
lola: 24933017 markings, 232483533 edges, 60492 markings/sec, 345 secs
lola: 25200696 markings, 235337432 edges, 53536 markings/sec, 350 secs
lola: 25455848 markings, 238281464 edges, 51030 markings/sec, 355 secs
lola: 25752854 markings, 241236818 edges, 59401 markings/sec, 360 secs
lola: 26057970 markings, 244491970 edges, 61023 markings/sec, 365 secs
lola: 26352562 markings, 247865191 edges, 58918 markings/sec, 370 secs
lola: 26685761 markings, 251301996 edges, 66640 markings/sec, 375 secs
lola: 27005344 markings, 254820405 edges, 63917 markings/sec, 380 secs
lola: 27332247 markings, 258390687 edges, 65381 markings/sec, 385 secs
lola: 27676868 markings, 262021616 edges, 68924 markings/sec, 390 secs
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 27950678 markings, 264975584 edges
lola: ========================================
lola: RESULT
lola:
SUMMARY: no no no no yes unknown yes unknown no yes yes no no no unknown no
FORMULA DNAwalker-PT-08ringLL-CTLFireability-0 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-08ringLL-CTLFireability-1 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-08ringLL-CTLFireability-2 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-08ringLL-CTLFireability-3 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-08ringLL-CTLFireability-4 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-08ringLL-CTLFireability-5 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-08ringLL-CTLFireability-6 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-08ringLL-CTLFireability-7 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-08ringLL-CTLFireability-8 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-08ringLL-CTLFireability-9 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-08ringLL-CTLFireability-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-08ringLL-CTLFireability-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-08ringLL-CTLFireability-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-08ringLL-CTLFireability-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-08ringLL-CTLFireability-14 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-08ringLL-CTLFireability-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
----- Kill lola and sara stdout -----
----- Kill lola and sara stderr -----
----- Finished stderr -----
----- Finished stdout -----

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="DNAwalker-PT-08ringLL"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="mcc4mcc-full"
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/DNAwalker-PT-08ringLL.tgz
mv DNAwalker-PT-08ringLL 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 mcc4mcc-full"
echo " Input is DNAwalker-PT-08ringLL, 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 r070-smll-152649743100277"
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 ;