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

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

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
6668.310 1562328.00 1569331.00 6255.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 1.9M
-rw-r--r-- 1 mcc users 3.7K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 12K 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.4K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 106 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 344 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.5K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K 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 1.7M May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool mcc4mcc-full
Input is DLCround-PT-11b, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r070-smll-152649742900123
=====================================================================


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

=== Now, execution of the tool begins

BK_START 1526692111656


BK_STOP 1526693673984

--------------------
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-11b 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': 2149085, 'Memory': 8418.74, 'Tool': 'lola'}].
Learned tools are: [{'Tool': 'lola'}].
Learned tool lola is 1.0x far from the best tool lola.
CTLFireability lola DLCround-PT-11b...

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


checking for too many tokens
===========================================================================================
DLCround-PT-11b: translating PT formula CTLFireability into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
----- Start make result stderr -----
CTLFireability @ DLCround-PT-11b @ 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: 11366/65536 symbol table entries, 3163 collisions
lola: preprocessing...
lola: finding significant places
lola: 4375 places, 6991 transitions, 4131 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 10066 transition conflict sets
lola: TASK
lola: reading formula from DLCround-PT-11b-CTLFireability.task
lola: A (F (FIREABLE(t4482))) : E ((NOT FIREABLE(t6224) U FIREABLE(t4850))) : (FIREABLE(t5336) OR A (F (FIREABLE(t4478)))) : A (G (NOT FIREABLE(t3167))) : A (F (E (X ((FIREABLE(t2444) AND FIREABLE(t6887)))))) : NOT(A (G (NOT FIREABLE(t1608)))) : E (F (FIREABLE(t541))) : (A (G (NOT FIREABLE(t4591))) AND E (X ((FIREABLE(t4061) OR E (F (FIREABLE(t2687))))))) : (E (F ((FIREABLE(t4080) OR FIREABLE(t5889)))) AND NOT(E (G (E (G (FIREABLE(t447))))))) : ((NOT FIREABLE(t5206) OR ((NOT FIREABLE(t1560) OR NOT FIREABLE(t1119) OR FIREABLE(t5066)) AND NOT FIREABLE(t2140))) AND E (F (E (X (FIREABLE(t5928)))))) : A ((E (X (NOT FIREABLE(t3319))) U E (X (FIREABLE(t5666))))) : (E ((NOT FIREABLE(t550) U A (G (FIREABLE(t2816))))) OR FIREABLE(t2794)) : E (G (E (F ((NOT FIREABLE(t2951) OR NOT FIREABLE(t2506)))))) : A (G (A ((NOT FIREABLE(t3846) U FIREABLE(t5975))))) : E (((NOT FIREABLE(t2937) OR NOT FIREABLE(t6808) OR FIREABLE(t539) OR FIREABLE(t1551) OR (FIREABLE(t433) AND FIREABLE(t1347))) U (FIREABLE(t5115) OR FIREABLE(t2769)))) : E (F (NOT(A (F (NOT FIREABLE(t5649))))))
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (F (FIREABLE(t4482)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a B\xfcchi-Automaton
lola: processed formula: A (F (FIREABLE(t4482)))
lola: processed formula: A (F (FIREABLE(t4482)))
lola: processed formula length: 23
lola: 0 rewrites
lola: formula mentions 0 of 4375 places; total mentions: 0
lola: closed formula file DLCround-PT-11b-CTLFireability.task
lola: the resulting B\xfcchi automaton has 1 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 520 bytes per marking, with 28 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: 1130 markings, 1130 edges
lola: ========================================
lola: subprocess 1 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E ((NOT FIREABLE(t6224) U FIREABLE(t4850)))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: E(NOT FIREABLE(t6224) U FIREABLE(t4850))
lola: processed formula length: 40
lola: 1 rewrites
lola: formula mentions 0 of 4375 places; total mentions: 0
lola: closed formula file DLCround-PT-11b-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 520 bytes per marking, with 29 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: 290156 markings, 327902 edges, 3689348869717491712 markings/sec, 0 secs
lola: 577833 markings, 653663 edges, 57535 markings/sec, 5 secs
lola: 865261 markings, 981505 edges, 57486 markings/sec, 10 secs
lola: 1147350 markings, 1307981 edges, 56418 markings/sec, 15 secs
lola: 1434052 markings, 1635415 edges, 57340 markings/sec, 20 secs
lola: 1725782 markings, 1966593 edges, 58346 markings/sec, 25 secs
lola: 2015292 markings, 2296489 edges, 57902 markings/sec, 30 secs
lola: 2303890 markings, 2625001 edges, 57720 markings/sec, 35 secs
lola: 2592215 markings, 2955169 edges, 57665 markings/sec, 40 secs
lola: 2876899 markings, 3281611 edges, 56937 markings/sec, 45 secs
lola: 3161780 markings, 3608511 edges, 56976 markings/sec, 50 secs
lola: 3450849 markings, 3938502 edges, 57814 markings/sec, 55 secs
lola: 3739358 markings, 4267826 edges, 57702 markings/sec, 60 secs
lola: 4030215 markings, 4598587 edges, 58171 markings/sec, 65 secs
lola: 4317991 markings, 4927394 edges, 57555 markings/sec, 70 secs
lola: 4608853 markings, 5257365 edges, 58172 markings/sec, 75 secs
lola: 4899471 markings, 5586612 edges, 58124 markings/sec, 80 secs
lola: 5192320 markings, 5918237 edges, 58570 markings/sec, 85 secs
lola: 5479800 markings, 6246005 edges, 57496 markings/sec, 90 secs
lola: 5766354 markings, 6571990 edges, 57311 markings/sec, 95 secs
lola: 6052667 markings, 6898031 edges, 57263 markings/sec, 100 secs
lola: 6339742 markings, 7225032 edges, 57415 markings/sec, 105 secs
lola: 6630763 markings, 7554676 edges, 58204 markings/sec, 110 secs
lola: 6916861 markings, 7880964 edges, 57220 markings/sec, 115 secs
lola: 7194040 markings, 8194792 edges, 55436 markings/sec, 120 secs
lola: 7486348 markings, 8526066 edges, 58462 markings/sec, 125 secs
lola: 7778107 markings, 8856822 edges, 58352 markings/sec, 130 secs
lola: 8068212 markings, 9187579 edges, 58021 markings/sec, 135 secs
lola: 8354713 markings, 9514652 edges, 57300 markings/sec, 140 secs
lola: 8639444 markings, 9840273 edges, 56946 markings/sec, 145 secs
lola: 8922561 markings, 10164250 edges, 56623 markings/sec, 150 secs
lola: 9209459 markings, 10491281 edges, 57380 markings/sec, 155 secs
lola: 9496863 markings, 10818120 edges, 57481 markings/sec, 160 secs
lola: 9782878 markings, 11142333 edges, 57203 markings/sec, 165 secs
lola: 10066635 markings, 11466369 edges, 56751 markings/sec, 170 secs
lola: 10349700 markings, 11790114 edges, 56613 markings/sec, 175 secs
lola: 10633057 markings, 12111734 edges, 56671 markings/sec, 180 secs
lola: 10919752 markings, 12436376 edges, 57339 markings/sec, 185 secs
lola: 11205389 markings, 12760721 edges, 57127 markings/sec, 190 secs
lola: 11495303 markings, 13089446 edges, 57983 markings/sec, 195 secs
lola: 11776136 markings, 13410275 edges, 56167 markings/sec, 200 secs
lola: 12057490 markings, 13733037 edges, 56271 markings/sec, 205 secs
lola: 12338659 markings, 14053566 edges, 56234 markings/sec, 210 secs
lola: 12623533 markings, 14376872 edges, 56975 markings/sec, 215 secs
lola: 12905554 markings, 14699219 edges, 56404 markings/sec, 220 secs
lola: 13188589 markings, 15021513 edges, 56607 markings/sec, 225 secs
lola: 13475045 markings, 15346035 edges, 57291 markings/sec, 230 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 235 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: (FIREABLE(t5336) OR A (F (FIREABLE(t4478))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 2 will run for 235 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: FIREABLE(t5336)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(t5336)
lola: processed formula length: 15
lola: 0 rewrites
lola: formula mentions 0 of 4375 places; total mentions: 0
lola: closed formula file DLCround-PT-11b-CTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 3 will run for 254 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (F (FIREABLE(t4478)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a B\xfcchi-Automaton
lola: processed formula: A (F (FIREABLE(t4478)))
lola: processed formula: A (F (FIREABLE(t4478)))
lola: processed formula length: 23
lola: 0 rewrites
lola: formula mentions 0 of 4375 places; total mentions: 0
lola: closed formula file DLCround-PT-11b-CTLFireability.task
lola: the resulting B\xfcchi automaton has 1 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 520 bytes per marking, with 28 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: 1130 markings, 1130 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 3 will run for 254 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G (NOT FIREABLE(t3167)))
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 520 bytes per marking, with 29 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: 26 markings, 25 edges
lola: ========================================
lola: subprocess 4 will run for 275 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (F (E (X ((FIREABLE(t2444) AND FIREABLE(t6887))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: A(TRUE U EX((FIREABLE(t2444) AND FIREABLE(t6887))))
lola: processed formula length: 51
lola: 2 rewrites
lola: formula mentions 0 of 4375 places; total mentions: 0
lola: closed formula file DLCround-PT-11b-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 520 bytes per marking, with 29 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: 1281 markings, 1281 edges
lola: ========================================
lola: subprocess 5 will run for 300 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: NOT(A (G (NOT FIREABLE(t1608))))
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 520 bytes per marking, with 29 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: 166 markings, 165 edges
lola: ========================================
lola: subprocess 6 will run for 330 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t541)))
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 520 bytes per marking, with 29 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: 56 markings, 55 edges
lola: ========================================
lola: subprocess 7 will run for 367 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: (A (G (NOT FIREABLE(t4591))) AND E (X ((FIREABLE(t4061) OR E (F (FIREABLE(t2687)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 7 will run for 367 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G (NOT FIREABLE(t4591)))
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 520 bytes per marking, with 29 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: 110 markings, 109 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 8 will run for 412 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: (E (F ((FIREABLE(t4080) OR FIREABLE(t5889)))) AND NOT(E (G (E (G (FIREABLE(t447)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 8 will run for 412 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t4080) OR FIREABLE(t5889))))
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 520 bytes per marking, with 29 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: 21137 markings, 25436 edges, 4227 markings/sec, 0 secs
lola: 42782 markings, 51745 edges, 4329 markings/sec, 5 secs
lola: 64909 markings, 79063 edges, 4425 markings/sec, 10 secs
lola: 86382 markings, 105992 edges, 4295 markings/sec, 15 secs
lola: 107810 markings, 132197 edges, 4286 markings/sec, 20 secs
lola: 129375 markings, 159520 edges, 4313 markings/sec, 25 secs
lola: 151160 markings, 186204 edges, 4357 markings/sec, 30 secs
lola: 172987 markings, 213268 edges, 4365 markings/sec, 35 secs
lola: 194095 markings, 239063 edges, 4222 markings/sec, 40 secs
lola: 215391 markings, 265590 edges, 4259 markings/sec, 45 secs
lola: 236611 markings, 291309 edges, 4244 markings/sec, 50 secs
lola: 257772 markings, 317528 edges, 4232 markings/sec, 55 secs
lola: 278843 markings, 343643 edges, 4214 markings/sec, 60 secs
lola: 299992 markings, 370797 edges, 4230 markings/sec, 65 secs
lola: 321280 markings, 397376 edges, 4258 markings/sec, 70 secs
lola: 342361 markings, 423448 edges, 4216 markings/sec, 75 secs
lola: 363478 markings, 449665 edges, 4223 markings/sec, 80 secs
lola: 384826 markings, 475378 edges, 4270 markings/sec, 85 secs
lola: 406351 markings, 501303 edges, 4305 markings/sec, 90 secs
lola: 428118 markings, 527904 edges, 4353 markings/sec, 95 secs
lola: 449604 markings, 553944 edges, 4297 markings/sec, 100 secs
lola: 471551 markings, 581145 edges, 4389 markings/sec, 105 secs
lola: 493491 markings, 607779 edges, 4388 markings/sec, 110 secs
lola: 515189 markings, 634072 edges, 4340 markings/sec, 115 secs
lola: 536854 markings, 660778 edges, 4333 markings/sec, 120 secs
lola: 559090 markings, 688279 edges, 4447 markings/sec, 125 secs
lola: 580865 markings, 715091 edges, 4355 markings/sec, 130 secs
lola: 602768 markings, 741438 edges, 4381 markings/sec, 135 secs
lola: 624185 markings, 767810 edges, 4283 markings/sec, 140 secs
lola: 645367 markings, 793809 edges, 4236 markings/sec, 145 secs
lola: 666714 markings, 819544 edges, 4269 markings/sec, 150 secs
lola: 688190 markings, 845642 edges, 4295 markings/sec, 155 secs
lola: 709788 markings, 872115 edges, 4320 markings/sec, 160 secs
lola: 731435 markings, 898437 edges, 4329 markings/sec, 165 secs
lola: 753105 markings, 924865 edges, 4334 markings/sec, 170 secs
lola: 774595 markings, 951141 edges, 4298 markings/sec, 175 secs
lola: 795985 markings, 977320 edges, 4278 markings/sec, 180 secs
lola: 817486 markings, 1003862 edges, 4300 markings/sec, 185 secs
lola: 838888 markings, 1029786 edges, 4280 markings/sec, 190 secs
lola: 860261 markings, 1056188 edges, 4275 markings/sec, 195 secs
lola: 881530 markings, 1082454 edges, 4254 markings/sec, 200 secs
lola: 903222 markings, 1109539 edges, 4338 markings/sec, 205 secs
lola: 924478 markings, 1135890 edges, 4251 markings/sec, 210 secs
lola: 946244 markings, 1162644 edges, 4353 markings/sec, 215 secs
lola: 967664 markings, 1188804 edges, 4284 markings/sec, 220 secs
lola: 988985 markings, 1214882 edges, 4264 markings/sec, 225 secs
lola: 1010431 markings, 1241285 edges, 4289 markings/sec, 230 secs
lola: 1031823 markings, 1267816 edges, 4278 markings/sec, 235 secs
lola: 1053600 markings, 1294659 edges, 4355 markings/sec, 240 secs
lola: 1075423 markings, 1321288 edges, 4365 markings/sec, 245 secs
lola: 1096756 markings, 1347730 edges, 4267 markings/sec, 250 secs
lola: 1118283 markings, 1374219 edges, 4305 markings/sec, 255 secs
lola: 1139594 markings, 1400387 edges, 4262 markings/sec, 260 secs
lola: 1160798 markings, 1426288 edges, 4241 markings/sec, 265 secs
lola: 1182163 markings, 1452883 edges, 4273 markings/sec, 270 secs
lola: 1203666 markings, 1479622 edges, 4301 markings/sec, 275 secs
lola: 1225143 markings, 1506043 edges, 4295 markings/sec, 280 secs
lola: 1246181 markings, 1531705 edges, 4208 markings/sec, 285 secs
lola: 1268071 markings, 1558761 edges, 4378 markings/sec, 290 secs
lola: 1290243 markings, 1586236 edges, 4434 markings/sec, 295 secs
lola: 1312368 markings, 1613262 edges, 4425 markings/sec, 300 secs
lola: 1334465 markings, 1640428 edges, 4419 markings/sec, 305 secs
lola: 1356530 markings, 1666862 edges, 4413 markings/sec, 310 secs
lola: 1378829 markings, 1693918 edges, 4460 markings/sec, 315 secs
lola: 1400943 markings, 1720519 edges, 4423 markings/sec, 320 secs
lola: 1422807 markings, 1747699 edges, 4373 markings/sec, 325 secs
lola: 1444362 markings, 1773947 edges, 4311 markings/sec, 330 secs
lola: 1466081 markings, 1800247 edges, 4344 markings/sec, 335 secs
lola: 1487600 markings, 1827782 edges, 4304 markings/sec, 340 secs
lola: 1509400 markings, 1855792 edges, 4360 markings/sec, 345 secs
lola: 1531021 markings, 1885300 edges, 4324 markings/sec, 350 secs
lola: 1552808 markings, 1912164 edges, 4357 markings/sec, 355 secs
lola: 1574202 markings, 1937746 edges, 4279 markings/sec, 360 secs
lola: 1595550 markings, 1963474 edges, 4270 markings/sec, 365 secs
lola: 1617038 markings, 1989538 edges, 4298 markings/sec, 370 secs
lola: 1638996 markings, 2016995 edges, 4392 markings/sec, 375 secs
lola: 1660760 markings, 2044001 edges, 4353 markings/sec, 380 secs
lola: 1682642 markings, 2070995 edges, 4376 markings/sec, 385 secs
lola: 1704672 markings, 2098235 edges, 4406 markings/sec, 390 secs
lola: 1726483 markings, 2126797 edges, 4362 markings/sec, 395 secs
lola: 1748578 markings, 2154165 edges, 4419 markings/sec, 400 secs
lola: 1770867 markings, 2181634 edges, 4458 markings/sec, 405 secs
lola: local time limit reached - aborting
lola: caught signal User defined signal 1 - aborting LoLA
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 413 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: ((NOT FIREABLE(t5206) OR ((NOT FIREABLE(t1560) OR NOT FIREABLE(t1119) OR FIREABLE(t5066)) AND NOT FIREABLE(t2140))) AND E (F (E (X (FIREABLE(t5928))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 9 will run for 413 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: (NOT FIREABLE(t5206) OR ((NOT FIREABLE(t1560) OR NOT FIREABLE(t1119) OR FIREABLE(t5066)) AND NOT FIREABLE(t2140)))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (NOT FIREABLE(t5206) OR ((NOT FIREABLE(t1560) OR NOT FIREABLE(t1119) OR FIREABLE(t5066)) AND NOT FIREABLE(t2140)))
lola: processed formula length: 117
lola: 0 rewrites
lola: formula mentions 0 of 4375 places; total mentions: 0
lola: closed formula file DLCround-PT-11b-CTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 10 will run for 481 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (E (X (FIREABLE(t5928)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: E(TRUE U EX(FIREABLE(t5928)))
lola: processed formula length: 29
lola: 2 rewrites
lola: formula mentions 0 of 4375 places; total mentions: 0
lola: closed formula file DLCround-PT-11b-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 520 bytes per marking, with 29 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: 175712 markings, 198455 edges, 35130 markings/sec, 0 secs
lola: 349139 markings, 391335 edges, 34685 markings/sec, 5 secs
lola: 521588 markings, 579927 edges, 34490 markings/sec, 10 secs
lola: 692303 markings, 768599 edges, 34143 markings/sec, 15 secs
lola: 864254 markings, 958101 edges, 34390 markings/sec, 20 secs
lola: 1035613 markings, 1144231 edges, 34272 markings/sec, 25 secs
lola: 1205550 markings, 1328713 edges, 33987 markings/sec, 30 secs
lola: 1375568 markings, 1514222 edges, 34004 markings/sec, 35 secs
lola: 1545593 markings, 1698120 edges, 34005 markings/sec, 40 secs
lola: 1713225 markings, 1884067 edges, 33526 markings/sec, 45 secs
lola: 1882480 markings, 2069892 edges, 33851 markings/sec, 50 secs
lola: 2051523 markings, 2255684 edges, 33809 markings/sec, 55 secs
lola: 2220754 markings, 2440882 edges, 33846 markings/sec, 60 secs
lola: 2390348 markings, 2627741 edges, 33919 markings/sec, 65 secs
lola: 2551174 markings, 2804414 edges, 32165 markings/sec, 70 secs
lola: 2719196 markings, 2989047 edges, 33604 markings/sec, 75 secs
lola: 2884827 markings, 3169217 edges, 33126 markings/sec, 80 secs
lola: 3049851 markings, 3348994 edges, 33005 markings/sec, 85 secs
lola: 3216496 markings, 3534414 edges, 33329 markings/sec, 90 secs
lola: 3384921 markings, 3715892 edges, 33685 markings/sec, 95 secs
lola: 3553740 markings, 3898049 edges, 33764 markings/sec, 100 secs
lola: 3722129 markings, 4081760 edges, 33678 markings/sec, 105 secs
lola: 3890237 markings, 4264202 edges, 33622 markings/sec, 110 secs
lola: 4059847 markings, 4447519 edges, 33922 markings/sec, 115 secs
lola: 4228911 markings, 4631383 edges, 33813 markings/sec, 120 secs
lola: 4396737 markings, 4813484 edges, 33565 markings/sec, 125 secs
lola: 4564403 markings, 4996574 edges, 33533 markings/sec, 130 secs
lola: 4731713 markings, 5176792 edges, 33462 markings/sec, 135 secs
lola: 4898854 markings, 5362238 edges, 33428 markings/sec, 140 secs
lola: 5066097 markings, 5545274 edges, 33449 markings/sec, 145 secs
lola: 5232920 markings, 5725024 edges, 33365 markings/sec, 150 secs
lola: 5397316 markings, 5905865 edges, 32879 markings/sec, 155 secs
lola: 5567622 markings, 6090228 edges, 34061 markings/sec, 160 secs
lola: 5735921 markings, 6275344 edges, 33660 markings/sec, 165 secs
lola: 5903156 markings, 6459142 edges, 33447 markings/sec, 170 secs
lola: 6069933 markings, 6642319 edges, 33355 markings/sec, 175 secs
lola: 6237391 markings, 6823326 edges, 33492 markings/sec, 180 secs
lola: 6405931 markings, 7006049 edges, 33708 markings/sec, 185 secs
lola: 6575447 markings, 7189494 edges, 33903 markings/sec, 190 secs
lola: 6743717 markings, 7371764 edges, 33654 markings/sec, 195 secs
lola: 6909281 markings, 7553590 edges, 33113 markings/sec, 200 secs
lola: 7075282 markings, 7733434 edges, 33200 markings/sec, 205 secs
lola: 7237782 markings, 7909454 edges, 32500 markings/sec, 210 secs
lola: 7403490 markings, 8091787 edges, 33142 markings/sec, 215 secs
lola: 7570094 markings, 8272517 edges, 33321 markings/sec, 220 secs
lola: 7736960 markings, 8454286 edges, 33373 markings/sec, 225 secs
lola: 7901264 markings, 8632697 edges, 32861 markings/sec, 230 secs
lola: 8065815 markings, 8810449 edges, 32910 markings/sec, 235 secs
lola: 8234993 markings, 8995636 edges, 33836 markings/sec, 240 secs
lola: 8405969 markings, 9181369 edges, 34195 markings/sec, 245 secs
lola: 8576281 markings, 9367168 edges, 34062 markings/sec, 250 secs
lola: 8746876 markings, 9550616 edges, 34119 markings/sec, 255 secs
lola: 8916182 markings, 9736066 edges, 33861 markings/sec, 260 secs
lola: 9081129 markings, 9914997 edges, 32989 markings/sec, 265 secs
lola: 9246658 markings, 10094618 edges, 33106 markings/sec, 270 secs
lola: 9415344 markings, 10278286 edges, 33737 markings/sec, 275 secs
lola: 9585369 markings, 10461108 edges, 34005 markings/sec, 280 secs
lola: 9754626 markings, 10646259 edges, 33851 markings/sec, 285 secs
lola: 9924237 markings, 10830964 edges, 33922 markings/sec, 290 secs
lola: 10086099 markings, 11006317 edges, 32372 markings/sec, 295 secs
lola: 10246127 markings, 11180092 edges, 32006 markings/sec, 300 secs
lola: 10406606 markings, 11354587 edges, 32096 markings/sec, 305 secs
lola: 10565031 markings, 11528677 edges, 31685 markings/sec, 310 secs
lola: 10725546 markings, 11701893 edges, 32103 markings/sec, 315 secs
lola: 10886058 markings, 11875585 edges, 32102 markings/sec, 320 secs
lola: 11047555 markings, 12049932 edges, 32299 markings/sec, 325 secs
lola: 11210548 markings, 12228113 edges, 32599 markings/sec, 330 secs
lola: 11377357 markings, 12413503 edges, 33362 markings/sec, 335 secs
lola: 11545952 markings, 12596232 edges, 33719 markings/sec, 340 secs
lola: 11713568 markings, 12776929 edges, 33523 markings/sec, 345 secs
lola: 11880789 markings, 12959129 edges, 33444 markings/sec, 350 secs
lola: 12046422 markings, 13139729 edges, 33127 markings/sec, 355 secs
lola: 12210378 markings, 13321657 edges, 32791 markings/sec, 360 secs
lola: 12382063 markings, 13508633 edges, 34337 markings/sec, 365 secs
lola: 12554018 markings, 13693966 edges, 34391 markings/sec, 370 secs
lola: 12720273 markings, 13876818 edges, 33251 markings/sec, 375 secs
lola: 12887202 markings, 14059076 edges, 33386 markings/sec, 380 secs
lola: 13054392 markings, 14239579 edges, 33438 markings/sec, 385 secs
lola: 13225474 markings, 14425479 edges, 34216 markings/sec, 390 secs
lola: 13395927 markings, 14612176 edges, 34091 markings/sec, 395 secs
lola: 13565698 markings, 14795964 edges, 33954 markings/sec, 400 secs
lola: 13735795 markings, 14980469 edges, 34019 markings/sec, 405 secs
lola: local time limit reached - aborting
lola: caught signal User defined signal 1 - aborting LoLA
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 413 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A ((E (X (NOT FIREABLE(t3319))) U E (X (FIREABLE(t5666)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: A(EX(NOT FIREABLE(t3319)) U EX(FIREABLE(t5666)))
lola: processed formula length: 48
lola: 3 rewrites
lola: formula mentions 0 of 4375 places; total mentions: 0
lola: closed formula file DLCround-PT-11b-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 520 bytes per marking, with 29 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: 1281 markings, 1281 edges
lola: ========================================
lola: subprocess 11 will run for 495 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: (E ((NOT FIREABLE(t550) U A (G (FIREABLE(t2816))))) OR FIREABLE(t2794))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 11 will run for 495 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E ((NOT FIREABLE(t550) U A (G (FIREABLE(t2816)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: E(NOT FIREABLE(t550) U NOT(E(TRUE U NOT FIREABLE(t2816))))
lola: processed formula length: 58
lola: 3 rewrites
lola: formula mentions 0 of 4375 places; total mentions: 0
lola: closed formula file DLCround-PT-11b-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 520 bytes per marking, with 29 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: 179020 markings, 381150 edges, 35791 markings/sec, 0 secs
lola: 358199 markings, 763129 edges, 35836 markings/sec, 5 secs
lola: 536154 markings, 1142617 edges, 35591 markings/sec, 10 secs
lola: 715415 markings, 1524726 edges, 35852 markings/sec, 15 secs
lola: 891631 markings, 1905867 edges, 35243 markings/sec, 20 secs
lola: 1067514 markings, 2284942 edges, 35177 markings/sec, 25 secs
lola: 1244492 markings, 2666096 edges, 35396 markings/sec, 30 secs
lola: 1422379 markings, 3047278 edges, 35577 markings/sec, 35 secs
lola: 1603522 markings, 3433860 edges, 36229 markings/sec, 40 secs
lola: 1783231 markings, 3818536 edges, 35942 markings/sec, 45 secs
lola: 1961495 markings, 4200453 edges, 35653 markings/sec, 50 secs
lola: 2140562 markings, 4583730 edges, 35813 markings/sec, 55 secs
lola: 2319964 markings, 4967014 edges, 35880 markings/sec, 60 secs
lola: 2498277 markings, 5348698 edges, 35663 markings/sec, 65 secs
lola: 2675403 markings, 5728192 edges, 35425 markings/sec, 70 secs
lola: 2850966 markings, 6103682 edges, 35113 markings/sec, 75 secs
lola: 3028380 markings, 6481987 edges, 35483 markings/sec, 80 secs
lola: 3205792 markings, 6861173 edges, 35482 markings/sec, 85 secs
lola: 3383852 markings, 7241939 edges, 35612 markings/sec, 90 secs
lola: 3561977 markings, 7622218 edges, 35625 markings/sec, 95 secs
lola: 3740321 markings, 8002529 edges, 35669 markings/sec, 100 secs
lola: 3916796 markings, 8381550 edges, 35295 markings/sec, 105 secs
lola: 4093066 markings, 8757966 edges, 35254 markings/sec, 110 secs
lola: 4272459 markings, 9140927 edges, 35879 markings/sec, 115 secs
lola: 4452746 markings, 9527011 edges, 36057 markings/sec, 120 secs
lola: 4632128 markings, 9910470 edges, 35876 markings/sec, 125 secs
lola: 4809136 markings, 10289214 edges, 35402 markings/sec, 130 secs
lola: 4987450 markings, 10670914 edges, 35663 markings/sec, 135 secs
lola: 5164849 markings, 11050377 edges, 35480 markings/sec, 140 secs
lola: 5344382 markings, 11433145 edges, 35907 markings/sec, 145 secs
lola: 5523350 markings, 11814778 edges, 35794 markings/sec, 150 secs
lola: 5699159 markings, 12192916 edges, 35162 markings/sec, 155 secs
lola: 5878591 markings, 12575926 edges, 35886 markings/sec, 160 secs
lola: 6056932 markings, 12958329 edges, 35668 markings/sec, 165 secs
lola: 6233939 markings, 13337911 edges, 35401 markings/sec, 170 secs
lola: 6410897 markings, 13716714 edges, 35392 markings/sec, 175 secs
lola: 6588625 markings, 14096264 edges, 35546 markings/sec, 180 secs
lola: 6765723 markings, 14474467 edges, 35420 markings/sec, 185 secs
lola: 6938090 markings, 14848620 edges, 34473 markings/sec, 190 secs
lola: 7114687 markings, 15225458 edges, 35319 markings/sec, 195 secs
lola: 7293377 markings, 15606378 edges, 35738 markings/sec, 200 secs
lola: 7459136 markings, 15980518 edges, 33152 markings/sec, 205 secs
lola: 7635503 markings, 16358201 edges, 35273 markings/sec, 210 secs
lola: 7812864 markings, 16738031 edges, 35472 markings/sec, 215 secs
lola: 7989035 markings, 17115165 edges, 35234 markings/sec, 220 secs
lola: 8164736 markings, 17490798 edges, 35140 markings/sec, 225 secs
lola: 8338862 markings, 17863670 edges, 34825 markings/sec, 230 secs
lola: 8515669 markings, 18241676 edges, 35361 markings/sec, 235 secs
lola: 8691177 markings, 18617728 edges, 35102 markings/sec, 240 secs
lola: 8865041 markings, 18991136 edges, 34773 markings/sec, 245 secs
lola: 9040207 markings, 19367653 edges, 35033 markings/sec, 250 secs
lola: 9214555 markings, 19741537 edges, 34870 markings/sec, 255 secs
lola: 9388271 markings, 20115424 edges, 34743 markings/sec, 260 secs
lola: 9563782 markings, 20492620 edges, 35102 markings/sec, 265 secs
lola: 9738678 markings, 20866303 edges, 34979 markings/sec, 270 secs
lola: 9913241 markings, 21239631 edges, 34913 markings/sec, 275 secs
lola: 10089076 markings, 21614888 edges, 35167 markings/sec, 280 secs
lola: 10265952 markings, 21992063 edges, 35375 markings/sec, 285 secs
lola: 10441934 markings, 22367370 edges, 35196 markings/sec, 290 secs
lola: 10614147 markings, 22741034 edges, 34443 markings/sec, 295 secs
lola: 10789000 markings, 23115576 edges, 34971 markings/sec, 300 secs
lola: 10965310 markings, 23492050 edges, 35262 markings/sec, 305 secs
lola: 11139138 markings, 23864042 edges, 34766 markings/sec, 310 secs
lola: 11313026 markings, 24236822 edges, 34778 markings/sec, 315 secs
lola: 11489425 markings, 24614501 edges, 35280 markings/sec, 320 secs
lola: 11666859 markings, 24993094 edges, 35487 markings/sec, 325 secs
lola: 11843641 markings, 25371620 edges, 35356 markings/sec, 330 secs
lola: 12019303 markings, 25748362 edges, 35132 markings/sec, 335 secs
lola: 12196031 markings, 26126122 edges, 35346 markings/sec, 340 secs
lola: 12374676 markings, 26506995 edges, 35729 markings/sec, 345 secs
lola: 12553735 markings, 26888818 edges, 35812 markings/sec, 350 secs
lola: 12728027 markings, 27267598 edges, 34858 markings/sec, 355 secs
lola: 12902780 markings, 27640672 edges, 34951 markings/sec, 360 secs
lola: 13069380 markings, 27995955 edges, 33320 markings/sec, 365 secs
lola: 13237830 markings, 28355196 edges, 33690 markings/sec, 370 secs
lola: 13404354 markings, 28710300 edges, 33305 markings/sec, 375 secs
lola: 13579105 markings, 29083068 edges, 34950 markings/sec, 380 secs
lola: 13753757 markings, 29455505 edges, 34930 markings/sec, 385 secs
lola: 13929084 markings, 29832591 edges, 35065 markings/sec, 390 secs
lola: 14105633 markings, 30209447 edges, 35310 markings/sec, 395 secs
lola: 14277517 markings, 30582656 edges, 34377 markings/sec, 400 secs
lola: 14452682 markings, 30958614 edges, 35033 markings/sec, 405 secs
lola: 14628451 markings, 31335398 edges, 35154 markings/sec, 410 secs
lola: 14803161 markings, 31708471 edges, 34942 markings/sec, 415 secs
lola: 14977342 markings, 32080351 edges, 34836 markings/sec, 420 secs
lola: 15151250 markings, 32452749 edges, 34782 markings/sec, 425 secs
lola: 15326151 markings, 32828042 edges, 34980 markings/sec, 430 secs
lola: 15500403 markings, 33201861 edges, 34850 markings/sec, 435 secs
lola: 15678988 markings, 33582967 edges, 35717 markings/sec, 440 secs
lola: 15856443 markings, 33961633 edges, 35491 markings/sec, 445 secs
lola: 16032629 markings, 34337092 edges, 35237 markings/sec, 450 secs
lola: 16203972 markings, 34708753 edges, 34269 markings/sec, 455 secs
lola: 16378038 markings, 35081043 edges, 34813 markings/sec, 460 secs
lola: 16553514 markings, 35455243 edges, 35095 markings/sec, 465 secs
lola: 16730430 markings, 35832293 edges, 35383 markings/sec, 470 secs
lola: 16903895 markings, 36209443 edges, 34693 markings/sec, 475 secs
lola: 17078373 markings, 36583364 edges, 34896 markings/sec, 480 secs
lola: 17255360 markings, 36961434 edges, 35397 markings/sec, 485 secs
lola: local time limit reached - aborting
lola: caught signal User defined signal 1 - aborting LoLA
lola: Child process aborted or communication problem between parent and child process
terminate called after throwing an instance of 'std::runtime_error'
what(): parse error at position 0: unexpected character, last read: '\ufffd'
Aborted (core dumped)
FORMULA DLCround-PT-11b-CTLFireability-0 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-11b-CTLFireability-1 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-11b-CTLFireability-2 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-11b-CTLFireability-3 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-11b-CTLFireability-4 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-11b-CTLFireability-5 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-11b-CTLFireability-6 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-11b-CTLFireability-7 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-11b-CTLFireability-8 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-11b-CTLFireability-9 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-11b-CTLFireability-10 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-11b-CTLFireability-11 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-11b-CTLFireability-12 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-11b-CTLFireability-13 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-11b-CTLFireability-14 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-11b-CTLFireability-15 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
----- Kill lola and sara stderr -----
----- Kill lola and sara stdout -----
----- Finished stdout -----
----- Finished stderr -----

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DLCround-PT-11b"
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-11b.tgz
mv DLCround-PT-11b 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-11b, 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-152649742900123"
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 ;