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

About the Execution of M4M.struct for DNAwalker-PT-10ringRL

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
4222.530 906211.00 909885.00 3025.60 ???????????????? 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 280K
-rw-r--r-- 1 mcc users 3.5K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 20K 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.2K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 8.7K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 11K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 112 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 350 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 3.2K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 20K 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-structural
Input is DNAwalker-PT-10ringRL, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r071-smll-152649744100291
=====================================================================


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

=== Now, execution of the tool begins

BK_START 1526752180797


BK_STOP 1526753087008

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

Prefix is 75f5f979.
Reading known information in /usr/share/mcc4mcc/75f5f979-known.json.
Reading learned information in /usr/share/mcc4mcc/75f5f979-learned.json.
Reading value translations in /usr/share/mcc4mcc/75f5f979-values.json.
Using directory /home/mcc/execution for input, as it contains a model.pnml file.
Using DNAwalker-PT-10ringRL as instance name.
Using DNAwalker as model name.
Using algorithm or tool bmdt.
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}.
Known tools are: [{'Time': 14723, 'Memory': 7643.93, 'Tool': 'marcie'}, {'Time': 16690, 'Memory': 7643.93, 'Tool': 'marcie'}, {'Time': 19856, 'Memory': 661.02, 'Tool': 'itstools'}, {'Time': 20066, 'Memory': 655.62, 'Tool': 'itstools'}, {'Time': 1185984, 'Memory': 3140.01, 'Tool': 'lola'}, {'Time': 1193866, 'Memory': 3141.13, 'Tool': 'lola'}].
Learned tools are: [{'Tool': 'lola'}].
Learned tool lola is 80.5531481355702x far from the best tool marcie.
CTLFireability lola DNAwalker-PT-10ringRL...
----- Start make prepare stderr -----

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


checking for too many tokens
===========================================================================================
DNAwalker-PT-10ringRL: translating PT formula CTLFireability into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stderr -----
----- Start make result stdout -----
CTLFireability @ DNAwalker-PT-10ringRL @ 3540 seconds
make: [verify] Error 134 (ignored)
----- Start make result stderr -----
Makefile:222: recipe for target 'verify' failed
----- 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-10ringRL-CTLFireability.task
lola: ((FIREABLE(t13_10) OR E (X (A (F (FIREABLE(t16_13)))))) OR (A (((FIREABLE(t15_16) AND FIREABLE(t3_5)) U (FIREABLE(t5_2) AND FIREABLE(t13_1)))) OR ((FIREABLE(t14_15) OR (FIREABLE(t20_4) AND FIREABLE(t13_16)) OR FIREABLE(t13_11) OR NOT FIREABLE(t20_18)) AND NOT(E (X (FIREABLE(t18_2))))))) : NOT(A (F ((A (X (FIREABLE(t9_10))) AND ((FIREABLE(t15_19) OR FIREABLE(t19_1)) AND NOT FIREABLE(t1_21)))))) : E (F (E (F (A (G (FIREABLE(t2_12))))))) : E (G ((((FIREABLE(t2_9) AND FIREABLE(tAb5)) AND A (G (FIREABLE(t10_6)))) OR ((NOT FIREABLE(t12_11) AND NOT FIREABLE(t6_3)) OR NOT FIREABLE(t2_1))))) : E (F (A (G ((NOT FIREABLE(t21_17) AND NOT FIREABLE(t2_9)))))) : A (X (NOT(E (F ((FIREABLE(tAb5) AND FIREABLE(t2_1))))))) : (((E (G ((FIREABLE(t8_10) OR FIREABLE(t13_8)))) OR A (F ((FIREABLE(t12_2) OR FIREABLE(t18_2))))) AND E (G ((FIREABLE(t2_7) OR FIREABLE(t8_1) OR NOT FIREABLE(t10_6))))) AND FIREABLE(tAb12)) : A (F (NOT(E (F ((FIREABLE(t4_21) OR FIREABLE(t15_14))))))) : (E (G (A (X (NOT FIREABLE(t6_4))))) AND ((E (G (NOT FIREABLE(t21_13))) OR (A (X (FIREABLE(t2_4))) OR E (G (FIREABLE(t1_19))))) OR FIREABLE(t3_19))) : A (G (NOT((E (X (FIREABLE(t2_6))) AND (FIREABLE(t3_20) AND (FIREABLE(t1_10) OR FIREABLE(t12_18))))))) : (E ((A (G (FIREABLE(t10_2))) U A (F (FIREABLE(t1_13))))) AND FIREABLE(tb13)) : A (((NOT FIREABLE(t1_5) AND NOT FIREABLE(t18_3) AND FIREABLE(t16_19) AND FIREABLE(t8_13) AND (FIREABLE(t19_13) OR FIREABLE(t5_1))) U E (F ((FIREABLE(t1_21) AND FIREABLE(t18_15)))))) : A (F ((A (F ((FIREABLE(t3_8) AND FIREABLE(t20_18)))) AND NOT FIREABLE(t13_20)))) : E (X ((NOT(A (F (FIREABLE(t14_8)))) AND NOT(A (F (FIREABLE(t15_10))))))) : (E (G (((NOT FIREABLE(t6_1) AND NOT FIREABLE(t20_18)) OR FIREABLE(t8_11)))) AND (NOT(A (G ((FIREABLE(t12_1) AND FIREABLE(t2_4))))) OR NOT(E (G ((FIREABLE(t1_3) AND FIREABLE(t12_8))))))) : ((FIREABLE(t13_17) AND (A (X ((FIREABLE(t4_3) AND FIREABLE(tAb15)))) OR NOT(A (G (FIREABLE(t21_2)))))) OR A (F (((FIREABLE(t8_12) AND FIREABLE(t1_17) AND (FIREABLE(t3_21) OR FIREABLE(t6_2))) AND A (G (FIREABLE(t2_1)))))))
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(t13_10) OR E (X (A (F (FIREABLE(t16_13)))))) OR (A (((FIREABLE(t15_16) AND FIREABLE(t3_5)) U (FIREABLE(t5_2) AND FIREABLE(t13_1)))) OR ((FIREABLE(t14_15) OR (FIREABLE(t20_4) AND FIREABLE(t13_16)) OR FIREABLE(t13_11) OR NOT FIREABLE(t20_18)) AND NOT(E (X (FIREABLE(t18_2)))))))
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(t13_10)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(t13_10)
lola: processed formula length: 16
lola: 4 rewrites
lola: formula mentions 0 of 27 places; total mentions: 0
lola: closed formula file DNAwalker-PT-10ringRL-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: E (X (A (F (FIREABLE(t16_13)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: EX(A(TRUE U FIREABLE(t16_13)))
lola: processed formula length: 30
lola: 6 rewrites
lola: formula mentions 0 of 27 places; total mentions: 0
lola: closed formula file DNAwalker-PT-10ringRL-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: 329 markings, 354 edges
lola: ========================================
lola: subprocess 2 will run for 252 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (((FIREABLE(t15_16) AND FIREABLE(t3_5)) U (FIREABLE(t5_2) AND FIREABLE(t13_1))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a B\xfcchi-Automaton
lola: processed formula: A (((FIREABLE(t15_16) AND FIREABLE(t3_5)) U (FIREABLE(t5_2) AND FIREABLE(t13_1))))
lola: processed formula: A (((FIREABLE(t15_16) AND FIREABLE(t3_5)) U (FIREABLE(t5_2) AND FIREABLE(t13_1))))
lola: processed formula length: 82
lola: 4 rewrites
lola: formula mentions 0 of 27 places; total mentions: 0
lola: closed formula file DNAwalker-PT-10ringRL-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: 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: 19 markings, 19 edges
lola: ========================================
lola: subprocess 3 will run for 272 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: (FIREABLE(t14_15) OR (FIREABLE(t20_4) AND FIREABLE(t13_16)) OR FIREABLE(t13_11) OR NOT FIREABLE(t20_18))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (FIREABLE(t14_15) OR (FIREABLE(t20_4) AND FIREABLE(t13_16)) OR FIREABLE(t13_11) OR NOT FIREABLE(t20_18))
lola: processed formula length: 107
lola: 4 rewrites
lola: formula mentions 0 of 27 places; total mentions: 0
lola: closed formula file DNAwalker-PT-10ringRL-CTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 4 will run for 295 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (X (NOT FIREABLE(t18_2)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a B\xfcchi-Automaton
lola: processed formula: A (X (NOT FIREABLE(t18_2)))
lola: processed formula: A (X (NOT FIREABLE(t18_2)))
lola: processed formula length: 27
lola: 4 rewrites
lola: formula mentions 0 of 27 places; total mentions: 0
lola: closed formula file DNAwalker-PT-10ringRL-CTLFireability.task
lola: the resulting B\xfcchi automaton has 3 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: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 16 markings, 16 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: NOT(A (F ((A (X (FIREABLE(t9_10))) AND ((FIREABLE(t15_19) OR FIREABLE(t19_1)) AND NOT FIREABLE(t1_21))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: NOT(A(TRUE U (NOT(EX(NOT FIREABLE(t9_10))) AND ((FIREABLE(t15_19) OR FIREABLE(t19_1)) AND NOT FIREABLE(t1_21)))))
lola: processed formula length: 114
lola: 11 rewrites
lola: formula mentions 0 of 27 places; total mentions: 0
lola: closed formula file DNAwalker-PT-10ringRL-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: 19 markings, 19 edges
lola: ========================================
lola: subprocess 2 will run for 252 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (E (F (A (G (FIREABLE(t2_12)))))))
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_12))))
lola: processed formula length: 44
lola: 4 rewrites
lola: formula mentions 0 of 27 places; total mentions: 0
lola: closed formula file DNAwalker-PT-10ringRL-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: 667306 markings, 5044007 edges, 3689329903141912576 markings/sec, 0 secs
lola: 1265451 markings, 9987800 edges, 119629 markings/sec, 5 secs
lola: 1818067 markings, 14654674 edges, 110523 markings/sec, 10 secs
lola: 2296408 markings, 19303114 edges, 95668 markings/sec, 15 secs
lola: 2764330 markings, 23985963 edges, 93584 markings/sec, 20 secs
lola: 3342728 markings, 28688063 edges, 115680 markings/sec, 25 secs
lola: 3849605 markings, 33195360 edges, 101375 markings/sec, 30 secs
lola: 4316396 markings, 37769126 edges, 93358 markings/sec, 35 secs
lola: 4795133 markings, 42099631 edges, 95747 markings/sec, 40 secs
lola: 5216172 markings, 46135908 edges, 84208 markings/sec, 45 secs
lola: 5664311 markings, 50555382 edges, 89628 markings/sec, 50 secs
lola: 6256226 markings, 55325159 edges, 118383 markings/sec, 55 secs
lola: 6811543 markings, 60030288 edges, 111063 markings/sec, 60 secs
lola: 7296658 markings, 64676052 edges, 97023 markings/sec, 65 secs
lola: 7785212 markings, 68961510 edges, 97711 markings/sec, 70 secs
lola: 8249426 markings, 73156787 edges, 92843 markings/sec, 75 secs
lola: 8634423 markings, 76968079 edges, 76999 markings/sec, 80 secs
lola: 9075170 markings, 81102705 edges, 88149 markings/sec, 85 secs
lola: 9585925 markings, 85559119 edges, 102151 markings/sec, 90 secs
lola: 10044000 markings, 89741958 edges, 91615 markings/sec, 95 secs
lola: 10445697 markings, 93509154 edges, 80339 markings/sec, 100 secs
lola: 10876302 markings, 97566576 edges, 86121 markings/sec, 105 secs
lola: 11306925 markings, 101654893 edges, 86125 markings/sec, 110 secs
lola: 11678805 markings, 105258482 edges, 74376 markings/sec, 115 secs
lola: 12004010 markings, 108898352 edges, 65041 markings/sec, 120 secs
lola: 12325710 markings, 112569596 edges, 64340 markings/sec, 125 secs
lola: 12771422 markings, 116481772 edges, 89142 markings/sec, 130 secs
lola: 13248886 markings, 120397270 edges, 95493 markings/sec, 135 secs
lola: 13643000 markings, 124088362 edges, 78823 markings/sec, 140 secs
lola: 14062052 markings, 127945659 edges, 83810 markings/sec, 145 secs
lola: 14466419 markings, 131684729 edges, 80873 markings/sec, 150 secs
lola: 14886997 markings, 135397028 edges, 84116 markings/sec, 155 secs
lola: 15252749 markings, 138815899 edges, 73150 markings/sec, 160 secs
lola: 15629135 markings, 142276368 edges, 75277 markings/sec, 165 secs
lola: 16035230 markings, 145930299 edges, 81219 markings/sec, 170 secs
lola: 16456893 markings, 149613429 edges, 84333 markings/sec, 175 secs
lola: 16817408 markings, 152923373 edges, 72103 markings/sec, 180 secs
lola: 17193986 markings, 156292715 edges, 75316 markings/sec, 185 secs
lola: 17515914 markings, 159560085 edges, 64386 markings/sec, 190 secs
lola: 17858527 markings, 162869624 edges, 68523 markings/sec, 195 secs
lola: 18186796 markings, 166046919 edges, 65654 markings/sec, 200 secs
lola: 18472779 markings, 169197098 edges, 57197 markings/sec, 205 secs
lola: 18749746 markings, 172374534 edges, 55393 markings/sec, 210 secs
lola: 19064293 markings, 175661567 edges, 62909 markings/sec, 215 secs
lola: 19508259 markings, 179222059 edges, 88793 markings/sec, 220 secs
lola: 19874829 markings, 182626124 edges, 73314 markings/sec, 225 secs
lola: 20264605 markings, 186068480 edges, 77955 markings/sec, 230 secs
lola: 20622241 markings, 189446159 edges, 71527 markings/sec, 235 secs
lola: 21001842 markings, 192820165 edges, 75920 markings/sec, 240 secs
lola: 21343034 markings, 196108283 edges, 68238 markings/sec, 245 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 252 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (G ((((FIREABLE(t2_9) AND FIREABLE(tAb5)) AND A (G (FIREABLE(t10_6)))) OR ((NOT FIREABLE(t12_11) AND NOT FIREABLE(t6_3)) OR NOT FIREABLE(t2_1)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: NOT(A(TRUE U (((NOT FIREABLE(t2_9) OR NOT FIREABLE(tAb5)) OR E(TRUE U NOT FIREABLE(t10_6))) AND ((FIREABLE(t12_11) OR FIREABLE(t6_3)) AND FIREABLE(t2_1)))))
lola: processed formula length: 158
lola: 8 rewrites
lola: formula mentions 0 of 27 places; total mentions: 0
lola: closed formula file DNAwalker-PT-10ringRL-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: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 19 markings, 19 edges
lola: ========================================
lola: subprocess 4 will run for 274 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (A (G ((NOT FIREABLE(t21_17) AND NOT 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 (FIREABLE(t21_17) OR FIREABLE(t2_9)))))
lola: processed formula length: 62
lola: 3 rewrites
lola: formula mentions 0 of 27 places; total mentions: 0
lola: closed formula file DNAwalker-PT-10ringRL-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: 680097 markings, 4451233 edges, 3689329903141912576 markings/sec, 0 secs
lola: 1323900 markings, 9167274 edges, 128761 markings/sec, 5 secs
lola: 1924565 markings, 13613510 edges, 120133 markings/sec, 10 secs
lola: 2435422 markings, 18119595 edges, 102171 markings/sec, 15 secs
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 2697886 markings, 20820728 edges
lola: ========================================
lola: subprocess 5 will run for 296 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (X (NOT(E (F ((FIREABLE(tAb5) AND FIREABLE(t2_1)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a B\xfcchi-Automaton
lola: processed formula: A (X (A (G ((NOT FIREABLE(tAb5) OR NOT FIREABLE(t2_1))))))
lola: processed formula: A (X (A (G ((NOT FIREABLE(tAb5) OR NOT FIREABLE(t2_1))))))
lola: processed formula length: 59
lola: 3 rewrites
lola: formula mentions 0 of 27 places; total mentions: 0
lola: closed formula file DNAwalker-PT-10ringRL-CTLFireability.task
lola: the resulting B\xfcchi automaton has 3 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: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 728539 markings, 4816901 edges, 145708 markings/sec, 0 secs
lola: 1360772 markings, 9489490 edges, 126447 markings/sec, 5 secs
lola: 1952327 markings, 13852487 edges, 118311 markings/sec, 10 secs
lola: 2436540 markings, 18129591 edges, 96843 markings/sec, 15 secs
lola: 2978026 markings, 22570827 edges, 108297 markings/sec, 20 secs
lola: 3586211 markings, 27066117 edges, 121637 markings/sec, 25 secs
lola: 4059847 markings, 31237417 edges, 94727 markings/sec, 30 secs
lola: 4563078 markings, 35241111 edges, 100646 markings/sec, 35 secs
lola: 4990929 markings, 39029658 edges, 85570 markings/sec, 40 secs
lola: 5448039 markings, 42784939 edges, 91422 markings/sec, 45 secs
lola: 5960164 markings, 46843518 edges, 102425 markings/sec, 50 secs
lola: 6546938 markings, 51048979 edges, 117355 markings/sec, 55 secs
lola: 7030631 markings, 55059929 edges, 96739 markings/sec, 60 secs
lola: 7542424 markings, 59066531 edges, 102359 markings/sec, 65 secs
lola: 7981192 markings, 62525408 edges, 87754 markings/sec, 70 secs
lola: 8399910 markings, 66002333 edges, 83744 markings/sec, 75 secs
lola: 8744525 markings, 69276768 edges, 68923 markings/sec, 80 secs
lola: 9267884 markings, 73271761 edges, 104672 markings/sec, 85 secs
lola: 9772320 markings, 77343397 edges, 100887 markings/sec, 90 secs
lola: 10196542 markings, 80843887 edges, 84844 markings/sec, 95 secs
lola: 10647216 markings, 84430772 edges, 90135 markings/sec, 100 secs
lola: 11053826 markings, 87929114 edges, 81322 markings/sec, 105 secs
lola: 11454101 markings, 91344511 edges, 80055 markings/sec, 110 secs
lola: 11791060 markings, 94478112 edges, 67392 markings/sec, 115 secs
lola: 12103001 markings, 97625466 edges, 62388 markings/sec, 120 secs
lola: 12389017 markings, 100787240 edges, 57203 markings/sec, 125 secs
lola: 12883051 markings, 104360189 edges, 98807 markings/sec, 130 secs
lola: 13373814 markings, 107887623 edges, 98153 markings/sec, 135 secs
lola: 13748893 markings, 111236999 edges, 75016 markings/sec, 140 secs
lola: 14215387 markings, 114942036 edges, 93299 markings/sec, 145 secs
lola: 14659318 markings, 118423806 edges, 88786 markings/sec, 150 secs
lola: 15044840 markings, 121541017 edges, 77104 markings/sec, 155 secs
lola: 15361622 markings, 124377879 edges, 63356 markings/sec, 160 secs
lola: 15798376 markings, 127583511 edges, 87351 markings/sec, 165 secs
lola: 16209033 markings, 130838105 edges, 82131 markings/sec, 170 secs
lola: 16617437 markings, 134108740 edges, 81681 markings/sec, 175 secs
lola: 16930541 markings, 136892579 edges, 62621 markings/sec, 180 secs
lola: 17315092 markings, 139879252 edges, 76910 markings/sec, 185 secs
lola: 17643101 markings, 142757681 edges, 65602 markings/sec, 190 secs
lola: 17970325 markings, 145607622 edges, 65445 markings/sec, 195 secs
lola: 18270138 markings, 148363541 edges, 59963 markings/sec, 200 secs
lola: 18537054 markings, 151128570 edges, 53383 markings/sec, 205 secs
lola: 18804689 markings, 153934503 edges, 53527 markings/sec, 210 secs
lola: 19156070 markings, 156908600 edges, 70276 markings/sec, 215 secs
lola: 19594179 markings, 160030838 edges, 87622 markings/sec, 220 secs
lola: 19938141 markings, 163028836 edges, 68792 markings/sec, 225 secs
lola: 20341821 markings, 166084611 edges, 80736 markings/sec, 230 secs
lola: 20682924 markings, 169084404 edges, 68221 markings/sec, 235 secs
lola: 21070576 markings, 172030821 edges, 77530 markings/sec, 240 secs
lola: 21390769 markings, 174851439 edges, 64039 markings/sec, 245 secs
lola: 21688477 markings, 177693996 edges, 59542 markings/sec, 250 secs
lola: 21973278 markings, 180518342 edges, 56960 markings/sec, 255 secs
lola: 22239249 markings, 183356826 edges, 53194 markings/sec, 260 secs
lola: 22546199 markings, 186229965 edges, 61390 markings/sec, 265 secs
lola: 22898617 markings, 189057522 edges, 70484 markings/sec, 270 secs
lola: 23171223 markings, 191724527 edges, 54521 markings/sec, 275 secs
lola: 23522265 markings, 194549176 edges, 70208 markings/sec, 280 secs
lola: 23826302 markings, 197214582 edges, 60807 markings/sec, 285 secs
lola: 24091303 markings, 199867889 edges, 53000 markings/sec, 290 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 296 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: (((E (G ((FIREABLE(t8_10) OR FIREABLE(t13_8)))) OR A (F ((FIREABLE(t12_2) OR FIREABLE(t18_2))))) AND E (G ((FIREABLE(t2_7) OR FIREABLE(t8_1) OR NOT FIREABLE(t10_6))))) AND FIREABLE(tAb12))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 6 will run for 296 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (G ((FIREABLE(t8_10) OR FIREABLE(t13_8))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: NOT(A(TRUE U (NOT FIREABLE(t8_10) AND NOT FIREABLE(t13_8))))
lola: processed formula length: 60
lola: 3 rewrites
lola: formula mentions 0 of 27 places; total mentions: 0
lola: closed formula file DNAwalker-PT-10ringRL-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 7 will run for 329 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (F ((FIREABLE(t12_2) OR FIREABLE(t18_2))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a B\xfcchi-Automaton
lola: processed formula: A (F ((FIREABLE(t12_2) OR FIREABLE(t18_2))))
lola: processed formula: A (F ((FIREABLE(t12_2) OR FIREABLE(t18_2))))
lola: processed formula length: 45
lola: 1 rewrites
lola: formula mentions 0 of 27 places; total mentions: 0
lola: closed formula file DNAwalker-PT-10ringRL-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: 13 markings, 13 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 7 will run for 329 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (F (NOT(E (F ((FIREABLE(t4_21) OR FIREABLE(t15_14)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a B\xfcchi-Automaton
lola: processed formula: A (F (A (G ((NOT FIREABLE(t4_21) AND NOT FIREABLE(t15_14))))))
lola: processed formula: A (F (A (G ((NOT FIREABLE(t4_21) AND NOT FIREABLE(t15_14))))))
lola: processed formula length: 62
lola: 3 rewrites
lola: formula mentions 0 of 27 places; total mentions: 0
lola: closed formula file DNAwalker-PT-10ringRL-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: 150571 markings, 789850 edges, 30114 markings/sec, 0 secs
lola: 330060 markings, 1866171 edges, 35898 markings/sec, 5 secs
lola: 486638 markings, 2930825 edges, 31316 markings/sec, 10 secs
lola: 640492 markings, 3894740 edges, 30771 markings/sec, 15 secs
lola: 786107 markings, 4880154 edges, 29123 markings/sec, 20 secs
lola: 925814 markings, 5859089 edges, 27941 markings/sec, 25 secs
lola: 1093800 markings, 6819052 edges, 33597 markings/sec, 30 secs
lola: 1273118 markings, 7990906 edges, 35864 markings/sec, 35 secs
lola: 1431228 markings, 9084935 edges, 31622 markings/sec, 40 secs
lola: 1603794 markings, 10161375 edges, 34513 markings/sec, 45 secs
lola: 1755261 markings, 11144136 edges, 30293 markings/sec, 50 secs
lola: 1914107 markings, 12284323 edges, 31769 markings/sec, 55 secs
lola: 2062676 markings, 13396491 edges, 29714 markings/sec, 60 secs
lola: 2247610 markings, 14543056 edges, 36987 markings/sec, 65 secs
lola: 2415008 markings, 15694747 edges, 33480 markings/sec, 70 secs
lola: 2578970 markings, 16799079 edges, 32792 markings/sec, 75 secs
lola: 2750691 markings, 17885054 edges, 34344 markings/sec, 80 secs
lola: 2906291 markings, 18944074 edges, 31120 markings/sec, 85 secs
lola: 3048017 markings, 19907957 edges, 28345 markings/sec, 90 secs
lola: 3188218 markings, 21039541 edges, 28040 markings/sec, 95 secs
lola: 3329229 markings, 22072662 edges, 28202 markings/sec, 100 secs
lola: 3474445 markings, 22996438 edges, 29043 markings/sec, 105 secs
lola: 3640598 markings, 24046368 edges, 33231 markings/sec, 110 secs
lola: 3793806 markings, 25248755 edges, 30642 markings/sec, 115 secs
lola: 3935567 markings, 26445372 edges, 28352 markings/sec, 120 secs
lola: 4091196 markings, 27566308 edges, 31126 markings/sec, 125 secs
lola: 4219217 markings, 28510539 edges, 25604 markings/sec, 130 secs
lola: 4360038 markings, 29506194 edges, 28164 markings/sec, 135 secs
lola: 4499762 markings, 30702109 edges, 27945 markings/sec, 140 secs
lola: 4632147 markings, 31823014 edges, 26477 markings/sec, 145 secs
lola: 4777044 markings, 33007820 edges, 28979 markings/sec, 150 secs
lola: 4924714 markings, 34233700 edges, 29534 markings/sec, 155 secs
lola: 5071687 markings, 35033925 edges, 29395 markings/sec, 160 secs
lola: 5249259 markings, 36104672 edges, 35514 markings/sec, 165 secs
lola: 5410579 markings, 37319624 edges, 32264 markings/sec, 170 secs
lola: 5561304 markings, 38215074 edges, 30145 markings/sec, 175 secs
lola: 5715341 markings, 39344424 edges, 30807 markings/sec, 180 secs
lola: 5849359 markings, 40293235 edges, 26804 markings/sec, 185 secs
lola: 5981289 markings, 41302169 edges, 26386 markings/sec, 190 secs
lola: 6161438 markings, 42348797 edges, 36030 markings/sec, 195 secs
lola: 6337234 markings, 43570560 edges, 35159 markings/sec, 200 secs
lola: 6492935 markings, 44680844 edges, 31140 markings/sec, 205 secs
lola: 6659617 markings, 45860362 edges, 33336 markings/sec, 210 secs
lola: 6824891 markings, 47005311 edges, 33055 markings/sec, 215 secs
lola: 6968359 markings, 48035422 edges, 28694 markings/sec, 220 secs
lola: 7126307 markings, 49324364 edges, 31590 markings/sec, 225 secs
lola: 7263396 markings, 50370271 edges, 27418 markings/sec, 230 secs
lola: 7443064 markings, 51540168 edges, 35934 markings/sec, 235 secs
lola: 7605645 markings, 52739363 edges, 32516 markings/sec, 240 secs
lola: 7759735 markings, 53815776 edges, 30818 markings/sec, 245 secs
lola: 7921587 markings, 54925020 edges, 32370 markings/sec, 250 secs
lola: 8081461 markings, 56077533 edges, 31975 markings/sec, 255 secs
lola: 8223063 markings, 57095024 edges, 28320 markings/sec, 260 secs
lola: 8364512 markings, 58162513 edges, 28290 markings/sec, 265 secs
lola: 8502470 markings, 59370992 edges, 27592 markings/sec, 270 secs
lola: 8640869 markings, 60491430 edges, 27680 markings/sec, 275 secs
lola: 8766899 markings, 61386854 edges, 25206 markings/sec, 280 secs
lola: 8937619 markings, 62475237 edges, 34144 markings/sec, 285 secs
lola: 9086362 markings, 63656178 edges, 29749 markings/sec, 290 secs
lola: 9226503 markings, 64883714 edges, 28028 markings/sec, 295 secs
lola: 9359253 markings, 66128191 edges, 26550 markings/sec, 300 secs
lola: 9505200 markings, 67291778 edges, 29189 markings/sec, 305 secs
lola: 9637322 markings, 68315178 edges, 26424 markings/sec, 310 secs
lola: 9762680 markings, 69291745 edges, 25072 markings/sec, 315 secs
lola: 9907401 markings, 70502675 edges, 28944 markings/sec, 320 secs
lola: local time limit reached - aborting
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: '
'
Aborted (core dumped)
FORMULA DNAwalker-PT-10ringRL-CTLFireability-0 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-10ringRL-CTLFireability-1 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-10ringRL-CTLFireability-2 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-10ringRL-CTLFireability-3 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-10ringRL-CTLFireability-4 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-10ringRL-CTLFireability-5 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-10ringRL-CTLFireability-6 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-10ringRL-CTLFireability-7 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-10ringRL-CTLFireability-8 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-10ringRL-CTLFireability-9 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-10ringRL-CTLFireability-10 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-10ringRL-CTLFireability-11 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-10ringRL-CTLFireability-12 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-10ringRL-CTLFireability-13 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-10ringRL-CTLFireability-14 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-10ringRL-CTLFireability-15 CANNOT_COMPUTE 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-10ringRL"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="mcc4mcc-structural"
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-10ringRL.tgz
mv DNAwalker-PT-10ringRL 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-structural"
echo " Input is DNAwalker-PT-10ringRL, 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 r071-smll-152649744100291"
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 ;