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

About the Execution of M4M.full for DLCround-PT-06b

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15919.130 1601986.00 1499597.00 6155.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 980K
-rw-r--r-- 1 mcc users 3.3K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.9K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.5K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.7K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K 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 106 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 344 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.7K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 4 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 813K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool mcc4mcc-full
Input is DLCround-PT-06b, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r070-smll-152649742800053
=====================================================================


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

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

The expected result is a vector of booleans
BOOL_VECTOR

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

=== Now, execution of the tool begins

BK_START 1526660558495


BK_STOP 1526662160481

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

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

Time: 3600 - MCC
----- Start make prepare stdout -----
----- Start make prepare stderr -----
===========================================================================================
DLCround-PT-06b: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete


checking for too many tokens
===========================================================================================
DLCround-PT-06b: translating PT formula CTLFireability into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
----- Start make result stderr -----
CTLFireability @ DLCround-PT-06b @ 3540 seconds
Makefile:222: recipe for target 'verify' failed
----- Start make result stdout -----
make: [verify] Error 134 (ignored)
----- Start make result stderr -----
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: 5796/65536 symbol table entries, 557 collisions
lola: preprocessing...
lola: finding significant places
lola: 2340 places, 3456 transitions, 2231 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 4716 transition conflict sets
lola: TASK
lola: reading formula from DLCround-PT-06b-CTLFireability.task
lola: E (G (A (X ((NOT FIREABLE(t2173) OR (FIREABLE(t2376) AND FIREABLE(t2011))))))) : (E (((NOT FIREABLE(t269) OR (FIREABLE(t453) AND FIREABLE(t2879))) U FIREABLE(t1504))) OR (A (((FIREABLE(t2254) OR FIREABLE(t249)) U (FIREABLE(t1367) OR FIREABLE(t2474)))) OR FIREABLE(t195))) : NOT(A (F ((FIREABLE(t1180) OR FIREABLE(t1672))))) : E (F (E (X ((FIREABLE(t1070) OR FIREABLE(t2625) OR (FIREABLE(t401) AND FIREABLE(t2678))))))) : NOT(((((NOT FIREABLE(t267) AND NOT FIREABLE(t1886)) OR (NOT FIREABLE(t1382) AND NOT FIREABLE(t938))) OR A (F ((FIREABLE(t3251) OR FIREABLE(t1289))))) AND E (F (FIREABLE(t192))))) : ((E (F (E (F (FIREABLE(t2288))))) AND E (F ((FIREABLE(t1040) AND FIREABLE(t742) AND FIREABLE(t831))))) AND A (F ((A (X (FIREABLE(t452))) AND FIREABLE(t978))))) : E ((E (X (NOT FIREABLE(t2970))) U E (X (FIREABLE(t3439))))) : (((A ((FIREABLE(t932) U FIREABLE(t3070))) OR ((FIREABLE(t2374) OR FIREABLE(t302)) OR E (G (FIREABLE(t1935))))) AND A ((FIREABLE(t2053) U FIREABLE(t1184)))) OR E (F (FIREABLE(t2680)))) : A (F ((((FIREABLE(t880) OR FIREABLE(t2725)) AND ((FIREABLE(t2815) AND FIREABLE(t1561)) OR NOT FIREABLE(t825))) AND E (G (FIREABLE(t737)))))) : A (F (NOT(A (G (NOT FIREABLE(t1262)))))) : (A (F (FIREABLE(t746))) OR E (X ((((FIREABLE(t1609) AND FIREABLE(t2916)) OR FIREABLE(t1917)) AND A (X (FIREABLE(t1526))))))) : ((A (F (FIREABLE(t2481))) AND ((A (F (FIREABLE(t710))) OR FIREABLE(t3004)) OR (A (F (FIREABLE(t1622))) OR A (G (FIREABLE(t2118)))))) OR E ((FIREABLE(t941) U FIREABLE(t2454)))) : NOT((A (F (A (F (FIREABLE(t2815))))) OR (A (G (NOT FIREABLE(t2148))) OR FIREABLE(t3385)))) : A (G (A (X (NOT FIREABLE(t1064))))) : (NOT FIREABLE(t3223) AND A (((NOT FIREABLE(t830) OR NOT FIREABLE(t2315)) U (FIREABLE(t41) AND NOT FIREABLE(t2597))))) : E (G (E (F (E (X (FIREABLE(t2406)))))))
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (G (A (X ((NOT FIREABLE(t2173) OR (FIREABLE(t2376) AND FIREABLE(t2011)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: NOT(A(TRUE U NOT(AX((NOT FIREABLE(t2173) OR (FIREABLE(t2376) AND FIREABLE(t2011)))))))
lola: processed formula length: 87
lola: 2 rewrites
lola: formula mentions 0 of 2340 places; total mentions: 0
lola: closed formula file DLCround-PT-06b-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 280 bytes per marking, with 9 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: 593 markings, 593 edges
lola: ========================================
lola: subprocess 1 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: (E (((NOT FIREABLE(t269) OR (FIREABLE(t453) AND FIREABLE(t2879))) U FIREABLE(t1504))) OR (A (((FIREABLE(t2254) OR FIREABLE(t249)) U (FIREABLE(t1367) OR FIREABLE(t2474)))) OR FIREABLE(t195)))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 1 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (((NOT FIREABLE(t269) OR (FIREABLE(t453) AND FIREABLE(t2879))) U FIREABLE(t1504)))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: E((NOT FIREABLE(t269) OR (FIREABLE(t453) AND FIREABLE(t2879))) U FIREABLE(t1504))
lola: processed formula length: 82
lola: 1 rewrites
lola: formula mentions 0 of 2340 places; total mentions: 0
lola: closed formula file DLCround-PT-06b-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 280 bytes per marking, with 9 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 6077 markings, 6823 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: subprocess 2 will run for 252 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: NOT(A (F ((FIREABLE(t1180) OR FIREABLE(t1672)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: NOT(A(TRUE U (FIREABLE(t1180) OR FIREABLE(t1672))))
lola: processed formula length: 52
lola: 5 rewrites
lola: formula mentions 0 of 2340 places; total mentions: 0
lola: closed formula file DLCround-PT-06b-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 280 bytes per marking, with 9 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 548 markings, 548 edges
lola: ========================================
lola: subprocess 3 will run for 272 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (E (X ((FIREABLE(t1070) OR FIREABLE(t2625) OR (FIREABLE(t401) AND FIREABLE(t2678)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: E(TRUE U EX((FIREABLE(t1070) OR FIREABLE(t2625) OR (FIREABLE(t401) AND FIREABLE(t2678)))))
lola: processed formula length: 92
lola: 2 rewrites
lola: formula mentions 0 of 2340 places; total mentions: 0
lola: closed formula file DLCround-PT-06b-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 280 bytes per marking, with 9 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: 206530 markings, 236931 edges, 3689348869717491712 markings/sec, 0 secs
lola: 438026 markings, 504985 edges, 46299 markings/sec, 5 secs
lola: 662220 markings, 762907 edges, 44839 markings/sec, 10 secs
lola: 881770 markings, 1014140 edges, 43910 markings/sec, 15 secs
lola: 1100788 markings, 1262882 edges, 43804 markings/sec, 20 secs
lola: 1302080 markings, 1494238 edges, 40258 markings/sec, 25 secs
lola: 1517511 markings, 1741246 edges, 43086 markings/sec, 30 secs
lola: 1728265 markings, 1981796 edges, 42151 markings/sec, 35 secs
lola: 1944950 markings, 2229437 edges, 43337 markings/sec, 40 secs
lola: 2160224 markings, 2478615 edges, 43055 markings/sec, 45 secs
lola: 2375808 markings, 2721636 edges, 43117 markings/sec, 50 secs
lola: 2589612 markings, 2967670 edges, 42761 markings/sec, 55 secs
lola: 2808463 markings, 3219005 edges, 43770 markings/sec, 60 secs
lola: 3030605 markings, 3470077 edges, 44428 markings/sec, 65 secs
lola: 3249836 markings, 3722059 edges, 43846 markings/sec, 70 secs
lola: 3459248 markings, 3961806 edges, 41882 markings/sec, 75 secs
lola: 3674574 markings, 4215972 edges, 43065 markings/sec, 80 secs
lola: 3903193 markings, 4482884 edges, 45724 markings/sec, 85 secs
lola: 4132718 markings, 4750910 edges, 45905 markings/sec, 90 secs
lola: 4357161 markings, 5012077 edges, 44889 markings/sec, 95 secs
lola: 4582888 markings, 5274668 edges, 45145 markings/sec, 100 secs
lola: 4779658 markings, 5501078 edges, 39354 markings/sec, 105 secs
lola: 5000409 markings, 5751888 edges, 44150 markings/sec, 110 secs
lola: 5219682 markings, 6003389 edges, 43855 markings/sec, 115 secs
lola: 5434144 markings, 6248908 edges, 42892 markings/sec, 120 secs
lola: 5637591 markings, 6481137 edges, 40689 markings/sec, 125 secs
lola: 5831124 markings, 6703335 edges, 38707 markings/sec, 130 secs
lola: 6046815 markings, 6951410 edges, 43138 markings/sec, 135 secs
lola: 6266664 markings, 7200800 edges, 43970 markings/sec, 140 secs
lola: 6479703 markings, 7450993 edges, 42608 markings/sec, 145 secs
lola: 6711661 markings, 7722486 edges, 46392 markings/sec, 150 secs
lola: 6943261 markings, 7987699 edges, 46320 markings/sec, 155 secs
lola: 7169186 markings, 8251542 edges, 45185 markings/sec, 160 secs
lola: 7400781 markings, 8515466 edges, 46319 markings/sec, 165 secs
lola: 7628172 markings, 8776035 edges, 45478 markings/sec, 170 secs
lola: 7849169 markings, 9027640 edges, 44199 markings/sec, 175 secs
lola: 8074359 markings, 9283492 edges, 45038 markings/sec, 180 secs
lola: 8294931 markings, 9541907 edges, 44114 markings/sec, 185 secs
lola: 8515940 markings, 9796440 edges, 44202 markings/sec, 190 secs
lola: 8711594 markings, 10022903 edges, 39131 markings/sec, 195 secs
lola: 8937401 markings, 10286485 edges, 45161 markings/sec, 200 secs
lola: 9168279 markings, 10549111 edges, 46176 markings/sec, 205 secs
lola: 9388959 markings, 10810105 edges, 44136 markings/sec, 210 secs
lola: 9613062 markings, 11066419 edges, 44821 markings/sec, 215 secs
lola: 9833308 markings, 11320784 edges, 44049 markings/sec, 220 secs
lola: 10051703 markings, 11566861 edges, 43679 markings/sec, 225 secs
lola: 10265063 markings, 11813266 edges, 42672 markings/sec, 230 secs
lola: 10472558 markings, 12049934 edges, 41499 markings/sec, 235 secs
lola: 10668105 markings, 12273513 edges, 39109 markings/sec, 240 secs
lola: 10887580 markings, 12528001 edges, 43895 markings/sec, 245 secs
lola: 11102050 markings, 12773203 edges, 42894 markings/sec, 250 secs
lola: 11314132 markings, 13015544 edges, 42416 markings/sec, 255 secs
lola: 11545592 markings, 13285275 edges, 46292 markings/sec, 260 secs
lola: 11774794 markings, 13547002 edges, 45840 markings/sec, 265 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 272 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: NOT(((((NOT FIREABLE(t267) AND NOT FIREABLE(t1886)) OR (NOT FIREABLE(t1382) AND NOT FIREABLE(t938))) OR A (F ((FIREABLE(t3251) OR FIREABLE(t1289))))) AND E (F (FIREABLE(t192)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 4 will run for 272 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: ((FIREABLE(t267) OR FIREABLE(t1886)) AND (FIREABLE(t1382) OR FIREABLE(t938)))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((FIREABLE(t267) OR FIREABLE(t1886)) AND (FIREABLE(t1382) OR FIREABLE(t938)))
lola: processed formula length: 79
lola: 9 rewrites
lola: formula mentions 0 of 2340 places; total mentions: 0
lola: closed formula file DLCround-PT-06b-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 5 will run for 297 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G (NOT FIREABLE(t192)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 280 bytes per marking, with 9 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 22 markings, 21 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 5 will run for 297 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: ((E (F (E (F (FIREABLE(t2288))))) AND E (F ((FIREABLE(t1040) AND FIREABLE(t742) AND FIREABLE(t831))))) AND A (F ((A (X (FIREABLE(t452))) AND FIREABLE(t978)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 5 will run for 297 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t2288)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 280 bytes per marking, with 9 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 86 markings, 85 edges
lola: ========================================
lola: subprocess 6 will run for 326 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t1040) AND FIREABLE(t742) AND FIREABLE(t831))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 280 bytes per marking, with 9 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 113 markings, 112 edges
lola: ========================================
lola: subprocess 7 will run for 363 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (F ((A (X (FIREABLE(t452))) AND FIREABLE(t978))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: A(TRUE U (AX(FIREABLE(t452)) AND FIREABLE(t978)))
lola: processed formula length: 49
lola: 4 rewrites
lola: formula mentions 0 of 2340 places; total mentions: 0
lola: closed formula file DLCround-PT-06b-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 280 bytes per marking, with 9 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: 593 markings, 593 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 6 will run for 326 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E ((E (X (NOT FIREABLE(t2970))) U E (X (FIREABLE(t3439)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: E(EX(NOT FIREABLE(t2970)) U EX(FIREABLE(t3439)))
lola: processed formula length: 48
lola: 3 rewrites
lola: formula mentions 0 of 2340 places; total mentions: 0
lola: closed formula file DLCround-PT-06b-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 280 bytes per marking, with 9 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: 650 markings, 655 edges
lola: ========================================
lola: subprocess 7 will run for 363 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: (((A ((FIREABLE(t932) U FIREABLE(t3070))) OR ((FIREABLE(t2374) OR FIREABLE(t302)) OR E (G (FIREABLE(t1935))))) AND A ((FIREABLE(t2053) U FIREABLE(t1184)))) OR E (F (FIREABLE(t2680))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 7 will run for 363 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A ((FIREABLE(t932) U FIREABLE(t3070)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a B\xfcchi-Automaton
lola: processed formula: A ((FIREABLE(t932) U FIREABLE(t3070)))
lola: processed formula: A ((FIREABLE(t932) U FIREABLE(t3070)))
lola: processed formula length: 38
lola: 0 rewrites
lola: formula mentions 0 of 2340 places; total mentions: 0
lola: closed formula file DLCround-PT-06b-CTLFireability.task
lola: the resulting B\xfcchi automaton has 2 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 280 bytes per marking, with 7 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: 599 markings, 599 edges
lola: ========================================
lola: subprocess 8 will run for 408 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: (FIREABLE(t2374) OR FIREABLE(t302))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (FIREABLE(t2374) OR FIREABLE(t302))
lola: processed formula length: 36
lola: 0 rewrites
lola: formula mentions 0 of 2340 places; total mentions: 0
lola: closed formula file DLCround-PT-06b-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 9 will run for 466 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (G (FIREABLE(t1935)))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: NOT(A(TRUE U NOT FIREABLE(t1935)))
lola: processed formula length: 34
lola: 2 rewrites
lola: formula mentions 0 of 2340 places; total mentions: 0
lola: closed formula file DLCround-PT-06b-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 280 bytes per marking, with 9 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 10 will run for 544 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t2680)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 280 bytes per marking, with 9 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 108 markings, 107 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: subprocess 8 will run for 408 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (F ((((FIREABLE(t880) OR FIREABLE(t2725)) AND ((FIREABLE(t2815) AND FIREABLE(t1561)) OR NOT FIREABLE(t825))) AND E (G (FIREABLE(t737))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: A(TRUE U (((FIREABLE(t880) OR FIREABLE(t2725)) AND ((FIREABLE(t2815) AND FIREABLE(t1561)) OR NOT FIREABLE(t825))) AND NOT(A(TRUE U NOT FIREABLE(t737)))))
lola: processed formula length: 155
lola: 3 rewrites
lola: formula mentions 0 of 2340 places; total mentions: 0
lola: closed formula file DLCround-PT-06b-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 280 bytes per marking, with 9 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 547 markings, 547 edges
lola: ========================================
lola: subprocess 9 will run for 466 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (F (NOT(A (G (NOT FIREABLE(t1262))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: A(TRUE U E(TRUE U FIREABLE(t1262)))
lola: processed formula length: 35
lola: 5 rewrites
lola: formula mentions 0 of 2340 places; total mentions: 0
lola: closed formula file DLCround-PT-06b-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 280 bytes per marking, with 9 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: 480151 markings, 559466 edges, 3689329903141912576 markings/sec, 0 secs
lola: 953704 markings, 1110384 edges, 94711 markings/sec, 5 secs
lola: 1411450 markings, 1644090 edges, 91549 markings/sec, 10 secs
lola: 1886714 markings, 2200697 edges, 95053 markings/sec, 15 secs
lola: 2365701 markings, 2761844 edges, 95797 markings/sec, 20 secs
lola: 2842177 markings, 3317459 edges, 95295 markings/sec, 25 secs
lola: 3280058 markings, 3829986 edges, 87576 markings/sec, 30 secs
lola: 3773048 markings, 4405519 edges, 98598 markings/sec, 35 secs
lola: 4247182 markings, 4959876 edges, 94827 markings/sec, 40 secs
lola: 4711703 markings, 5505750 edges, 92904 markings/sec, 45 secs
lola: 5179030 markings, 6052959 edges, 93465 markings/sec, 50 secs
lola: 5644836 markings, 6598347 edges, 93161 markings/sec, 55 secs
lola: 6100822 markings, 7133506 edges, 91197 markings/sec, 60 secs
lola: 6545979 markings, 7653486 edges, 89031 markings/sec, 65 secs
lola: 6998380 markings, 8183202 edges, 90480 markings/sec, 70 secs
lola: 7447094 markings, 8704671 edges, 89743 markings/sec, 75 secs
lola: 7905346 markings, 9242833 edges, 91650 markings/sec, 80 secs
lola: 8336216 markings, 9749642 edges, 86174 markings/sec, 85 secs
lola: 8800130 markings, 10289071 edges, 92783 markings/sec, 90 secs
lola: 9236130 markings, 10798907 edges, 87200 markings/sec, 95 secs
lola: 9700283 markings, 11342801 edges, 92831 markings/sec, 100 secs
lola: 10150476 markings, 11868578 edges, 90039 markings/sec, 105 secs
lola: 10593614 markings, 12388229 edges, 88628 markings/sec, 110 secs
lola: 11046114 markings, 12917969 edges, 90500 markings/sec, 115 secs
lola: 11487700 markings, 13436983 edges, 88317 markings/sec, 120 secs
lola: 11922990 markings, 13948309 edges, 87058 markings/sec, 125 secs
lola: 12344046 markings, 14440534 edges, 84211 markings/sec, 130 secs
lola: 12785180 markings, 14953288 edges, 88227 markings/sec, 135 secs
lola: 13215383 markings, 15460361 edges, 86041 markings/sec, 140 secs
lola: 13666415 markings, 15990973 edges, 90206 markings/sec, 145 secs
lola: 14109343 markings, 16510128 edges, 88586 markings/sec, 150 secs
lola: 14551423 markings, 17030264 edges, 88416 markings/sec, 155 secs
lola: 14993051 markings, 17550821 edges, 88326 markings/sec, 160 secs
lola: 15441040 markings, 18077115 edges, 89598 markings/sec, 165 secs
lola: 15880893 markings, 18598375 edges, 87971 markings/sec, 170 secs
lola: 16320946 markings, 19117454 edges, 88011 markings/sec, 175 secs
lola: 16782791 markings, 19655760 edges, 92369 markings/sec, 180 secs
lola: 17236206 markings, 20191642 edges, 90683 markings/sec, 185 secs
lola: 17680352 markings, 20720705 edges, 88829 markings/sec, 190 secs
lola: 18123463 markings, 21247017 edges, 88622 markings/sec, 195 secs
lola: 18558953 markings, 21764034 edges, 87098 markings/sec, 200 secs
lola: 19002987 markings, 22287865 edges, 88807 markings/sec, 205 secs
lola: 19456209 markings, 22818792 edges, 90644 markings/sec, 210 secs
lola: 19895362 markings, 23334255 edges, 87831 markings/sec, 215 secs
lola: 20337139 markings, 23853975 edges, 88355 markings/sec, 220 secs
lola: 20800303 markings, 24395837 edges, 92633 markings/sec, 225 secs
lola: 21215154 markings, 24882971 edges, 82970 markings/sec, 230 secs
lola: 21653875 markings, 25399596 edges, 87744 markings/sec, 235 secs
lola: 22101649 markings, 25925892 edges, 89555 markings/sec, 240 secs
lola: 22553134 markings, 26459407 edges, 90297 markings/sec, 245 secs
lola: 22992026 markings, 26978388 edges, 87778 markings/sec, 250 secs
lola: 23425776 markings, 27493113 edges, 86750 markings/sec, 255 secs
lola: 23860614 markings, 28010470 edges, 86968 markings/sec, 260 secs
lola: 24219829 markings, 28438719 edges, 71843 markings/sec, 265 secs
lola: 24633114 markings, 28927087 edges, 82657 markings/sec, 270 secs
lola: 25063295 markings, 29429493 edges, 86036 markings/sec, 275 secs
lola: 25484547 markings, 29930714 edges, 84250 markings/sec, 280 secs
lola: 25920909 markings, 30446312 edges, 87272 markings/sec, 285 secs
lola: 26354497 markings, 30957218 edges, 86718 markings/sec, 290 secs
lola: 26802019 markings, 31481544 edges, 89504 markings/sec, 295 secs
lola: 27227317 markings, 31989367 edges, 85060 markings/sec, 300 secs
lola: 27669862 markings, 32510024 edges, 88509 markings/sec, 305 secs
lola: 28097003 markings, 33021331 edges, 85428 markings/sec, 310 secs
lola: 28491460 markings, 33489563 edges, 78891 markings/sec, 315 secs
lola: 28919061 markings, 33996562 edges, 85520 markings/sec, 320 secs
lola: 29334361 markings, 34493124 edges, 83060 markings/sec, 325 secs
lola: 29750031 markings, 34989306 edges, 83134 markings/sec, 330 secs
lola: 30188405 markings, 35505825 edges, 87675 markings/sec, 335 secs
lola: 30632600 markings, 36029675 edges, 88839 markings/sec, 340 secs
lola: 31063950 markings, 36540221 edges, 86270 markings/sec, 345 secs
lola: 31477561 markings, 37029218 edges, 82722 markings/sec, 350 secs
lola: 31909275 markings, 37540220 edges, 86343 markings/sec, 355 secs
lola: 32329761 markings, 38036665 edges, 84097 markings/sec, 360 secs
lola: 32744560 markings, 38525024 edges, 82960 markings/sec, 365 secs
lola: 33163070 markings, 39020262 edges, 83702 markings/sec, 370 secs
lola: 33577922 markings, 39511534 edges, 82970 markings/sec, 375 secs
lola: 34012710 markings, 40023698 edges, 86958 markings/sec, 380 secs
lola: 34425474 markings, 40517811 edges, 82553 markings/sec, 385 secs
lola: 34852144 markings, 41030615 edges, 85334 markings/sec, 390 secs
lola: 35272767 markings, 41534691 edges, 84125 markings/sec, 395 secs
lola: 35688324 markings, 42028234 edges, 83111 markings/sec, 400 secs
lola: 36115285 markings, 42538920 edges, 85392 markings/sec, 405 secs
lola: 36548980 markings, 43049344 edges, 86739 markings/sec, 410 secs
lola: 36984711 markings, 43559764 edges, 87146 markings/sec, 415 secs
lola: 37412717 markings, 44061586 edges, 85601 markings/sec, 420 secs
lola: 37857907 markings, 44591078 edges, 89038 markings/sec, 425 secs
lola: 38282769 markings, 45095217 edges, 84972 markings/sec, 430 secs
lola: 38699341 markings, 45590648 edges, 83314 markings/sec, 435 secs
lola: 39115714 markings, 46083999 edges, 83275 markings/sec, 440 secs
lola: 39545840 markings, 46597631 edges, 86025 markings/sec, 445 secs
lola: 39977001 markings, 47116404 edges, 86232 markings/sec, 450 secs
lola: 40405245 markings, 47625785 edges, 85649 markings/sec, 455 secs
lola: 40833808 markings, 48140878 edges, 85713 markings/sec, 460 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 466 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: (A (F (FIREABLE(t746))) OR E (X ((((FIREABLE(t1609) AND FIREABLE(t2916)) OR FIREABLE(t1917)) AND A (X (FIREABLE(t1526)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 10 will run for 466 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (F (FIREABLE(t746)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a B\xfcchi-Automaton
lola: processed formula: A (F (FIREABLE(t746)))
lola: processed formula: A (F (FIREABLE(t746)))
lola: processed formula length: 22
lola: 0 rewrites
lola: formula mentions 0 of 2340 places; total mentions: 0
lola: closed formula file DLCround-PT-06b-CTLFireability.task
lola: the resulting B\xfcchi automaton has 1 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 280 bytes per marking, with 8 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: 618 markings, 618 edges
lola: ========================================
lola: subprocess 11 will run for 560 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (X ((((FIREABLE(t1609) AND FIREABLE(t2916)) OR FIREABLE(t1917)) AND A (X (FIREABLE(t1526))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: EX((((FIREABLE(t1609) AND FIREABLE(t2916)) OR FIREABLE(t1917)) AND AX(FIREABLE(t1526))))
lola: processed formula length: 89
lola: 2 rewrites
lola: formula mentions 0 of 2340 places; total mentions: 0
lola: closed formula file DLCround-PT-06b-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 280 bytes per marking, with 9 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 0 significant temporal operators and needs 0 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: 0 markings, 0 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 11 will run for 560 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: ((A (F (FIREABLE(t2481))) AND ((A (F (FIREABLE(t710))) OR FIREABLE(t3004)) OR (A (F (FIREABLE(t1622))) OR A (G (FIREABLE(t2118)))))) OR E ((FIREABLE(t941) U FIREABLE(t2454))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 11 will run for 560 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (F (FIREABLE(t2481)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a B\xfcchi-Automaton
lola: processed formula: A (F (FIREABLE(t2481)))
lola: processed formula: A (F (FIREABLE(t2481)))
lola: processed formula length: 23
lola: 1 rewrites
lola: formula mentions 0 of 2340 places; total mentions: 0
lola: closed formula file DLCround-PT-06b-CTLFireability.task
lola: the resulting B\xfcchi automaton has 1 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 280 bytes per marking, with 8 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: 617 markings, 617 edges
lola: ========================================
lola: subprocess 12 will run for 700 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E ((FIREABLE(t941) U FIREABLE(t2454)))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: E(FIREABLE(t941) U FIREABLE(t2454))
lola: processed formula length: 35
lola: 2 rewrites
lola: formula mentions 0 of 2340 places; total mentions: 0
lola: closed formula file DLCround-PT-06b-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 280 bytes per marking, with 9 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: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 12 will run for 700 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: NOT((A (F (A (F (FIREABLE(t2815))))) OR (A (G (NOT FIREABLE(t2148))) OR FIREABLE(t3385))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 12 will run for 700 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (G (NOT FIREABLE(t2815)))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: NOT(A(TRUE U FIREABLE(t2815)))
lola: processed formula length: 30
lola: 12 rewrites
lola: formula mentions 0 of 2340 places; total mentions: 0
lola: closed formula file DLCround-PT-06b-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 280 bytes per marking, with 9 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 548 markings, 548 edges
lola: ========================================
lola: subprocess 13 will run for 933 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t2148)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 280 bytes per marking, with 9 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 161 markings, 160 edges
lola: ========================================
lola: subprocess 14 will run for 1400 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: NOT FIREABLE(t3385)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: NOT FIREABLE(t3385)
lola: processed formula length: 19
lola: 10 rewrites
lola: formula mentions 0 of 2340 places; total mentions: 0
lola: closed formula file DLCround-PT-06b-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: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: subprocess 13 will run for 933 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G (A (X (NOT FIREABLE(t1064)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: NOT(E(TRUE U NOT(AX(NOT FIREABLE(t1064)))))
lola: processed formula length: 43
lola: 2 rewrites
lola: formula mentions 0 of 2340 places; total mentions: 0
lola: closed formula file DLCround-PT-06b-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 280 bytes per marking, with 9 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: 233555 markings, 266162 edges, 3689329903141912576 markings/sec, 0 secs
lola: 450102 markings, 517990 edges, 43309 markings/sec, 5 secs
lola: 676392 markings, 779399 edges, 45258 markings/sec, 10 secs
lola: 899460 markings, 1033438 edges, 44614 markings/sec, 15 secs
lola: 1118194 markings, 1283249 edges, 43747 markings/sec, 20 secs
lola: 1335138 markings, 1532343 edges, 43389 markings/sec, 25 secs
lola: 1546426 markings, 1773522 edges, 42258 markings/sec, 30 secs
lola: 1746686 markings, 2001741 edges, 40052 markings/sec, 35 secs
lola: 1962232 markings, 2249772 edges, 43109 markings/sec, 40 secs
lola: 2173826 markings, 2494263 edges, 42319 markings/sec, 45 secs
lola: 2386957 markings, 2733719 edges, 42626 markings/sec, 50 secs
lola: 2598580 markings, 2977391 edges, 42325 markings/sec, 55 secs
lola: 2817051 markings, 3229913 edges, 43694 markings/sec, 60 secs
lola: 3034927 markings, 3475038 edges, 43575 markings/sec, 65 secs
lola: 3251381 markings, 3723705 edges, 43291 markings/sec, 70 secs
lola: 3460933 markings, 3963600 edges, 41910 markings/sec, 75 secs
lola: 3673975 markings, 4215332 edges, 42608 markings/sec, 80 secs
lola: 3903246 markings, 4482941 edges, 45854 markings/sec, 85 secs
lola: 4132368 markings, 4750034 edges, 45824 markings/sec, 90 secs
lola: 4359971 markings, 5015843 edges, 45521 markings/sec, 95 secs
lola: 4590954 markings, 5283936 edges, 46197 markings/sec, 100 secs
lola: 4817036 markings, 5544516 edges, 45216 markings/sec, 105 secs
lola: 5037291 markings, 5795815 edges, 44051 markings/sec, 110 secs
lola: 5257988 markings, 6047713 edges, 44139 markings/sec, 115 secs
lola: 5474737 markings, 6294893 edges, 43350 markings/sec, 120 secs
lola: 5680855 markings, 6531433 edges, 41224 markings/sec, 125 secs
----- Kill lola and sara stderr -----
lola: 5900023 markings, 6783963 edges, 43834 markings/sec, 130 secs
lola: 6109521 markings, 7021692 edges, 41900 markings/sec, 135 secs
lola: 6323438 markings, 7268585 edges, 42783 markings/sec, 140 secs
lola: 6540925 markings, 7521547 edges, 43497 markings/sec, 145 secs
lola: 6768991 markings, 7785010 edges, 45613 markings/sec, 150 secs
lola: 6992253 markings, 8043824 edges, 44652 markings/sec, 155 secs
lola: 7211912 markings, 8300116 edges, 43932 markings/sec, 160 secs
lola: 7438014 markings, 8557800 edges, 45220 markings/sec, 165 secs
lola: 7661404 markings, 8813079 edges, 44678 markings/sec, 170 secs
lola: 7874501 markings, 9056589 edges, 42619 markings/sec, 175 secs
lola: 8095059 markings, 9308576 edges, 44112 markings/sec, 180 secs
lola: 8311403 markings, 9559794 edges, 43269 markings/sec, 185 secs
lola: 8536222 markings, 9818827 edges, 44964 markings/sec, 190 secs
lola: 8763526 markings, 10085432 edges, 45461 markings/sec, 195 secs
lola: 8996615 markings, 10353206 edges, 46618 markings/sec, 200 secs
lola: 9226479 markings, 10616745 edges, 45973 markings/sec, 205 secs
lola: 9453814 markings, 10883998 edges, 45467 markings/sec, 210 secs
lola: 9687457 markings, 11154175 edges, 46729 markings/sec, 215 secs
lola: 9916267 markings, 11413445 edges, 45762 markings/sec, 220 secs
lola: 10141950 markings, 11672047 edges, 45137 markings/sec, 225 secs
lola: 10361538 markings, 11923766 edges, 43918 markings/sec, 230 secs
lola: 10572792 markings, 12163850 edges, 42251 markings/sec, 235 secs
lola: 10795008 markings, 12421300 edges, 44443 markings/sec, 240 secs
lola: 11014679 markings, 12671925 edges, 43934 markings/sec, 245 secs
lola: 11237360 markings, 12926032 edges, 44536 markings/sec, 250 secs
lola: 11468429 markings, 13195507 edges, 46214 markings/sec, 255 secs
lola: 11702076 markings, 13462692 edges, 46729 markings/sec, 260 secs
lola: 11926846 markings, 13726069 edges, 44954 markings/sec, 265 secs
lola: 12154760 markings, 13992180 edges, 45583 markings/sec, 270 secs
lola: 12379168 markings, 14249603 edges, 44882 markings/sec, 275 secs
lola: 12599451 markings, 14498712 edges, 44057 markings/sec, 280 secs
lola: 12814932 markings, 14751310 edges, 43096 markings/sec, 285 secs
lola: 13033571 markings, 14999526 edges, 43728 markings/sec, 290 secs
lola: 13252997 markings, 15248581 edges, 43885 markings/sec, 295 secs
lola: 13468489 markings, 15498491 edges, 43098 markings/sec, 300 secs
lola: 13683779 markings, 15740480 edges, 43058 markings/sec, 305 secs
lola: 13887812 markings, 15975688 edges, 40807 markings/sec, 310 secs
lola: 14106065 markings, 16227984 edges, 43651 markings/sec, 315 secs
lola: 14313438 markings, 16463921 edges, 41475 markings/sec, 320 secs
lola: 14522608 markings, 16700855 edges, 41834 markings/sec, 325 secs
lola: 14733170 markings, 16941753 edges, 42112 markings/sec, 330 secs
lola: 14941219 markings, 17184629 edges, 41610 markings/sec, 335 secs
lola: 15149633 markings, 17425796 edges, 41683 markings/sec, 340 secs
lola: 15356518 markings, 17661966 edges, 41377 markings/sec, 345 secs
lola: 15565648 markings, 17905322 edges, 41826 markings/sec, 350 secs
lola: 15772782 markings, 18159434 edges, 41427 markings/sec, 355 secs
lola: 15997609 markings, 18422008 edges, 44965 markings/sec, 360 secs
lola: 16220745 markings, 18685193 edges, 44627 markings/sec, 365 secs
lola: 16448212 markings, 18946222 edges, 45493 markings/sec, 370 secs
lola: 16671062 markings, 19200131 edges, 44570 markings/sec, 375 secs
lola: 16890777 markings, 19452094 edges, 43943 markings/sec, 380 secs
lola: 17106089 markings, 19698503 edges, 43062 markings/sec, 385 secs
lola: 17313225 markings, 19934963 edges, 41427 markings/sec, 390 secs
lola: 17527717 markings, 20181796 edges, 42898 markings/sec, 395 secs
lola: 17746392 markings, 20433444 edges, 43735 markings/sec, 400 secs
lola: 17959634 markings, 20681197 edges, 42648 markings/sec, 405 secs
lola: 18172223 markings, 20928242 edges, 42518 markings/sec, 410 secs
lola: 18387980 markings, 21173221 edges, 43151 markings/sec, 415 secs
lola: 18605227 markings, 21421185 edges, 43449 markings/sec, 420 secs
lola: 18822041 markings, 21668755 edges, 43363 markings/sec, 425 secs
lola: 19035690 markings, 21912651 edges, 42730 markings/sec, 430 secs
lola: 19241898 markings, 22148650 edges, 41242 markings/sec, 435 secs
lola: 19459908 markings, 22400153 edges, 43602 markings/sec, 440 secs
lola: 19674485 markings, 22647188 edges, 42915 markings/sec, 445 secs
lola: 19891380 markings, 22890530 edges, 43379 markings/sec, 450 secs
lola: 20107759 markings, 23138876 edges, 43276 markings/sec, 455 secs
lola: 20323892 markings, 23381241 edges, 43227 markings/sec, 460 secs
lola: 20528933 markings, 23619653 edges, 41008 markings/sec, 465 secs
lola: 20740687 markings, 23860993 edges, 42351 markings/sec, 470 secs
lola: 20949655 markings, 24096461 edges, 41794 markings/sec, 475 secs
lola: 21154981 markings, 24333855 edges, 41065 markings/sec, 480 secs
lola: 21354865 markings, 24561184 edges, 39977 markings/sec, 485 secs
lola: 21563322 markings, 24799682 edges, 41691 markings/sec, 490 secs
lola: 21766964 markings, 25038881 edges, 40728 markings/sec, 495 secs
lola: 21967963 markings, 25272669 edges, 40200 markings/sec, 500 secs
lola: 22172994 markings, 25515054 edges, 41006 markings/sec, 505 secs
lola: 22399441 markings, 25779164 edges, 45289 markings/sec, 510 secs
lola: 22626601 markings, 26039827 edges, 45432 markings/sec, 515 secs
lola: 22848435 markings, 26301386 edges, 44367 markings/sec, 520 secs
lola: 23072803 markings, 26559294 edges, 44874 markings/sec, 525 secs
lola: 23293337 markings, 26813960 edges, 44107 markings/sec, 530 secs
lola: 23514723 markings, 27062311 edges, 44277 markings/sec, 535 secs
lola: 23730608 markings, 27311827 edges, 43177 markings/sec, 540 secs
lola: 23940859 markings, 27552098 edges, 42050 markings/sec, 545 secs
lola: 24149822 markings, 27790119 edges, 41793 markings/sec, 550 secs
lola: 24367226 markings, 28041651 edges, 43481 markings/sec, 555 secs
lola: 24580211 markings, 28284648 edges, 42597 markings/sec, 560 secs
lola: 24792248 markings, 28531344 edges, 42407 markings/sec, 565 secs
lola: 25022068 markings, 28795397 edges, 45964 markings/sec, 570 secs
lola: 25245634 markings, 29052027 edges, 44713 markings/sec, 575 secs
lola: 25463825 markings, 29310069 edges, 43638 markings/sec, 580 secs
lola: 25683305 markings, 29561774 edges, 43896 markings/sec, 585 secs
lola: 25905699 markings, 29817722 edges, 44479 markings/sec, 590 secs
lola: 26122224 markings, 30064899 edges, 43305 markings/sec, 595 secs
lola: 26332146 markings, 30309125 edges, 41984 markings/sec, 600 secs
lola: 26543836 markings, 30549508 edges, 42338 markings/sec, 605 secs
lola: 26757401 markings, 30790323 edges, 42713 markings/sec, 610 secs
lola: 26966481 markings, 31031395 edges, 41816 markings/sec, 615 secs
lola: 27170470 markings, 31263534 edges, 40798 markings/sec, 620 secs
lola: 27369961 markings, 31492844 edges, 39898 markings/sec, 625 secs
lola: 27579500 markings, 31735728 edges, 41908 markings/sec, 630 secs
lola: 27781950 markings, 31966914 edges, 40490 markings/sec, 635 secs
lola: 27986785 markings, 32197210 edges, 40967 markings/sec, 640 secs
lola: 28191195 markings, 32432183 edges, 40882 markings/sec, 645 secs
lola: 28397170 markings, 32672089 edges, 41195 markings/sec, 650 secs
lola: 28603648 markings, 32912547 edges, 41296 markings/sec, 655 secs
lola: 28810775 markings, 33147499 edges, 41425 markings/sec, 660 secs
lola: 29020653 markings, 33391787 edges, 41976 markings/sec, 665 secs
lola: 29225273 markings, 33643111 edges, 40924 markings/sec, 670 secs
lola: 29431825 markings, 33883681 edges, 41310 markings/sec, 675 secs
lola: 29641403 markings, 34123500 edges, 41916 markings/sec, 680 secs
lola: 29853548 markings, 34364515 edges, 42429 markings/sec, 685 secs
lola: 30064032 markings, 34606316 edges, 42097 markings/sec, 690 secs
lola: 30273372 markings, 34844333 edges, 41868 markings/sec, 695 secs
lola: 30472883 markings, 35073661 edges, 39902 markings/sec, 700 secs
lola: 30684006 markings, 35317084 edges, 42225 markings/sec, 705 secs
lola: 30890800 markings, 35554305 edges, 41359 markings/sec, 710 secs
lola: 31100310 markings, 35789742 edges, 41902 markings/sec, 715 secs
lola: 31306984 markings, 36027162 edges, 41335 markings/sec, 720 secs
lola: 31524852 markings, 36278951 edges, 43574 markings/sec, 725 secs
lola: 31600897 markings, 36368535 edges, 15209 markings/sec, 730 secs
lola: 31602840 markings, 36372072 edges, 389 markings/sec, 735 secs
lola: 31603162 markings, 36372413 edges, 64 markings/sec, 740 secs
lola: 31603215 markings, 36372469 edges, 11 markings/sec, 745 secs
lola: 31604407 markings, 36373750 edges, 238 markings/sec, 750 secs
lola: 31604421 markings, 36373764 edges, 3 markings/sec, 755 secs
lola: 31604440 markings, 36373786 edges, 4 markings/sec, 760 secs
lola: 31604454 markings, 36373801 edges, 3 markings/sec, 765 secs
lola: 31604469 markings, 36373815 edges, 3 markings/sec, 770 secs
lola: 31604483 markings, 36373831 edges, 3 markings/sec, 775 secs
lola: 31604496 markings, 36373844 edges, 3 markings/sec, 780 secs
lola: 31604512 markings, 36373861 edges, 3 markings/sec, 785 secs
lola: 31604523 markings, 36373873 edges, 2 markings/sec, 790 secs
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 DLCround-PT-06b-CTLFireability-0 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-06b-CTLFireability-1 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-06b-CTLFireability-2 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-06b-CTLFireability-3 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-06b-CTLFireability-4 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-06b-CTLFireability-5 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-06b-CTLFireability-6 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-06b-CTLFireability-7 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-06b-CTLFireability-8 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-06b-CTLFireability-9 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-06b-CTLFireability-10 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-06b-CTLFireability-11 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-06b-CTLFireability-12 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-06b-CTLFireability-13 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-06b-CTLFireability-14 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-06b-CTLFireability-15 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
----- Kill lola and sara stdout -----
----- 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="DLCround-PT-06b"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="mcc4mcc-full"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool mcc4mcc-full"
echo " Input is DLCround-PT-06b, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r070-smll-152649742800053"
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 ;