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

About the Execution of Irma.struct for DES-PT-40b

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
6085.260 1175775.00 1140815.00 3720.90 TTFTFTFFT??TTT?T 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 272K
-rw-r--r-- 1 mcc users 3.0K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K 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 6.1K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.7K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 15K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.7K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 7.8K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 101 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 339 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 16K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K 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 115K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool irma4mcc-structural
Input is DES-PT-40b, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r055-smll-152646382900263
=====================================================================


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

=== Now, execution of the tool begins

BK_START 1526507220899


BK_STOP 1526508396674

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

Prefix is 75f5f979.
Reading known information in /usr/share/mcc4mcc/75f5f979-known.json.
Reading learned information in /usr/share/mcc4mcc/75f5f979-learned.json.
Reading value translations in /usr/share/mcc4mcc/75f5f979-values.json.
Using directory /home/mcc/execution for input, as it contains a model.pnml file.
Using DES-PT-40b as instance name.
Using DES as model name.
Using algorithm or tool bmdt.
Model characteristics are: {'Examination': 'CTLFireability', 'Place/Transition': True, 'Colored': False, 'Relative-Time': 1, 'Relative-Memory': 1, 'Ordinary': 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': None, 'Source Transition': False, 'Sink Transition': None, 'Loop Free': None, 'Conservative': False, 'Sub-Conservative': False, 'Nested Units': True, 'Safe': True, 'Deadlock': None, 'Reversible': None, 'Quasi Live': None, 'Live': None}.
Known tools are: [{'Time': 3539838, 'Memory': 6933.43, 'Tool': 'lola'}, {'Time': 3540426, 'Memory': 6819.61, 'Tool': 'lola'}].
Learned tools are: [{'Tool': 'lola'}].
Learned tool lola is 1.0x far from the best tool lola.
CTLFireability lola DES-PT-40b...

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


checking for too many tokens
===========================================================================================
DES-PT-40b: translating PT formula CTLFireability into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stderr -----
----- Start make result stdout -----
CTLFireability @ DES-PT-40b @ 3540 seconds
----- Start make result stderr -----
----- Start make result stdout -----
lola: LoLA will run for 3540 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 829/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 439 places, 390 transitions, 374 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 487 transition conflict sets
lola: TASK
lola: reading formula from DES-PT-40b-CTLFireability.task
lola: NOT(A (G (((FIREABLE(t45) OR FIREABLE(t46) OR NOT FIREABLE(t234)) OR A (G (FIREABLE(t177))))))) : NOT(E ((A (F (FIREABLE(t240))) U E (G (FIREABLE(t145)))))) : A (F (((((FIREABLE(t315) AND FIREABLE(t127)) OR FIREABLE(t135)) AND (FIREABLE(t329) OR (FIREABLE(t235) AND FIREABLE(t62)))) OR NOT(E (F (FIREABLE(t69))))))) : NOT(NOT((A ((FIREABLE(t296) U FIREABLE(t275))) OR A (F (FIREABLE(t86)))))) : NOT(NOT(A (G (E (F (FIREABLE(t50))))))) : E (F (E (G ((FIREABLE(t199) OR FIREABLE(t339) OR NOT FIREABLE(t6)))))) : (FIREABLE(t175) OR A (G (((NOT FIREABLE(t227) AND NOT FIREABLE(t162)) OR FIREABLE(t264))))) : A (F (E (G (FIREABLE(t149))))) : NOT(NOT(A (F (FIREABLE(t16))))) : E (F (E (G (FIREABLE(t44))))) : E (F ((E (X ((FIREABLE(t196) AND FIREABLE(t78)))) OR FIREABLE(t253)))) : A (((NOT FIREABLE(t148) AND NOT FIREABLE(t109)) U (E (F (FIREABLE(t24))) AND (NOT FIREABLE(t27) AND NOT FIREABLE(t276))))) : E (F ((E (G (NOT FIREABLE(t267))) AND (FIREABLE(t374) OR FIREABLE(t130) OR FIREABLE(t348) OR FIREABLE(t261))))) : (E (F (((NOT FIREABLE(t325) OR NOT FIREABLE(t10)) AND FIREABLE(t256)))) OR A (X ((E (G (FIREABLE(t43))) AND FIREABLE(t301))))) : (FIREABLE(t261) OR (E (F (A (X (FIREABLE(t45))))) AND E (X ((NOT FIREABLE(t243) AND NOT FIREABLE(t317)))))) : E (F ((A (F (FIREABLE(t360))) AND NOT FIREABLE(t342))))
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: NOT(A (G (((FIREABLE(t45) OR FIREABLE(t46) OR NOT FIREABLE(t234)) OR A (G (FIREABLE(t177)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: E(TRUE U ((NOT FIREABLE(t45) AND NOT FIREABLE(t46) AND FIREABLE(t234)) AND E(TRUE U NOT FIREABLE(t177))))
lola: processed formula length: 105
lola: 9 rewrites
lola: formula mentions 0 of 439 places; total mentions: 0
lola: closed formula file DES-PT-40b-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 48 bytes per marking, with 10 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: 916857 markings, 3014908 edges, 3689348869717491712 markings/sec, 0 secs
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 1183259 markings, 3887395 edges
lola: ========================================
lola: subprocess 1 will run for 235 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: NOT(E ((A (F (FIREABLE(t240))) U E (G (FIREABLE(t145))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: NOT(E(A(TRUE U FIREABLE(t240)) U NOT(A(TRUE U NOT FIREABLE(t145)))))
lola: processed formula length: 68
lola: 13 rewrites
lola: formula mentions 0 of 439 places; total mentions: 0
lola: closed formula file DES-PT-40b-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 48 bytes per marking, with 10 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 3 significant temporal operators and needs 13 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 85 markings, 86 edges
lola: ========================================
lola: subprocess 2 will run for 252 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (F (((((FIREABLE(t315) AND FIREABLE(t127)) OR FIREABLE(t135)) AND (FIREABLE(t329) OR (FIREABLE(t235) AND FIREABLE(t62)))) OR NOT(E (F (FIREABLE(t69)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a B\xfcchi-Automaton
lola: processed formula: A (F (((((FIREABLE(t315) AND FIREABLE(t127)) OR FIREABLE(t135)) AND (FIREABLE(t329) OR (FIREABLE(t235) AND FIREABLE(t62)))) OR A (G (NOT FIREABLE(t69))))))
lola: processed formula: A (F (((((FIREABLE(t315) AND FIREABLE(t127)) OR FIREABLE(t135)) AND (FIREABLE(t329) OR (FIREABLE(t235) AND FIREABLE(t62)))) OR A (G (NOT FIREABLE(t69))))))
lola: processed formula length: 157
lola: 3 rewrites
lola: formula mentions 0 of 439 places; total mentions: 0
lola: closed formula file DES-PT-40b-CTLFireability.task
lola: the resulting B\xfcchi automaton has 2 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 48 bytes per marking, with 8 unused bits
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method (--stubborn)
lola: SEARCH
lola: RUNNING
lola: 1113973 markings, 2356113 edges, 222795 markings/sec, 0 secs
lola: 2268240 markings, 4730508 edges, 230853 markings/sec, 5 secs
lola: 3435798 markings, 7123837 edges, 233512 markings/sec, 10 secs
lola: 4504156 markings, 9494812 edges, 213672 markings/sec, 15 secs
lola: 5555425 markings, 11967284 edges, 210254 markings/sec, 20 secs
lola: 6615579 markings, 14366749 edges, 212031 markings/sec, 25 secs
lola: 7666567 markings, 16806832 edges, 210198 markings/sec, 30 secs
lola: 8691414 markings, 19107181 edges, 204969 markings/sec, 35 secs
lola: 9694026 markings, 21428745 edges, 200522 markings/sec, 40 secs
lola: 10842814 markings, 23844084 edges, 229758 markings/sec, 45 secs
lola: 12024544 markings, 26278594 edges, 236346 markings/sec, 50 secs
lola: 13154358 markings, 28624179 edges, 225963 markings/sec, 55 secs
lola: 14171011 markings, 30915528 edges, 203331 markings/sec, 60 secs
lola: 15164048 markings, 33247359 edges, 198607 markings/sec, 65 secs
lola: 16165925 markings, 35506254 edges, 200375 markings/sec, 70 secs
lola: 17142342 markings, 37772082 edges, 195283 markings/sec, 75 secs
lola: 18114580 markings, 39961198 edges, 194448 markings/sec, 80 secs
lola: 19044844 markings, 42149678 edges, 186053 markings/sec, 85 secs
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: 20031668 markings, 44239996 edges
lola: ========================================
lola: subprocess 3 will run for 264 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: NOT(NOT((A ((FIREABLE(t296) U FIREABLE(t275))) OR A (F (FIREABLE(t86))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 3 will run for 264 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A ((FIREABLE(t296) U FIREABLE(t275)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a B\xfcchi-Automaton
lola: processed formula: A ((FIREABLE(t296) U FIREABLE(t275)))
lola: processed formula: A ((FIREABLE(t296) U FIREABLE(t275)))
lola: processed formula length: 37
lola: 16 rewrites
lola: formula mentions 0 of 439 places; total mentions: 0
lola: closed formula file DES-PT-40b-CTLFireability.task
lola: the resulting B\xfcchi automaton has 2 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 48 bytes per marking, with 8 unused bits
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method (--stubborn)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 87 markings, 87 edges
lola: ========================================
lola: subprocess 4 will run for 286 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (F (FIREABLE(t86)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a B\xfcchi-Automaton
lola: processed formula: A (F (FIREABLE(t86)))
lola: processed formula: A (F (FIREABLE(t86)))
lola: processed formula length: 21
lola: 16 rewrites
lola: formula mentions 0 of 439 places; total mentions: 0
lola: closed formula file DES-PT-40b-CTLFireability.task
lola: the resulting B\xfcchi automaton has 1 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 48 bytes per marking, with 9 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: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 159393 markings, 167416 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: subprocess 4 will run for 286 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: NOT(NOT(A (G (E (F (FIREABLE(t50)))))))
lola: ========================================
lola: SUBTASK
lola: checking liveness
lola: liveness not yet implemented, converting to CTL...
lola: processed formula: NOT(E(TRUE U NOT(E(TRUE U FIREABLE(t50)))))
lola: processed formula length: 43
lola: 12 rewrites
lola: formula mentions 0 of 439 places; total mentions: 0
lola: closed formula file DES-PT-40b-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 48 bytes per marking, with 10 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 237755 markings, 830678 edges
lola: ========================================
lola: subprocess 5 will run for 312 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (E (G ((FIREABLE(t199) OR FIREABLE(t339) OR NOT FIREABLE(t6))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: E(TRUE U NOT(A(TRUE U (NOT FIREABLE(t199) AND NOT FIREABLE(t339) AND FIREABLE(t6)))))
lola: processed formula length: 85
lola: 3 rewrites
lola: formula mentions 0 of 439 places; total mentions: 0
lola: closed formula file DES-PT-40b-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 48 bytes per marking, with 10 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 85 markings, 85 edges
lola: ========================================
lola: subprocess 6 will run for 343 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: (FIREABLE(t175) OR A (G (((NOT FIREABLE(t227) AND NOT FIREABLE(t162)) OR FIREABLE(t264)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 6 will run for 343 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: FIREABLE(t175)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(t175)
lola: processed formula length: 14
lola: 0 rewrites
lola: formula mentions 0 of 439 places; total mentions: 0
lola: closed formula file DES-PT-40b-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 7 will run for 381 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G (((NOT FIREABLE(t227) AND NOT FIREABLE(t162)) OR FIREABLE(t264))))
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 48 bytes per marking, with 10 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 22 markings, 21 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 7 will run for 381 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (F (E (G (FIREABLE(t149)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: A(TRUE U NOT(A(TRUE U NOT FIREABLE(t149))))
lola: processed formula length: 43
lola: 3 rewrites
lola: formula mentions 0 of 439 places; total mentions: 0
lola: closed formula file DES-PT-40b-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 48 bytes per marking, with 10 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 85 markings, 169 edges
lola: ========================================
lola: subprocess 8 will run for 429 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: NOT(NOT(A (F (FIREABLE(t16)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a B\xfcchi-Automaton
lola: processed formula: A (F (FIREABLE(t16)))
lola: processed formula: A (F (FIREABLE(t16)))
lola: processed formula length: 21
lola: 6 rewrites
lola: formula mentions 0 of 439 places; total mentions: 0
lola: closed formula file DES-PT-40b-CTLFireability.task
lola: the resulting B\xfcchi automaton has 1 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 48 bytes per marking, with 9 unused bits
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method (--stubborn)
lola: SEARCH
lola: RUNNING
lola: 1444340 markings, 1703557 edges, 288868 markings/sec, 0 secs
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 1677446 markings, 2037734 edges
lola: ========================================
lola: subprocess 9 will run for 490 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (E (G (FIREABLE(t44)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: E(TRUE U NOT(A(TRUE U NOT FIREABLE(t44))))
lola: processed formula length: 42
lola: 3 rewrites
lola: formula mentions 0 of 439 places; total mentions: 0
lola: closed formula file DES-PT-40b-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 48 bytes per marking, with 10 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: 725086 markings, 3120819 edges, 3095481473956839424 markings/sec, 0 secs
lola: 1441420 markings, 6153556 edges, 143267 markings/sec, 5 secs
lola: 2180451 markings, 9281957 edges, 147806 markings/sec, 10 secs
lola: 2912406 markings, 12382118 edges, 146391 markings/sec, 15 secs
lola: 3530360 markings, 15533949 edges, 123591 markings/sec, 20 secs
lola: 4015967 markings, 18610363 edges, 97121 markings/sec, 25 secs
lola: 4470417 markings, 21598854 edges, 90890 markings/sec, 30 secs
lola: 4937216 markings, 24635432 edges, 93360 markings/sec, 35 secs
lola: 5381262 markings, 27547933 edges, 88809 markings/sec, 40 secs
lola: 5817088 markings, 30441805 edges, 87165 markings/sec, 45 secs
lola: 6195447 markings, 33264575 edges, 75672 markings/sec, 50 secs
lola: 6472974 markings, 35936239 edges, 55505 markings/sec, 55 secs
lola: 6934681 markings, 38925839 edges, 92341 markings/sec, 60 secs
lola: 7366672 markings, 41848494 edges, 86398 markings/sec, 65 secs
lola: 7783436 markings, 44687591 edges, 83353 markings/sec, 70 secs
lola: 8176324 markings, 47543591 edges, 78578 markings/sec, 75 secs
lola: 8517687 markings, 50287578 edges, 68273 markings/sec, 80 secs
lola: 8950676 markings, 53145495 edges, 86598 markings/sec, 85 secs
lola: 9366417 markings, 55969720 edges, 83148 markings/sec, 90 secs
lola: 9765346 markings, 58759497 edges, 79786 markings/sec, 95 secs
lola: 10138199 markings, 61664990 edges, 74571 markings/sec, 100 secs
lola: 10458619 markings, 64425646 edges, 64084 markings/sec, 105 secs
lola: 10789345 markings, 67282400 edges, 66145 markings/sec, 110 secs
lola: 11292948 markings, 70457555 edges, 100721 markings/sec, 115 secs
lola: 11800169 markings, 73600012 edges, 101444 markings/sec, 120 secs
lola: 12273204 markings, 76703277 edges, 94607 markings/sec, 125 secs
lola: 12724536 markings, 79708826 edges, 90266 markings/sec, 130 secs
lola: 13165467 markings, 82650257 edges, 88186 markings/sec, 135 secs
lola: 13612105 markings, 85645972 edges, 89328 markings/sec, 140 secs
lola: 13926728 markings, 88597949 edges, 62925 markings/sec, 145 secs
lola: 14354929 markings, 91645970 edges, 85640 markings/sec, 150 secs
lola: 14825164 markings, 94709519 edges, 94047 markings/sec, 155 secs
lola: 15264892 markings, 97732429 edges, 87946 markings/sec, 160 secs
lola: 15687088 markings, 100711785 edges, 84439 markings/sec, 165 secs
lola: 16039092 markings, 103608073 edges, 70401 markings/sec, 170 secs
lola: 16494820 markings, 106614995 edges, 91146 markings/sec, 175 secs
lola: 16933348 markings, 109598884 edges, 87706 markings/sec, 180 secs
lola: 17364148 markings, 112550119 edges, 86160 markings/sec, 185 secs
lola: 17709517 markings, 115441973 edges, 69074 markings/sec, 190 secs
lola: 18056885 markings, 118362237 edges, 69474 markings/sec, 195 secs
lola: 18427306 markings, 121264432 edges, 74084 markings/sec, 200 secs
lola: 18899606 markings, 124363617 edges, 94460 markings/sec, 205 secs
lola: 19387788 markings, 127353986 edges, 97636 markings/sec, 210 secs
lola: 19835454 markings, 130299467 edges, 89533 markings/sec, 215 secs
lola: 20272978 markings, 133214484 edges, 87505 markings/sec, 220 secs
lola: 20706507 markings, 136106648 edges, 86706 markings/sec, 225 secs
lola: 21129037 markings, 138927871 edges, 84506 markings/sec, 230 secs
lola: 21422547 markings, 141618831 edges, 58702 markings/sec, 235 secs
lola: 21795585 markings, 144384050 edges, 74608 markings/sec, 240 secs
lola: 22220460 markings, 147208690 edges, 84975 markings/sec, 245 secs
lola: 22656400 markings, 150163943 edges, 87188 markings/sec, 250 secs
lola: 23085923 markings, 153098514 edges, 85905 markings/sec, 255 secs
lola: 23398190 markings, 155908841 edges, 62453 markings/sec, 260 secs
lola: 23860676 markings, 158899486 edges, 92497 markings/sec, 265 secs
lola: 24298399 markings, 161851120 edges, 87545 markings/sec, 270 secs
lola: 24725540 markings, 164766825 edges, 85428 markings/sec, 275 secs
lola: 25121766 markings, 167632738 edges, 79245 markings/sec, 280 secs
lola: 25433037 markings, 170456009 edges, 62254 markings/sec, 285 secs
lola: 25755941 markings, 173153692 edges, 64581 markings/sec, 290 secs
lola: 26055338 markings, 175836406 edges, 59879 markings/sec, 295 secs
lola: 26356722 markings, 178532180 edges, 60277 markings/sec, 300 secs
lola: 26671710 markings, 181229606 edges, 62998 markings/sec, 305 secs
lola: 26974364 markings, 183927562 edges, 60531 markings/sec, 310 secs
lola: 27277649 markings, 186635862 edges, 60657 markings/sec, 315 secs
lola: 27582887 markings, 189434258 edges, 61048 markings/sec, 320 secs
lola: 27879273 markings, 192241468 edges, 59277 markings/sec, 325 secs
lola: 28192380 markings, 195045484 edges, 62621 markings/sec, 330 secs
lola: 28499853 markings, 197832931 edges, 61495 markings/sec, 335 secs
lola: 28759459 markings, 200450589 edges, 51921 markings/sec, 340 secs
lola: 28970717 markings, 203127899 edges, 42252 markings/sec, 345 secs
lola: 29239110 markings, 205830916 edges, 53679 markings/sec, 350 secs
lola: 29547983 markings, 208619623 edges, 61775 markings/sec, 355 secs
lola: 29855376 markings, 211428932 edges, 61479 markings/sec, 360 secs
lola: 30153261 markings, 214226454 edges, 59577 markings/sec, 365 secs
lola: 30443432 markings, 216975234 edges, 58034 markings/sec, 370 secs
lola: 30716961 markings, 219572048 edges, 54706 markings/sec, 375 secs
lola: 30916073 markings, 222068865 edges, 39822 markings/sec, 380 secs
lola: 31212764 markings, 224791741 edges, 59338 markings/sec, 385 secs
lola: 31523518 markings, 227567254 edges, 62151 markings/sec, 390 secs
lola: 31821072 markings, 230331347 edges, 59511 markings/sec, 395 secs
lola: 32109834 markings, 233071998 edges, 57752 markings/sec, 400 secs
lola: 32401695 markings, 235795343 edges, 58372 markings/sec, 405 secs
lola: 32661035 markings, 238390662 edges, 51868 markings/sec, 410 secs
lola: 32860693 markings, 240876519 edges, 39932 markings/sec, 415 secs
lola: 33100448 markings, 243421746 edges, 47951 markings/sec, 420 secs
lola: 33318070 markings, 245914963 edges, 43524 markings/sec, 425 secs
lola: 33738315 markings, 248736594 edges, 84049 markings/sec, 430 secs
lola: 34195649 markings, 251618795 edges, 91467 markings/sec, 435 secs
lola: 34632221 markings, 254469699 edges, 87314 markings/sec, 440 secs
lola: 35064801 markings, 257313847 edges, 86516 markings/sec, 445 secs
lola: 35502098 markings, 260186299 edges, 87459 markings/sec, 450 secs
lola: 35942491 markings, 263100707 edges, 88079 markings/sec, 455 secs
lola: 36328209 markings, 265966462 edges, 77144 markings/sec, 460 secs
lola: 36631257 markings, 268795391 edges, 60610 markings/sec, 465 secs
lola: 37080182 markings, 271716968 edges, 89785 markings/sec, 470 secs
lola: 37492285 markings, 274501037 edges, 82421 markings/sec, 475 secs
lola: 37909420 markings, 277347453 edges, 83427 markings/sec, 480 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 490 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F ((E (X ((FIREABLE(t196) AND FIREABLE(t78)))) OR FIREABLE(t253))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 10 will run for 490 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (E (X ((FIREABLE(t196) AND FIREABLE(t78))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: E(TRUE U EX((FIREABLE(t196) AND FIREABLE(t78))))
lola: processed formula length: 48
lola: 3 rewrites
lola: formula mentions 0 of 439 places; total mentions: 0
lola: closed formula file DES-PT-40b-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 48 bytes per marking, with 10 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: 527723 markings, 2857482 edges, 105545 markings/sec, 0 secs
lola: 987281 markings, 5671383 edges, 91912 markings/sec, 5 secs
lola: 1413446 markings, 8475337 edges, 85233 markings/sec, 10 secs
lola: 1848261 markings, 11286281 edges, 86963 markings/sec, 15 secs
lola: 2297257 markings, 14088146 edges, 89799 markings/sec, 20 secs
lola: 2726610 markings, 16850894 edges, 85871 markings/sec, 25 secs
lola: 3127656 markings, 19586839 edges, 80209 markings/sec, 30 secs
lola: 3575536 markings, 22319719 edges, 89576 markings/sec, 35 secs
lola: 3981575 markings, 25029848 edges, 81208 markings/sec, 40 secs
lola: 4379079 markings, 27746290 edges, 79501 markings/sec, 45 secs
lola: 4717263 markings, 30485118 edges, 67637 markings/sec, 50 secs
lola: 5204316 markings, 33271482 edges, 97411 markings/sec, 55 secs
lola: 5607803 markings, 35999937 edges, 80697 markings/sec, 60 secs
lola: 6015732 markings, 38695316 edges, 81586 markings/sec, 65 secs
lola: 6447883 markings, 41429324 edges, 86430 markings/sec, 70 secs
lola: 6839045 markings, 44148399 edges, 78232 markings/sec, 75 secs
lola: 7267636 markings, 46857827 edges, 85718 markings/sec, 80 secs
lola: 7656485 markings, 49565698 edges, 77770 markings/sec, 85 secs
lola: 8019056 markings, 52290906 edges, 72514 markings/sec, 90 secs
lola: 8490483 markings, 55080172 edges, 94285 markings/sec, 95 secs
lola: 8907185 markings, 57861993 edges, 83340 markings/sec, 100 secs
lola: 9319313 markings, 60632677 edges, 82426 markings/sec, 105 secs
lola: 9749702 markings, 63375156 edges, 86078 markings/sec, 110 secs
lola: 10146043 markings, 66080060 edges, 79268 markings/sec, 115 secs
lola: 10564336 markings, 68768693 edges, 83659 markings/sec, 120 secs
lola: 10945301 markings, 71446264 edges, 76193 markings/sec, 125 secs
lola: 11269155 markings, 74165678 edges, 64771 markings/sec, 130 secs
lola: 11584317 markings, 76922856 edges, 63032 markings/sec, 135 secs
lola: 11895235 markings, 79672464 edges, 62184 markings/sec, 140 secs
lola: 12196279 markings, 82391824 edges, 60209 markings/sec, 145 secs
lola: 12502063 markings, 85086291 edges, 61157 markings/sec, 150 secs
lola: 12773969 markings, 87747842 edges, 54381 markings/sec, 155 secs
lola: 13171669 markings, 90496664 edges, 79540 markings/sec, 160 secs
lola: 13661638 markings, 93285127 edges, 97994 markings/sec, 165 secs
lola: 14080279 markings, 96028410 edges, 83728 markings/sec, 170 secs
lola: 14503171 markings, 98771054 edges, 84578 markings/sec, 175 secs
lola: 14916790 markings, 101508117 edges, 82724 markings/sec, 180 secs
lola: 15376871 markings, 104231370 edges, 92016 markings/sec, 185 secs
lola: 15768784 markings, 106908035 edges, 78383 markings/sec, 190 secs
lola: 16170677 markings, 109602569 edges, 80379 markings/sec, 195 secs
lola: 16615664 markings, 112301050 edges, 88997 markings/sec, 200 secs
lola: 17007170 markings, 114974756 edges, 78301 markings/sec, 205 secs
lola: 17383083 markings, 117648622 edges, 75183 markings/sec, 210 secs
lola: 17764357 markings, 120363804 edges, 76255 markings/sec, 215 secs
lola: 18216196 markings, 123114947 edges, 90368 markings/sec, 220 secs
lola: 18625689 markings, 125848611 edges, 81899 markings/sec, 225 secs
lola: 19040512 markings, 128577791 edges, 82965 markings/sec, 230 secs
lola: 19453240 markings, 131268993 edges, 82546 markings/sec, 235 secs
lola: 19854457 markings, 133958319 edges, 80243 markings/sec, 240 secs
lola: 20263297 markings, 136631871 edges, 81768 markings/sec, 245 secs
lola: 20635469 markings, 139292167 edges, 74434 markings/sec, 250 secs
lola: 21031880 markings, 142005159 edges, 79282 markings/sec, 255 secs
lola: 21474220 markings, 144741831 edges, 88468 markings/sec, 260 secs
lola: 21882838 markings, 147468654 edges, 81724 markings/sec, 265 secs
lola: 22299633 markings, 150185174 edges, 83359 markings/sec, 270 secs
lola: 22703800 markings, 152864824 edges, 80833 markings/sec, 275 secs
lola: 23110436 markings, 155543196 edges, 81327 markings/sec, 280 secs
lola: 23508310 markings, 158187355 edges, 79575 markings/sec, 285 secs
lola: 23875023 markings, 160829340 edges, 73343 markings/sec, 290 secs
lola: 24198903 markings, 163532212 edges, 64776 markings/sec, 295 secs
lola: 24502861 markings, 166234110 edges, 60792 markings/sec, 300 secs
lola: 24808492 markings, 168920797 edges, 61126 markings/sec, 305 secs
lola: 25098156 markings, 171574958 edges, 57933 markings/sec, 310 secs
lola: 25398551 markings, 174221756 edges, 60079 markings/sec, 315 secs
lola: 25662198 markings, 176842106 edges, 52729 markings/sec, 320 secs
lola: 26074766 markings, 179580425 edges, 82514 markings/sec, 325 secs
lola: 26559442 markings, 182364362 edges, 96935 markings/sec, 330 secs
lola: 26979521 markings, 185117710 edges, 84016 markings/sec, 335 secs
lola: 27404136 markings, 187868171 edges, 84923 markings/sec, 340 secs
lola: 27817672 markings, 190621856 edges, 82707 markings/sec, 345 secs
lola: 28278438 markings, 193340252 edges, 92153 markings/sec, 350 secs
lola: 28673816 markings, 196040743 edges, 79076 markings/sec, 355 secs
lola: 29083877 markings, 198753634 edges, 82012 markings/sec, 360 secs
lola: 29522413 markings, 201447977 edges, 87707 markings/sec, 365 secs
lola: 29914060 markings, 204122706 edges, 78329 markings/sec, 370 secs
lola: 30284648 markings, 206800652 edges, 74118 markings/sec, 375 secs
lola: 30681712 markings, 209530635 edges, 79413 markings/sec, 380 secs
lola: 31126049 markings, 212276927 edges, 88867 markings/sec, 385 secs
lola: 31534943 markings, 215005590 edges, 81779 markings/sec, 390 secs
lola: 31952900 markings, 217730499 edges, 83591 markings/sec, 395 secs
lola: 32358341 markings, 220418944 edges, 81088 markings/sec, 400 secs
lola: 32765760 markings, 223100980 edges, 81484 markings/sec, 405 secs
lola: 33165922 markings, 225764434 edges, 80032 markings/sec, 410 secs
lola: 33533636 markings, 228419547 edges, 73543 markings/sec, 415 secs
lola: 33944247 markings, 231143229 edges, 82122 markings/sec, 420 secs
lola: 34380319 markings, 233877311 edges, 87214 markings/sec, 425 secs
lola: 34788789 markings, 236602960 edges, 81694 markings/sec, 430 secs
lola: 35209235 markings, 239317475 edges, 84089 markings/sec, 435 secs
lola: 35611754 markings, 241997638 edges, 80504 markings/sec, 440 secs
lola: 36021537 markings, 244687702 edges, 81957 markings/sec, 445 secs
lola: 36420664 markings, 247351684 edges, 79825 markings/sec, 450 secs
lola: 36779203 markings, 250014417 edges, 71708 markings/sec, 455 secs
lola: 37105895 markings, 252740534 edges, 65338 markings/sec, 460 secs
lola: 37410416 markings, 255463509 edges, 60904 markings/sec, 465 secs
lola: 37721013 markings, 258174674 edges, 62119 markings/sec, 470 secs
lola: 38011869 markings, 260862792 edges, 58171 markings/sec, 475 secs
lola: 38313039 markings, 263519046 edges, 60234 markings/sec, 480 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 11 will run for 490 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (((NOT FIREABLE(t148) AND NOT FIREABLE(t109)) U (E (F (FIREABLE(t24))) AND (NOT FIREABLE(t27) AND NOT FIREABLE(t276)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: A((NOT FIREABLE(t148) AND NOT FIREABLE(t109)) U (E(TRUE U FIREABLE(t24)) AND (NOT FIREABLE(t27) AND NOT FIREABLE(t276))))
lola: processed formula length: 121
lola: 2 rewrites
lola: formula mentions 0 of 439 places; total mentions: 0
lola: closed formula file DES-PT-40b-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 48 bytes per marking, with 10 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 84 markings, 84 edges
lola: ========================================
lola: subprocess 12 will run for 612 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F ((E (G (NOT FIREABLE(t267))) AND (FIREABLE(t374) OR FIREABLE(t130) OR FIREABLE(t348) OR FIREABLE(t261)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: E(TRUE U (NOT(A(TRUE U FIREABLE(t267))) AND (FIREABLE(t374) OR FIREABLE(t130) OR FIREABLE(t348) OR FIREABLE(t261))))
lola: processed formula length: 119
lola: 3 rewrites
lola: formula mentions 0 of 439 places; total mentions: 0
lola: closed formula file DES-PT-40b-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 48 bytes per marking, with 10 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 85 markings, 209 edges
lola: ========================================
lola: subprocess 13 will run for 817 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: (E (F (((NOT FIREABLE(t325) OR NOT FIREABLE(t10)) AND FIREABLE(t256)))) OR A (X ((E (G (FIREABLE(t43))) AND FIREABLE(t301)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 13 will run for 817 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (((NOT FIREABLE(t325) OR NOT FIREABLE(t10)) AND FIREABLE(t256))))
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 48 bytes per marking, with 10 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: 1213631 markings, 1811552 edges, 242726 markings/sec, 0 secs
lola: 2383924 markings, 3761332 edges, 234059 markings/sec, 5 secs
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 3065790 markings, 4900795 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: subprocess 14 will run for 1219 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: (FIREABLE(t261) OR (E (F (A (X (FIREABLE(t45))))) AND E (X ((NOT FIREABLE(t243) AND NOT FIREABLE(t317))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 14 will run for 1219 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: FIREABLE(t261)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(t261)
lola: processed formula length: 14
lola: 0 rewrites
lola: formula mentions 0 of 439 places; total mentions: 0
lola: closed formula file DES-PT-40b-CTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 15 will run for 2438 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (A (X (FIREABLE(t45)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: E(TRUE U AX(FIREABLE(t45)))
lola: processed formula length: 27
lola: 2 rewrites
lola: formula mentions 0 of 439 places; total mentions: 0
lola: closed formula file DES-PT-40b-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 48 bytes per marking, with 10 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Formula contains EX or AX operators, stubborn sets not applicable
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 85 markings, 84 edges
lola: ========================================
lola: Child process aborted or communication problem between parent and child process
lola: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: ========================================
lola: subprocess 15 will run for 2438 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F ((A (F (FIREABLE(t360))) AND NOT FIREABLE(t342))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: E(TRUE U (A(TRUE U FIREABLE(t360)) AND NOT FIREABLE(t342)))
lola: processed formula length: 59
lola: 2 rewrites
lola: formula mentions 0 of 439 places; total mentions: 0
lola: closed formula file DES-PT-40b-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 48 bytes per marking, with 10 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: 445921 markings, 2606447 edges, 3095481473956839424 markings/sec, 0 secs
lola: 871957 markings, 5454633 edges, 85207 markings/sec, 5 secs
lola: 1310110 markings, 8289980 edges, 87631 markings/sec, 10 secs
lola: 1724392 markings, 11115201 edges, 82856 markings/sec, 15 secs
lola: 2169185 markings, 14072688 edges, 88959 markings/sec, 20 secs
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 2468237 markings, 16294704 edges
lola: ========================================
lola: RESULT
lola:
SUMMARY: yes yes no yes no yes no no yes unknown unknown yes yes yes unknown yes
FORMULA DES-PT-40b-CTLFireability-0 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DES-PT-40b-CTLFireability-1 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DES-PT-40b-CTLFireability-2 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DES-PT-40b-CTLFireability-3 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DES-PT-40b-CTLFireability-4 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DES-PT-40b-CTLFireability-5 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DES-PT-40b-CTLFireability-6 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DES-PT-40b-CTLFireability-7 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DES-PT-40b-CTLFireability-8 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DES-PT-40b-CTLFireability-9 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DES-PT-40b-CTLFireability-10 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DES-PT-40b-CTLFireability-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DES-PT-40b-CTLFireability-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DES-PT-40b-CTLFireability-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DES-PT-40b-CTLFireability-14 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DES-PT-40b-CTLFireability-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
----- Kill lola and sara stdout -----
----- Kill lola and sara stderr -----
----- Finished stderr -----
----- Finished stdout -----

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DES-PT-40b"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="irma4mcc-structural"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

tar xzf /home/mcc/BenchKit/INPUTS/DES-PT-40b.tgz
mv DES-PT-40b 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 irma4mcc-structural"
echo " Input is DES-PT-40b, 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 r055-smll-152646382900263"
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 ;