About the Execution of LoLA for TCPcondis-PT-35
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
16195.728 | 451322.00 | 453491.00 | 1486.30 | ??????????????F? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2024-input.r423-smll-171690574500051.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2024-input.qcow2 backing_fmt=qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5568
Executing tool lola
Input is TCPcondis-PT-35, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r423-smll-171690574500051
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 536K
-rw-r--r-- 1 mcc users 9.3K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 101K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.1K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 46K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 18 16:43 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.3K May 18 16:43 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.9K Apr 23 08:02 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Apr 23 08:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Apr 23 08:02 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 23 08:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Apr 12 02:59 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 112K Apr 12 02:59 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Apr 12 02:58 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 111K Apr 12 02:58 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 23 08:02 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 23 08:02 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 18 16:43 equiv_col
-rw-r--r-- 1 mcc users 3 May 18 16:43 instance
-rw-r--r-- 1 mcc users 6 May 18 16:43 iscolored
-rwxr-xr-x 1 mcc users 24K May 18 16:43 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 TCPcondis-PT-35-LTLCardinality-00
FORMULA_NAME TCPcondis-PT-35-LTLCardinality-01
FORMULA_NAME TCPcondis-PT-35-LTLCardinality-02
FORMULA_NAME TCPcondis-PT-35-LTLCardinality-03
FORMULA_NAME TCPcondis-PT-35-LTLCardinality-04
FORMULA_NAME TCPcondis-PT-35-LTLCardinality-05
FORMULA_NAME TCPcondis-PT-35-LTLCardinality-06
FORMULA_NAME TCPcondis-PT-35-LTLCardinality-07
FORMULA_NAME TCPcondis-PT-35-LTLCardinality-08
FORMULA_NAME TCPcondis-PT-35-LTLCardinality-09
FORMULA_NAME TCPcondis-PT-35-LTLCardinality-10
FORMULA_NAME TCPcondis-PT-35-LTLCardinality-11
FORMULA_NAME TCPcondis-PT-35-LTLCardinality-12
FORMULA_NAME TCPcondis-PT-35-LTLCardinality-13
FORMULA_NAME TCPcondis-PT-35-LTLCardinality-14
FORMULA_NAME TCPcondis-PT-35-LTLCardinality-15
=== Now, execution of the tool begins
BK_START 1717056007954
FORMULA TCPcondis-PT-35-LTLCardinality-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
BK_STOP 1717056459276
--------------------
content from stderr:
[[35mlola[0m][I] LoLA will run for 3600 seconds at most ([1m[36m--timelimit[0m)
[[35mlola[0m][W] [1m[33munknown unit in memory specification: using default[0m
[[35mlola[0m][I] MEM LIMIT 5
[[35mlola[0m][I] NET
[[35mlola[0m][I] reading [1m[34mnet[0m from [4m[34mmodel.pnml[0m
[[35mlola[0m][I] input: PNML file ([1m[36m--pnmlnet[0m)
[[35mlola[0m][I] reading pnml
[[35mlola[0m][I] PNML file contains place/transition net
[[35mlola[0m][I] closed [1m[34mnet[0m file [4m[34mmodel.pnml[0m
[[35mlola[0m][I] finished parsing
[[35mlola[0m][I] Reading formula.
[[35mlola[0m][I] Using XML format ([1m[36m--xmlformula[0m)
[[35mlola[0m][I] reading XML formula
[[35mlola[0m][I] reading [1m[34mformula[0m from [4m[34mLTLCardinality.xml[0m
[[35mlola[0m][I] Rule S: 0 transitions removed,0 places removed
[[35mlola[0m][I] LAUNCH task # 25 (type CNST) for 22 TCPcondis-PT-35-LTLCardinality-06
[[35mlola[0m][I] time limit : 0 sec
[[35mlola[0m][I] memory limit: 0 pages
[[35mlola[0m][I] FINISHED task # 25 (type CNST) for TCPcondis-PT-35-LTLCardinality-06
[[35mlola[0m][I] result : true
[[35mlola[0m][I] LAUNCH task # 52 (type EXCL) for 51 TCPcondis-PT-35-LTLCardinality-13
[[35mlola[0m][I] time limit : 171 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] LAUNCH task # 69 (type FNDP) for 54 TCPcondis-PT-35-LTLCardinality-14
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 70 (type EQUN) for 54 TCPcondis-PT-35-LTLCardinality-14
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 69 (type FNDP) for TCPcondis-PT-35-LTLCardinality-14
[[35mlola[0m][I] result : true
[[35mlola[0m][I] tried executions : 1
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][W] CANCELED task # 70 (type EQUN) for TCPcondis-PT-35-LTLCardinality-14 (obsolete)
[[35mlola[0m][I] FINISHED task # 70 (type EQUN) for TCPcondis-PT-35-LTLCardinality-14
[[35mlola[0m][I] result : unknown
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-14: CONJ false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-01: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-04: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-06: CONJ 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-07: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-09: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-13: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-15: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 LTL EXCL 4/211 9/2000 TCPcondis-PT-35-LTLCardinality-13 1351417 m, 270283 m/sec, 3909329 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 5 secs. Pages in use: 9
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-14: CONJ false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-01: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-04: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-06: CONJ 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-07: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-09: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-13: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-15: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 LTL EXCL 10/211 19/2000 TCPcondis-PT-35-LTLCardinality-13 2832576 m, 296231 m/sec, 8410665 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 11 secs. Pages in use: 19
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-14: CONJ false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-01: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-04: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-06: CONJ 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-07: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-09: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-13: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-15: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 LTL EXCL 15/211 28/2000 TCPcondis-PT-35-LTLCardinality-13 4296066 m, 292698 m/sec, 12791014 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 16 secs. Pages in use: 28
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-14: CONJ false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-01: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-04: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-06: CONJ 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-07: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-09: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-13: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-15: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 LTL EXCL 20/211 37/2000 TCPcondis-PT-35-LTLCardinality-13 5579509 m, 256688 m/sec, 16981889 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 21 secs. Pages in use: 37
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-14: CONJ false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-01: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-04: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-06: CONJ 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-07: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-09: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-13: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-15: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 LTL EXCL 25/211 45/2000 TCPcondis-PT-35-LTLCardinality-13 6929138 m, 269925 m/sec, 21059351 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 26 secs. Pages in use: 45
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-14: CONJ false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-01: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-04: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-06: CONJ 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-07: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-09: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-13: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-15: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 LTL EXCL 30/211 54/2000 TCPcondis-PT-35-LTLCardinality-13 8205696 m, 255311 m/sec, 24928457 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 31 secs. Pages in use: 54
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-14: CONJ false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-01: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-04: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-06: CONJ 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-07: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-09: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-13: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-15: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 LTL EXCL 35/211 60/2000 TCPcondis-PT-35-LTLCardinality-13 9231667 m, 205194 m/sec, 28302483 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 36 secs. Pages in use: 60
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-14: CONJ false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-01: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-04: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-06: CONJ 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-07: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-09: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-13: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-15: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 LTL EXCL 40/211 67/2000 TCPcondis-PT-35-LTLCardinality-13 10328677 m, 219402 m/sec, 31919975 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 41 secs. Pages in use: 67
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-14: CONJ false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-01: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-04: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-06: CONJ 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-07: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-09: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-13: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-15: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 LTL EXCL 45/211 75/2000 TCPcondis-PT-35-LTLCardinality-13 11439700 m, 222204 m/sec, 35549534 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 46 secs. Pages in use: 75
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-14: CONJ false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-01: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-04: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-06: CONJ 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-07: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-09: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-13: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-15: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 LTL EXCL 50/211 82/2000 TCPcondis-PT-35-LTLCardinality-13 12608113 m, 233682 m/sec, 39114863 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 51 secs. Pages in use: 82
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-14: CONJ false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-01: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-04: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-06: CONJ 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-07: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-09: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-13: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-15: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 LTL EXCL 55/211 90/2000 TCPcondis-PT-35-LTLCardinality-13 13855836 m, 249544 m/sec, 42821557 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 56 secs. Pages in use: 90
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-14: CONJ false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-01: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-04: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-06: CONJ 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-07: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-09: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-13: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-15: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 LTL EXCL 60/211 99/2000 TCPcondis-PT-35-LTLCardinality-13 15112834 m, 251399 m/sec, 46799504 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 61 secs. Pages in use: 99
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-14: CONJ false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-01: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-04: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-06: CONJ 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-07: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-09: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-13: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-15: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 LTL EXCL 65/211 106/2000 TCPcondis-PT-35-LTLCardinality-13 16207407 m, 218914 m/sec, 50411691 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 66 secs. Pages in use: 106
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-14: CONJ false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-01: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-04: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-06: CONJ 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-07: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-09: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-13: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-15: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 LTL EXCL 70/211 113/2000 TCPcondis-PT-35-LTLCardinality-13 17283351 m, 215188 m/sec, 53975327 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 71 secs. Pages in use: 113
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-14: CONJ false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-01: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-04: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-06: CONJ 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-07: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-09: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-13: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-15: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 LTL EXCL 75/211 119/2000 TCPcondis-PT-35-LTLCardinality-13 18269109 m, 197151 m/sec, 57341116 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 76 secs. Pages in use: 119
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-14: CONJ false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-01: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-04: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-06: CONJ 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-07: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-09: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-13: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-15: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 LTL EXCL 80/211 126/2000 TCPcondis-PT-35-LTLCardinality-13 19326644 m, 211507 m/sec, 60851092 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 81 secs. Pages in use: 126
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-14: CONJ false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-01: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-04: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-06: CONJ 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-07: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-09: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-13: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-15: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 LTL EXCL 85/211 132/2000 TCPcondis-PT-35-LTLCardinality-13 20318930 m, 198457 m/sec, 64269924 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 86 secs. Pages in use: 132
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-14: CONJ false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-01: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-04: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-06: CONJ 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-07: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-09: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-13: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-15: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 LTL EXCL 90/211 139/2000 TCPcondis-PT-35-LTLCardinality-13 21349313 m, 206076 m/sec, 67534229 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 91 secs. Pages in use: 139
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-14: CONJ false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-01: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-04: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-06: CONJ 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-07: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-09: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-13: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-15: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 LTL EXCL 95/211 145/2000 TCPcondis-PT-35-LTLCardinality-13 22339258 m, 197989 m/sec, 70742754 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 96 secs. Pages in use: 145
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-14: CONJ false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-01: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-04: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-06: CONJ 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-07: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-09: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-13: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-15: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 LTL EXCL 100/211 153/2000 TCPcondis-PT-35-LTLCardinality-13 23583356 m, 248819 m/sec, 74401971 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 101 secs. Pages in use: 153
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-14: CONJ false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-01: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-04: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-06: CONJ 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-07: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-09: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-13: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-15: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 LTL EXCL 105/211 161/2000 TCPcondis-PT-35-LTLCardinality-13 24767290 m, 236786 m/sec, 77959171 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 106 secs. Pages in use: 161
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-14: CONJ false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-01: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-04: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-06: CONJ 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-07: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-09: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-13: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-15: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 LTL EXCL 110/211 169/2000 TCPcondis-PT-35-LTLCardinality-13 25996055 m, 245753 m/sec, 81714233 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 111 secs. Pages in use: 169
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-14: CONJ false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-01: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-04: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-06: CONJ 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-07: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-09: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-13: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-15: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 LTL EXCL 115/211 176/2000 TCPcondis-PT-35-LTLCardinality-13 27033751 m, 207539 m/sec, 85114182 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 116 secs. Pages in use: 176
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-14: CONJ false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-01: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-04: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-06: CONJ 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-07: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-09: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-13: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-15: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 LTL EXCL 120/211 183/2000 TCPcondis-PT-35-LTLCardinality-13 28077596 m, 208769 m/sec, 88570236 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 121 secs. Pages in use: 183
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-14: CONJ false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-01: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-04: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-06: CONJ 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-07: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-09: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-13: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-15: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 LTL EXCL 125/211 189/2000 TCPcondis-PT-35-LTLCardinality-13 29100566 m, 204594 m/sec, 92007158 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 126 secs. Pages in use: 189
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-14: CONJ false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-01: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-04: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-06: CONJ 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-07: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-09: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-13: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-15: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 LTL EXCL 130/211 195/2000 TCPcondis-PT-35-LTLCardinality-13 30021990 m, 184284 m/sec, 95159197 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 131 secs. Pages in use: 195
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-14: CONJ false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-01: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-04: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-06: CONJ 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-07: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-09: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-13: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-15: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 LTL EXCL 135/211 202/2000 TCPcondis-PT-35-LTLCardinality-13 31070014 m, 209604 m/sec, 98686033 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 136 secs. Pages in use: 202
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-14: CONJ false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-01: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-04: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-06: CONJ 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-07: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-09: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-13: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-15: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 LTL EXCL 140/211 208/2000 TCPcondis-PT-35-LTLCardinality-13 32049148 m, 195826 m/sec, 101985124 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 141 secs. Pages in use: 208
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-14: CONJ false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-01: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-04: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-06: CONJ 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-07: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-09: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-13: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-15: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 LTL EXCL 145/211 214/2000 TCPcondis-PT-35-LTLCardinality-13 32951939 m, 180558 m/sec, 105166599 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 146 secs. Pages in use: 214
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-14: CONJ false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-01: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-04: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-06: CONJ 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-07: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-09: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-13: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-15: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 LTL EXCL 150/211 220/2000 TCPcondis-PT-35-LTLCardinality-13 33905672 m, 190746 m/sec, 108361702 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 151 secs. Pages in use: 220
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-14: CONJ false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-01: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-04: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-06: CONJ 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-07: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-09: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-13: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-15: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 LTL EXCL 155/211 227/2000 TCPcondis-PT-35-LTLCardinality-13 34954290 m, 209723 m/sec, 111933208 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 156 secs. Pages in use: 227
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-14: CONJ false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-01: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-04: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-06: CONJ 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-07: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-09: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-13: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-15: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 LTL EXCL 160/211 233/2000 TCPcondis-PT-35-LTLCardinality-13 35861827 m, 181507 m/sec, 115060190 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 161 secs. Pages in use: 233
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-14: CONJ false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-01: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-04: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-06: CONJ 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-07: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-09: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-13: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-15: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 LTL EXCL 165/211 240/2000 TCPcondis-PT-35-LTLCardinality-13 36902465 m, 208127 m/sec, 118446886 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 166 secs. Pages in use: 240
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-14: CONJ false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-01: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-04: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-06: CONJ 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-07: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-09: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-13: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-15: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 LTL EXCL 170/211 246/2000 TCPcondis-PT-35-LTLCardinality-13 37911885 m, 201884 m/sec, 121755005 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 171 secs. Pages in use: 246
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-14: CONJ false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-01: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-04: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-06: CONJ 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-07: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-09: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-13: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-15: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 LTL EXCL 175/211 253/2000 TCPcondis-PT-35-LTLCardinality-13 38948637 m, 207350 m/sec, 125197143 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 176 secs. Pages in use: 253
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-14: CONJ false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-01: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-04: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-06: CONJ 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-07: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-09: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-13: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-15: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 LTL EXCL 180/211 261/2000 TCPcondis-PT-35-LTLCardinality-13 40163984 m, 243069 m/sec, 128805513 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 181 secs. Pages in use: 261
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-14: CONJ false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-01: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-04: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-06: CONJ 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-07: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-09: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-13: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-15: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 LTL EXCL 185/211 269/2000 TCPcondis-PT-35-LTLCardinality-13 41427152 m, 252633 m/sec, 132680334 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 186 secs. Pages in use: 269
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-14: CONJ false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-01: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-04: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-06: CONJ 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-07: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-09: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-13: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-15: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 LTL EXCL 190/211 277/2000 TCPcondis-PT-35-LTLCardinality-13 42691239 m, 252817 m/sec, 136467587 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 191 secs. Pages in use: 277
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-14: CONJ false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-01: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-04: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-06: CONJ 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-07: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-09: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-13: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-15: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 LTL EXCL 195/211 286/2000 TCPcondis-PT-35-LTLCardinality-13 43951872 m, 252126 m/sec, 140248968 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 196 secs. Pages in use: 286
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-14: CONJ false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-01: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-04: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-06: CONJ 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-07: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-09: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-13: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-15: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 LTL EXCL 200/211 294/2000 TCPcondis-PT-35-LTLCardinality-13 45208170 m, 251259 m/sec, 144281470 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 201 secs. Pages in use: 294
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-14: CONJ false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-01: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-04: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-06: CONJ 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-07: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-09: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-13: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-15: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 LTL EXCL 205/211 301/2000 TCPcondis-PT-35-LTLCardinality-13 46316872 m, 221740 m/sec, 148015574 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 206 secs. Pages in use: 301
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-14: CONJ false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-01: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-04: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-06: CONJ 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-07: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-09: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-13: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-15: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 LTL EXCL 210/211 308/2000 TCPcondis-PT-35-LTLCardinality-13 47482366 m, 233098 m/sec, 151839935 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 211 secs. Pages in use: 308
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][W] CANCELED task # 52 (type EXCL) for TCPcondis-PT-35-LTLCardinality-13 (local timeout)
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-14: CONJ false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-01: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-04: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-06: CONJ 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-07: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-09: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-13: LTL 0 0 0 0 1 1 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-15: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 216 secs. Pages in use: 315
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] LAUNCH task # 66 (type EXCL) for 65 TCPcondis-PT-35-LTLCardinality-15
[[35mlola[0m][I] time limit : 211 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] LAUNCH task # 52 (type EXCL) for 51 TCPcondis-PT-35-LTLCardinality-13
[[35mlola[0m][I] time limit : 3384 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 66 (type EXCL) for TCPcondis-PT-35-LTLCardinality-15
[[35mlola[0m][I] result : true
[[35mlola[0m][I] markings : 33
[[35mlola[0m][I] fired transitions : 44
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 1
[[35mlola[0m][I] CANCELED task # 52 (type EXCL) for TCPcondis-PT-35-LTLCardinality-13 (memory limit exceeded)
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-14: CONJ false findpath[0m
[[35mlola[0m][.] [1m[32mTCPcondis-PT-35-LTLCardinality-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-01: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-04: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-06: CONJ 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-07: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-09: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-13: LTL 0 0 0 0 1 0 1 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 221 secs. Pages in use: 320
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] LAUNCH task # 49 (type EXCL) for 48 TCPcondis-PT-35-LTLCardinality-12
[[35mlola[0m][I] time limit : 225 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] FINISHED task # 49 (type EXCL) for TCPcondis-PT-35-LTLCardinality-12
[[35mlola[0m][I] result : false
[[35mlola[0m][I] markings : 360
[[35mlola[0m][I] fired transitions : 361
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 1
[[35mlola[0m][I] LAUNCH task # 46 (type EXCL) for 45 TCPcondis-PT-35-LTLCardinality-11
[[35mlola[0m][I] time limit : 241 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] FINISHED task # 46 (type EXCL) for TCPcondis-PT-35-LTLCardinality-11
[[35mlola[0m][I] result : false
[[35mlola[0m][I] markings : 358
[[35mlola[0m][I] fired transitions : 358
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 1
[[35mlola[0m][I] LAUNCH task # 43 (type EXCL) for 42 TCPcondis-PT-35-LTLCardinality-10
[[35mlola[0m][I] time limit : 259 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-11: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-14: CONJ false findpath[0m
[[35mlola[0m][.] [1m[32mTCPcondis-PT-35-LTLCardinality-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-01: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-04: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-06: CONJ 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-07: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-09: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-13: LTL 0 0 0 0 1 0 1 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 43 LTL EXCL 5/259 11/2000 TCPcondis-PT-35-LTLCardinality-10 1598594 m, 319718 m/sec, 5062867 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 226 secs. Pages in use: 326
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-11: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-14: CONJ false findpath[0m
[[35mlola[0m][.] [1m[32mTCPcondis-PT-35-LTLCardinality-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-01: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-04: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-06: CONJ 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-07: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-09: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-13: LTL 0 0 0 0 1 0 1 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 43 LTL EXCL 10/259 22/2000 TCPcondis-PT-35-LTLCardinality-10 3298157 m, 339912 m/sec, 10576620 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 231 secs. Pages in use: 337
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-11: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-14: CONJ false findpath[0m
[[35mlola[0m][.] [1m[32mTCPcondis-PT-35-LTLCardinality-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-01: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-04: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-06: CONJ 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-07: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-09: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-13: LTL 0 0 0 0 1 0 1 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 43 LTL EXCL 15/259 32/2000 TCPcondis-PT-35-LTLCardinality-10 4920008 m, 324370 m/sec, 16163124 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 236 secs. Pages in use: 347
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-11: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-14: CONJ false findpath[0m
[[35mlola[0m][.] [1m[32mTCPcondis-PT-35-LTLCardinality-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-01: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-04: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-06: CONJ 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-07: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-09: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-13: LTL 0 0 0 0 1 0 1 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 43 LTL EXCL 20/259 41/2000 TCPcondis-PT-35-LTLCardinality-10 6309403 m, 277879 m/sec, 21565582 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 241 secs. Pages in use: 356
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-11: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-14: CONJ false findpath[0m
[[35mlola[0m][.] [1m[32mTCPcondis-PT-35-LTLCardinality-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-01: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-04: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-06: CONJ 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-07: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-09: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-13: LTL 0 0 0 0 1 0 1 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 43 LTL EXCL 25/259 50/2000 TCPcondis-PT-35-LTLCardinality-10 7636442 m, 265407 m/sec, 26805229 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 246 secs. Pages in use: 365
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-11: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-14: CONJ false findpath[0m
[[35mlola[0m][.] [1m[32mTCPcondis-PT-35-LTLCardinality-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-01: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-04: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-06: CONJ 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-07: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-09: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-13: LTL 0 0 0 0 1 0 1 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 43 LTL EXCL 30/259 58/2000 TCPcondis-PT-35-LTLCardinality-10 8932434 m, 259198 m/sec, 31965350 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 251 secs. Pages in use: 373
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-11: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-14: CONJ false findpath[0m
[[35mlola[0m][.] [1m[32mTCPcondis-PT-35-LTLCardinality-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-01: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-04: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-06: CONJ 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-07: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-09: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-13: LTL 0 0 0 0 1 0 1 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 43 LTL EXCL 35/259 67/2000 TCPcondis-PT-35-LTLCardinality-10 10211134 m, 255740 m/sec, 37068131 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 256 secs. Pages in use: 382
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-11: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-14: CONJ false findpath[0m
[[35mlola[0m][.] [1m[32mTCPcondis-PT-35-LTLCardinality-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-01: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-04: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-06: CONJ 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-07: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-09: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-13: LTL 0 0 0 0 1 0 1 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 43 LTL EXCL 40/259 75/2000 TCPcondis-PT-35-LTLCardinality-10 11496528 m, 257078 m/sec, 42229932 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 261 secs. Pages in use: 390
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-11: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-14: CONJ false findpath[0m
[[35mlola[0m][.] [1m[32mTCPcondis-PT-35-LTLCardinality-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-01: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-04: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-06: CONJ 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-07: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-09: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-13: LTL 0 0 0 0 1 0 1 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 43 LTL EXCL 45/259 83/2000 TCPcondis-PT-35-LTLCardinality-10 12785819 m, 257858 m/sec, 47425601 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 266 secs. Pages in use: 398
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-11: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-14: CONJ false findpath[0m
[[35mlola[0m][.] [1m[32mTCPcondis-PT-35-LTLCardinality-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-01: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-04: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-06: CONJ 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-07: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-09: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-13: LTL 0 0 0 0 1 0 1 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 43 LTL EXCL 50/259 92/2000 TCPcondis-PT-35-LTLCardinality-10 14090400 m, 260916 m/sec, 52883576 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 271 secs. Pages in use: 407
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-11: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-14: CONJ false findpath[0m
[[35mlola[0m][.] [1m[32mTCPcondis-PT-35-LTLCardinality-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-01: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-04: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-06: CONJ 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-07: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-09: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-13: LTL 0 0 0 0 1 0 1 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 43 LTL EXCL 55/259 100/2000 TCPcondis-PT-35-LTLCardinality-10 15377116 m, 257343 m/sec, 57941290 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 276 secs. Pages in use: 415
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-11: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-14: CONJ false findpath[0m
[[35mlola[0m][.] [1m[32mTCPcondis-PT-35-LTLCardinality-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-01: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-04: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-06: CONJ 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-07: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-09: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-13: LTL 0 0 0 0 1 0 1 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 43 LTL EXCL 60/259 108/2000 TCPcondis-PT-35-LTLCardinality-10 16636425 m, 251861 m/sec, 62940417 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 281 secs. Pages in use: 423
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-11: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-14: CONJ false findpath[0m
[[35mlola[0m][.] [1m[32mTCPcondis-PT-35-LTLCardinality-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-01: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-04: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-06: CONJ 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-07: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-09: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-13: LTL 0 0 0 0 1 0 1 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 43 LTL EXCL 65/259 117/2000 TCPcondis-PT-35-LTLCardinality-10 17881294 m, 248973 m/sec, 67896837 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 286 secs. Pages in use: 432
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-11: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-14: CONJ false findpath[0m
[[35mlola[0m][.] [1m[32mTCPcondis-PT-35-LTLCardinality-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-01: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-04: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-06: CONJ 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-07: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-09: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-13: LTL 0 0 0 0 1 0 1 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 43 LTL EXCL 70/259 124/2000 TCPcondis-PT-35-LTLCardinality-10 19088182 m, 241377 m/sec, 72754967 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 291 secs. Pages in use: 439
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-11: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-14: CONJ false findpath[0m
[[35mlola[0m][.] [1m[32mTCPcondis-PT-35-LTLCardinality-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-01: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-04: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-06: CONJ 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-07: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-09: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-13: LTL 0 0 0 0 1 0 1 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 43 LTL EXCL 75/259 132/2000 TCPcondis-PT-35-LTLCardinality-10 20243407 m, 231045 m/sec, 77725288 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 296 secs. Pages in use: 447
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-11: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-14: CONJ false findpath[0m
[[35mlola[0m][.] [1m[32mTCPcondis-PT-35-LTLCardinality-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-01: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-04: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-06: CONJ 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-07: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-09: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-13: LTL 0 0 0 0 1 0 1 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 43 LTL EXCL 80/259 140/2000 TCPcondis-PT-35-LTLCardinality-10 21483043 m, 247927 m/sec, 82882498 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 301 secs. Pages in use: 455
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-11: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-14: CONJ false findpath[0m
[[35mlola[0m][.] [1m[32mTCPcondis-PT-35-LTLCardinality-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-01: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-04: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-06: CONJ 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-07: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-09: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-13: LTL 0 0 0 0 1 0 1 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 43 LTL EXCL 85/259 147/2000 TCPcondis-PT-35-LTLCardinality-10 22606566 m, 224704 m/sec, 87809868 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 306 secs. Pages in use: 462
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-11: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-14: CONJ false findpath[0m
[[35mlola[0m][.] [1m[32mTCPcondis-PT-35-LTLCardinality-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-01: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-04: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-06: CONJ 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-07: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-09: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-13: LTL 0 0 0 0 1 0 1 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 43 LTL EXCL 90/259 154/2000 TCPcondis-PT-35-LTLCardinality-10 23672587 m, 213204 m/sec, 92530055 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 311 secs. Pages in use: 469
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-11: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-14: CONJ false findpath[0m
[[35mlola[0m][.] [1m[32mTCPcondis-PT-35-LTLCardinality-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-01: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-04: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-06: CONJ 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-07: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-09: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-13: LTL 0 0 0 0 1 0 1 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 43 LTL EXCL 95/259 161/2000 TCPcondis-PT-35-LTLCardinality-10 24721161 m, 209714 m/sec, 97204148 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 316 secs. Pages in use: 476
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-11: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-14: CONJ false findpath[0m
[[35mlola[0m][.] [1m[32mTCPcondis-PT-35-LTLCardinality-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-01: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-04: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-06: CONJ 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-07: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-09: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-13: LTL 0 0 0 0 1 0 1 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 43 LTL EXCL 100/259 168/2000 TCPcondis-PT-35-LTLCardinality-10 25759284 m, 207624 m/sec, 101841906 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 321 secs. Pages in use: 483
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-11: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-14: CONJ false findpath[0m
[[35mlola[0m][.] [1m[32mTCPcondis-PT-35-LTLCardinality-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-01: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-04: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-06: CONJ 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-07: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-09: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-13: LTL 0 0 0 0 1 0 1 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 43 LTL EXCL 105/259 175/2000 TCPcondis-PT-35-LTLCardinality-10 26811921 m, 210527 m/sec, 106560167 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 326 secs. Pages in use: 490
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-11: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-14: CONJ false findpath[0m
[[35mlola[0m][.] [1m[32mTCPcondis-PT-35-LTLCardinality-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-01: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-04: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-06: CONJ 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-07: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-09: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-13: LTL 0 0 0 0 1 0 1 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 43 LTL EXCL 110/259 181/2000 TCPcondis-PT-35-LTLCardinality-10 27836891 m, 204994 m/sec, 111172942 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 331 secs. Pages in use: 496
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-11: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-14: CONJ false findpath[0m
[[35mlola[0m][.] [1m[32mTCPcondis-PT-35-LTLCardinality-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-01: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-04: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-06: CONJ 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-07: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-09: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-13: LTL 0 0 0 0 1 0 1 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 43 LTL EXCL 115/259 188/2000 TCPcondis-PT-35-LTLCardinality-10 28879221 m, 208466 m/sec, 115864757 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 336 secs. Pages in use: 503
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-11: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-14: CONJ false findpath[0m
[[35mlola[0m][.] [1m[32mTCPcondis-PT-35-LTLCardinality-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-01: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-04: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-06: CONJ 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-07: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-09: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-13: LTL 0 0 0 0 1 0 1 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 43 LTL EXCL 120/259 195/2000 TCPcondis-PT-35-LTLCardinality-10 29980644 m, 220284 m/sec, 120773597 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 341 secs. Pages in use: 510
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-11: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-14: CONJ false findpath[0m
[[35mlola[0m][.] [1m[32mTCPcondis-PT-35-LTLCardinality-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-01: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-04: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-06: CONJ 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-07: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-09: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-13: LTL 0 0 0 0 1 0 1 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 43 LTL EXCL 125/259 203/2000 TCPcondis-PT-35-LTLCardinality-10 31194734 m, 242818 m/sec, 125280456 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 346 secs. Pages in use: 518
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-11: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-14: CONJ false findpath[0m
[[35mlola[0m][.] [1m[32mTCPcondis-PT-35-LTLCardinality-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-01: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-04: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-06: CONJ 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-07: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-09: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-13: LTL 0 0 0 0 1 0 1 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 43 LTL EXCL 130/259 210/2000 TCPcondis-PT-35-LTLCardinality-10 32353891 m, 231831 m/sec, 129629682 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 351 secs. Pages in use: 525
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-11: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-14: CONJ false findpath[0m
[[35mlola[0m][.] [1m[32mTCPcondis-PT-35-LTLCardinality-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-01: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-04: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-06: CONJ 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-07: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-09: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-13: LTL 0 0 0 0 1 0 1 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 43 LTL EXCL 135/259 218/2000 TCPcondis-PT-35-LTLCardinality-10 33532756 m, 235773 m/sec, 134049883 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 356 secs. Pages in use: 533
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-11: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-14: CONJ false findpath[0m
[[35mlola[0m][.] [1m[32mTCPcondis-PT-35-LTLCardinality-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-01: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-04: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-06: CONJ 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-07: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-09: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-13: LTL 0 0 0 0 1 0 1 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 43 LTL EXCL 140/259 226/2000 TCPcondis-PT-35-LTLCardinality-10 34782444 m, 249937 m/sec, 138614590 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 361 secs. Pages in use: 541
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-11: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-14: CONJ false findpath[0m
[[35mlola[0m][.] [1m[32mTCPcondis-PT-35-LTLCardinality-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-01: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-04: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-06: CONJ 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-07: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-09: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-13: LTL 0 0 0 0 1 0 1 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 43 LTL EXCL 145/259 234/2000 TCPcondis-PT-35-LTLCardinality-10 35917475 m, 227006 m/sec, 142849688 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 366 secs. Pages in use: 549
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-11: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-14: CONJ false findpath[0m
[[35mlola[0m][.] [1m[32mTCPcondis-PT-35-LTLCardinality-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-01: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-04: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-06: CONJ 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-07: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-09: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-13: LTL 0 0 0 0 1 0 1 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 43 LTL EXCL 150/259 241/2000 TCPcondis-PT-35-LTLCardinality-10 37008576 m, 218220 m/sec, 146954194 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 371 secs. Pages in use: 556
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-11: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-14: CONJ false findpath[0m
[[35mlola[0m][.] [1m[32mTCPcondis-PT-35-LTLCardinality-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-01: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-04: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-06: CONJ 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-07: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-09: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-13: LTL 0 0 0 0 1 0 1 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 43 LTL EXCL 155/259 249/2000 TCPcondis-PT-35-LTLCardinality-10 38220677 m, 242420 m/sec, 151619042 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 376 secs. Pages in use: 564
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-11: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-14: CONJ false findpath[0m
[[35mlola[0m][.] [1m[32mTCPcondis-PT-35-LTLCardinality-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-01: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-04: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-06: CONJ 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-07: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-09: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-13: LTL 0 0 0 0 1 0 1 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 43 LTL EXCL 160/259 257/2000 TCPcondis-PT-35-LTLCardinality-10 39500349 m, 255934 m/sec, 156371918 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 381 secs. Pages in use: 572
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-11: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-14: CONJ false findpath[0m
[[35mlola[0m][.] [1m[32mTCPcondis-PT-35-LTLCardinality-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-01: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-04: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-06: CONJ 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-07: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-09: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-13: LTL 0 0 0 0 1 0 1 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 43 LTL EXCL 165/259 265/2000 TCPcondis-PT-35-LTLCardinality-10 40742767 m, 248483 m/sec, 161023528 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 386 secs. Pages in use: 580
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-11: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-14: CONJ false findpath[0m
[[35mlola[0m][.] [1m[32mTCPcondis-PT-35-LTLCardinality-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-01: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-04: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-06: CONJ 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-07: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-09: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-13: LTL 0 0 0 0 1 0 1 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 43 LTL EXCL 170/259 273/2000 TCPcondis-PT-35-LTLCardinality-10 41930134 m, 237473 m/sec, 165751772 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 391 secs. Pages in use: 588
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-11: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-14: CONJ false findpath[0m
[[35mlola[0m][.] [1m[32mTCPcondis-PT-35-LTLCardinality-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-01: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-04: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-06: CONJ 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-07: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-09: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-13: LTL 0 0 0 0 1 0 1 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 43 LTL EXCL 175/259 279/2000 TCPcondis-PT-35-LTLCardinality-10 42945148 m, 203002 m/sec, 169974598 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 396 secs. Pages in use: 594
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-11: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-14: CONJ false findpath[0m
[[35mlola[0m][.] [1m[32mTCPcondis-PT-35-LTLCardinality-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-01: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-04: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-06: CONJ 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-07: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-09: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-13: LTL 0 0 0 0 1 0 1 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 43 LTL EXCL 180/259 285/2000 TCPcondis-PT-35-LTLCardinality-10 43885185 m, 188007 m/sec, 173947568 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 401 secs. Pages in use: 600
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-11: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-14: CONJ false findpath[0m
[[35mlola[0m][.] [1m[32mTCPcondis-PT-35-LTLCardinality-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-01: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-04: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-06: CONJ 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-07: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-09: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-13: LTL 0 0 0 0 1 0 1 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 43 LTL EXCL 185/259 291/2000 TCPcondis-PT-35-LTLCardinality-10 44833477 m, 189658 m/sec, 177955735 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 406 secs. Pages in use: 606
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-11: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-14: CONJ false findpath[0m
[[35mlola[0m][.] [1m[32mTCPcondis-PT-35-LTLCardinality-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-01: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-04: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-06: CONJ 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-07: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-09: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-13: LTL 0 0 0 0 1 0 1 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 43 LTL EXCL 190/259 297/2000 TCPcondis-PT-35-LTLCardinality-10 45754410 m, 184186 m/sec, 181874157 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 411 secs. Pages in use: 612
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-11: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-14: CONJ false findpath[0m
[[35mlola[0m][.] [1m[32mTCPcondis-PT-35-LTLCardinality-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-01: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-04: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-06: CONJ 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-07: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-09: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-13: LTL 0 0 0 0 1 0 1 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 43 LTL EXCL 195/259 305/2000 TCPcondis-PT-35-LTLCardinality-10 46901894 m, 229496 m/sec, 186614072 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 416 secs. Pages in use: 620
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-11: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-14: CONJ false findpath[0m
[[35mlola[0m][.] [1m[32mTCPcondis-PT-35-LTLCardinality-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-01: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-04: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-06: CONJ 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-07: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-09: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-13: LTL 0 0 0 0 1 0 1 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 43 LTL EXCL 200/259 312/2000 TCPcondis-PT-35-LTLCardinality-10 47962895 m, 212200 m/sec, 191084846 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 421 secs. Pages in use: 627
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-11: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-14: CONJ false findpath[0m
[[35mlola[0m][.] [1m[32mTCPcondis-PT-35-LTLCardinality-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-01: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-04: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-06: CONJ 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-07: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-09: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-13: LTL 0 0 0 0 1 0 1 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 43 LTL EXCL 205/259 319/2000 TCPcondis-PT-35-LTLCardinality-10 49012999 m, 210020 m/sec, 195529203 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 426 secs. Pages in use: 634
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-11: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-14: CONJ false findpath[0m
[[35mlola[0m][.] [1m[32mTCPcondis-PT-35-LTLCardinality-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-01: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-04: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-06: CONJ 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-07: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-09: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-13: LTL 0 0 0 0 1 0 1 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 43 LTL EXCL 210/259 325/2000 TCPcondis-PT-35-LTLCardinality-10 50042025 m, 205805 m/sec, 200014859 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 431 secs. Pages in use: 640
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-11: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-14: CONJ false findpath[0m
[[35mlola[0m][.] [1m[32mTCPcondis-PT-35-LTLCardinality-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-01: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-04: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-06: CONJ 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-07: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-09: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-13: LTL 0 0 0 0 1 0 1 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 43 LTL EXCL 215/259 332/2000 TCPcondis-PT-35-LTLCardinality-10 51115249 m, 214644 m/sec, 205001520 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 436 secs. Pages in use: 647
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-11: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-14: CONJ false findpath[0m
[[35mlola[0m][.] [1m[32mTCPcondis-PT-35-LTLCardinality-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-01: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-04: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-06: CONJ 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-07: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-09: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-13: LTL 0 0 0 0 1 0 1 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 43 LTL EXCL 220/259 339/2000 TCPcondis-PT-35-LTLCardinality-10 52206677 m, 218285 m/sec, 209602977 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 441 secs. Pages in use: 654
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-11: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mTCPcondis-PT-35-LTLCardinality-14: CONJ false findpath[0m
[[35mlola[0m][.] [1m[32mTCPcondis-PT-35-LTLCardinality-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-01: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-04: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-06: CONJ 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-07: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-09: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] TCPcondis-PT-35-LTLCardinality-13: LTL 0 0 0 0 1 0 1 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 43 LTL EXCL 225/259 346/2000 TCPcondis-PT-35-LTLCardinality-10 53258073 m, 210279 m/sec, 214072634 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 446 secs. Pages in use: 661
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
/home/mcc/BenchKit/BenchKit_head.sh: line 23: 408 Killed $BK_TOOL --conf=/home/mcc/BenchKit/bin/myconf --formula=$BK_EXAMINATION.xml $LOLA_TIMELIMIT $LOLA_MEMLIMIT model.pnml
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="TCPcondis-PT-35"
export BK_EXAMINATION="LTLCardinality"
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-5568"
echo " Executing tool lola"
echo " Input is TCPcondis-PT-35, examination is LTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r423-smll-171690574500051"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/TCPcondis-PT-35.tgz
mv TCPcondis-PT-35 execution
cd execution
if [ "LTLCardinality" = "ReachabilityDeadlock" ] || [ "LTLCardinality" = "UpperBounds" ] || [ "LTLCardinality" = "QuasiLiveness" ] || [ "LTLCardinality" = "StableMarking" ] || [ "LTLCardinality" = "Liveness" ] || [ "LTLCardinality" = "OneSafe" ] || [ "LTLCardinality" = "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 [ "LTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLCardinality" != "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 "LTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLCardinality.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 [ "LTLCardinality" = "ReachabilityDeadlock" ] || [ "LTLCardinality" = "QuasiLiveness" ] || [ "LTLCardinality" = "StableMarking" ] || [ "LTLCardinality" = "Liveness" ] || [ "LTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME LTLCardinality"
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 ;