About the Execution of LoLA for MultiCrashLeafsetExtension-PT-S16C08
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
16193.600 | 426473.00 | 1468949.00 | 312.10 | FTTFTTTTFTTTTTFT | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2021-input.r289-tall-162124152800623.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2021-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
..........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool lola
Input is MultiCrashLeafsetExtension-PT-S16C08, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r289-tall-162124152800623
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 13M
-rw-r--r-- 1 mcc users 53K May 15 08:57 CTLCardinality.txt
-rw-r--r-- 1 mcc users 197K May 15 08:57 CTLCardinality.xml
-rw-r--r-- 1 mcc users 39K May 15 08:57 CTLFireability.txt
-rw-r--r-- 1 mcc users 134K May 15 08:57 CTLFireability.xml
-rw-r--r-- 1 mcc users 5.7K May 12 07:59 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K May 12 07:59 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.4K May 12 07:59 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K May 12 07:59 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 08:13 NewModel
-rw-r--r-- 1 mcc users 6.3K May 11 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 22K May 11 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 5.1K May 11 15:55 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K May 11 15:55 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K May 12 04:40 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K May 12 04:40 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 08:13 equiv_col
-rw-r--r-- 1 mcc users 7 May 12 08:13 instance
-rw-r--r-- 1 mcc users 6 May 12 08:13 iscolored
-rw-r--r-- 1 mcc users 13M May 12 08:13 model.pnml
--------------------
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 gen-ReachabilityFireability-00
FORMULA_NAME gen-ReachabilityFireability-01
FORMULA_NAME gen-ReachabilityFireability-02
FORMULA_NAME gen-ReachabilityFireability-03
FORMULA_NAME gen-ReachabilityFireability-04
FORMULA_NAME gen-ReachabilityFireability-05
FORMULA_NAME gen-ReachabilityFireability-06
FORMULA_NAME gen-ReachabilityFireability-07
FORMULA_NAME gen-ReachabilityFireability-08
FORMULA_NAME gen-ReachabilityFireability-09
FORMULA_NAME gen-ReachabilityFireability-10
FORMULA_NAME gen-ReachabilityFireability-11
FORMULA_NAME gen-ReachabilityFireability-12
FORMULA_NAME gen-ReachabilityFireability-13
FORMULA_NAME gen-ReachabilityFireability-14
FORMULA_NAME gen-ReachabilityFireability-15
=== Now, execution of the tool begins
BK_START 1621304599144
starting LoLA
BK_INPUT MultiCrashLeafsetExtension-PT-S16C08
BK_EXAMINATION: ReachabilityFireability
bin directory: /home/mcc/BenchKit/bin
current directory: /home/mcc/execution
ReachabilityFireability
FORMULA gen-ReachabilityFireability-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA gen-ReachabilityFireability-04 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA gen-ReachabilityFireability-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA gen-ReachabilityFireability-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA gen-ReachabilityFireability-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA gen-ReachabilityFireability-01 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA gen-ReachabilityFireability-06 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA gen-ReachabilityFireability-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA gen-ReachabilityFireability-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA gen-ReachabilityFireability-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA gen-ReachabilityFireability-00 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA gen-ReachabilityFireability-07 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA gen-ReachabilityFireability-02 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA gen-ReachabilityFireability-05 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA gen-ReachabilityFireability-09 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA gen-ReachabilityFireability-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
BK_STOP 1621305025617
--------------------
content from stderr:
lola: MEM LIMIT 32
lola: MEM LIMIT 5
lola: NET
lola: input: PNML file (--pnmlnet)
lola: reading net from /home/mcc/execution/model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file /home/mcc/execution/model.pnml
lola: Reading formula.
lola: Using XML format (--xmlformula)
lola: reading XML formula
lola: reading formula from /home/mcc/execution/ReachabilityFireability.xml
lola: rewrite Frontend/Parser/formula_rewrite.k:96
lola: rewrite Frontend/Parser/formula_rewrite.k:156
lola: rewrite Frontend/Parser/formula_rewrite.k:147
lola: Created skeleton in 1.000000 secs.
lola: Created skeleton in 1.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 1.000000 secs.
lola: Created skeleton in 1.000000 secs.
lola: Created skeleton in 1.000000 secs.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-03: INITIAL 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-04: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-05: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-06: AG 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-07: EF 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-08: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-09: EF 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-10: AG 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-11: EF 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-12: EF 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-13: EF 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-14: AG 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-15: AG 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 51 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
lola: Created skeleton in 1.000000 secs.
lola: Created skeleton in 1.000000 secs.
lola: Rule S: 0 transitions removed,0 places removed
lola: Created skeleton in 0.000000 secs.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-03: INITIAL 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-04: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-05: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-06: AG 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-07: EF 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-08: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-09: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-11: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-12: EF 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-13: EF 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-14: AG 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-15: AG 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 56 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
lola: LAUNCH INITIAL
lola: LAUNCH task # 10 (type CNST) for 9 gen-ReachabilityFireability-03
lola: time limit : 0 sec
lola: memory limit: 0 pages
lola: FINISHED task # 10 (type CNST) for gen-ReachabilityFireability-03
lola: result : false
lola: Created skeleton in 1.000000 secs.
lola: Created skeleton in 1.000000 secs.
lola: Created skeleton in 1.000000 secs.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-03: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-04: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-05: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-06: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-07: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-08: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-09: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-11: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-12: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-13: EF 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-14: AG 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-15: AG 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 61 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
lola: Created skeleton in 3.000000 secs.
lola: Created skeleton in 4.000000 secs.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-03: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-04: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-05: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-06: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-07: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-08: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-09: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-11: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-12: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-13: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-14: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-15: AG 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 66 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
lola: Created skeleton in 1.000000 secs.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-03: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-04: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-05: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-06: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-07: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-08: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-09: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-11: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-12: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-13: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-14: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-15: AG 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 71 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-03: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-04: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-05: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-06: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-07: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-08: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-09: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-11: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-12: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-13: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-14: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-15: AG 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 76 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: LAUNCH task # 52 (type EXCL) for 12 gen-ReachabilityFireability-04
lola: time limit : 234 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 48 (type FNDP) for 12 gen-ReachabilityFireability-04
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 49 (type EQUN) for 12 gen-ReachabilityFireability-04
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: LAUNCH task # 51 (type SRCH) for 12 gen-ReachabilityFireability-04
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-49.sara.
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: FINISHED task # 48 (type FNDP) for gen-ReachabilityFireability-04
lola: result : true
lola: fired transitions : 1221
lola: tried executions : 35
lola: time used : 3.000000
lola: memory pages used : 0
lola: CANCELED task # 49 (type EQUN) for gen-ReachabilityFireability-04 (obsolete)
lola: CANCELED task # 51 (type SRCH) for gen-ReachabilityFireability-04 (obsolete)
lola: CANCELED task # 52 (type EXCL) for gen-ReachabilityFireability-04 (obsolete)
lola: LAUNCH task # 89 (type EXCL) for 27 gen-ReachabilityFireability-09
lola: time limit : 251 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 112 (type FNDP) for 18 gen-ReachabilityFireability-06
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 113 (type EQUN) for 18 gen-ReachabilityFireability-06
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: LAUNCH task # 115 (type SRCH) for 18 gen-ReachabilityFireability-06
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 49 (type EQUN) for gen-ReachabilityFireability-04
lola: result : unknown
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-113.sara.
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-03: INITIAL false preprocessing
gen-ReachabilityFireability-04: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-01: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-05: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-06: AG 0 2 3 0 1 0 0 0
gen-ReachabilityFireability-07: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-08: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-09: EF 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-10: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-12: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-15: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
89 EF EXCL 2/251 2/32 gen-ReachabilityFireability-09 18562 m, 3712 m/sec, 21686 t fired, .
112 EF FNDP 2/183 0/5 gen-ReachabilityFireability-06 12605 t fired, 844 attempts, .
113 EF STEQ 2/183 0/5 gen-ReachabilityFireability-06 sara is running.
115 EF SRCH 2/193 1/5 gen-ReachabilityFireability-06 7620 m, 1524 m/sec, 8700 t fired, .
Time elapsed: 81 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-03: INITIAL false preprocessing
gen-ReachabilityFireability-04: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-01: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-05: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-06: AG 0 2 3 0 1 0 0 0
gen-ReachabilityFireability-07: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-08: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-09: EF 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-10: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-12: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-15: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
89 EF EXCL 7/251 9/32 gen-ReachabilityFireability-09 165206 m, 29328 m/sec, 193993 t fired, .
112 EF FNDP 7/183 0/5 gen-ReachabilityFireability-06 69491 t fired, 5033 attempts, .
113 EF STEQ 7/183 0/5 gen-ReachabilityFireability-06 sara is running.
115 EF SRCH 7/193 4/5 gen-ReachabilityFireability-06 65529 m, 11581 m/sec, 75988 t fired, .
Time elapsed: 86 secs. Pages in use: 13
# running tasks: 4 of 4 Visible: 16
sara: place or transition ordering is non-deterministic
lola: CANCELED task # 115 (type SRCH) for gen-ReachabilityFireability-06 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-03: INITIAL false preprocessing
gen-ReachabilityFireability-04: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-01: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-05: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-06: AG 0 2 2 0 1 0 1 0
gen-ReachabilityFireability-07: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-08: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-09: EF 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-10: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-12: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-15: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
89 EF EXCL 12/251 16/32 gen-ReachabilityFireability-09 311377 m, 29234 m/sec, 366025 t fired, .
112 EF FNDP 12/178 0/5 gen-ReachabilityFireability-06 126609 t fired, 9236 attempts, .
113 EF STEQ 12/178 0/5 gen-ReachabilityFireability-06 sara is running.
Time elapsed: 91 secs. Pages in use: 17
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 66 (type FNDP) for 36 gen-ReachabilityFireability-12
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 66 (type FNDP) for gen-ReachabilityFireability-12
lola: result : true
lola: fired transitions : 10237
lola: tried executions : 169
lola: time used : 1.000000
lola: memory pages used : 0
lola: LAUNCH task # 105 (type FNDP) for 30 gen-ReachabilityFireability-10
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-03: INITIAL false preprocessing
gen-ReachabilityFireability-04: EF true findpath
gen-ReachabilityFireability-12: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-01: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-05: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-06: AG 0 2 2 0 1 0 1 0
gen-ReachabilityFireability-07: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-08: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-09: EF 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-10: AG 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-15: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
89 EF EXCL 17/270 24/32 gen-ReachabilityFireability-09 456550 m, 29034 m/sec, 536935 t fired, .
105 EF FNDP 4/206 0/5 gen-ReachabilityFireability-10 46830 t fired, 1563 attempts, .
112 EF FNDP 17/194 0/5 gen-ReachabilityFireability-06 183661 t fired, 13475 attempts, .
113 EF STEQ 17/194 0/5 gen-ReachabilityFireability-06 sara is running.
Time elapsed: 96 secs. Pages in use: 24
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-03: INITIAL false preprocessing
gen-ReachabilityFireability-04: EF true findpath
gen-ReachabilityFireability-12: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-01: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-05: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-06: AG 0 2 2 0 1 0 1 0
gen-ReachabilityFireability-07: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-08: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-09: EF 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-10: AG 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-15: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
89 EF EXCL 22/270 31/32 gen-ReachabilityFireability-09 601655 m, 29021 m/sec, 707866 t fired, .
105 EF FNDP 9/202 0/5 gen-ReachabilityFireability-10 105767 t fired, 3491 attempts, .
112 EF FNDP 22/190 0/5 gen-ReachabilityFireability-06 240636 t fired, 17606 attempts, .
113 EF STEQ 22/190 0/5 gen-ReachabilityFireability-06 sara is running.
Time elapsed: 101 secs. Pages in use: 31
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 89 (type EXCL) for gen-ReachabilityFireability-09 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-03: INITIAL false preprocessing
gen-ReachabilityFireability-04: EF true findpath
gen-ReachabilityFireability-12: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-01: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-05: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-06: AG 0 2 2 0 1 0 1 0
gen-ReachabilityFireability-07: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-08: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-09: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-10: AG 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-15: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
105 EF FNDP 14/197 0/5 gen-ReachabilityFireability-10 164771 t fired, 5353 attempts, .
112 EF FNDP 27/185 0/5 gen-ReachabilityFireability-06 297547 t fired, 21768 attempts, .
113 EF STEQ 27/185 0/5 gen-ReachabilityFireability-06 sara is running.
Time elapsed: 106 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 64 (type EXCL) for 15 gen-ReachabilityFireability-05
lola: time limit : 291 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-03: INITIAL false preprocessing
gen-ReachabilityFireability-04: EF true findpath
gen-ReachabilityFireability-12: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-01: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-05: EF 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-06: AG 0 2 2 0 1 0 1 0
gen-ReachabilityFireability-07: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-08: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-09: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-10: AG 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-15: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
64 EF EXCL 5/291 8/32 gen-ReachabilityFireability-05 146795 m, 29359 m/sec, 172324 t fired, .
105 EF FNDP 19/192 0/5 gen-ReachabilityFireability-10 223651 t fired, 7125 attempts, .
112 EF FNDP 32/180 0/5 gen-ReachabilityFireability-06 354629 t fired, 25859 attempts, .
113 EF STEQ 32/180 0/5 gen-ReachabilityFireability-06 sara is running.
Time elapsed: 111 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-03: INITIAL false preprocessing
gen-ReachabilityFireability-04: EF true findpath
gen-ReachabilityFireability-12: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-01: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-05: EF 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-06: AG 0 2 2 0 1 0 1 0
gen-ReachabilityFireability-07: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-08: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-09: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-10: AG 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-15: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
64 EF EXCL 10/291 15/32 gen-ReachabilityFireability-05 293555 m, 29352 m/sec, 345077 t fired, .
105 EF FNDP 24/187 0/5 gen-ReachabilityFireability-10 282693 t fired, 8865 attempts, .
112 EF FNDP 37/175 0/5 gen-ReachabilityFireability-06 411801 t fired, 30038 attempts, .
113 EF STEQ 37/175 0/5 gen-ReachabilityFireability-06 sara is running.
Time elapsed: 116 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-03: INITIAL false preprocessing
gen-ReachabilityFireability-04: EF true findpath
gen-ReachabilityFireability-12: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-01: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-05: EF 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-06: AG 0 2 2 0 1 0 1 0
gen-ReachabilityFireability-07: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-08: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-09: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-10: AG 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-15: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
64 EF EXCL 15/291 23/32 gen-ReachabilityFireability-05 440715 m, 29432 m/sec, 518415 t fired, .
105 EF FNDP 29/182 0/5 gen-ReachabilityFireability-10 341944 t fired, 10606 attempts, .
112 EF FNDP 42/170 0/5 gen-ReachabilityFireability-06 468943 t fired, 34264 attempts, .
113 EF STEQ 42/170 0/5 gen-ReachabilityFireability-06 sara is running.
Time elapsed: 121 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-03: INITIAL false preprocessing
gen-ReachabilityFireability-04: EF true findpath
gen-ReachabilityFireability-12: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-01: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-05: EF 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-06: AG 0 2 2 0 1 0 1 0
gen-ReachabilityFireability-07: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-08: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-09: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-10: AG 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-15: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
64 EF EXCL 20/291 30/32 gen-ReachabilityFireability-05 586435 m, 29144 m/sec, 690056 t fired, .
105 EF FNDP 34/177 0/5 gen-ReachabilityFireability-10 401068 t fired, 12302 attempts, .
112 EF FNDP 47/165 0/5 gen-ReachabilityFireability-06 526080 t fired, 38410 attempts, .
113 EF STEQ 47/165 0/5 gen-ReachabilityFireability-06 sara is running.
Time elapsed: 126 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 64 (type EXCL) for gen-ReachabilityFireability-05 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-03: INITIAL false preprocessing
gen-ReachabilityFireability-04: EF true findpath
gen-ReachabilityFireability-12: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-01: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-05: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-06: AG 0 2 2 0 1 0 1 0
gen-ReachabilityFireability-07: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-08: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-09: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-10: AG 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-15: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
105 EF FNDP 39/172 0/5 gen-ReachabilityFireability-10 460172 t fired, 13978 attempts, .
112 EF FNDP 52/160 0/5 gen-ReachabilityFireability-06 583183 t fired, 42595 attempts, .
113 EF STEQ 52/160 0/5 gen-ReachabilityFireability-06 sara is running.
Time elapsed: 131 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 58 (type EXCL) for 6 gen-ReachabilityFireability-02
lola: time limit : 315 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-03: INITIAL false preprocessing
gen-ReachabilityFireability-04: EF true findpath
gen-ReachabilityFireability-12: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-01: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-05: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-06: AG 0 2 2 0 1 0 1 0
gen-ReachabilityFireability-07: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-08: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-09: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-10: AG 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-15: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
58 EF EXCL 5/315 8/32 gen-ReachabilityFireability-02 152579 m, 30515 m/sec, 179161 t fired, .
105 EF FNDP 44/167 0/5 gen-ReachabilityFireability-10 519502 t fired, 15642 attempts, .
112 EF FNDP 57/155 0/5 gen-ReachabilityFireability-06 640282 t fired, 46810 attempts, .
113 EF STEQ 57/155 0/5 gen-ReachabilityFireability-06 sara is running.
Time elapsed: 136 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-03: INITIAL false preprocessing
gen-ReachabilityFireability-04: EF true findpath
gen-ReachabilityFireability-12: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-01: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-05: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-06: AG 0 2 2 0 1 0 1 0
gen-ReachabilityFireability-07: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-08: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-09: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-10: AG 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-15: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
58 EF EXCL 10/315 16/32 gen-ReachabilityFireability-02 304761 m, 30436 m/sec, 358205 t fired, .
105 EF FNDP 49/162 0/5 gen-ReachabilityFireability-10 578813 t fired, 17284 attempts, .
112 EF FNDP 62/150 0/5 gen-ReachabilityFireability-06 697452 t fired, 50913 attempts, .
113 EF STEQ 62/150 0/5 gen-ReachabilityFireability-06 sara is running.
Time elapsed: 141 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-03: INITIAL false preprocessing
gen-ReachabilityFireability-04: EF true findpath
gen-ReachabilityFireability-12: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-01: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-05: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-06: AG 0 2 2 0 1 0 1 0
gen-ReachabilityFireability-07: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-08: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-09: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-10: AG 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-15: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
58 EF EXCL 15/315 24/32 gen-ReachabilityFireability-02 456215 m, 30290 m/sec, 536543 t fired, .
105 EF FNDP 54/157 0/5 gen-ReachabilityFireability-10 638072 t fired, 18926 attempts, .
112 EF FNDP 67/145 0/5 gen-ReachabilityFireability-06 754570 t fired, 55103 attempts, .
113 EF STEQ 67/145 0/5 gen-ReachabilityFireability-06 sara is running.
Time elapsed: 146 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-03: INITIAL false preprocessing
gen-ReachabilityFireability-04: EF true findpath
gen-ReachabilityFireability-12: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-01: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-05: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-06: AG 0 2 2 0 1 0 1 0
gen-ReachabilityFireability-07: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-08: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-09: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-10: AG 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-15: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
58 EF EXCL 20/315 31/32 gen-ReachabilityFireability-02 607176 m, 30192 m/sec, 714366 t fired, .
105 EF FNDP 59/152 0/5 gen-ReachabilityFireability-10 697337 t fired, 20584 attempts, .
112 EF FNDP 72/140 0/5 gen-ReachabilityFireability-06 811577 t fired, 59261 attempts, .
113 EF STEQ 72/140 0/5 gen-ReachabilityFireability-06 sara is running.
Time elapsed: 151 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 58 (type EXCL) for gen-ReachabilityFireability-02 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-03: INITIAL false preprocessing
gen-ReachabilityFireability-04: EF true findpath
gen-ReachabilityFireability-12: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-01: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-05: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-06: AG 0 2 2 0 1 0 1 0
gen-ReachabilityFireability-07: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-08: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-09: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-10: AG 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-15: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
105 EF FNDP 64/147 0/5 gen-ReachabilityFireability-10 756529 t fired, 22218 attempts, .
112 EF FNDP 77/135 0/5 gen-ReachabilityFireability-06 868721 t fired, 63443 attempts, .
113 EF STEQ 77/135 0/5 gen-ReachabilityFireability-06 sara is running.
Time elapsed: 156 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 102 (type EXCL) for 42 gen-ReachabilityFireability-14
lola: time limit : 344 sec
lola: memory limit: 32 pages
lola: FINISHED task # 102 (type EXCL) for gen-ReachabilityFireability-14
lola: result : true
lola: markings : 9803
lola: fired transitions : 11410
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 95 (type EXCL) for 39 gen-ReachabilityFireability-13
lola: time limit : 382 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-03: INITIAL false preprocessing
gen-ReachabilityFireability-04: EF true findpath
gen-ReachabilityFireability-12: EF true findpath
gen-ReachabilityFireability-14: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-01: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-05: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-06: AG 0 2 2 0 1 0 1 0
gen-ReachabilityFireability-07: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-08: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-09: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-10: AG 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-13: EF 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-15: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
95 EF EXCL 5/382 8/32 gen-ReachabilityFireability-13 137882 m, 27576 m/sec, 161827 t fired, .
105 EF FNDP 69/155 0/5 gen-ReachabilityFireability-10 815739 t fired, 23826 attempts, .
112 EF FNDP 82/143 0/5 gen-ReachabilityFireability-06 925782 t fired, 67636 attempts, .
113 EF STEQ 82/157 0/5 gen-ReachabilityFireability-06 sara is running.
Time elapsed: 161 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-03: INITIAL false preprocessing
gen-ReachabilityFireability-04: EF true findpath
gen-ReachabilityFireability-12: EF true findpath
gen-ReachabilityFireability-14: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-01: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-05: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-06: AG 0 2 2 0 1 0 1 0
gen-ReachabilityFireability-07: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-08: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-09: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-10: AG 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-13: EF 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-15: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
95 EF EXCL 10/382 15/32 gen-ReachabilityFireability-13 284586 m, 29340 m/sec, 334599 t fired, .
105 EF FNDP 74/150 0/5 gen-ReachabilityFireability-10 875100 t fired, 25432 attempts, .
112 EF FNDP 87/138 0/5 gen-ReachabilityFireability-06 983435 t fired, 71908 attempts, .
113 EF STEQ 87/152 0/5 gen-ReachabilityFireability-06 sara is running.
Time elapsed: 166 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-03: INITIAL false preprocessing
gen-ReachabilityFireability-04: EF true findpath
gen-ReachabilityFireability-12: EF true findpath
gen-ReachabilityFireability-14: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-01: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-05: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-06: AG 0 2 2 0 1 0 1 0
gen-ReachabilityFireability-07: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-08: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-09: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-10: AG 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-13: EF 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-15: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
95 EF EXCL 15/382 22/32 gen-ReachabilityFireability-13 429878 m, 29058 m/sec, 505690 t fired, .
105 EF FNDP 79/145 0/5 gen-ReachabilityFireability-10 934411 t fired, 27049 attempts, .
112 EF FNDP 92/133 0/5 gen-ReachabilityFireability-06 1040865 t fired, 76067 attempts, .
113 EF STEQ 92/147 0/5 gen-ReachabilityFireability-06 sara is running.
Time elapsed: 171 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: FINISHED task # 95 (type EXCL) for gen-ReachabilityFireability-13
lola: result : true
lola: markings : 447685
lola: fired transitions : 526547
lola: time used : 16.000000
lola: memory pages used : 23
lola: LAUNCH task # 76 (type EXCL) for 3 gen-ReachabilityFireability-01
lola: time limit : 428 sec
lola: memory limit: 32 pages
lola: FINISHED task # 76 (type EXCL) for gen-ReachabilityFireability-01
lola: result : true
lola: markings : 47054
lola: fired transitions : 55216
lola: time used : 1.000000
lola: memory pages used : 3
lola: LAUNCH task # 135 (type EXCL) for 21 gen-ReachabilityFireability-07
lola: time limit : 489 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-01: EF true tandem / relaxed
gen-ReachabilityFireability-03: INITIAL false preprocessing
gen-ReachabilityFireability-04: EF true findpath
gen-ReachabilityFireability-12: EF true findpath
gen-ReachabilityFireability-13: EF true tandem / relaxed
gen-ReachabilityFireability-14: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-05: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-06: AG 0 2 2 0 1 0 1 0
gen-ReachabilityFireability-07: EF 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-08: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-09: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-10: AG 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-15: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
105 EF FNDP 84/188 0/5 gen-ReachabilityFireability-10 993600 t fired, 28648 attempts, .
112 EF FNDP 97/176 0/5 gen-ReachabilityFireability-06 1098310 t fired, 80328 attempts, .
113 EF STEQ 97/176 0/5 gen-ReachabilityFireability-06 sara is running.
135 EF EXCL 3/489 5/32 gen-ReachabilityFireability-07 81296 m, 16259 m/sec, 95380 t fired, .
Time elapsed: 176 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-01: EF true tandem / relaxed
gen-ReachabilityFireability-03: INITIAL false preprocessing
gen-ReachabilityFireability-04: EF true findpath
gen-ReachabilityFireability-12: EF true findpath
gen-ReachabilityFireability-13: EF true tandem / relaxed
gen-ReachabilityFireability-14: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-05: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-06: AG 0 2 2 0 1 0 1 0
gen-ReachabilityFireability-07: EF 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-08: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-09: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-10: AG 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-15: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
105 EF FNDP 89/185 0/5 gen-ReachabilityFireability-10 1052813 t fired, 30249 attempts, .
112 EF FNDP 102/173 0/5 gen-ReachabilityFireability-06 1155728 t fired, 84649 attempts, .
113 EF STEQ 102/173 0/5 gen-ReachabilityFireability-06 sara is running.
135 EF EXCL 8/489 12/32 gen-ReachabilityFireability-07 227395 m, 29219 m/sec, 267348 t fired, .
Time elapsed: 181 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-01: EF true tandem / relaxed
gen-ReachabilityFireability-03: INITIAL false preprocessing
gen-ReachabilityFireability-04: EF true findpath
gen-ReachabilityFireability-12: EF true findpath
gen-ReachabilityFireability-13: EF true tandem / relaxed
gen-ReachabilityFireability-14: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-05: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-06: AG 0 2 2 0 1 0 1 0
gen-ReachabilityFireability-07: EF 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-08: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-09: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-10: AG 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-15: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
105 EF FNDP 94/180 0/5 gen-ReachabilityFireability-10 1112069 t fired, 31841 attempts, .
112 EF FNDP 107/168 0/5 gen-ReachabilityFireability-06 1213395 t fired, 88958 attempts, .
113 EF STEQ 107/168 0/5 gen-ReachabilityFireability-06 sara is running.
135 EF EXCL 13/489 20/32 gen-ReachabilityFireability-07 374101 m, 29341 m/sec, 439847 t fired, .
Time elapsed: 186 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-01: EF true tandem / relaxed
gen-ReachabilityFireability-03: INITIAL false preprocessing
gen-ReachabilityFireability-04: EF true findpath
gen-ReachabilityFireability-12: EF true findpath
gen-ReachabilityFireability-13: EF true tandem / relaxed
gen-ReachabilityFireability-14: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-05: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-06: AG 0 2 2 0 1 0 1 0
gen-ReachabilityFireability-07: EF 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-08: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-09: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-10: AG 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-15: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
105 EF FNDP 99/175 0/5 gen-ReachabilityFireability-10 1171438 t fired, 33429 attempts, .
112 EF FNDP 112/163 0/5 gen-ReachabilityFireability-06 1270867 t fired, 93117 attempts, .
113 EF STEQ 112/163 0/5 gen-ReachabilityFireability-06 sara is running.
135 EF EXCL 18/489 27/32 gen-ReachabilityFireability-07 519878 m, 29155 m/sec, 611482 t fired, .
Time elapsed: 191 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 135 (type EXCL) for gen-ReachabilityFireability-07 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-01: EF true tandem / relaxed
gen-ReachabilityFireability-03: INITIAL false preprocessing
gen-ReachabilityFireability-04: EF true findpath
gen-ReachabilityFireability-12: EF true findpath
gen-ReachabilityFireability-13: EF true tandem / relaxed
gen-ReachabilityFireability-14: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-05: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-06: AG 0 2 2 0 1 0 1 0
gen-ReachabilityFireability-07: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-08: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-09: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-10: AG 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-15: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
105 EF FNDP 104/170 0/5 gen-ReachabilityFireability-10 1230669 t fired, 35007 attempts, .
112 EF FNDP 117/158 0/5 gen-ReachabilityFireability-06 1328332 t fired, 97366 attempts, .
113 EF STEQ 117/158 0/5 gen-ReachabilityFireability-06 sara is running.
Time elapsed: 196 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 129 (type EXCL) for 0 gen-ReachabilityFireability-00
lola: time limit : 567 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-01: EF true tandem / relaxed
gen-ReachabilityFireability-03: INITIAL false preprocessing
gen-ReachabilityFireability-04: EF true findpath
gen-ReachabilityFireability-12: EF true findpath
gen-ReachabilityFireability-13: EF true tandem / relaxed
gen-ReachabilityFireability-14: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-05: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-06: AG 0 2 2 0 1 0 1 0
gen-ReachabilityFireability-07: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-08: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-09: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-10: AG 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-15: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
105 EF FNDP 109/165 0/5 gen-ReachabilityFireability-10 1289824 t fired, 36577 attempts, .
112 EF FNDP 122/153 0/5 gen-ReachabilityFireability-06 1385372 t fired, 101612 attempts, .
113 EF STEQ 122/153 0/5 gen-ReachabilityFireability-06 sara is running.
129 EF EXCL 5/567 8/32 gen-ReachabilityFireability-00 149381 m, 29876 m/sec, 175384 t fired, .
Time elapsed: 201 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: FINISHED task # 113 (type EQUN) for gen-ReachabilityFireability-06
lola: result : false
lola: CANCELED task # 112 (type FNDP) for gen-ReachabilityFireability-06 (obsolete)
lola: LAUNCH task # 137 (type FNDP) for 33 gen-ReachabilityFireability-11
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 138 (type EQUN) for 33 gen-ReachabilityFireability-11
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 112 (type FNDP) for gen-ReachabilityFireability-06
lola: result : unknown
lola: fired transitions : 1412480
lola: tried executions : 103565
lola: time used : 124.000000
lola: memory pages used : 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: FINISHED task # 137 (type FNDP) for gen-ReachabilityFireability-11
lola: result : true
lola: fired transitions : 391
lola: tried executions : 6
lola: time used : 1.000000
lola: memory pages used : 0
lola: CANCELED task # 138 (type EQUN) for gen-ReachabilityFireability-11 (obsolete)
lola: LAUNCH task # 79 (type FNDP) for 24 gen-ReachabilityFireability-08
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 80 (type EQUN) for 24 gen-ReachabilityFireability-08
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: FINISHED task # 79 (type FNDP) for gen-ReachabilityFireability-08
lola: result : true
lola: fired transitions : 747
lola: tried executions : 13
lola: time used : 0.000000
lola: memory pages used : 0
lola: CANCELED task # 80 (type EQUN) for gen-ReachabilityFireability-08 (obsolete)
lola: LAUNCH task # 119 (type FNDP) for 45 gen-ReachabilityFireability-15
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 120 (type EQUN) for 45 gen-ReachabilityFireability-15
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-138.sara.
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-80.sara.
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-120.sara.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-01: EF true tandem / relaxed
gen-ReachabilityFireability-03: INITIAL false preprocessing
gen-ReachabilityFireability-04: EF true findpath
gen-ReachabilityFireability-06: AG true state equation
gen-ReachabilityFireability-08: AG false findpath
gen-ReachabilityFireability-11: EF true findpath
gen-ReachabilityFireability-12: EF true findpath
gen-ReachabilityFireability-13: EF true tandem / relaxed
gen-ReachabilityFireability-14: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-05: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-07: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-09: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-10: AG 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-15: AG 0 3 2 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
105 EF FNDP 114/277 0/5 gen-ReachabilityFireability-10 1336156 t fired, 37803 attempts, .
119 EF FNDP 2/377 0/5 gen-ReachabilityFireability-15 15487 t fired, 446 attempts, .
120 EF STEQ 2/339 0/5 gen-ReachabilityFireability-15 sara is running.
129 EF EXCL 10/1134 14/32 gen-ReachabilityFireability-00 260526 m, 22229 m/sec, 306291 t fired, .
Time elapsed: 206 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-01: EF true tandem / relaxed
gen-ReachabilityFireability-03: INITIAL false preprocessing
gen-ReachabilityFireability-04: EF true findpath
gen-ReachabilityFireability-06: AG true state equation
gen-ReachabilityFireability-08: AG false findpath
gen-ReachabilityFireability-11: EF true findpath
gen-ReachabilityFireability-12: EF true findpath
gen-ReachabilityFireability-13: EF true tandem / relaxed
gen-ReachabilityFireability-14: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-05: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-07: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-09: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-10: AG 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-15: AG 0 3 2 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
105 EF FNDP 119/275 0/5 gen-ReachabilityFireability-10 1375407 t fired, 38819 attempts, .
119 EF FNDP 7/375 0/5 gen-ReachabilityFireability-15 53559 t fired, 1483 attempts, .
120 EF STEQ 7/337 0/5 gen-ReachabilityFireability-15 sara is running.
129 EF EXCL 15/1134 19/32 gen-ReachabilityFireability-00 355080 m, 18910 m/sec, 417419 t fired, .
Time elapsed: 211 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
sara: place or transition ordering is non-deterministic
sara: place or transition ordering is non-deterministic
sara: place or transition ordering is non-deterministic
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-01: EF true tandem / relaxed
gen-ReachabilityFireability-03: INITIAL false preprocessing
gen-ReachabilityFireability-04: EF true findpath
gen-ReachabilityFireability-06: AG true state equation
gen-ReachabilityFireability-08: AG false findpath
gen-ReachabilityFireability-11: EF true findpath
gen-ReachabilityFireability-12: EF true findpath
gen-ReachabilityFireability-13: EF true tandem / relaxed
gen-ReachabilityFireability-14: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-05: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-07: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-09: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-10: AG 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-15: AG 0 3 2 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
105 EF FNDP 124/270 0/5 gen-ReachabilityFireability-10 1411719 t fired, 39769 attempts, .
119 EF FNDP 12/370 0/5 gen-ReachabilityFireability-15 97630 t fired, 2616 attempts, .
120 EF STEQ 12/332 0/5 gen-ReachabilityFireability-15 sara is running.
129 EF EXCL 20/1134 23/32 gen-ReachabilityFireability-00 451985 m, 19381 m/sec, 531541 t fired, .
Time elapsed: 216 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-01: EF true tandem / relaxed
gen-ReachabilityFireability-03: INITIAL false preprocessing
gen-ReachabilityFireability-04: EF true findpath
gen-ReachabilityFireability-06: AG true state equation
gen-ReachabilityFireability-08: AG false findpath
gen-ReachabilityFireability-11: EF true findpath
gen-ReachabilityFireability-12: EF true findpath
gen-ReachabilityFireability-13: EF true tandem / relaxed
gen-ReachabilityFireability-14: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-05: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-07: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-09: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-10: AG 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-15: AG 0 3 2 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
105 EF FNDP 129/265 0/5 gen-ReachabilityFireability-10 1449085 t fired, 40744 attempts, .
119 EF FNDP 17/365 0/5 gen-ReachabilityFireability-15 135041 t fired, 3553 attempts, .
120 EF STEQ 17/327 0/5 gen-ReachabilityFireability-15 sara is running.
129 EF EXCL 25/1134 28/32 gen-ReachabilityFireability-00 547235 m, 19050 m/sec, 643687 t fired, .
Time elapsed: 221 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 129 (type EXCL) for gen-ReachabilityFireability-00 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-01: EF true tandem / relaxed
gen-ReachabilityFireability-03: INITIAL false preprocessing
gen-ReachabilityFireability-04: EF true findpath
gen-ReachabilityFireability-06: AG true state equation
gen-ReachabilityFireability-08: AG false findpath
gen-ReachabilityFireability-11: EF true findpath
gen-ReachabilityFireability-12: EF true findpath
gen-ReachabilityFireability-13: EF true tandem / relaxed
gen-ReachabilityFireability-14: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-02: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-05: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-07: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-09: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-10: AG 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-15: AG 0 3 2 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
105 EF FNDP 134/260 0/5 gen-ReachabilityFireability-10 1488220 t fired, 41778 attempts, .
119 EF FNDP 22/360 0/5 gen-ReachabilityFireability-15 173319 t fired, 4498 attempts, .
120 EF STEQ 22/322 0/5 gen-ReachabilityFireability-15 sara is running.
Time elapsed: 226 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 123 (type EXCL) for 45 gen-ReachabilityFireability-15
lola: time limit : 1687 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-01: EF true tandem / relaxed
gen-ReachabilityFireability-03: INITIAL false preprocessing
gen-ReachabilityFireability-04: EF true findpath
gen-ReachabilityFireability-06: AG true state equation
gen-ReachabilityFireability-08: AG false findpath
gen-ReachabilityFireability-11: EF true findpath
gen-ReachabilityFireability-12: EF true findpath
gen-ReachabilityFireability-13: EF true tandem / relaxed
gen-ReachabilityFireability-14: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-02: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-05: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-07: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-09: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-10: AG 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-15: AG 0 2 3 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
105 EF FNDP 139/255 0/5 gen-ReachabilityFireability-10 1525924 t fired, 42739 attempts, .
119 EF FNDP 27/355 0/5 gen-ReachabilityFireability-15 211468 t fired, 5424 attempts, .
120 EF STEQ 27/317 0/5 gen-ReachabilityFireability-15 sara is running.
123 EF EXCL 5/1687 6/32 gen-ReachabilityFireability-15 101853 m, 20370 m/sec, 119460 t fired, .
Time elapsed: 231 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: FINISHED task # 120 (type EQUN) for gen-ReachabilityFireability-15
lola: result : false
lola: CANCELED task # 119 (type FNDP) for gen-ReachabilityFireability-15 (obsolete)
lola: CANCELED task # 123 (type EXCL) for gen-ReachabilityFireability-15 (obsolete)
lola: LAUNCH task # 109 (type EXCL) for 30 gen-ReachabilityFireability-10
lola: time limit : 3364 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 125 (type FNDP) for 0 gen-ReachabilityFireability-00
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 126 (type EQUN) for 0 gen-ReachabilityFireability-00
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 119 (type FNDP) for gen-ReachabilityFireability-15
lola: result : unknown
lola: fired transitions : 246038
lola: tried executions : 6269
lola: time used : 32.000000
lola: memory pages used : 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-01: EF true tandem / relaxed
gen-ReachabilityFireability-03: INITIAL false preprocessing
gen-ReachabilityFireability-04: EF true findpath
gen-ReachabilityFireability-06: AG true state equation
gen-ReachabilityFireability-08: AG false findpath
gen-ReachabilityFireability-11: EF true findpath
gen-ReachabilityFireability-12: EF true findpath
gen-ReachabilityFireability-13: EF true tandem / relaxed
gen-ReachabilityFireability-14: AG false tandem / relaxed
gen-ReachabilityFireability-15: AG true state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 2 2 0 1 0 1 0
gen-ReachabilityFireability-02: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-05: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-07: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-09: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-10: AG 0 3 2 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
105 EF FNDP 144/294 0/5 gen-ReachabilityFireability-10 1566541 t fired, 43790 attempts, .
109 EF EXCL 0/3364 1/32 gen-ReachabilityFireability-10 1879 m, 375 m/sec, 2173 t fired, .
125 EF FNDP 0/420 0/5 gen-ReachabilityFireability-00 714 t fired, 13 attempts, .
126 EF STEQ 0/420 0/5 gen-ReachabilityFireability-00 sara not yet started (preprocessing).
Time elapsed: 236 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-126.sara.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-01: EF true tandem / relaxed
gen-ReachabilityFireability-03: INITIAL false preprocessing
gen-ReachabilityFireability-04: EF true findpath
gen-ReachabilityFireability-06: AG true state equation
gen-ReachabilityFireability-08: AG false findpath
gen-ReachabilityFireability-11: EF true findpath
gen-ReachabilityFireability-12: EF true findpath
gen-ReachabilityFireability-13: EF true tandem / relaxed
gen-ReachabilityFireability-14: AG false tandem / relaxed
gen-ReachabilityFireability-15: AG true state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 2 2 0 1 0 1 0
gen-ReachabilityFireability-02: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-05: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-07: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-09: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-10: AG 0 3 2 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
105 EF FNDP 149/294 0/5 gen-ReachabilityFireability-10 1606796 t fired, 44838 attempts, .
109 EF EXCL 5/3364 5/32 gen-ReachabilityFireability-10 88986 m, 17421 m/sec, 104434 t fired, .
125 EF FNDP 5/420 0/5 gen-ReachabilityFireability-00 35231 t fired, 653 attempts, .
126 EF STEQ 5/420 0/5 gen-ReachabilityFireability-00 sara is running.
Time elapsed: 241 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-01: EF true tandem / relaxed
gen-ReachabilityFireability-03: INITIAL false preprocessing
gen-ReachabilityFireability-04: EF true findpath
gen-ReachabilityFireability-06: AG true state equation
gen-ReachabilityFireability-08: AG false findpath
gen-ReachabilityFireability-11: EF true findpath
gen-ReachabilityFireability-12: EF true findpath
gen-ReachabilityFireability-13: EF true tandem / relaxed
gen-ReachabilityFireability-14: AG false tandem / relaxed
gen-ReachabilityFireability-15: AG true state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 2 2 0 1 0 1 0
gen-ReachabilityFireability-02: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-05: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-07: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-09: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-10: AG 0 3 2 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
105 EF FNDP 154/289 0/5 gen-ReachabilityFireability-10 1647225 t fired, 45901 attempts, .
109 EF EXCL 10/3364 10/32 gen-ReachabilityFireability-10 182331 m, 18669 m/sec, 214157 t fired, .
125 EF FNDP 10/415 0/5 gen-ReachabilityFireability-00 71883 t fired, 1385 attempts, .
126 EF STEQ 10/415 0/5 gen-ReachabilityFireability-00 sara is running.
Time elapsed: 246 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
sara: place or transition ordering is non-deterministic
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-01: EF true tandem / relaxed
gen-ReachabilityFireability-03: INITIAL false preprocessing
gen-ReachabilityFireability-04: EF true findpath
gen-ReachabilityFireability-06: AG true state equation
gen-ReachabilityFireability-08: AG false findpath
gen-ReachabilityFireability-11: EF true findpath
gen-ReachabilityFireability-12: EF true findpath
gen-ReachabilityFireability-13: EF true tandem / relaxed
gen-ReachabilityFireability-14: AG false tandem / relaxed
gen-ReachabilityFireability-15: AG true state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 2 2 0 1 0 1 0
gen-ReachabilityFireability-02: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-05: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-07: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-09: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-10: AG 0 3 2 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
105 EF FNDP 159/284 0/5 gen-ReachabilityFireability-10 1682807 t fired, 46834 attempts, .
109 EF EXCL 15/3364 15/32 gen-ReachabilityFireability-10 280347 m, 19603 m/sec, 329643 t fired, .
125 EF FNDP 15/410 0/5 gen-ReachabilityFireability-00 107021 t fired, 2058 attempts, .
126 EF STEQ 15/410 0/5 gen-ReachabilityFireability-00 sara is running.
Time elapsed: 251 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: FINISHED task # 138 (type EQUN) for gen-ReachabilityFireability-11
lola: result : true
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-01: EF true tandem / relaxed
gen-ReachabilityFireability-03: INITIAL false preprocessing
gen-ReachabilityFireability-04: EF true findpath
gen-ReachabilityFireability-06: AG true state equation
gen-ReachabilityFireability-08: AG false findpath
gen-ReachabilityFireability-11: EF true findpath
gen-ReachabilityFireability-12: EF true findpath
gen-ReachabilityFireability-13: EF true tandem / relaxed
gen-ReachabilityFireability-14: AG false tandem / relaxed
gen-ReachabilityFireability-15: AG true state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 2 2 0 1 0 1 0
gen-ReachabilityFireability-02: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-05: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-07: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-09: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-10: AG 0 3 2 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
105 EF FNDP 164/275 0/5 gen-ReachabilityFireability-10 1720707 t fired, 47811 attempts, .
109 EF EXCL 20/3364 20/32 gen-ReachabilityFireability-10 380006 m, 19931 m/sec, 446783 t fired, .
125 EF FNDP 20/401 0/5 gen-ReachabilityFireability-00 143319 t fired, 2768 attempts, .
126 EF STEQ 20/401 0/5 gen-ReachabilityFireability-00 sara is running.
Time elapsed: 256 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: FINISHED task # 126 (type EQUN) for gen-ReachabilityFireability-00
lola: result : false
lola: CANCELED task # 125 (type FNDP) for gen-ReachabilityFireability-00 (obsolete)
lola: LAUNCH task # 131 (type FNDP) for 21 gen-ReachabilityFireability-07
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 132 (type EQUN) for 21 gen-ReachabilityFireability-07
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 125 (type FNDP) for gen-ReachabilityFireability-00
lola: result : unknown
lola: fired transitions : 157304
lola: tried executions : 3046
lola: time used : 22.000000
lola: memory pages used : 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: FINISHED task # 131 (type FNDP) for gen-ReachabilityFireability-07
lola: result : true
lola: fired transitions : 186
lola: tried executions : 3
lola: time used : 0.000000
lola: memory pages used : 0
lola: CANCELED task # 132 (type EQUN) for gen-ReachabilityFireability-07 (obsolete)
lola: LAUNCH task # 54 (type FNDP) for 6 gen-ReachabilityFireability-02
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 55 (type EQUN) for 6 gen-ReachabilityFireability-02
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: FINISHED task # 54 (type FNDP) for gen-ReachabilityFireability-02
lola: result : true
lola: fired transitions : 57
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: CANCELED task # 55 (type EQUN) for gen-ReachabilityFireability-02 (obsolete)
lola: LAUNCH task # 60 (type FNDP) for 15 gen-ReachabilityFireability-05
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 61 (type EQUN) for 15 gen-ReachabilityFireability-05
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: FINISHED task # 60 (type FNDP) for gen-ReachabilityFireability-05
lola: result : true
lola: fired transitions : 20
lola: tried executions : 2
lola: time used : 0.000000
lola: memory pages used : 0
lola: CANCELED task # 61 (type EQUN) for gen-ReachabilityFireability-05 (obsolete)
lola: LAUNCH task # 82 (type FNDP) for 27 gen-ReachabilityFireability-09
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 85 (type EQUN) for 27 gen-ReachabilityFireability-09
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: FINISHED task # 82 (type FNDP) for gen-ReachabilityFireability-09
lola: result : true
lola: fired transitions : 499
lola: tried executions : 8
lola: time used : 0.000000
lola: memory pages used : 0
lola: CANCELED task # 85 (type EQUN) for gen-ReachabilityFireability-09 (obsolete)
lola: LAUNCH task # 106 (type EQUN) for 30 gen-ReachabilityFireability-10
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 108 (type SRCH) for 30 gen-ReachabilityFireability-10
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-132.sara.
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-55.sara.
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-61.sara.
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-106.sara.
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-85.sara.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-00: EF false state equation
gen-ReachabilityFireability-01: EF true tandem / relaxed
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: INITIAL false preprocessing
gen-ReachabilityFireability-04: EF true findpath
gen-ReachabilityFireability-05: EF true findpath
gen-ReachabilityFireability-06: AG true state equation
gen-ReachabilityFireability-07: EF true findpath
gen-ReachabilityFireability-08: AG false findpath
gen-ReachabilityFireability-09: EF true findpath
gen-ReachabilityFireability-11: EF true findpath
gen-ReachabilityFireability-12: EF true findpath
gen-ReachabilityFireability-13: EF true tandem / relaxed
gen-ReachabilityFireability-14: AG false tandem / relaxed
gen-ReachabilityFireability-15: AG true state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-10: AG 0 1 4 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
105 EF FNDP 169/3342 0/5 gen-ReachabilityFireability-10 1750888 t fired, 48583 attempts, .
106 EF STEQ 3/3342 0/5 gen-ReachabilityFireability-10 sara is running.
108 EF SRCH 3/1671 1/5 gen-ReachabilityFireability-10 12369 m, 2473 m/sec, 14291 t fired, .
109 EF EXCL 25/3364 23/32 gen-ReachabilityFireability-10 452219 m, 14442 m/sec, 531843 t fired, .
Time elapsed: 261 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-00: EF false state equation
gen-ReachabilityFireability-01: EF true tandem / relaxed
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: INITIAL false preprocessing
gen-ReachabilityFireability-04: EF true findpath
gen-ReachabilityFireability-05: EF true findpath
gen-ReachabilityFireability-06: AG true state equation
gen-ReachabilityFireability-07: EF true findpath
gen-ReachabilityFireability-08: AG false findpath
gen-ReachabilityFireability-09: EF true findpath
gen-ReachabilityFireability-11: EF true findpath
gen-ReachabilityFireability-12: EF true findpath
gen-ReachabilityFireability-13: EF true tandem / relaxed
gen-ReachabilityFireability-14: AG false tandem / relaxed
gen-ReachabilityFireability-15: AG true state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-10: AG 0 1 4 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
105 EF FNDP 174/3339 0/5 gen-ReachabilityFireability-10 1778130 t fired, 49285 attempts, .
106 EF STEQ 8/3339 0/5 gen-ReachabilityFireability-10 sara is running.
108 EF SRCH 8/1668 2/5 gen-ReachabilityFireability-10 32364 m, 3999 m/sec, 37543 t fired, .
109 EF EXCL 30/3364 27/32 gen-ReachabilityFireability-10 513773 m, 12310 m/sec, 604274 t fired, .
Time elapsed: 266 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-00: EF false state equation
gen-ReachabilityFireability-01: EF true tandem / relaxed
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: INITIAL false preprocessing
gen-ReachabilityFireability-04: EF true findpath
gen-ReachabilityFireability-05: EF true findpath
gen-ReachabilityFireability-06: AG true state equation
gen-ReachabilityFireability-07: EF true findpath
gen-ReachabilityFireability-08: AG false findpath
gen-ReachabilityFireability-09: EF true findpath
gen-ReachabilityFireability-11: EF true findpath
gen-ReachabilityFireability-12: EF true findpath
gen-ReachabilityFireability-13: EF true tandem / relaxed
gen-ReachabilityFireability-14: AG false tandem / relaxed
gen-ReachabilityFireability-15: AG true state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-10: AG 0 1 4 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
105 EF FNDP 179/3334 0/5 gen-ReachabilityFireability-10 1805136 t fired, 49975 attempts, .
106 EF STEQ 13/3334 0/5 gen-ReachabilityFireability-10 sara is running.
108 EF SRCH 13/1663 3/5 gen-ReachabilityFireability-10 52825 m, 4092 m/sec, 61328 t fired, .
109 EF EXCL 35/3364 30/32 gen-ReachabilityFireability-10 577776 m, 12800 m/sec, 679784 t fired, .
Time elapsed: 271 secs. Pages in use: 33
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 109 (type EXCL) for gen-ReachabilityFireability-10 (memory limit exceeded)
sara: place or transition ordering is non-deterministic
sara: place or transition ordering is non-deterministic
sara: place or transition ordering is non-deterministic
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-00: EF false state equation
gen-ReachabilityFireability-01: EF true tandem / relaxed
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: INITIAL false preprocessing
gen-ReachabilityFireability-04: EF true findpath
gen-ReachabilityFireability-05: EF true findpath
gen-ReachabilityFireability-06: AG true state equation
gen-ReachabilityFireability-07: EF true findpath
gen-ReachabilityFireability-08: AG false findpath
gen-ReachabilityFireability-09: EF true findpath
gen-ReachabilityFireability-11: EF true findpath
gen-ReachabilityFireability-12: EF true findpath
gen-ReachabilityFireability-13: EF true tandem / relaxed
gen-ReachabilityFireability-14: AG false tandem / relaxed
gen-ReachabilityFireability-15: AG true state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-10: AG 0 1 3 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
105 EF FNDP 184/3329 0/5 gen-ReachabilityFireability-10 1830848 t fired, 50638 attempts, .
106 EF STEQ 18/3329 0/5 gen-ReachabilityFireability-10 sara is running.
108 EF SRCH 18/1658 4/5 gen-ReachabilityFireability-10 75402 m, 4515 m/sec, 87660 t fired, .
Time elapsed: 276 secs. Pages in use: 36
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 110 (type SRCH) for 30 gen-ReachabilityFireability-10
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 110 (type SRCH) for gen-ReachabilityFireability-10
lola: result : unknown
lola: time used : 0.000000
lola: memory pages used : 1
sara: place or transition ordering is non-deterministic
sara: place or transition ordering is non-deterministic
lola: FINISHED task # 61 (type EQUN) for gen-ReachabilityFireability-05
lola: result : true
lola: CANCELED task # 108 (type SRCH) for gen-ReachabilityFireability-10 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-00: EF false state equation
gen-ReachabilityFireability-01: EF true tandem / relaxed
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: INITIAL false preprocessing
gen-ReachabilityFireability-04: EF true findpath
gen-ReachabilityFireability-05: EF true findpath
gen-ReachabilityFireability-06: AG true state equation
gen-ReachabilityFireability-07: EF true findpath
gen-ReachabilityFireability-08: AG false findpath
gen-ReachabilityFireability-09: EF true findpath
gen-ReachabilityFireability-11: EF true findpath
gen-ReachabilityFireability-12: EF true findpath
gen-ReachabilityFireability-13: EF true tandem / relaxed
gen-ReachabilityFireability-14: AG false tandem / relaxed
gen-ReachabilityFireability-15: AG true state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-10: AG 0 0 2 0 2 0 2 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
105 EF FNDP 189/3508 0/5 gen-ReachabilityFireability-10 1860595 t fired, 51403 attempts, .
106 EF STEQ 23/3342 0/5 gen-ReachabilityFireability-10 sara is running.
Time elapsed: 281 secs. Pages in use: 36
# running tasks: 3 of 4 Visible: 16
lola: FINISHED task # 55 (type EQUN) for gen-ReachabilityFireability-02
lola: result : true
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-00: EF false state equation
gen-ReachabilityFireability-01: EF true tandem / relaxed
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: INITIAL false preprocessing
gen-ReachabilityFireability-04: EF true findpath
gen-ReachabilityFireability-05: EF true findpath
gen-ReachabilityFireability-06: AG true state equation
gen-ReachabilityFireability-07: EF true findpath
gen-ReachabilityFireability-08: AG false findpath
gen-ReachabilityFireability-09: EF true findpath
gen-ReachabilityFireability-11: EF true findpath
gen-ReachabilityFireability-12: EF true findpath
gen-ReachabilityFireability-13: EF true tandem / relaxed
gen-ReachabilityFireability-14: AG false tandem / relaxed
gen-ReachabilityFireability-15: AG true state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-10: AG 0 0 2 0 2 0 2 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
105 EF FNDP 194/3508 0/5 gen-ReachabilityFireability-10 1902803 t fired, 52494 attempts, .
106 EF STEQ 28/3342 0/5 gen-ReachabilityFireability-10 sara is running.
Time elapsed: 286 secs. Pages in use: 36
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-00: EF false state equation
gen-ReachabilityFireability-01: EF true tandem / relaxed
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: INITIAL false preprocessing
gen-ReachabilityFireability-04: EF true findpath
gen-ReachabilityFireability-05: EF true findpath
gen-ReachabilityFireability-06: AG true state equation
gen-ReachabilityFireability-07: EF true findpath
gen-ReachabilityFireability-08: AG false findpath
gen-ReachabilityFireability-09: EF true findpath
gen-ReachabilityFireability-11: EF true findpath
gen-ReachabilityFireability-12: EF true findpath
gen-ReachabilityFireability-13: EF true tandem / relaxed
gen-ReachabilityFireability-14: AG false tandem / relaxed
gen-ReachabilityFireability-15: AG true state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-10: AG 0 0 2 0 2 0 2 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
105 EF FNDP 199/3508 0/5 gen-ReachabilityFireability-10 1950219 t fired, 53710 attempts, .
106 EF STEQ 33/3342 0/5 gen-ReachabilityFireability-10 sara is running.
Time elapsed: 291 secs. Pages in use: 36
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-00: EF false state equation
gen-ReachabilityFireability-01: EF true tandem / relaxed
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: INITIAL false preprocessing
gen-ReachabilityFireability-04: EF true findpath
gen-ReachabilityFireability-05: EF true findpath
gen-ReachabilityFireability-06: AG true state equation
gen-ReachabilityFireability-07: EF true findpath
gen-ReachabilityFireability-08: AG false findpath
gen-ReachabilityFireability-09: EF true findpath
gen-ReachabilityFireability-11: EF true findpath
gen-ReachabilityFireability-12: EF true findpath
gen-ReachabilityFireability-13: EF true tandem / relaxed
gen-ReachabilityFireability-14: AG false tandem / relaxed
gen-ReachabilityFireability-15: AG true state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-10: AG 0 0 2 0 2 0 2 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
105 EF FNDP 204/3508 0/5 gen-ReachabilityFireability-10 1998065 t fired, 54943 attempts, .
106 EF STEQ 38/3342 0/5 gen-ReachabilityFireability-10 sara is running.
Time elapsed: 296 secs. Pages in use: 36
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-00: EF false state equation
gen-ReachabilityFireability-01: EF true tandem / relaxed
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: INITIAL false preprocessing
gen-ReachabilityFireability-04: EF true findpath
gen-ReachabilityFireability-05: EF true findpath
gen-ReachabilityFireability-06: AG true state equation
gen-ReachabilityFireability-07: EF true findpath
gen-ReachabilityFireability-08: AG false findpath
gen-ReachabilityFireability-09: EF true findpath
gen-ReachabilityFireability-11: EF true findpath
gen-ReachabilityFireability-12: EF true findpath
gen-ReachabilityFireability-13: EF true tandem / relaxed
gen-ReachabilityFireability-14: AG false tandem / relaxed
gen-ReachabilityFireability-15: AG true state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-10: AG 0 0 2 0 2 0 2 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
105 EF FNDP 209/3508 0/5 gen-ReachabilityFireability-10 2041357 t fired, 56056 attempts, .
106 EF STEQ 43/3342 0/5 gen-ReachabilityFireability-10 sara is running.
Time elapsed: 301 secs. Pages in use: 36
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-00: EF false state equation
gen-ReachabilityFireability-01: EF true tandem / relaxed
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: INITIAL false preprocessing
gen-ReachabilityFireability-04: EF true findpath
gen-ReachabilityFireability-05: EF true findpath
gen-ReachabilityFireability-06: AG true state equation
gen-ReachabilityFireability-07: EF true findpath
gen-ReachabilityFireability-08: AG false findpath
gen-ReachabilityFireability-09: EF true findpath
gen-ReachabilityFireability-11: EF true findpath
gen-ReachabilityFireability-12: EF true findpath
gen-ReachabilityFireability-13: EF true tandem / relaxed
gen-ReachabilityFireability-14: AG false tandem / relaxed
gen-ReachabilityFireability-15: AG true state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-10: AG 0 0 2 0 2 0 2 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
105 EF FNDP 214/3508 0/5 gen-ReachabilityFireability-10 2089172 t fired, 57271 attempts, .
106 EF STEQ 48/3342 0/5 gen-ReachabilityFireability-10 sara is running.
Time elapsed: 306 secs. Pages in use: 36
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-00: EF false state equation
gen-ReachabilityFireability-01: EF true tandem / relaxed
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: INITIAL false preprocessing
gen-ReachabilityFireability-04: EF true findpath
gen-ReachabilityFireability-05: EF true findpath
gen-ReachabilityFireability-06: AG true state equation
gen-ReachabilityFireability-07: EF true findpath
gen-ReachabilityFireability-08: AG false findpath
gen-ReachabilityFireability-09: EF true findpath
gen-ReachabilityFireability-11: EF true findpath
gen-ReachabilityFireability-12: EF true findpath
gen-ReachabilityFireability-13: EF true tandem / relaxed
gen-ReachabilityFireability-14: AG false tandem / relaxed
gen-ReachabilityFireability-15: AG true state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-10: AG 0 0 2 0 2 0 2 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
105 EF FNDP 219/3508 0/5 gen-ReachabilityFireability-10 2136527 t fired, 58483 attempts, .
106 EF STEQ 53/3342 0/5 gen-ReachabilityFireability-10 sara is running.
Time elapsed: 311 secs. Pages in use: 36
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-00: EF false state equation
gen-ReachabilityFireability-01: EF true tandem / relaxed
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: INITIAL false preprocessing
gen-ReachabilityFireability-04: EF true findpath
gen-ReachabilityFireability-05: EF true findpath
gen-ReachabilityFireability-06: AG true state equation
gen-ReachabilityFireability-07: EF true findpath
gen-ReachabilityFireability-08: AG false findpath
gen-ReachabilityFireability-09: EF true findpath
gen-ReachabilityFireability-11: EF true findpath
gen-ReachabilityFireability-12: EF true findpath
gen-ReachabilityFireability-13: EF true tandem / relaxed
gen-ReachabilityFireability-14: AG false tandem / relaxed
gen-ReachabilityFireability-15: AG true state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-10: AG 0 0 2 0 2 0 2 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
105 EF FNDP 224/3508 0/5 gen-ReachabilityFireability-10 2183034 t fired, 59654 attempts, .
106 EF STEQ 58/3342 0/5 gen-ReachabilityFireability-10 sara is running.
Time elapsed: 316 secs. Pages in use: 36
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-00: EF false state equation
gen-ReachabilityFireability-01: EF true tandem / relaxed
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: INITIAL false preprocessing
gen-ReachabilityFireability-04: EF true findpath
gen-ReachabilityFireability-05: EF true findpath
gen-ReachabilityFireability-06: AG true state equation
gen-ReachabilityFireability-07: EF true findpath
gen-ReachabilityFireability-08: AG false findpath
gen-ReachabilityFireability-09: EF true findpath
gen-ReachabilityFireability-11: EF true findpath
gen-ReachabilityFireability-12: EF true findpath
gen-ReachabilityFireability-13: EF true tandem / relaxed
gen-ReachabilityFireability-14: AG false tandem / relaxed
gen-ReachabilityFireability-15: AG true state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-10: AG 0 0 2 0 2 0 2 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
105 EF FNDP 229/3508 0/5 gen-ReachabilityFireability-10 2227233 t fired, 60778 attempts, .
106 EF STEQ 63/3342 0/5 gen-ReachabilityFireability-10 sara is running.
Time elapsed: 321 secs. Pages in use: 36
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-00: EF false state equation
gen-ReachabilityFireability-01: EF true tandem / relaxed
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: INITIAL false preprocessing
gen-ReachabilityFireability-04: EF true findpath
gen-ReachabilityFireability-05: EF true findpath
gen-ReachabilityFireability-06: AG true state equation
gen-ReachabilityFireability-07: EF true findpath
gen-ReachabilityFireability-08: AG false findpath
gen-ReachabilityFireability-09: EF true findpath
gen-ReachabilityFireability-11: EF true findpath
gen-ReachabilityFireability-12: EF true findpath
gen-ReachabilityFireability-13: EF true tandem / relaxed
gen-ReachabilityFireability-14: AG false tandem / relaxed
gen-ReachabilityFireability-15: AG true state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-10: AG 0 0 2 0 2 0 2 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
105 EF FNDP 234/3508 0/5 gen-ReachabilityFireability-10 2276899 t fired, 62049 attempts, .
106 EF STEQ 68/3342 0/5 gen-ReachabilityFireability-10 sara is running.
Time elapsed: 326 secs. Pages in use: 36
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-00: EF false state equation
gen-ReachabilityFireability-01: EF true tandem / relaxed
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: INITIAL false preprocessing
gen-ReachabilityFireability-04: EF true findpath
gen-ReachabilityFireability-05: EF true findpath
gen-ReachabilityFireability-06: AG true state equation
gen-ReachabilityFireability-07: EF true findpath
gen-ReachabilityFireability-08: AG false findpath
gen-ReachabilityFireability-09: EF true findpath
gen-ReachabilityFireability-11: EF true findpath
gen-ReachabilityFireability-12: EF true findpath
gen-ReachabilityFireability-13: EF true tandem / relaxed
gen-ReachabilityFireability-14: AG false tandem / relaxed
gen-ReachabilityFireability-15: AG true state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-10: AG 0 0 2 0 2 0 2 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
105 EF FNDP 239/3508 0/5 gen-ReachabilityFireability-10 2323889 t fired, 63240 attempts, .
106 EF STEQ 73/3342 0/5 gen-ReachabilityFireability-10 sara is running.
Time elapsed: 331 secs. Pages in use: 36
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-00: EF false state equation
gen-ReachabilityFireability-01: EF true tandem / relaxed
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: INITIAL false preprocessing
gen-ReachabilityFireability-04: EF true findpath
gen-ReachabilityFireability-05: EF true findpath
gen-ReachabilityFireability-06: AG true state equation
gen-ReachabilityFireability-07: EF true findpath
gen-ReachabilityFireability-08: AG false findpath
gen-ReachabilityFireability-09: EF true findpath
gen-ReachabilityFireability-11: EF true findpath
gen-ReachabilityFireability-12: EF true findpath
gen-ReachabilityFireability-13: EF true tandem / relaxed
gen-ReachabilityFireability-14: AG false tandem / relaxed
gen-ReachabilityFireability-15: AG true state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-10: AG 0 0 2 0 2 0 2 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
105 EF FNDP 244/3508 0/5 gen-ReachabilityFireability-10 2375006 t fired, 64535 attempts, .
106 EF STEQ 78/3342 0/5 gen-ReachabilityFireability-10 sara is running.
Time elapsed: 336 secs. Pages in use: 36
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-00: EF false state equation
gen-ReachabilityFireability-01: EF true tandem / relaxed
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: INITIAL false preprocessing
gen-ReachabilityFireability-04: EF true findpath
gen-ReachabilityFireability-05: EF true findpath
gen-ReachabilityFireability-06: AG true state equation
gen-ReachabilityFireability-07: EF true findpath
gen-ReachabilityFireability-08: AG false findpath
gen-ReachabilityFireability-09: EF true findpath
gen-ReachabilityFireability-11: EF true findpath
gen-ReachabilityFireability-12: EF true findpath
gen-ReachabilityFireability-13: EF true tandem / relaxed
gen-ReachabilityFireability-14: AG false tandem / relaxed
gen-ReachabilityFireability-15: AG true state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-10: AG 0 0 2 0 2 0 2 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
105 EF FNDP 249/3508 0/5 gen-ReachabilityFireability-10 2422552 t fired, 65756 attempts, .
106 EF STEQ 83/3342 0/5 gen-ReachabilityFireability-10 sara is running.
Time elapsed: 341 secs. Pages in use: 36
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-00: EF false state equation
gen-ReachabilityFireability-01: EF true tandem / relaxed
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: INITIAL false preprocessing
gen-ReachabilityFireability-04: EF true findpath
gen-ReachabilityFireability-05: EF true findpath
gen-ReachabilityFireability-06: AG true state equation
gen-ReachabilityFireability-07: EF true findpath
gen-ReachabilityFireability-08: AG false findpath
gen-ReachabilityFireability-09: EF true findpath
gen-ReachabilityFireability-11: EF true findpath
gen-ReachabilityFireability-12: EF true findpath
gen-ReachabilityFireability-13: EF true tandem / relaxed
gen-ReachabilityFireability-14: AG false tandem / relaxed
gen-ReachabilityFireability-15: AG true state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-10: AG 0 0 2 0 2 0 2 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
105 EF FNDP 254/3508 0/5 gen-ReachabilityFireability-10 2472210 t fired, 67010 attempts, .
106 EF STEQ 88/3342 0/5 gen-ReachabilityFireability-10 sara is running.
Time elapsed: 346 secs. Pages in use: 36
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-00: EF false state equation
gen-ReachabilityFireability-01: EF true tandem / relaxed
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: INITIAL false preprocessing
gen-ReachabilityFireability-04: EF true findpath
gen-ReachabilityFireability-05: EF true findpath
gen-ReachabilityFireability-06: AG true state equation
gen-ReachabilityFireability-07: EF true findpath
gen-ReachabilityFireability-08: AG false findpath
gen-ReachabilityFireability-09: EF true findpath
gen-ReachabilityFireability-11: EF true findpath
gen-ReachabilityFireability-12: EF true findpath
gen-ReachabilityFireability-13: EF true tandem / relaxed
gen-ReachabilityFireability-14: AG false tandem / relaxed
gen-ReachabilityFireability-15: AG true state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-10: AG 0 0 2 0 2 0 2 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
105 EF FNDP 259/3508 0/5 gen-ReachabilityFireability-10 2521229 t fired, 68250 attempts, .
106 EF STEQ 93/3342 0/5 gen-ReachabilityFireability-10 sara is running.
Time elapsed: 351 secs. Pages in use: 36
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-00: EF false state equation
gen-ReachabilityFireability-01: EF true tandem / relaxed
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: INITIAL false preprocessing
gen-ReachabilityFireability-04: EF true findpath
gen-ReachabilityFireability-05: EF true findpath
gen-ReachabilityFireability-06: AG true state equation
gen-ReachabilityFireability-07: EF true findpath
gen-ReachabilityFireability-08: AG false findpath
gen-ReachabilityFireability-09: EF true findpath
gen-ReachabilityFireability-11: EF true findpath
gen-ReachabilityFireability-12: EF true findpath
gen-ReachabilityFireability-13: EF true tandem / relaxed
gen-ReachabilityFireability-14: AG false tandem / relaxed
gen-ReachabilityFireability-15: AG true state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-10: AG 0 0 2 0 2 0 2 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
105 EF FNDP 264/3508 0/5 gen-ReachabilityFireability-10 2573730 t fired, 69593 attempts, .
106 EF STEQ 98/3342 0/5 gen-ReachabilityFireability-10 sara is running.
Time elapsed: 356 secs. Pages in use: 36
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-00: EF false state equation
gen-ReachabilityFireability-01: EF true tandem / relaxed
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: INITIAL false preprocessing
gen-ReachabilityFireability-04: EF true findpath
gen-ReachabilityFireability-05: EF true findpath
gen-ReachabilityFireability-06: AG true state equation
gen-ReachabilityFireability-07: EF true findpath
gen-ReachabilityFireability-08: AG false findpath
gen-ReachabilityFireability-09: EF true findpath
gen-ReachabilityFireability-11: EF true findpath
gen-ReachabilityFireability-12: EF true findpath
gen-ReachabilityFireability-13: EF true tandem / relaxed
gen-ReachabilityFireability-14: AG false tandem / relaxed
gen-ReachabilityFireability-15: AG true state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-10: AG 0 0 2 0 2 0 2 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
105 EF FNDP 269/3508 0/5 gen-ReachabilityFireability-10 2620759 t fired, 70792 attempts, .
106 EF STEQ 103/3342 0/5 gen-ReachabilityFireability-10 sara is running.
Time elapsed: 361 secs. Pages in use: 36
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-00: EF false state equation
gen-ReachabilityFireability-01: EF true tandem / relaxed
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: INITIAL false preprocessing
gen-ReachabilityFireability-04: EF true findpath
gen-ReachabilityFireability-05: EF true findpath
gen-ReachabilityFireability-06: AG true state equation
gen-ReachabilityFireability-07: EF true findpath
gen-ReachabilityFireability-08: AG false findpath
gen-ReachabilityFireability-09: EF true findpath
gen-ReachabilityFireability-11: EF true findpath
gen-ReachabilityFireability-12: EF true findpath
gen-ReachabilityFireability-13: EF true tandem / relaxed
gen-ReachabilityFireability-14: AG false tandem / relaxed
gen-ReachabilityFireability-15: AG true state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-10: AG 0 0 2 0 2 0 2 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
105 EF FNDP 274/3508 0/5 gen-ReachabilityFireability-10 2662568 t fired, 71863 attempts, .
106 EF STEQ 108/3342 0/5 gen-ReachabilityFireability-10 sara is running.
Time elapsed: 366 secs. Pages in use: 36
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-00: EF false state equation
gen-ReachabilityFireability-01: EF true tandem / relaxed
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: INITIAL false preprocessing
gen-ReachabilityFireability-04: EF true findpath
gen-ReachabilityFireability-05: EF true findpath
gen-ReachabilityFireability-06: AG true state equation
gen-ReachabilityFireability-07: EF true findpath
gen-ReachabilityFireability-08: AG false findpath
gen-ReachabilityFireability-09: EF true findpath
gen-ReachabilityFireability-11: EF true findpath
gen-ReachabilityFireability-12: EF true findpath
gen-ReachabilityFireability-13: EF true tandem / relaxed
gen-ReachabilityFireability-14: AG false tandem / relaxed
gen-ReachabilityFireability-15: AG true state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-10: AG 0 0 2 0 2 0 2 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
105 EF FNDP 279/3508 0/5 gen-ReachabilityFireability-10 2712683 t fired, 73117 attempts, .
106 EF STEQ 113/3342 0/5 gen-ReachabilityFireability-10 sara is running.
Time elapsed: 371 secs. Pages in use: 36
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-00: EF false state equation
gen-ReachabilityFireability-01: EF true tandem / relaxed
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: INITIAL false preprocessing
gen-ReachabilityFireability-04: EF true findpath
gen-ReachabilityFireability-05: EF true findpath
gen-ReachabilityFireability-06: AG true state equation
gen-ReachabilityFireability-07: EF true findpath
gen-ReachabilityFireability-08: AG false findpath
gen-ReachabilityFireability-09: EF true findpath
gen-ReachabilityFireability-11: EF true findpath
gen-ReachabilityFireability-12: EF true findpath
gen-ReachabilityFireability-13: EF true tandem / relaxed
gen-ReachabilityFireability-14: AG false tandem / relaxed
gen-ReachabilityFireability-15: AG true state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-10: AG 0 0 2 0 2 0 2 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
105 EF FNDP 284/3508 0/5 gen-ReachabilityFireability-10 2759554 t fired, 74310 attempts, .
106 EF STEQ 118/3342 0/5 gen-ReachabilityFireability-10 sara is running.
Time elapsed: 376 secs. Pages in use: 36
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-00: EF false state equation
gen-ReachabilityFireability-01: EF true tandem / relaxed
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: INITIAL false preprocessing
gen-ReachabilityFireability-04: EF true findpath
gen-ReachabilityFireability-05: EF true findpath
gen-ReachabilityFireability-06: AG true state equation
gen-ReachabilityFireability-07: EF true findpath
gen-ReachabilityFireability-08: AG false findpath
gen-ReachabilityFireability-09: EF true findpath
gen-ReachabilityFireability-11: EF true findpath
gen-ReachabilityFireability-12: EF true findpath
gen-ReachabilityFireability-13: EF true tandem / relaxed
gen-ReachabilityFireability-14: AG false tandem / relaxed
gen-ReachabilityFireability-15: AG true state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-10: AG 0 0 2 0 2 0 2 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
105 EF FNDP 289/3508 0/5 gen-ReachabilityFireability-10 2811702 t fired, 75637 attempts, .
106 EF STEQ 123/3342 0/5 gen-ReachabilityFireability-10 sara is running.
Time elapsed: 381 secs. Pages in use: 36
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-00: EF false state equation
gen-ReachabilityFireability-01: EF true tandem / relaxed
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: INITIAL false preprocessing
gen-ReachabilityFireability-04: EF true findpath
gen-ReachabilityFireability-05: EF true findpath
gen-ReachabilityFireability-06: AG true state equation
gen-ReachabilityFireability-07: EF true findpath
gen-ReachabilityFireability-08: AG false findpath
gen-ReachabilityFireability-09: EF true findpath
gen-ReachabilityFireability-11: EF true findpath
gen-ReachabilityFireability-12: EF true findpath
gen-ReachabilityFireability-13: EF true tandem / relaxed
gen-ReachabilityFireability-14: AG false tandem / relaxed
gen-ReachabilityFireability-15: AG true state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-10: AG 0 0 2 0 2 0 2 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
105 EF FNDP 294/3508 0/5 gen-ReachabilityFireability-10 2858179 t fired, 76791 attempts, .
106 EF STEQ 128/3342 0/5 gen-ReachabilityFireability-10 sara is running.
Time elapsed: 386 secs. Pages in use: 36
# running tasks: 2 of 4 Visible: 16
terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
lola: FINISHED task # 132 (type EQUN) for gen-ReachabilityFireability-07
lola: result : unknown
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-00: EF false state equation
gen-ReachabilityFireability-01: EF true tandem / relaxed
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: INITIAL false preprocessing
gen-ReachabilityFireability-04: EF true findpath
gen-ReachabilityFireability-05: EF true findpath
gen-ReachabilityFireability-06: AG true state equation
gen-ReachabilityFireability-07: EF true findpath
gen-ReachabilityFireability-08: AG false findpath
gen-ReachabilityFireability-09: EF true findpath
gen-ReachabilityFireability-11: EF true findpath
gen-ReachabilityFireability-12: EF true findpath
gen-ReachabilityFireability-13: EF true tandem / relaxed
gen-ReachabilityFireability-14: AG false tandem / relaxed
gen-ReachabilityFireability-15: AG true state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-10: AG 0 0 2 0 2 0 2 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
105 EF FNDP 299/3508 0/5 gen-ReachabilityFireability-10 2908694 t fired, 78064 attempts, .
106 EF STEQ 133/3342 0/5 gen-ReachabilityFireability-10 sara is running.
Time elapsed: 391 secs. Pages in use: 36
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-00: EF false state equation
gen-ReachabilityFireability-01: EF true tandem / relaxed
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: INITIAL false preprocessing
gen-ReachabilityFireability-04: EF true findpath
gen-ReachabilityFireability-05: EF true findpath
gen-ReachabilityFireability-06: AG true state equation
gen-ReachabilityFireability-07: EF true findpath
gen-ReachabilityFireability-08: AG false findpath
gen-ReachabilityFireability-09: EF true findpath
gen-ReachabilityFireability-11: EF true findpath
gen-ReachabilityFireability-12: EF true findpath
gen-ReachabilityFireability-13: EF true tandem / relaxed
gen-ReachabilityFireability-14: AG false tandem / relaxed
gen-ReachabilityFireability-15: AG true state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-10: AG 0 0 2 0 2 0 2 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
105 EF FNDP 304/3508 0/5 gen-ReachabilityFireability-10 2967967 t fired, 79551 attempts, .
106 EF STEQ 138/3342 0/5 gen-ReachabilityFireability-10 sara is running.
Time elapsed: 396 secs. Pages in use: 36
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-00: EF false state equation
gen-ReachabilityFireability-01: EF true tandem / relaxed
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: INITIAL false preprocessing
gen-ReachabilityFireability-04: EF true findpath
gen-ReachabilityFireability-05: EF true findpath
gen-ReachabilityFireability-06: AG true state equation
gen-ReachabilityFireability-07: EF true findpath
gen-ReachabilityFireability-08: AG false findpath
gen-ReachabilityFireability-09: EF true findpath
gen-ReachabilityFireability-11: EF true findpath
gen-ReachabilityFireability-12: EF true findpath
gen-ReachabilityFireability-13: EF true tandem / relaxed
gen-ReachabilityFireability-14: AG false tandem / relaxed
gen-ReachabilityFireability-15: AG true state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-10: AG 0 0 2 0 2 0 2 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
105 EF FNDP 309/3508 0/5 gen-ReachabilityFireability-10 3027527 t fired, 81037 attempts, .
106 EF STEQ 143/3342 0/5 gen-ReachabilityFireability-10 sara is running.
Time elapsed: 401 secs. Pages in use: 36
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-00: EF false state equation
gen-ReachabilityFireability-01: EF true tandem / relaxed
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: INITIAL false preprocessing
gen-ReachabilityFireability-04: EF true findpath
gen-ReachabilityFireability-05: EF true findpath
gen-ReachabilityFireability-06: AG true state equation
gen-ReachabilityFireability-07: EF true findpath
gen-ReachabilityFireability-08: AG false findpath
gen-ReachabilityFireability-09: EF true findpath
gen-ReachabilityFireability-11: EF true findpath
gen-ReachabilityFireability-12: EF true findpath
gen-ReachabilityFireability-13: EF true tandem / relaxed
gen-ReachabilityFireability-14: AG false tandem / relaxed
gen-ReachabilityFireability-15: AG true state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-10: AG 0 0 2 0 2 0 2 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
105 EF FNDP 314/3508 0/5 gen-ReachabilityFireability-10 3085782 t fired, 82488 attempts, .
106 EF STEQ 148/3342 0/5 gen-ReachabilityFireability-10 sara is running.
Time elapsed: 406 secs. Pages in use: 36
# running tasks: 2 of 4 Visible: 16
terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
lola: FINISHED task # 85 (type EQUN) for gen-ReachabilityFireability-09
lola: result : unknown
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-00: EF false state equation
gen-ReachabilityFireability-01: EF true tandem / relaxed
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: INITIAL false preprocessing
gen-ReachabilityFireability-04: EF true findpath
gen-ReachabilityFireability-05: EF true findpath
gen-ReachabilityFireability-06: AG true state equation
gen-ReachabilityFireability-07: EF true findpath
gen-ReachabilityFireability-08: AG false findpath
gen-ReachabilityFireability-09: EF true findpath
gen-ReachabilityFireability-11: EF true findpath
gen-ReachabilityFireability-12: EF true findpath
gen-ReachabilityFireability-13: EF true tandem / relaxed
gen-ReachabilityFireability-14: AG false tandem / relaxed
gen-ReachabilityFireability-15: AG true state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-10: AG 0 0 2 0 2 0 2 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
105 EF FNDP 319/3508 0/5 gen-ReachabilityFireability-10 3141322 t fired, 83882 attempts, .
106 EF STEQ 153/3342 0/5 gen-ReachabilityFireability-10 sara is running.
Time elapsed: 411 secs. Pages in use: 36
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-00: EF false state equation
gen-ReachabilityFireability-01: EF true tandem / relaxed
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: INITIAL false preprocessing
gen-ReachabilityFireability-04: EF true findpath
gen-ReachabilityFireability-05: EF true findpath
gen-ReachabilityFireability-06: AG true state equation
gen-ReachabilityFireability-07: EF true findpath
gen-ReachabilityFireability-08: AG false findpath
gen-ReachabilityFireability-09: EF true findpath
gen-ReachabilityFireability-11: EF true findpath
gen-ReachabilityFireability-12: EF true findpath
gen-ReachabilityFireability-13: EF true tandem / relaxed
gen-ReachabilityFireability-14: AG false tandem / relaxed
gen-ReachabilityFireability-15: AG true state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-10: AG 0 0 2 0 2 0 2 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
105 EF FNDP 324/3508 0/5 gen-ReachabilityFireability-10 3200176 t fired, 85378 attempts, .
106 EF STEQ 158/3342 0/5 gen-ReachabilityFireability-10 sara is running.
Time elapsed: 416 secs. Pages in use: 36
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-00: EF false state equation
gen-ReachabilityFireability-01: EF true tandem / relaxed
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: INITIAL false preprocessing
gen-ReachabilityFireability-04: EF true findpath
gen-ReachabilityFireability-05: EF true findpath
gen-ReachabilityFireability-06: AG true state equation
gen-ReachabilityFireability-07: EF true findpath
gen-ReachabilityFireability-08: AG false findpath
gen-ReachabilityFireability-09: EF true findpath
gen-ReachabilityFireability-11: EF true findpath
gen-ReachabilityFireability-12: EF true findpath
gen-ReachabilityFireability-13: EF true tandem / relaxed
gen-ReachabilityFireability-14: AG false tandem / relaxed
gen-ReachabilityFireability-15: AG true state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-10: AG 0 0 2 0 2 0 2 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
105 EF FNDP 329/3508 0/5 gen-ReachabilityFireability-10 3259159 t fired, 86847 attempts, .
106 EF STEQ 163/3342 0/5 gen-ReachabilityFireability-10 sara is running.
Time elapsed: 421 secs. Pages in use: 36
# running tasks: 2 of 4 Visible: 16
lola: FINISHED task # 106 (type EQUN) for gen-ReachabilityFireability-10
lola: result : false
lola: CANCELED task # 105 (type FNDP) for gen-ReachabilityFireability-10 (obsolete)
lola: Portfolio finished: no open formulas
FINAL RESULTS
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-00: EF false state equation
gen-ReachabilityFireability-01: EF true tandem / relaxed
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: INITIAL false preprocessing
gen-ReachabilityFireability-04: EF true findpath
gen-ReachabilityFireability-05: EF true findpath
gen-ReachabilityFireability-06: AG true state equation
gen-ReachabilityFireability-07: EF true findpath
gen-ReachabilityFireability-08: AG false findpath
gen-ReachabilityFireability-09: EF true findpath
gen-ReachabilityFireability-10: AG true state equation
gen-ReachabilityFireability-11: EF true findpath
gen-ReachabilityFireability-12: EF true findpath
gen-ReachabilityFireability-13: EF true tandem / relaxed
gen-ReachabilityFireability-14: AG false tandem / relaxed
gen-ReachabilityFireability-15: AG true state equation
Time elapsed: 426 secs. Pages in use: 36
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="MultiCrashLeafsetExtension-PT-S16C08"
export BK_EXAMINATION="ReachabilityFireability"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# 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
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool lola"
echo " Input is MultiCrashLeafsetExtension-PT-S16C08, examination is ReachabilityFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r289-tall-162124152800623"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/MultiCrashLeafsetExtension-PT-S16C08.tgz
mv MultiCrashLeafsetExtension-PT-S16C08 execution
cd execution
if [ "ReachabilityFireability" = "ReachabilityDeadlock" ] || [ "ReachabilityFireability" = "UpperBounds" ] || [ "ReachabilityFireability" = "QuasiLiveness" ] || [ "ReachabilityFireability" = "StableMarking" ] || [ "ReachabilityFireability" = "Liveness" ] || [ "ReachabilityFireability" = "OneSafe" ] || [ "ReachabilityFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityFireability" != "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 "ReachabilityFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityFireability.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 '
echo "FORMULA_NAME $x"
done
elif [ "ReachabilityFireability" = "ReachabilityDeadlock" ] || [ "ReachabilityFireability" = "QuasiLiveness" ] || [ "ReachabilityFireability" = "StableMarking" ] || [ "ReachabilityFireability" = "Liveness" ] || [ "ReachabilityFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME ReachabilityFireability"
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 ;