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

About the Execution of M4M.full for DNAwalker-PT-18lozangeBlock

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
7401.430 3586590.00 7098440.00 9713.70 FTTF?FTTFFTTF??? normal

Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Waiting for the VM to be ready (probing ssh)
..................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
/home/mcc/execution
total 1.8M
-rw-r--r-- 1 mcc users 3.0K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.6K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.4K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.1K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 118 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 356 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 3.2K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K 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 15 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 1.6M May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool mcc4mcc-full
Input is DNAwalker-PT-18lozangeBlock, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r070-smll-152649743200348
=====================================================================


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

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

The expected result is a vector of booleans
BOOL_VECTOR

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

=== Now, execution of the tool begins

BK_START 1526788796931


BK_STOP 1526792383521

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

Prefix is 65b80f64.
Reading known information in /usr/share/mcc4mcc/65b80f64-known.json.
Reading learned information in /usr/share/mcc4mcc/65b80f64-learned.json.
Reading value translations in /usr/share/mcc4mcc/65b80f64-values.json.
Using directory /home/mcc/execution for input, as it contains a model.pnml file.
Using DNAwalker-PT-18lozangeBlock as instance name.
Using DNAwalker as model name.
Using algorithm or tool bmdt.
Model characteristics are: {'Examination': 'ReachabilityCardinality', 'Place/Transition': True, 'Colored': False, 'Relative-Time': 1, 'Relative-Memory': 1, 'Ordinary': False, 'Simple Free Choice': False, 'Extended Free Choice': False, 'State Machine': False, 'Marked Graph': False, 'Connected': True, 'Strongly Connected': False, 'Source Place': None, 'Sink Place': False, 'Source Transition': False, 'Sink Transition': None, 'Loop Free': False, 'Conservative': False, 'Sub-Conservative': True, 'Nested Units': False, 'Safe': False, 'Deadlock': True, 'Reversible': False, 'Quasi Live': None, 'Live': None}.
Known tools are: [{'Time': 3540106, 'Memory': 4591.21, 'Tool': 'lola'}, {'Time': 3540194, 'Memory': 4601.52, 'Tool': 'lola'}].
Learned tools are: [{'Tool': 'lola'}].
Learned tool lola is 1.0x far from the best tool lola.
ReachabilityCardinality lola DNAwalker-PT-18lozangeBlock...

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


checking for too many tokens
===========================================================================================
DNAwalker-PT-18lozangeBlock: translating PT formula ReachabilityCardinality into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
----- Start make result stderr -----
ReachabilityCardinality @ DNAwalker-PT-18lozangeBlock @ 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: 3861/65536 symbol table entries, 1086 collisions
lola: preprocessing...
lola: finding significant places
lola: 164 places, 3697 transitions, 164 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1960 transition conflict sets
lola: TASK
lola: reading formula from DNAwalker-PT-18lozangeBlock-ReachabilityCardinality.task
lola: A (G (((1 <= B17) OR (A18 <= A83)))) : E (F ((((B17 + 1 <= B69) OR (A52 + 1 <= B42)) AND (2 <= A91)))) : E (F (((B25 <= A54) AND (2 <= A47) AND ((2 <= B17) OR (B69 <= B86)) AND ((1 <= B55) OR (A94 <= B85) OR (3 <= A70))))) : A (G ((((A85 <= 0) OR (A4 <= 2)) AND ((2 <= A47) OR (2 <= A47) OR (3 <= A64))))) : E (F (((1 <= B12) AND (3 <= A54) AND (A26 <= 0)))) : A (G ((A74 <= B45))) : E (F (((A64 <= 1) AND (A92 + 1 <= A83) AND (B59 <= 0)))) : E (F ((2 <= A76))) : A (G ((((A47 <= 0) AND (B65 <= 2)) OR (2 <= A1)))) : E (F (((A17 + 1 <= B79) AND (3 <= B62) AND (A98 <= B45)))) : E (F (((2 <= B12) OR ((B26 <= 0) AND (B24 + 1 <= A34))))) : A (G ((B83 <= 2))) : A (G ((A49 <= B12))) : E (F ((3 <= A33))) : A (G ((((A13 <= 2) AND (B85 <= 1)) OR (3 <= A77)))) : E (F (((1 <= A75) AND (1 <= B44) AND (1 <= A29) AND (3 <= A60))))
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G (((1 <= B17) OR (A18 <= A83))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 656 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 3 markings, 2 edges
lola: ========================================
lola: subprocess 1 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F ((((B17 + 1 <= B69) OR (A52 + 1 <= B42)) AND (2 <= A91))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 656 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 4 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-18lozangeBlock-ReachabilityCardinality.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-18lozangeBlock-ReachabilityCardinality.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 19 markings, 18 edges
lola: ========================================
lola: subprocess 2 will run for 252 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (((B25 <= A54) AND (2 <= A47) AND ((2 <= B17) OR (B69 <= B86)) AND ((1 <= B55) OR (A94 <= B85) OR (3 <= A70)))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 656 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 24 literals and 6 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-2.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 6 markings, 5 edges
lola: subprocess 3 will run for 272 seconds at most (--localtimelimit=-1)lola:
========================================
lola: ========================================
lola: ...considering subproblem: A (G ((((A85 <= 0) OR (A4 <= 2)) AND ((2 <= A47) OR (2 <= A47) OR (3 <= A64)))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 656 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 5 literals and 2 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 0 markings, 0 edges
lola: state equation: write sara problem file to DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-3.sara
lola: ========================================
lola: subprocess 4 will run for 295 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (((1 <= B12) AND (3 <= A54) AND (A26 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 656 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 3 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-4.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-4.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 214766 markings, 233703 edges, 42953 markings/sec, 0 secs
lola: sara is running 5 secs || 444967 markings, 488921 edges, 46040 markings/sec, 5 secs
lola: sara is running 10 secs || 673508 markings, 745099 edges, 45708 markings/sec, 10 secs
lola: sara is running 15 secs || 899548 markings, 1002214 edges, 45208 markings/sec, 15 secs
lola: sara is running 20 secs || 1128943 markings, 1257370 edges, 45879 markings/sec, 20 secs
lola: sara is running 25 secs || 1355115 markings, 1513931 edges, 45234 markings/sec, 25 secs
lola: sara is running 30 secs || 1582261 markings, 1770590 edges, 45429 markings/sec, 30 secs
lola: sara is running 35 secs || 1807282 markings, 2028328 edges, 45004 markings/sec, 35 secs
lola: sara is running 40 secs || 2031787 markings, 2285548 edges, 44901 markings/sec, 40 secs
lola: sara is running 45 secs || 2255541 markings, 2543244 edges, 44751 markings/sec, 45 secs
lola: sara is running 50 secs || 2475244 markings, 2803066 edges, 43941 markings/sec, 50 secs
lola: sara is running 55 secs || 2703727 markings, 3059719 edges, 45697 markings/sec, 55 secs
lola: sara is running 60 secs || 2931589 markings, 3315396 edges, 45572 markings/sec, 60 secs
lola: sara is running 65 secs || 3157677 markings, 3572440 edges, 45218 markings/sec, 65 secs
lola: sara is running 70 secs || 3383530 markings, 3829048 edges, 45171 markings/sec, 70 secs
lola: sara is running 75 secs || 3608658 markings, 4085981 edges, 45026 markings/sec, 75 secs
lola: sara is running 80 secs || 3831994 markings, 4344171 edges, 44667 markings/sec, 80 secs
lola: sara is running 85 secs || 4053376 markings, 4602763 edges, 44276 markings/sec, 85 secs
lola: sara is running 90 secs || 4276712 markings, 4861365 edges, 44667 markings/sec, 90 secs
lola: sara is running 95 secs || 4502273 markings, 5117956 edges, 45112 markings/sec, 95 secs
lola: sara is running 100 secs || 4727455 markings, 5374889 edges, 45036 markings/sec, 100 secs
lola: sara is running 105 secs || 4951198 markings, 5633482 edges, 44749 markings/sec, 105 secs
lola: sara is running 110 secs || 5171647 markings, 5891693 edges, 44090 markings/sec, 110 secs
lola: sara is running 115 secs || 5394949 markings, 6150666 edges, 44660 markings/sec, 115 secs
lola: sara is running 120 secs || 5618404 markings, 6407870 edges, 44691 markings/sec, 120 secs
lola: sara is running 125 secs || 5840229 markings, 6667040 edges, 44365 markings/sec, 125 secs
lola: sara is running 130 secs || 6061297 markings, 6927191 edges, 44214 markings/sec, 130 secs
lola: sara is running 135 secs || 6283058 markings, 7184938 edges, 44352 markings/sec, 135 secs
lola: sara is running 140 secs || 6502850 markings, 7445640 edges, 43958 markings/sec, 140 secs
lola: sara is running 145 secs || 6722467 markings, 7704463 edges, 43923 markings/sec, 145 secs
lola: sara is running 150 secs || 6941444 markings, 7965088 edges, 43795 markings/sec, 150 secs
lola: sara is running 155 secs || 7158735 markings, 8227005 edges, 43458 markings/sec, 155 secs
lola: sara is running 160 secs || 7372726 markings, 8491201 edges, 42798 markings/sec, 160 secs
lola: sara is running 165 secs || 7602167 markings, 8747030 edges, 45888 markings/sec, 165 secs
lola: sara is running 170 secs || 7829647 markings, 9003128 edges, 45496 markings/sec, 170 secs
lola: sara is running 175 secs || 8054917 markings, 9259102 edges, 45054 markings/sec, 175 secs
lola: sara is running 180 secs || 8280444 markings, 9515413 edges, 45105 markings/sec, 180 secs
lola: sara is running 185 secs || 8505485 markings, 9772117 edges, 45008 markings/sec, 185 secs
lola: sara is running 190 secs || 8728675 markings, 10030636 edges, 44638 markings/sec, 190 secs
lola: sara is running 195 secs || 8949492 markings, 10288237 edges, 44163 markings/sec, 195 secs
lola: sara is running 200 secs || 9173721 markings, 10547487 edges, 44846 markings/sec, 200 secs
lola: sara is running 205 secs || 9397921 markings, 10803595 edges, 44840 markings/sec, 205 secs
lola: sara is running 210 secs || 9622910 markings, 11059790 edges, 44998 markings/sec, 210 secs
lola: sara is running 215 secs || 9846256 markings, 11318028 edges, 44669 markings/sec, 215 secs
lola: sara is running 220 secs || 10066294 markings, 11576018 edges, 44008 markings/sec, 220 secs
lola: sara is running 225 secs || 10290002 markings, 11834816 edges, 44742 markings/sec, 225 secs
lola: sara is running 230 secs || 10513281 markings, 12092490 edges, 44656 markings/sec, 230 secs
lola: sara is running 235 secs || 10734388 markings, 12350658 edges, 44221 markings/sec, 235 secs
lola: sara is running 240 secs || 10955152 markings, 12610074 edges, 44153 markings/sec, 240 secs
lola: sara is running 245 secs || 11176574 markings, 12867943 edges, 44284 markings/sec, 245 secs
lola: sara is running 250 secs || 11395550 markings, 13127105 edges, 43795 markings/sec, 250 secs
lola: sara is running 255 secs || 11615036 markings, 13386532 edges, 43897 markings/sec, 255 secs
lola: sara is running 260 secs || 11833444 markings, 13646947 edges, 43682 markings/sec, 260 secs
lola: sara is running 265 secs || 12049039 markings, 13905845 edges, 43119 markings/sec, 265 secs
lola: sara is running 270 secs || 12262386 markings, 14170983 edges, 42669 markings/sec, 270 secs
lola: sara is running 275 secs || 12490042 markings, 14426205 edges, 45531 markings/sec, 275 secs
lola: sara is running 280 secs || 12714469 markings, 14683023 edges, 44885 markings/sec, 280 secs
lola: sara is running 285 secs || 12938050 markings, 14939534 edges, 44716 markings/sec, 285 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 295 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G ((A74 <= B45)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 656 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-5.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 3 markings, 2 edges
lola: ========================================
lola: subprocess 6 will run for 324 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (((A64 <= 1) AND (A92 + 1 <= A83) AND (B59 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 656 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 3 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-6.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-6.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 21 markings, 20 edges
lola: ========================================
lola: subprocess 7 will run for 360 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F ((2 <= A76)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 656 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-7.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 5 markings, 4 edges
lola: ========================================
lola: subprocess 8 will run for 405 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G ((((A47 <= 0) AND (B65 <= 2)) OR (2 <= A1))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 656 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 4 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-8.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 3 markings, 2 edges
lola: ========================================
lola: subprocess 9 will run for 463 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (((A17 + 1 <= B79) AND (3 <= B62) AND (A98 <= B45))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 656 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 3 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is unreachable.
lola: 1 markings, 0 edges
lola: state equation: write sara problem file to DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-9.sara
lola: ========================================
lola: subprocess 10 will run for 540 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (((2 <= B12) OR ((B26 <= 0) AND (B24 + 1 <= A34)))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 656 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 3 literals and 2 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 4 markings, 3 edges
lola: state equation: write sara problem file to DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-10.sara
lola: ========================================
lola: subprocess 11 will run for 649 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G ((B83 <= 2)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 656 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is invariant.
lola: 1 markings, 0 edges
lola: state equation: write sara problem file to DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-11.sara
lola: ========================================
lola: subprocess 12 will run for 811 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G ((A49 <= B12)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 656 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-12.sara
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 3 markings, 2 edges
lola: ========================================
lola: state equation: calling and running sara
lola: subprocess 13 will run for 1081 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F ((3 <= A33)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 656 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
sara: try reading problem file DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-12.sara.
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-13.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-13.sara.
sara: place or transition ordering is non-deterministic
sara: place or transition ordering is non-deterministic

lola: sara is running 0 secs || 237412 markings, 258838 edges, 47482 markings/sec, 0 secs
lola: sara is running 5 secs || 485248 markings, 534216 edges, 49567 markings/sec, 5 secs
lola: sara is running 10 secs || 732579 markings, 810516 edges, 49466 markings/sec, 10 secs
lola: sara is running 15 secs || 979368 markings, 1088174 edges, 49358 markings/sec, 15 secs
lola: sara is running 20 secs || 1227440 markings, 1364915 edges, 49614 markings/sec, 20 secs
lola: sara is running 25 secs || 1473462 markings, 1644300 edges, 49204 markings/sec, 25 secs
lola: sara is running 30 secs || 1720818 markings, 1922010 edges, 49471 markings/sec, 30 secs
lola: sara is running 35 secs || 1965980 markings, 2200455 edges, 49032 markings/sec, 35 secs
lola: sara is running 40 secs || 2210569 markings, 2480120 edges, 48918 markings/sec, 40 secs
lola: sara is running 45 secs || 2453950 markings, 2761737 edges, 48676 markings/sec, 45 secs
lola: sara is running 50 secs || 2700428 markings, 3044200 edges, 49296 markings/sec, 50 secs
lola: sara is running 55 secs || 2948429 markings, 3320911 edges, 49600 markings/sec, 55 secs
lola: sara is running 60 secs || 3195393 markings, 3601467 edges, 49393 markings/sec, 60 secs
lola: sara is running 65 secs || 3444512 markings, 3880677 edges, 49824 markings/sec, 65 secs
lola: sara is running 70 secs || 3692570 markings, 4162489 edges, 49612 markings/sec, 70 secs
lola: sara is running 75 secs || 3938984 markings, 4444291 edges, 49283 markings/sec, 75 secs
lola: sara is running 80 secs || 4184504 markings, 4728248 edges, 49104 markings/sec, 80 secs
lola: sara is running 85 secs || 4431619 markings, 5012836 edges, 49423 markings/sec, 85 secs
lola: sara is running 90 secs || 4680131 markings, 5294024 edges, 49702 markings/sec, 90 secs
lola: sara is running 95 secs || 4927928 markings, 5575527 edges, 49559 markings/sec, 95 secs
lola: sara is running 100 secs || 5174203 markings, 5857937 edges, 49255 markings/sec, 100 secs
lola: sara is running 105 secs || 5419320 markings, 6143076 edges, 49023 markings/sec, 105 secs
lola: sara is running 110 secs || 5667065 markings, 6426930 edges, 49549 markings/sec, 110 secs
lola: sara is running 115 secs || 5913462 markings, 6709848 edges, 49279 markings/sec, 115 secs
lola: sara is running 120 secs || 6158002 markings, 6992805 edges, 48908 markings/sec, 120 secs
lola: sara is running 125 secs || 6402324 markings, 7275969 edges, 48864 markings/sec, 125 secs
lola: sara is running 130 secs || 6645407 markings, 7557320 edges, 48617 markings/sec, 130 secs
lola: sara is running 135 secs || 6889052 markings, 7842233 edges, 48729 markings/sec, 135 secs
lola: sara is running 140 secs || 7132366 markings, 8127429 edges, 48663 markings/sec, 140 secs
lola: sara is running 145 secs || 7375299 markings, 8412734 edges, 48587 markings/sec, 145 secs
lola: sara is running 150 secs || 7617197 markings, 8700351 edges, 48380 markings/sec, 150 secs
lola: sara is running 155 secs || 7860176 markings, 8987901 edges, 48596 markings/sec, 155 secs
lola: sara is running 160 secs || 8108292 markings, 9263715 edges, 49623 markings/sec, 160 secs
lola: sara is running 165 secs || 8354252 markings, 9542454 edges, 49192 markings/sec, 165 secs
lola: sara is running 170 secs || 8601188 markings, 9819484 edges, 49387 markings/sec, 170 secs
lola: sara is running 175 secs || 8846461 markings, 10098528 edges, 49055 markings/sec, 175 secs
lola: sara is running 180 secs || 9090935 markings, 10377004 edges, 48895 markings/sec, 180 secs
lola: sara is running 185 secs || 9334396 markings, 10657581 edges, 48692 markings/sec, 185 secs
lola: sara is running 190 secs || 9578254 markings, 10941177 edges, 48772 markings/sec, 190 secs
lola: sara is running 195 secs || 9825107 markings, 11218765 edges, 49371 markings/sec, 195 secs
lola: sara is running 200 secs || 10070603 markings, 11497781 edges, 49099 markings/sec, 200 secs
lola: sara is running 205 secs || 10315024 markings, 11777580 edges, 48884 markings/sec, 205 secs
lola: sara is running 210 secs || 10557937 markings, 12058722 edges, 48583 markings/sec, 210 secs
lola: sara is running 215 secs || 10802585 markings, 12341239 edges, 48930 markings/sec, 215 secs
lola: sara is running 220 secs || 11047635 markings, 12621153 edges, 49010 markings/sec, 220 secs
lola: sara is running 225 secs || 11290990 markings, 12902246 edges, 48671 markings/sec, 225 secs
lola: sara is running 230 secs || 11534283 markings, 13185618 edges, 48659 markings/sec, 230 secs
lola: sara is running 235 secs || 11777510 markings, 13466069 edges, 48645 markings/sec, 235 secs
lola: sara is running 240 secs || 12019540 markings, 13749352 edges, 48406 markings/sec, 240 secs
lola: sara is running 245 secs || 12261050 markings, 14030951 edges, 48302 markings/sec, 245 secs
lola: sara is running 250 secs || 12502616 markings, 14314637 edges, 48313 markings/sec, 250 secs
lola: sara is running 255 secs || 12744072 markings, 14600947 edges, 48291 markings/sec, 255 secs
lola: sara is running 260 secs || 12983816 markings, 14890413 edges, 47949 markings/sec, 260 secs
lola: sara is running 265 secs || 13231100 markings, 15168062 edges, 49457 markings/sec, 265 secs
lola: sara is running 270 secs || 13476453 markings, 15447064 edges, 49071 markings/sec, 270 secs
lola: sara is running 275 secs || 13720756 markings, 15725668 edges, 48861 markings/sec, 275 secs
lola: sara is running 280 secs || 13964496 markings, 16006801 edges, 48748 markings/sec, 280 secs
lola: sara is running 285 secs || 14206752 markings, 16288806 edges, 48451 markings/sec, 285 secs
lola: sara is running 290 secs || 14451648 markings, 16567872 edges, 48979 markings/sec, 290 secs
lola: sara is running 295 secs || 14694536 markings, 16847538 edges, 48578 markings/sec, 295 secs
lola: sara is running 300 secs || 14936080 markings, 17130361 edges, 48309 markings/sec, 300 secs
lola: sara is running 305 secs || 15179576 markings, 17409492 edges, 48699 markings/sec, 305 secs
lola: sara is running 310 secs || 15420812 markings, 17692107 edges, 48247 markings/sec, 310 secs
lola: sara is running 315 secs || 15663400 markings, 17973283 edges, 48518 markings/sec, 315 secs
lola: sara is running 320 secs || 15904960 markings, 18257105 edges, 48312 markings/sec, 320 secs
lola: sara is running 325 secs || 16145640 markings, 18541953 edges, 48136 markings/sec, 325 secs
lola: sara is running 330 secs || 16385880 markings, 18829095 edges, 48048 markings/sec, 330 secs
lola: sara is running 335 secs || 16630168 markings, 19112162 edges, 48858 markings/sec, 335 secs
lola: sara is running 340 secs || 16872410 markings, 19389939 edges, 48448 markings/sec, 340 secs
lola: sara is running 345 secs || 17113728 markings, 19669222 edges, 48264 markings/sec, 345 secs
lola: sara is running 350 secs || 17355112 markings, 19949368 edges, 48277 markings/sec, 350 secs
lola: sara is running 355 secs || 17595905 markings, 20227988 edges, 48159 markings/sec, 355 secs
lola: sara is running 360 secs || 17836025 markings, 20508487 edges, 48024 markings/sec, 360 secs
lola: sara is running 365 secs || 18075612 markings, 20789613 edges, 47917 markings/sec, 365 secs
lola: sara is running 370 secs || 18314809 markings, 21070869 edges, 47839 markings/sec, 370 secs
lola: sara is running 375 secs || 18555652 markings, 21355869 edges, 48169 markings/sec, 375 secs
lola: sara is running 380 secs || 18796454 markings, 21645192 edges, 48160 markings/sec, 380 secs
lola: sara is running 385 secs || 19038596 markings, 21923183 edges, 48428 markings/sec, 385 secs
lola: sara is running 390 secs || 19277787 markings, 22204251 edges, 47838 markings/sec, 390 secs
lola: sara is running 395 secs || 19520399 markings, 22485216 edges, 48522 markings/sec, 395 secs
lola: sara is running 400 secs || 19761564 markings, 22768089 edges, 48233 markings/sec, 400 secs
lola: sara is running 405 secs || 20002155 markings, 23053575 edges, 48118 markings/sec, 405 secs
lola: sara is running 410 secs || 20241135 markings, 23338812 edges, 47796 markings/sec, 410 secs
lola: sara is running 415 secs || 20482720 markings, 23622955 edges, 48317 markings/sec, 415 secs
lola: sara is running 420 secs || 20721505 markings, 23903567 edges, 47757 markings/sec, 420 secs
lola: sara is running 425 secs || 20958730 markings, 24182935 edges, 47445 markings/sec, 425 secs
lola: sara is running 430 secs || 21194331 markings, 24464040 edges, 47120 markings/sec, 430 secs
lola: sara is running 435 secs || 21431096 markings, 24746771 edges, 47353 markings/sec, 435 secs
lola: sara is running 440 secs || 21668210 markings, 25026670 edges, 47423 markings/sec, 440 secs
lola: sara is running 445 secs || 21906399 markings, 25310996 edges, 47638 markings/sec, 445 secs
lola: sara is running 450 secs || 22144112 markings, 25595931 edges, 47543 markings/sec, 450 secs
lola: sara is running 455 secs || 22381901 markings, 25880867 edges, 47558 markings/sec, 455 secs
lola: sara is running 460 secs || 22619932 markings, 26167097 edges, 47606 markings/sec, 460 secs
lola: sara is running 465 secs || 22857026 markings, 26454190 edges, 47419 markings/sec, 465 secs
lola: sara is running 470 secs || 23093988 markings, 26742764 edges, 47392 markings/sec, 470 secs
lola: sara is running 475 secs || 23330103 markings, 27033896 edges, 47223 markings/sec, 475 secs
lola: sara is running 480 secs || 23575150 markings, 27315139 edges, 49009 markings/sec, 480 secs
lola: sara is running 485 secs || 23819548 markings, 27588137 edges, 48880 markings/sec, 485 secs
lola: sara is running 490 secs || 24062663 markings, 27863227 edges, 48623 markings/sec, 490 secs
lola: sara is running 495 secs || 24306045 markings, 28138451 edges, 48676 markings/sec, 495 secs
lola: sara is running 500 secs || 24548100 markings, 28413327 edges, 48411 markings/sec, 500 secs
lola: sara is running 505 secs || 24789073 markings, 28689996 edges, 48195 markings/sec, 505 secs
lola: sara is running 510 secs || 25029680 markings, 28968854 edges, 48121 markings/sec, 510 secs
lola: sara is running 515 secs || 25271787 markings, 29245297 edges, 48421 markings/sec, 515 secs
lola: sara is running 520 secs || 25515308 markings, 29522358 edges, 48704 markings/sec, 520 secs
lola: sara is running 525 secs || 25760828 markings, 29801854 edges, 49104 markings/sec, 525 secs
lola: sara is running 530 secs || 26006084 markings, 30082174 edges, 49051 markings/sec, 530 secs
lola: sara is running 535 secs || 26249025 markings, 30366302 edges, 48588 markings/sec, 535 secs
lola: sara is running 540 secs || 26495100 markings, 30646750 edges, 49215 markings/sec, 540 secs
lola: sara is running 545 secs || 26740356 markings, 30927964 edges, 49051 markings/sec, 545 secs
lola: sara is running 550 secs || 26983764 markings, 31211022 edges, 48682 markings/sec, 550 secs
lola: sara is running 555 secs || 27227920 markings, 31493480 edges, 48831 markings/sec, 555 secs
lola: sara is running 560 secs || 27469128 markings, 31773044 edges, 48242 markings/sec, 560 secs
lola: sara is running 565 secs || 27710468 markings, 32054561 edges, 48268 markings/sec, 565 secs
lola: sara is running 570 secs || 27951544 markings, 32337453 edges, 48215 markings/sec, 570 secs
lola: sara is running 575 secs || 28192352 markings, 32620835 edges, 48162 markings/sec, 575 secs
lola: sara is running 580 secs || 28433440 markings, 32907946 edges, 48218 markings/sec, 580 secs
lola: sara is running 585 secs || 28675142 markings, 33192276 edges, 48340 markings/sec, 585 secs
lola: sara is running 590 secs || 28922668 markings, 33472109 edges, 49505 markings/sec, 590 secs
lola: sara is running 595 secs || 29168848 markings, 33751692 edges, 49236 markings/sec, 595 secs
lola: sara is running 600 secs || 29412318 markings, 34031099 edges, 48694 markings/sec, 600 secs
lola: sara is running 605 secs || 29655004 markings, 34312536 edges, 48537 markings/sec, 605 secs
lola: sara is running 610 secs || 29899702 markings, 34593634 edges, 48940 markings/sec, 610 secs
lola: sara is running 615 secs || 30143536 markings, 34872924 edges, 48767 markings/sec, 615 secs
lola: sara is running 620 secs || 30386791 markings, 35154361 edges, 48651 markings/sec, 620 secs
lola: sara is running 625 secs || 30628495 markings, 35435156 edges, 48341 markings/sec, 625 secs
lola: sara is running 630 secs || 30869976 markings, 35714580 edges, 48296 markings/sec, 630 secs
lola: sara is running 635 secs || 31111492 markings, 35996669 edges, 48303 markings/sec, 635 secs
lola: sara is running 640 secs || 31351424 markings, 36277814 edges, 47986 markings/sec, 640 secs
lola: sara is running 645 secs || 31591708 markings, 36560643 edges, 48057 markings/sec, 645 secs
lola: sara is running 650 secs || 31832228 markings, 36845065 edges, 48104 markings/sec, 650 secs
lola: sara is running 655 secs || 32070164 markings, 37131123 edges, 47587 markings/sec, 655 secs
lola: sara is running 660 secs || 32313396 markings, 37408051 edges, 48646 markings/sec, 660 secs
lola: sara is running 665 secs || 32556760 markings, 37686685 edges, 48673 markings/sec, 665 secs
lola: sara is running 670 secs || 32793825 markings, 37964015 edges, 47413 markings/sec, 670 secs
lola: sara is running 675 secs || 33034380 markings, 38240593 edges, 48111 markings/sec, 675 secs
lola: sara is running 680 secs || 33276388 markings, 38522377 edges, 48402 markings/sec, 680 secs
lola: sara is running 685 secs || 33516136 markings, 38801698 edges, 47950 markings/sec, 685 secs
lola: sara is running 690 secs || 33754660 markings, 39081613 edges, 47705 markings/sec, 690 secs
lola: sara is running 695 secs || 33993263 markings, 39362685 edges, 47721 markings/sec, 695 secs
lola: sara is running 700 secs || 34231967 markings, 39647630 edges, 47741 markings/sec, 700 secs
lola: sara is running 705 secs || 34471014 markings, 39929773 edges, 47809 markings/sec, 705 secs
lola: sara is running 710 secs || 34709862 markings, 40205863 edges, 47770 markings/sec, 710 secs
lola: sara is running 715 secs || 34949717 markings, 40486321 edges, 47971 markings/sec, 715 secs
lola: sara is running 720 secs || 35189347 markings, 40766564 edges, 47926 markings/sec, 720 secs
lola: sara is running 725 secs || 35431065 markings, 41050922 edges, 48344 markings/sec, 725 secs
lola: sara is running 730 secs || 35672972 markings, 41337154 edges, 48381 markings/sec, 730 secs
lola: sara is running 735 secs || 35912778 markings, 41626639 edges, 47961 markings/sec, 735 secs
lola: sara is running 740 secs || 36155080 markings, 41907621 edges, 48460 markings/sec, 740 secs
lola: sara is running 745 secs || 36396728 markings, 42191737 edges, 48330 markings/sec, 745 secs
lola: sara is running 750 secs || 36636532 markings, 42475652 edges, 47961 markings/sec, 750 secs
lola: sara is running 755 secs || 36874144 markings, 42760644 edges, 47522 markings/sec, 755 secs
lola: sara is running 760 secs || 37114319 markings, 43044734 edges, 48035 markings/sec, 760 secs
lola: sara is running 765 secs || 37353490 markings, 43328226 edges, 47834 markings/sec, 765 secs
lola: sara is running 770 secs || 37589876 markings, 43613290 edges, 47277 markings/sec, 770 secs
lola: sara is running 775 secs || 37829808 markings, 43898006 edges, 47986 markings/sec, 775 secs
lola: sara is running 780 secs || 38066044 markings, 44184415 edges, 47247 markings/sec, 780 secs
lola: sara is running 785 secs || 38303554 markings, 44468155 edges, 47502 markings/sec, 785 secs
lola: sara is running 790 secs || 38541378 markings, 44756970 edges, 47565 markings/sec, 790 secs
lola: sara is running 795 secs || 38779504 markings, 45048510 edges, 47625 markings/sec, 795 secs
lola: sara is running 800 secs || 39017389 markings, 45339885 edges, 47577 markings/sec, 800 secs
lola: sara is running 805 secs || 39262113 markings, 45614682 edges, 48945 markings/sec, 805 secs
lola: sara is running 810 secs || 39504579 markings, 45890403 edges, 48493 markings/sec, 810 secs
lola: sara is running 815 secs || 39746932 markings, 46167406 edges, 48471 markings/sec, 815 secs
lola: sara is running 820 secs || 39988140 markings, 46446532 edges, 48242 markings/sec, 820 secs
lola: sara is running 825 secs || 40229710 markings, 46726135 edges, 48314 markings/sec, 825 secs
lola: sara is running 830 secs || 40471875 markings, 47002368 edges, 48433 markings/sec, 830 secs
lola: sara is running 835 secs || 40712490 markings, 47279998 edges, 48123 markings/sec, 835 secs
lola: sara is running 840 secs || 40952048 markings, 47559774 edges, 47912 markings/sec, 840 secs
lola: sara is running 845 secs || 41193035 markings, 47837210 edges, 48197 markings/sec, 845 secs
lola: sara is running 850 secs || 41432660 markings, 48117982 edges, 47925 markings/sec, 850 secs
lola: sara is running 855 secs || 41672416 markings, 48396043 edges, 47951 markings/sec, 855 secs
lola: sara is running 860 secs || 41912387 markings, 48678056 edges, 47994 markings/sec, 860 secs
lola: sara is running 865 secs || 42151046 markings, 48960791 edges, 47732 markings/sec, 865 secs
lola: sara is running 870 secs || 42388736 markings, 49245602 edges, 47538 markings/sec, 870 secs
lola: sara is running 875 secs || 42631214 markings, 49525039 edges, 48496 markings/sec, 875 secs
lola: sara is running 880 secs || 42872428 markings, 49802110 edges, 48243 markings/sec, 880 secs
lola: sara is running 885 secs || 43112880 markings, 50080541 edges, 48090 markings/sec, 885 secs
lola: sara is running 890 secs || 43353104 markings, 50358940 edges, 48045 markings/sec, 890 secs
lola: sara is running 895 secs || 43592884 markings, 50636388 edges, 47956 markings/sec, 895 secs
lola: sara is running 900 secs || 43831188 markings, 50915145 edges, 47661 markings/sec, 900 secs
lola: sara is running 905 secs || 44067864 markings, 51193044 edges, 47335 markings/sec, 905 secs
lola: sara is running 910 secs || 44305146 markings, 51471478 edges, 47456 markings/sec, 910 secs
lola: sara is running 915 secs || 44541695 markings, 51752023 edges, 47310 markings/sec, 915 secs
lola: sara is running 920 secs || 44779442 markings, 52037440 edges, 47549 markings/sec, 920 secs
lola: sara is running 925 secs || 45019628 markings, 52313103 edges, 48037 markings/sec, 925 secs
lola: sara is running 930 secs || 45257888 markings, 52592947 edges, 47652 markings/sec, 930 secs
lola: sara is running 935 secs || 45496983 markings, 52869636 edges, 47819 markings/sec, 935 secs
lola: sara is running 940 secs || 45734872 markings, 53149046 edges, 47578 markings/sec, 940 secs
lola: sara is running 945 secs || 45972232 markings, 53429839 edges, 47472 markings/sec, 945 secs
lola: sara is running 950 secs || 46209713 markings, 53713766 edges, 47496 markings/sec, 950 secs
lola: sara is running 955 secs || 46448880 markings, 53995624 edges, 47833 markings/sec, 955 secs
lola: sara is running 960 secs || 46686841 markings, 54274889 edges, 47592 markings/sec, 960 secs
lola: sara is running 965 secs || 46924461 markings, 54554665 edges, 47524 markings/sec, 965 secs
lola: sara is running 970 secs || 47161724 markings, 54837144 edges, 47453 markings/sec, 970 secs
lola: sara is running 975 secs || 47399236 markings, 55121744 edges, 47502 markings/sec, 975 secs
lola: sara is running 980 secs || 47637427 markings, 55402446 edges, 47638 markings/sec, 980 secs
lola: sara is running 985 secs || 47874563 markings, 55685515 edges, 47427 markings/sec, 985 secs
lola: sara is running 990 secs || 48110320 markings, 55968241 edges, 47151 markings/sec, 990 secs
lola: sara is running 995 secs || 48346439 markings, 56250327 edges, 47224 markings/sec, 995 secs
lola: sara is running 1000 secs || 48583184 markings, 56535780 edges, 47349 markings/sec, 1000 secs
lola: sara is running 1005 secs || 48819255 markings, 56821602 edges, 47214 markings/sec, 1005 secs
lola: sara is running 1010 secs || 49055748 markings, 57108826 edges, 47299 markings/sec, 1010 secs
lola: sara is running 1015 secs || 49291428 markings, 57399028 edges, 47136 markings/sec, 1015 secs
lola: sara is running 1020 secs || 49531819 markings, 57681385 edges, 48078 markings/sec, 1020 secs
lola: sara is running 1025 secs || 49773278 markings, 57958034 edges, 48292 markings/sec, 1025 secs
lola: sara is running 1030 secs || 50013964 markings, 58236534 edges, 48137 markings/sec, 1030 secs
lola: sara is running 1035 secs || 50255672 markings, 58517311 edges, 48342 markings/sec, 1035 secs
lola: sara is running 1040 secs || 50496957 markings, 58796497 edges, 48257 markings/sec, 1040 secs
lola: sara is running 1045 secs || 50736603 markings, 59076280 edges, 47929 markings/sec, 1045 secs
lola: sara is running 1050 secs || 50974940 markings, 59355267 edges, 47667 markings/sec, 1050 secs
lola: sara is running 1055 secs || 51212559 markings, 59634715 edges, 47524 markings/sec, 1055 secs
lola: sara is running 1060 secs || 51448881 markings, 59914252 edges, 47264 markings/sec, 1060 secs
lola: sara is running 1065 secs || 51687470 markings, 60202607 edges, 47718 markings/sec, 1065 secs
lola: sara is running 1070 secs || 51930260 markings, 60480599 edges, 48558 markings/sec, 1070 secs
lola: sara is running 1075 secs || 52170496 markings, 60761635 edges, 48047 markings/sec, 1075 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 1082 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G ((((A13 <= 2) AND (B85 <= 1)) OR (3 <= A77))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 656 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 4 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-14.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-14.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 240501 markings, 269662 edges, 48100 markings/sec, 0 secs
lola: sara is running 5 secs || 491787 markings, 555777 edges, 50257 markings/sec, 5 secs
lola: sara is running 10 secs || 740170 markings, 844124 edges, 49677 markings/sec, 10 secs
lola: sara is running 15 secs || 987311 markings, 1126410 edges, 49428 markings/sec, 15 secs
lola: sara is running 20 secs || 1234821 markings, 1414587 edges, 49502 markings/sec, 20 secs
lola: sara is running 25 secs || 1481351 markings, 1702649 edges, 49306 markings/sec, 25 secs
lola: sara is running 30 secs || 1726014 markings, 1989567 edges, 48933 markings/sec, 30 secs
lola: sara is running 35 secs || 1969230 markings, 2280425 edges, 48643 markings/sec, 35 secs
lola: sara is running 40 secs || 2215577 markings, 2569291 edges, 49269 markings/sec, 40 secs
lola: sara is running 45 secs || 2462327 markings, 2853747 edges, 49350 markings/sec, 45 secs
lola: sara is running 50 secs || 2709464 markings, 3140551 edges, 49427 markings/sec, 50 secs
lola: sara is running 55 secs || 2955677 markings, 3428771 edges, 49243 markings/sec, 55 secs
lola: sara is running 60 secs || 3199681 markings, 3717651 edges, 48801 markings/sec, 60 secs
lola: sara is running 65 secs || 3442061 markings, 4011491 edges, 48476 markings/sec, 65 secs
lola: sara is running 70 secs || 3688621 markings, 4296128 edges, 49312 markings/sec, 70 secs
lola: sara is running 75 secs || 3932189 markings, 4582077 edges, 48714 markings/sec, 75 secs
lola: sara is running 80 secs || 4174395 markings, 4869421 edges, 48441 markings/sec, 80 secs
lola: sara is running 85 secs || 4415259 markings, 5159381 edges, 48173 markings/sec, 85 secs
lola: sara is running 90 secs || 4658523 markings, 5445376 edges, 48653 markings/sec, 90 secs
lola: sara is running 95 secs || 4899351 markings, 5734280 edges, 48166 markings/sec, 95 secs
lola: sara is running 100 secs || 5139511 markings, 6022085 edges, 48032 markings/sec, 100 secs
lola: sara is running 105 secs || 5376191 markings, 6308708 edges, 47336 markings/sec, 105 secs
lola: sara is running 110 secs || 5612645 markings, 6593503 edges, 47291 markings/sec, 110 secs
lola: sara is running 115 secs || 5849426 markings, 6883370 edges, 47356 markings/sec, 115 secs
lola: sara is running 120 secs || 6084066 markings, 7173145 edges, 46928 markings/sec, 120 secs
lola: sara is running 125 secs || 6322390 markings, 7459130 edges, 47665 markings/sec, 125 secs
lola: sara is running 130 secs || 6566401 markings, 7740130 edges, 48802 markings/sec, 130 secs
lola: sara is running 135 secs || 6810701 markings, 8023877 edges, 48860 markings/sec, 135 secs
lola: sara is running 140 secs || 7055313 markings, 8309990 edges, 48922 markings/sec, 140 secs
lola: sara is running 145 secs || 7298800 markings, 8597683 edges, 48697 markings/sec, 145 secs
lola: sara is running 150 secs || 7537834 markings, 8885117 edges, 47807 markings/sec, 150 secs
lola: sara is running 155 secs || 7780271 markings, 9167862 edges, 48487 markings/sec, 155 secs
lola: sara is running 160 secs || 8020301 markings, 9449110 edges, 48006 markings/sec, 160 secs
lola: sara is running 165 secs || 8258666 markings, 9731535 edges, 47673 markings/sec, 165 secs
lola: sara is running 170 secs || 8496196 markings, 10019870 edges, 47506 markings/sec, 170 secs
lola: sara is running 175 secs || 8737873 markings, 10302605 edges, 48335 markings/sec, 175 secs
lola: sara is running 180 secs || 8977726 markings, 10588079 edges, 47971 markings/sec, 180 secs
lola: sara is running 185 secs || 9216601 markings, 10875582 edges, 47775 markings/sec, 185 secs
lola: sara is running 190 secs || 9455705 markings, 11162677 edges, 47821 markings/sec, 190 secs
lola: sara is running 195 secs || 9693894 markings, 11450480 edges, 47638 markings/sec, 195 secs
lola: sara is running 200 secs || 9930361 markings, 11738865 edges, 47293 markings/sec, 200 secs
lola: sara is running 205 secs || 10167582 markings, 12031740 edges, 47444 markings/sec, 205 secs
lola: sara is running 210 secs || 10404501 markings, 12322671 edges, 47384 markings/sec, 210 secs
lola: sara is running 215 secs || 10645033 markings, 12604217 edges, 48106 markings/sec, 215 secs
lola: sara is running 220 secs || 10887069 markings, 12887342 edges, 48407 markings/sec, 220 secs
lola: sara is running 225 secs || 11126341 markings, 13172403 edges, 47854 markings/sec, 225 secs
lola: sara is running 230 secs || 11366581 markings, 13459633 edges, 48048 markings/sec, 230 secs
lola: sara is running 235 secs || 11605211 markings, 13742002 edges, 47726 markings/sec, 235 secs
lola: sara is running 240 secs || 11840949 markings, 14025999 edges, 47148 markings/sec, 240 secs
lola: sara is running 245 secs || 12080000 markings, 14310803 edges, 47810 markings/sec, 245 secs
lola: sara is running 250 secs || 12315987 markings, 14596831 edges, 47197 markings/sec, 250 secs
lola: sara is running 255 secs || 12552346 markings, 14884044 edges, 47272 markings/sec, 255 secs
lola: sara is running 260 secs || 12788876 markings, 15172023 edges, 47306 markings/sec, 260 secs
lola: sara is running 265 secs || 13023554 markings, 15464265 edges, 46936 markings/sec, 265 secs
lola: sara is running 270 secs || 13262072 markings, 15750226 edges, 47704 markings/sec, 270 secs
lola: sara is running 275 secs || 13501131 markings, 16033661 edges, 47812 markings/sec, 275 secs
lola: sara is running 280 secs || 13738111 markings, 16320388 edges, 47396 markings/sec, 280 secs
lola: sara is running 285 secs || 13977091 markings, 16604838 edges, 47796 markings/sec, 285 secs
lola: sara is running 290 secs || 14214531 markings, 16892514 edges, 47488 markings/sec, 290 secs
lola: sara is running 295 secs || 14450545 markings, 17179414 edges, 47203 markings/sec, 295 secs
lola: sara is running 300 secs || 14684919 markings, 17467646 edges, 46875 markings/sec, 300 secs
lola: sara is running 305 secs || 14918101 markings, 17759806 edges, 46636 markings/sec, 305 secs
lola: sara is running 310 secs || 15156801 markings, 18044326 edges, 47740 markings/sec, 310 secs
lola: sara is running 315 secs || 15393716 markings, 18330681 edges, 47383 markings/sec, 315 secs
lola: sara is running 320 secs || 15629146 markings, 18616861 edges, 47086 markings/sec, 320 secs
lola: sara is running 325 secs || 15863661 markings, 18902978 edges, 46903 markings/sec, 325 secs
lola: sara is running 330 secs || 16096530 markings, 19193048 edges, 46574 markings/sec, 330 secs
lola: sara is running 335 secs || 16332048 markings, 19480387 edges, 47104 markings/sec, 335 secs
lola: sara is running 340 secs || 16569114 markings, 19769859 edges, 47413 markings/sec, 340 secs
lola: sara is running 345 secs || 16803726 markings, 20059536 edges, 46922 markings/sec, 345 secs
lola: sara is running 350 secs || 17037138 markings, 20350684 edges, 46682 markings/sec, 350 secs
lola: sara is running 355 secs || 17269503 markings, 20636391 edges, 46473 markings/sec, 355 secs
lola: sara is running 360 secs || 17499858 markings, 20924821 edges, 46071 markings/sec, 360 secs
lola: sara is running 365 secs || 17732311 markings, 21212893 edges, 46491 markings/sec, 365 secs
lola: sara is running 370 secs || 17963276 markings, 21503295 edges, 46193 markings/sec, 370 secs
lola: sara is running 375 secs || 18192766 markings, 21792664 edges, 45898 markings/sec, 375 secs
lola: sara is running 380 secs || 18423421 markings, 22087343 edges, 46131 markings/sec, 380 secs
lola: sara is running 385 secs || 18657956 markings, 22384293 edges, 46907 markings/sec, 385 secs
lola: sara is running 390 secs || 18904386 markings, 22666035 edges, 49286 markings/sec, 390 secs
lola: sara is running 395 secs || 19149315 markings, 22951274 edges, 48986 markings/sec, 395 secs
lola: sara is running 400 secs || 19394201 markings, 23237339 edges, 48977 markings/sec, 400 secs
lola: sara is running 405 secs || 19638481 markings, 23523901 edges, 48856 markings/sec, 405 secs
lola: sara is running 410 secs || 19879769 markings, 23812367 edges, 48258 markings/sec, 410 secs
lola: sara is running 415 secs || 20122447 markings, 24098842 edges, 48536 markings/sec, 415 secs
lola: sara is running 420 secs || 20364195 markings, 24381733 edges, 48350 markings/sec, 420 secs
lola: sara is running 425 secs || 20605897 markings, 24666688 edges, 48340 markings/sec, 425 secs
lola: sara is running 430 secs || 20845303 markings, 24954591 edges, 47881 markings/sec, 430 secs
lola: sara is running 435 secs || 21086376 markings, 25240032 edges, 48215 markings/sec, 435 secs
lola: sara is running 440 secs || 21327704 markings, 25526606 edges, 48266 markings/sec, 440 secs
lola: sara is running 445 secs || 21567506 markings, 25815706 edges, 47960 markings/sec, 445 secs
lola: sara is running 450 secs || 21806052 markings, 26100539 edges, 47709 markings/sec, 450 secs
lola: sara is running 455 secs || 22043261 markings, 26387567 edges, 47442 markings/sec, 455 secs
lola: sara is running 460 secs || 22278619 markings, 26673704 edges, 47072 markings/sec, 460 secs
lola: sara is running 465 secs || 22515785 markings, 26965594 edges, 47433 markings/sec, 465 secs
lola: sara is running 470 secs || 22751758 markings, 27260855 edges, 47195 markings/sec, 470 secs
lola: sara is running 475 secs || 22995751 markings, 27543046 edges, 48799 markings/sec, 475 secs
lola: sara is running 480 secs || 23237356 markings, 27827145 edges, 48321 markings/sec, 480 secs
lola: sara is running 485 secs || 23478508 markings, 28113319 edges, 48230 markings/sec, 485 secs
lola: sara is running 490 secs || 23718875 markings, 28402095 edges, 48073 markings/sec, 490 secs
lola: sara is running 495 secs || 23960666 markings, 28686591 edges, 48358 markings/sec, 495 secs
lola: sara is running 500 secs || 24199926 markings, 28973707 edges, 47852 markings/sec, 500 secs
lola: sara is running 505 secs || 24439690 markings, 29260902 edges, 47953 markings/sec, 505 secs
lola: sara is running 510 secs || 24677851 markings, 29550216 edges, 47632 markings/sec, 510 secs
lola: sara is running 515 secs || 24915930 markings, 29836536 edges, 47616 markings/sec, 515 secs
lola: sara is running 520 secs || 25153641 markings, 30127158 edges, 47542 markings/sec, 520 secs
lola: sara is running 525 secs || 25389541 markings, 30419463 edges, 47180 markings/sec, 525 secs
lola: sara is running 530 secs || 25628346 markings, 30708383 edges, 47761 markings/sec, 530 secs
lola: sara is running 535 secs || 25867886 markings, 30992249 edges, 47908 markings/sec, 535 secs
lola: sara is running 540 secs || 26103296 markings, 31278478 edges, 47082 markings/sec, 540 secs
lola: sara is running 545 secs || 26342731 markings, 31561851 edges, 47887 markings/sec, 545 secs
lola: sara is running 550 secs || 26581567 markings, 31850864 edges, 47767 markings/sec, 550 secs
lola: sara is running 555 secs || 26819326 markings, 32139666 edges, 47552 markings/sec, 555 secs
lola: sara is running 560 secs || 27055506 markings, 32428440 edges, 47236 markings/sec, 560 secs
lola: sara is running 565 secs || 27290636 markings, 32722237 edges, 47026 markings/sec, 565 secs
lola: sara is running 570 secs || 27530958 markings, 33010875 edges, 48064 markings/sec, 570 secs
lola: sara is running 575 secs || 27770311 markings, 33301113 edges, 47871 markings/sec, 575 secs
lola: sara is running 580 secs || 28008836 markings, 33591011 edges, 47705 markings/sec, 580 secs
lola: sara is running 585 secs || 28246311 markings, 33879738 edges, 47495 markings/sec, 585 secs
lola: sara is running 590 secs || 28481447 markings, 34172755 edges, 47027 markings/sec, 590 secs
lola: sara is running 595 secs || 28717905 markings, 34461633 edges, 47292 markings/sec, 595 secs
lola: sara is running 600 secs || 28954524 markings, 34749973 edges, 47324 markings/sec, 600 secs
lola: sara is running 605 secs || 29191766 markings, 35042324 edges, 47448 markings/sec, 605 secs
lola: sara is running 610 secs || 29427981 markings, 35337865 edges, 47243 markings/sec, 610 secs
lola: sara is running 615 secs || 29663735 markings, 35626911 edges, 47151 markings/sec, 615 secs
lola: sara is running 620 secs || 29897611 markings, 35919929 edges, 46775 markings/sec, 620 secs
lola: sara is running 625 secs || 30132636 markings, 36211386 edges, 47005 markings/sec, 625 secs
lola: sara is running 630 secs || 30367976 markings, 36507160 edges, 47068 markings/sec, 630 secs
lola: sara is running 635 secs || 30602266 markings, 36802882 edges, 46858 markings/sec, 635 secs
lola: sara is running 640 secs || 30835823 markings, 37101145 edges, 46711 markings/sec, 640 secs
lola: sara is running 645 secs || 31072527 markings, 37399840 edges, 47341 markings/sec, 645 secs
lola: sara is running 650 secs || 31316300 markings, 37685015 edges, 48755 markings/sec, 650 secs
lola: sara is running 655 secs || 31559562 markings, 37969906 edges, 48652 markings/sec, 655 secs
lola: sara is running 660 secs || 31800036 markings, 38256896 edges, 48095 markings/sec, 660 secs
lola: sara is running 665 secs || 32042026 markings, 38545298 edges, 48398 markings/sec, 665 secs
lola: sara is running 670 secs || 32285066 markings, 38832955 edges, 48608 markings/sec, 670 secs
lola: sara is running 675 secs || 32525501 markings, 39124117 edges, 48087 markings/sec, 675 secs
lola: sara is running 680 secs || 32768741 markings, 39413134 edges, 48648 markings/sec, 680 secs
lola: sara is running 685 secs || 33007240 markings, 39701668 edges, 47700 markings/sec, 685 secs
lola: sara is running 690 secs || 33243654 markings, 39988796 edges, 47283 markings/sec, 690 secs
lola: sara is running 695 secs || 33479091 markings, 40276724 edges, 47087 markings/sec, 695 secs
lola: sara is running 700 secs || 33715376 markings, 40571307 edges, 47257 markings/sec, 700 secs
lola: sara is running 705 secs || 33956122 markings, 40858832 edges, 48149 markings/sec, 705 secs
lola: sara is running 710 secs || 34195891 markings, 41143303 edges, 47954 markings/sec, 710 secs
lola: sara is running 715 secs || 34434311 markings, 41430561 edges, 47684 markings/sec, 715 secs
lola: sara is running 720 secs || 34672968 markings, 41715831 edges, 47731 markings/sec, 720 secs
lola: sara is running 725 secs || 34909926 markings, 42002399 edges, 47392 markings/sec, 725 secs
lola: sara is running 730 secs || 35145581 markings, 42289172 edges, 47131 markings/sec, 730 secs
lola: sara is running 735 secs || 35380081 markings, 42578103 edges, 46900 markings/sec, 735 secs
lola: sara is running 740 secs || 35613811 markings, 42870754 edges, 46746 markings/sec, 740 secs
lola: sara is running 745 secs || 35854436 markings, 43156588 edges, 48125 markings/sec, 745 secs
lola: sara is running 750 secs || 36092821 markings, 43445695 edges, 47677 markings/sec, 750 secs
lola: sara is running 755 secs || 36331555 markings, 43735397 edges, 47747 markings/sec, 755 secs
lola: sara is running 760 secs || 36568401 markings, 44025828 edges, 47369 markings/sec, 760 secs
lola: sara is running 765 secs || 36803608 markings, 44320516 edges, 47041 markings/sec, 765 secs
lola: sara is running 770 secs || 37042231 markings, 44609212 edges, 47725 markings/sec, 770 secs
lola: sara is running 775 secs || 37280436 markings, 44900939 edges, 47641 markings/sec, 775 secs
lola: sara is running 780 secs || 37514256 markings, 45189406 edges, 46764 markings/sec, 780 secs
lola: sara is running 785 secs || 37749392 markings, 45481477 edges, 47027 markings/sec, 785 secs
lola: sara is running 790 secs || 37984501 markings, 45771228 edges, 47022 markings/sec, 790 secs
lola: sara is running 795 secs || 38219771 markings, 46066687 edges, 47054 markings/sec, 795 secs
lola: sara is running 800 secs || 38455219 markings, 46358556 edges, 47090 markings/sec, 800 secs
lola: sara is running 805 secs || 38689261 markings, 46652751 edges, 46808 markings/sec, 805 secs
lola: sara is running 810 secs || 38922956 markings, 46948772 edges, 46739 markings/sec, 810 secs
lola: sara is running 815 secs || 39156441 markings, 47247960 edges, 46697 markings/sec, 815 secs
lola: sara is running 820 secs || 39396296 markings, 47545140 edges, 47971 markings/sec, 820 secs
lola: sara is running 825 secs || 39638152 markings, 47831661 edges, 48371 markings/sec, 825 secs
lola: sara is running 830 secs || 39875481 markings, 48119196 edges, 47466 markings/sec, 830 secs
lola: sara is running 835 secs || 40116510 markings, 48405431 edges, 48206 markings/sec, 835 secs
lola: sara is running 840 secs || 40354268 markings, 48693131 edges, 47552 markings/sec, 840 secs
lola: sara is running 845 secs || 40591678 markings, 48981389 edges, 47482 markings/sec, 845 secs
lola: sara is running 850 secs || 40828356 markings, 49270945 edges, 47336 markings/sec, 850 secs
lola: sara is running 855 secs || 41062786 markings, 49563068 edges, 46886 markings/sec, 855 secs
lola: sara is running 860 secs || 41302886 markings, 49852122 edges, 48020 markings/sec, 860 secs
lola: sara is running 865 secs || 41540746 markings, 50140657 edges, 47572 markings/sec, 865 secs
lola: sara is running 870 secs || 41778221 markings, 50428234 edges, 47495 markings/sec, 870 secs
lola: sara is running 875 secs || 42014646 markings, 50716645 edges, 47285 markings/sec, 875 secs
lola: sara is running 880 secs || 42248912 markings, 51007463 edges, 46853 markings/sec, 880 secs
lola: sara is running 885 secs || 42486796 markings, 51299264 edges, 47577 markings/sec, 885 secs
lola: sara is running 890 secs || 42725386 markings, 51589595 edges, 47718 markings/sec, 890 secs
lola: sara is running 895 secs || 42962831 markings, 51882093 edges, 47489 markings/sec, 895 secs
lola: sara is running 900 secs || 43198066 markings, 52176530 edges, 47047 markings/sec, 900 secs
lola: sara is running 905 secs || 43432036 markings, 52463266 edges, 46794 markings/sec, 905 secs
lola: sara is running 910 secs || 43666016 markings, 52755872 edges, 46796 markings/sec, 910 secs
lola: sara is running 915 secs || 43901146 markings, 53048000 edges, 47026 markings/sec, 915 secs
lola: sara is running 920 secs || 44135261 markings, 53342856 edges, 46823 markings/sec, 920 secs
lola: sara is running 925 secs || 44368733 markings, 53636819 edges, 46694 markings/sec, 925 secs
lola: sara is running 930 secs || 44600694 markings, 53933034 edges, 46392 markings/sec, 930 secs
lola: sara is running 935 secs || 44834604 markings, 54232026 edges, 46782 markings/sec, 935 secs
lola: sara is running 940 secs || 45072071 markings, 54515651 edges, 47493 markings/sec, 940 secs
lola: sara is running 945 secs || 45309021 markings, 54802046 edges, 47390 markings/sec, 945 secs
lola: sara is running 950 secs || 45544895 markings, 55088997 edges, 47175 markings/sec, 950 secs
lola: sara is running 955 secs || 45779295 markings, 55377287 edges, 46880 markings/sec, 955 secs
lola: sara is running 960 secs || 46011327 markings, 55669247 edges, 46406 markings/sec, 960 secs
lola: sara is running 965 secs || 46244957 markings, 55950419 edges, 46726 markings/sec, 965 secs
lola: sara is running 970 secs || 46479459 markings, 56237237 edges, 46900 markings/sec, 970 secs
lola: sara is running 975 secs || 46712897 markings, 56526486 edges, 46688 markings/sec, 975 secs
lola: sara is running 980 secs || 46946468 markings, 56815764 edges, 46714 markings/sec, 980 secs
lola: sara is running 985 secs || 47178403 markings, 57101407 edges, 46387 markings/sec, 985 secs
lola: sara is running 990 secs || 47409791 markings, 57392124 edges, 46278 markings/sec, 990 secs
lola: sara is running 995 secs || 47642665 markings, 57680999 edges, 46575 markings/sec, 995 secs
lola: sara is running 1000 secs || 47875515 markings, 57973729 edges, 46570 markings/sec, 1000 secs
lola: sara is running 1005 secs || 48106095 markings, 58265775 edges, 46116 markings/sec, 1005 secs
lola: sara is running 1010 secs || 48337956 markings, 58562929 edges, 46372 markings/sec, 1010 secs
lola: sara is running 1015 secs || 48572491 markings, 58858187 edges, 46907 markings/sec, 1015 secs
lola: sara is running 1020 secs || 48809546 markings, 59146648 edges, 47411 markings/sec, 1020 secs
lola: sara is running 1025 secs || 49044396 markings, 59435358 edges, 46970 markings/sec, 1025 secs
lola: sara is running 1030 secs || 49278121 markings, 59729494 edges, 46745 markings/sec, 1030 secs
lola: sara is running 1035 secs || 49513311 markings, 60015869 edges, 47038 markings/sec, 1035 secs
lola: sara is running 1040 secs || 49748316 markings, 60308501 edges, 47001 markings/sec, 1040 secs
lola: sara is running 1045 secs || 49982886 markings, 60600615 edges, 46914 markings/sec, 1045 secs
lola: sara is running 1050 secs || 50216005 markings, 60893773 edges, 46624 markings/sec, 1050 secs
lola: sara is running 1055 secs || 50448946 markings, 61187133 edges, 46588 markings/sec, 1055 secs
lola: sara is running 1060 secs || 50681493 markings, 61483260 edges, 46509 markings/sec, 1060 secs
lola: sara is running 1065 secs || 50914539 markings, 61786389 edges, 46609 markings/sec, 1065 secs
lola: sara is running 1070 secs || 51150171 markings, 62073653 edges, 47126 markings/sec, 1070 secs
lola: sara is running 1075 secs || 51383866 markings, 62364484 edges, 46739 markings/sec, 1075 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 1081 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (((1 <= A75) AND (1 <= B44) AND (1 <= A29) AND (3 <= A60))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 656 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 4 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-15.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-15.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 251933 markings, 284098 edges, 50387 markings/sec, 0 secs
lola: sara is running 5 secs || 515870 markings, 588207 edges, 52787 markings/sec, 5 secs
lola: sara is running 10 secs || 777393 markings, 892787 edges, 52305 markings/sec, 10 secs
lola: sara is running 15 secs || 1038266 markings, 1196596 edges, 52175 markings/sec, 15 secs
lola: sara is running 20 secs || 1299157 markings, 1501816 edges, 52178 markings/sec, 20 secs
lola: sara is running 25 secs || 1558450 markings, 1809609 edges, 51859 markings/sec, 25 secs
lola: sara is running 30 secs || 1816743 markings, 2119102 edges, 51659 markings/sec, 30 secs
lola: sara is running 35 secs || 2076279 markings, 2427836 edges, 51907 markings/sec, 35 secs
lola: sara is running 40 secs || 2337173 markings, 2731671 edges, 52179 markings/sec, 40 secs
lola: sara is running 45 secs || 2598253 markings, 3037110 edges, 52216 markings/sec, 45 secs
lola: sara is running 50 secs || 2856976 markings, 3344184 edges, 51745 markings/sec, 50 secs
lola: sara is running 55 secs || 3114983 markings, 3653332 edges, 51601 markings/sec, 55 secs
lola: sara is running 60 secs || 3371415 markings, 3960496 edges, 51286 markings/sec, 60 secs
lola: sara is running 65 secs || 3628059 markings, 4262912 edges, 51329 markings/sec, 65 secs
lola: sara is running 70 secs || 3884166 markings, 4568693 edges, 51221 markings/sec, 70 secs
lola: sara is running 75 secs || 4138376 markings, 4878682 edges, 50842 markings/sec, 75 secs
lola: sara is running 80 secs || 4396704 markings, 5184679 edges, 51666 markings/sec, 80 secs
lola: sara is running 85 secs || 4651987 markings, 5494615 edges, 51057 markings/sec, 85 secs
lola: sara is running 90 secs || 4907221 markings, 5802970 edges, 51047 markings/sec, 90 secs
lola: sara is running 95 secs || 5161941 markings, 6114343 edges, 50944 markings/sec, 95 secs
lola: sara is running 100 secs || 5415282 markings, 6424683 edges, 50668 markings/sec, 100 secs
lola: sara is running 105 secs || 5668193 markings, 6739362 edges, 50582 markings/sec, 105 secs
lola: sara is running 110 secs || 5922701 markings, 7053894 edges, 50902 markings/sec, 110 secs
lola: sara is running 115 secs || 6184213 markings, 7356696 edges, 52302 markings/sec, 115 secs
lola: sara is running 120 secs || 6444891 markings, 7662368 edges, 52136 markings/sec, 120 secs
lola: sara is running 125 secs || 6705399 markings, 7969984 edges, 52102 markings/sec, 125 secs
lola: sara is running 130 secs || 6963477 markings, 8278806 edges, 51616 markings/sec, 130 secs
lola: sara is running 135 secs || 7219786 markings, 8588194 edges, 51262 markings/sec, 135 secs
lola: sara is running 140 secs || 7478387 markings, 8892502 edges, 51720 markings/sec, 140 secs
lola: sara is running 145 secs || 7734896 markings, 9197228 edges, 51302 markings/sec, 145 secs
lola: sara is running 150 secs || 7988458 markings, 9505783 edges, 50712 markings/sec, 150 secs
lola: sara is running 155 secs || 8246504 markings, 9812984 edges, 51609 markings/sec, 155 secs
lola: sara is running 160 secs || 8502624 markings, 10121520 edges, 51224 markings/sec, 160 secs
lola: sara is running 165 secs || 8757389 markings, 10430134 edges, 50953 markings/sec, 165 secs
lola: sara is running 170 secs || 9011983 markings, 10741362 edges, 50919 markings/sec, 170 secs
lola: sara is running 175 secs || 9265655 markings, 11052053 edges, 50734 markings/sec, 175 secs
lola: sara is running 180 secs || 9516695 markings, 11363851 edges, 50208 markings/sec, 180 secs
lola: sara is running 185 secs || 9768144 markings, 11680254 edges, 50290 markings/sec, 185 secs
lola: sara is running 190 secs || 10027458 markings, 11984707 edges, 51863 markings/sec, 190 secs
lola: sara is running 195 secs || 10284958 markings, 12288913 edges, 51500 markings/sec, 195 secs
lola: sara is running 200 secs || 10539579 markings, 12596875 edges, 50924 markings/sec, 200 secs
lola: sara is running 205 secs || 10796827 markings, 12905592 edges, 51450 markings/sec, 205 secs
lola: sara is running 210 secs || 11053364 markings, 13212927 edges, 51307 markings/sec, 210 secs
lola: sara is running 215 secs || 11308290 markings, 13522915 edges, 50985 markings/sec, 215 secs
lola: sara is running 220 secs || 11562497 markings, 13832960 edges, 50841 markings/sec, 220 secs
lola: sara is running 225 secs || 11815732 markings, 14142262 edges, 50647 markings/sec, 225 secs
lola: sara is running 230 secs || 12068412 markings, 14454201 edges, 50536 markings/sec, 230 secs
lola: sara is running 235 secs || 12319016 markings, 14771074 edges, 50121 markings/sec, 235 secs
lola: sara is running 240 secs || 12574400 markings, 15076336 edges, 51077 markings/sec, 240 secs
lola: sara is running 245 secs || 12828567 markings, 15382595 edges, 50833 markings/sec, 245 secs
lola: sara is running 250 secs || 13082352 markings, 15690182 edges, 50757 markings/sec, 250 secs
lola: sara is running 255 secs || 13334751 markings, 15998866 edges, 50480 markings/sec, 255 secs
lola: sara is running 260 secs || 13586566 markings, 16307044 edges, 50363 markings/sec, 260 secs
lola: sara is running 265 secs || 13836850 markings, 16616822 edges, 50057 markings/sec, 265 secs
lola: sara is running 270 secs || 14085589 markings, 16932447 edges, 49748 markings/sec, 270 secs
lola: sara is running 275 secs || 14340918 markings, 17238949 edges, 51066 markings/sec, 275 secs
lola: sara is running 280 secs || 14593966 markings, 17548113 edges, 50610 markings/sec, 280 secs
lola: sara is running 285 secs || 14846121 markings, 17858620 edges, 50431 markings/sec, 285 secs
lola: sara is running 290 secs || 15097117 markings, 18172332 edges, 50199 markings/sec, 290 secs
lola: sara is running 295 secs || 15348590 markings, 18486024 edges, 50295 markings/sec, 295 secs
lola: sara is running 300 secs || 15600036 markings, 18795299 edges, 50289 markings/sec, 300 secs
lola: sara is running 305 secs || 15850938 markings, 19108899 edges, 50180 markings/sec, 305 secs
lola: sara is running 310 secs || 16101235 markings, 19423450 edges, 50059 markings/sec, 310 secs
lola: sara is running 315 secs || 16351820 markings, 19735877 edges, 50117 markings/sec, 315 secs
lola: sara is running 320 secs || 16601631 markings, 20051825 edges, 49962 markings/sec, 320 secs
lola: sara is running 325 secs || 16850717 markings, 20368872 edges, 49817 markings/sec, 325 secs
lola: sara is running 330 secs || 17098965 markings, 20684864 edges, 49650 markings/sec, 330 secs
lola: sara is running 335 secs || 17346071 markings, 21002843 edges, 49421 markings/sec, 335 secs
lola: sara is running 340 secs || 17596536 markings, 21323495 edges, 50093 markings/sec, 340 secs
lola: sara is running 345 secs || 17857428 markings, 21625025 edges, 52178 markings/sec, 345 secs
lola: sara is running 350 secs || 18117838 markings, 21929980 edges, 52082 markings/sec, 350 secs
lola: sara is running 355 secs || 18377346 markings, 22236329 edges, 51902 markings/sec, 355 secs
lola: sara is running 360 secs || 18634817 markings, 22544016 edges, 51494 markings/sec, 360 secs
lola: sara is running 365 secs || 18890005 markings, 22853287 edges, 51038 markings/sec, 365 secs
lola: sara is running 370 secs || 19147798 markings, 23156709 edges, 51559 markings/sec, 370 secs
lola: sara is running 375 secs || 19404417 markings, 23460333 edges, 51324 markings/sec, 375 secs
lola: sara is running 380 secs || 19659369 markings, 23769823 edges, 50990 markings/sec, 380 secs
lola: sara is running 385 secs || 19916239 markings, 24076738 edges, 51374 markings/sec, 385 secs
lola: sara is running 390 secs || 20170405 markings, 24382487 edges, 50833 markings/sec, 390 secs
lola: sara is running 395 secs || 20422011 markings, 24687781 edges, 50321 markings/sec, 395 secs
lola: sara is running 400 secs || 20674708 markings, 24996858 edges, 50539 markings/sec, 400 secs
lola: sara is running 405 secs || 20926947 markings, 25305452 edges, 50448 markings/sec, 405 secs
lola: sara is running 410 secs || 21177843 markings, 25614560 edges, 50179 markings/sec, 410 secs
lola: sara is running 415 secs || 21427394 markings, 25931551 edges, 49910 markings/sec, 415 secs
lola: sara is running 420 secs || 21685920 markings, 26234310 edges, 51705 markings/sec, 420 secs
lola: sara is running 425 secs || 21942967 markings, 26539000 edges, 51409 markings/sec, 425 secs
lola: sara is running 430 secs || 22198355 markings, 26846355 edges, 51078 markings/sec, 430 secs
lola: sara is running 435 secs || 22454798 markings, 27154561 edges, 51289 markings/sec, 435 secs
lola: sara is running 440 secs || 22711339 markings, 27462345 edges, 51308 markings/sec, 440 secs
lola: sara is running 445 secs || 22965999 markings, 27771564 edges, 50932 markings/sec, 445 secs
lola: sara is running 450 secs || 23219607 markings, 28079419 edges, 50722 markings/sec, 450 secs
lola: sara is running 455 secs || 23472726 markings, 28388801 edges, 50624 markings/sec, 455 secs
lola: sara is running 460 secs || 23724375 markings, 28699902 edges, 50330 markings/sec, 460 secs
lola: sara is running 465 secs || 23973753 markings, 29013329 edges, 49876 markings/sec, 465 secs
lola: sara is running 470 secs || 24226140 markings, 29319614 edges, 50477 markings/sec, 470 secs
lola: sara is running 475 secs || 24480878 markings, 29624392 edges, 50948 markings/sec, 475 secs
lola: sara is running 480 secs || 24733598 markings, 29931643 edges, 50544 markings/sec, 480 secs
lola: sara is running 485 secs || 24984844 markings, 30237938 edges, 50249 markings/sec, 485 secs
lola: sara is running 490 secs || 25236485 markings, 30545342 edges, 50328 markings/sec, 490 secs
lola: sara is running 495 secs || 25486628 markings, 30854361 edges, 50029 markings/sec, 495 secs
lola: sara is running 500 secs || 25736022 markings, 31169128 edges, 49879 markings/sec, 500 secs
lola: sara is running 505 secs || 25990285 markings, 31477483 edges, 50853 markings/sec, 505 secs
lola: sara is running 510 secs || 26242009 markings, 31785297 edges, 50345 markings/sec, 510 secs
lola: sara is running 515 secs || 26493834 markings, 32094132 edges, 50365 markings/sec, 515 secs
lola: sara is running 520 secs || 26743250 markings, 32404551 edges, 49883 markings/sec, 520 secs
lola: sara is running 525 secs || 26992035 markings, 32717374 edges, 49757 markings/sec, 525 secs
lola: sara is running 530 secs || 27243462 markings, 33025977 edges, 50285 markings/sec, 530 secs
lola: sara is running 535 secs || 27493168 markings, 33336205 edges, 49941 markings/sec, 535 secs
lola: sara is running 540 secs || 27741795 markings, 33650534 edges, 49725 markings/sec, 540 secs
lola: sara is running 545 secs || 27991869 markings, 33961000 edges, 50015 markings/sec, 545 secs
lola: sara is running 550 secs || 28240425 markings, 34276366 edges, 49711 markings/sec, 550 secs
lola: sara is running 555 secs || 28489775 markings, 34589584 edges, 49870 markings/sec, 555 secs
lola: sara is running 560 secs || 28737836 markings, 34905692 edges, 49612 markings/sec, 560 secs
lola: sara is running 565 secs || 28985369 markings, 35224085 edges, 49507 markings/sec, 565 secs
lola: sara is running 570 secs || 29228745 markings, 35546287 edges, 48675 markings/sec, 570 secs
lola: sara is running 575 secs || 29487167 markings, 35847635 edges, 51684 markings/sec, 575 secs
lola: sara is running 580 secs || 29742451 markings, 36150183 edges, 51057 markings/sec, 580 secs
lola: sara is running 585 secs || 29995793 markings, 36455294 edges, 50668 markings/sec, 585 secs
lola: sara is running 590 secs || 30251410 markings, 36762511 edges, 51123 markings/sec, 590 secs
lola: sara is running 595 secs || 30506213 markings, 37068111 edges, 50961 markings/sec, 595 secs
lola: sara is running 600 secs || 30760007 markings, 37376328 edges, 50759 markings/sec, 600 secs
lola: sara is running 605 secs || 31014223 markings, 37684914 edges, 50843 markings/sec, 605 secs
lola: sara is running 610 secs || 31267023 markings, 37993901 edges, 50560 markings/sec, 610 secs
lola: sara is running 615 secs || 31518265 markings, 38304479 edges, 50248 markings/sec, 615 secs
lola: sara is running 620 secs || 31766972 markings, 38617075 edges, 49741 markings/sec, 620 secs
lola: sara is running 625 secs || 32020900 markings, 38925290 edges, 50786 markings/sec, 625 secs
lola: sara is running 630 secs || 32274306 markings, 39228437 edges, 50681 markings/sec, 630 secs
lola: sara is running 635 secs || 32525838 markings, 39534235 edges, 50306 markings/sec, 635 secs
lola: sara is running 640 secs || 32778199 markings, 39841843 edges, 50472 markings/sec, 640 secs
lola: sara is running 645 secs || 33029320 markings, 40148550 edges, 50224 markings/sec, 645 secs
lola: sara is running 650 secs || 33279657 markings, 40457781 edges, 50067 markings/sec, 650 secs
lola: sara is running 655 secs || 33528479 markings, 40771901 edges, 49764 markings/sec, 655 secs
lola: sara is running 660 secs || 33781783 markings, 41079230 edges, 50661 markings/sec, 660 secs
lola: sara is running 665 secs || 34034494 markings, 41388237 edges, 50542 markings/sec, 665 secs
lola: sara is running 670 secs || 34286322 markings, 41696932 edges, 50366 markings/sec, 670 secs
lola: sara is running 675 secs || 34536034 markings, 42007693 edges, 49942 markings/sec, 675 secs
lola: sara is running 680 secs || 34785705 markings, 42321731 edges, 49934 markings/sec, 680 secs
lola: sara is running 685 secs || 35037203 markings, 42630423 edges, 50300 markings/sec, 685 secs
lola: sara is running 690 secs || 35286381 markings, 42940002 edges, 49836 markings/sec, 690 secs
lola: sara is running 695 secs || 35534931 markings, 43254180 edges, 49710 markings/sec, 695 secs
lola: sara is running 700 secs || 35784027 markings, 43563422 edges, 49819 markings/sec, 700 secs
lola: sara is running 705 secs || 36032306 markings, 43878344 edges, 49656 markings/sec, 705 secs
lola: sara is running 710 secs || 36281288 markings, 44191287 edges, 49796 markings/sec, 710 secs
lola: sara is running 715 secs || 36528971 markings, 44506536 edges, 49537 markings/sec, 715 secs
lola: sara is running 720 secs || 36773953 markings, 44821744 edges, 48996 markings/sec, 720 secs
lola: sara is running 725 secs || 37019286 markings, 45145839 edges, 49067 markings/sec, 725 secs
lola: sara is running 730 secs || 37276153 markings, 45450259 edges, 51373 markings/sec, 730 secs
lola: sara is running 735 secs || 37530089 markings, 45757366 edges, 50787 markings/sec, 735 secs
lola: sara is running 740 secs || 37783529 markings, 46063688 edges, 50688 markings/sec, 740 secs
lola: sara is running 745 secs || 38034757 markings, 46371015 edges, 50246 markings/sec, 745 secs
lola: sara is running 750 secs || 38282555 markings, 46674640 edges, 49560 markings/sec, 750 secs
lola: sara is running 755 secs || 38532002 markings, 46984369 edges, 49889 markings/sec, 755 secs
lola: sara is running 760 secs || 38780735 markings, 47298473 edges, 49747 markings/sec, 760 secs
lola: sara is running 765 secs || 39034286 markings, 47603441 edges, 50710 markings/sec, 765 secs
lola: sara is running 770 secs || 39285932 markings, 47911209 edges, 50329 markings/sec, 770 secs
lola: sara is running 775 secs || 39537613 markings, 48221144 edges, 50336 markings/sec, 775 secs
lola: sara is running 780 secs || 39786467 markings, 48531986 edges, 49771 markings/sec, 780 secs
lola: sara is running 785 secs || 40036542 markings, 48843914 edges, 50015 markings/sec, 785 secs
lola: sara is running 790 secs || 40286448 markings, 49151526 edges, 49981 markings/sec, 790 secs
lola: sara is running 795 secs || 40535763 markings, 49462937 edges, 49863 markings/sec, 795 secs
lola: sara is running 800 secs || 40784745 markings, 49775979 edges, 49796 markings/sec, 800 secs
lola: sara is running 805 secs || 41033451 markings, 50085933 edges, 49741 markings/sec, 805 secs
lola: sara is running 810 secs || 41280079 markings, 50398001 edges, 49326 markings/sec, 810 secs
lola: sara is running 815 secs || 41526558 markings, 50710942 edges, 49296 markings/sec, 815 secs
lola: sara is running 820 secs || 41773989 markings, 51026504 edges, 49486 markings/sec, 820 secs
lola: sara is running 825 secs || 42018620 markings, 51341965 edges, 48926 markings/sec, 825 secs
lola: sara is running 830 secs || 42265433 markings, 51661786 edges, 49363 markings/sec, 830 secs
lola: sara is running 835 secs || 42517974 markings, 51966052 edges, 50508 markings/sec, 835 secs
lola: sara is running 840 secs || 42766760 markings, 52270205 edges, 49757 markings/sec, 840 secs
lola: sara is running 845 secs || 43016242 markings, 52578204 edges, 49896 markings/sec, 845 secs
lola: sara is running 850 secs || 43264233 markings, 52888243 edges, 49598 markings/sec, 850 secs
lola: sara is running 855 secs || 43513100 markings, 53198006 edges, 49773 markings/sec, 855 secs
lola: sara is running 860 secs || 43762662 markings, 53505294 edges, 49912 markings/sec, 860 secs
lola: sara is running 865 secs || 44010387 markings, 53815207 edges, 49545 markings/sec, 865 secs
lola: sara is running 870 secs || 44257503 markings, 54125368 edges, 49423 markings/sec, 870 secs
lola: sara is running 875 secs || 44505268 markings, 54435007 edges, 49553 markings/sec, 875 secs
lola: sara is running 880 secs || 44750293 markings, 54744459 edges, 49005 markings/sec, 880 secs
lola: sara is running 885 secs || 44995880 markings, 55056947 edges, 49117 markings/sec, 885 secs
lola: sara is running 890 secs || 45240409 markings, 55368248 edges, 48906 markings/sec, 890 secs
lola: sara is running 895 secs || 45487407 markings, 55686401 edges, 49400 markings/sec, 895 secs
lola: sara is running 900 secs || 45733426 markings, 56005961 edges, 49204 markings/sec, 900 secs
lola: sara is running 905 secs || 45983800 markings, 56312717 edges, 50075 markings/sec, 905 secs
lola: sara is running 910 secs || 46232783 markings, 56621923 edges, 49797 markings/sec, 910 secs
lola: sara is running 915 secs || 46480522 markings, 56935540 edges, 49548 markings/sec, 915 secs
lola: sara is running 920 secs || 46729112 markings, 57243096 edges, 49718 markings/sec, 920 secs
lola: sara is running 925 secs || 46975178 markings, 57556218 edges, 49213 markings/sec, 925 secs
lola: sara is running 930 secs || 47223292 markings, 57866548 edges, 49623 markings/sec, 930 secs
lola: sara is running 935 secs || 47469923 markings, 58180971 edges, 49326 markings/sec, 935 secs
lola: sara is running 940 secs || 47714994 markings, 58496005 edges, 49014 markings/sec, 940 secs
lola: sara is running 945 secs || 47959240 markings, 58815344 edges, 48849 markings/sec, 945 secs
lola: sara is running 950 secs || 48206282 markings, 59125020 edges, 49408 markings/sec, 950 secs
lola: sara is running 955 secs || 48453486 markings, 59435703 edges, 49441 markings/sec, 955 secs
lola: sara is running 960 secs || 48699633 markings, 59746477 edges, 49229 markings/sec, 960 secs
lola: sara is running 965 secs || 48945022 markings, 60058252 edges, 49078 markings/sec, 965 secs
lola: sara is running 970 secs || 49191013 markings, 60372644 edges, 49198 markings/sec, 970 secs
lola: sara is running 975 secs || 49434777 markings, 60689388 edges, 48753 markings/sec, 975 secs
lola: sara is running 980 secs || 49678545 markings, 61003023 edges, 48754 markings/sec, 980 secs
lola: sara is running 985 secs || 49924225 markings, 61315143 edges, 49136 markings/sec, 985 secs
lola: sara is running 990 secs || 50168794 markings, 61627271 edges, 48914 markings/sec, 990 secs
lola: sara is running 995 secs || 50412731 markings, 61943136 edges, 48787 markings/sec, 995 secs
lola: sara is running 1000 secs || 50657293 markings, 62261574 edges, 48912 markings/sec, 1000 secs
lola: sara is running 1005 secs || 50902783 markings, 62575550 edges, 49098 markings/sec, 1005 secs
lola: sara is running 1010 secs || 51145761 markings, 62891206 edges, 48596 markings/sec, 1010 secs
lola: sara is running 1015 secs || 51388968 markings, 63209571 edges, 48641 markings/sec, 1015 secs
lola: sara is running 1020 secs || 51632181 markings, 63526003 edges, 48643 markings/sec, 1020 secs
lola: sara is running 1025 secs || 51872850 markings, 63842508 edges, 48134 markings/sec, 1025 secs
lola: sara is running 1030 secs || 52115532 markings, 64161921 edges, 48536 markings/sec, 1030 secs
lola: sara is running 1035 secs || 52357619 markings, 64485767 edges, 48417 markings/sec, 1035 secs
lola: sara is running 1040 secs || 52597960 markings, 64813454 edges, 48068 markings/sec, 1040 secs
lola: sara is running 1045 secs || 52858674 markings, 65117282 edges, 52143 markings/sec, 1045 secs
lola: sara is running 1050 secs || 53117752 markings, 65420762 edges, 51816 markings/sec, 1050 secs
lola: sara is running 1055 secs || 53377957 markings, 65726858 edges, 52041 markings/sec, 1055 secs
lola: sara is running 1060 secs || 53636102 markings, 66033537 edges, 51629 markings/sec, 1060 secs
lola: sara is running 1065 secs || 53890864 markings, 66343611 edges, 50952 markings/sec, 1065 secs
lola: sara is running 1070 secs || 54148393 markings, 66645826 edges, 51506 markings/sec, 1070 secs
lola: sara is running 1075 secs || 54404836 markings, 66950262 edges, 51289 markings/sec, 1075 secs
lola: local time limit reached - aborting
lola: time limit reached - aborting
lola:
preliminary result: no yes yes no unknown no yes yes no no yes yes no unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: no yes yes no unknown no yes yes no no yes yes no unknown unknown unknown
FORMULA DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-0 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-1 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-2 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-3 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-4 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-5 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-6 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-7 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-8 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-9 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-13 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-14 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-15 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
----- Kill lola and sara stderr -----
----- Kill lola and sara stdout -----
----- Finished stderr -----
----- Finished stdout -----

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DNAwalker-PT-18lozangeBlock"
export BK_EXAMINATION="ReachabilityCardinality"
export BK_TOOL="mcc4mcc-full"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

tar xzf /home/mcc/BenchKit/INPUTS/DNAwalker-PT-18lozangeBlock.tgz
mv DNAwalker-PT-18lozangeBlock execution
cd execution
pwd
ls -lh

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool mcc4mcc-full"
echo " Input is DNAwalker-PT-18lozangeBlock, examination is ReachabilityCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r070-smll-152649743200348"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityCardinality" != "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 "ReachabilityCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityCardinality.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 '' ReachabilityCardinality.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 ;