About the Execution of LoLA for CANInsertWithFailure-PT-090
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16190.983 | 1359995.00 | 2211428.00 | 3083.30 | [undef] | Cannot compute |
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.r071-tall-171620506600163.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 CANInsertWithFailure-PT-090, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r071-tall-171620506600163
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 50M
-rw-r--r-- 1 mcc users 11K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 93K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.1K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 57K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 5.3K May 19 07:07 LTLCardinality.txt
-rw-r--r-- 1 mcc users 30K May 19 15:34 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.3K Apr 22 14:32 LTLFireability.txt
-rw-r--r-- 1 mcc users 20K Apr 22 14:32 LTLFireability.xml
-rw-r--r-- 1 mcc users 21K May 14 13:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 166K May 14 13:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 15K May 14 13:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 97K May 14 13:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K May 19 07:10 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K May 19 15:24 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 18 16:42 equiv_col
-rw-r--r-- 1 mcc users 4 May 18 16:42 instance
-rw-r--r-- 1 mcc users 6 May 18 16:42 iscolored
-rw-r--r-- 1 mcc users 49M May 18 16:42 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 CANInsertWithFailure-PT-090-LTLCardinality-00
FORMULA_NAME CANInsertWithFailure-PT-090-LTLCardinality-01
FORMULA_NAME CANInsertWithFailure-PT-090-LTLCardinality-02
FORMULA_NAME CANInsertWithFailure-PT-090-LTLCardinality-03
FORMULA_NAME CANInsertWithFailure-PT-090-LTLCardinality-04
FORMULA_NAME CANInsertWithFailure-PT-090-LTLCardinality-05
FORMULA_NAME CANInsertWithFailure-PT-090-LTLCardinality-06
FORMULA_NAME CANInsertWithFailure-PT-090-LTLCardinality-07
FORMULA_NAME CANInsertWithFailure-PT-090-LTLCardinality-08
FORMULA_NAME CANInsertWithFailure-PT-090-LTLCardinality-09
FORMULA_NAME CANInsertWithFailure-PT-090-LTLCardinality-10
FORMULA_NAME CANInsertWithFailure-PT-090-LTLCardinality-11
FORMULA_NAME CANInsertWithFailure-PT-090-LTLCardinality-12
FORMULA_NAME CANInsertWithFailure-PT-090-LTLCardinality-13
FORMULA_NAME CANInsertWithFailure-PT-090-LTLCardinality-14
FORMULA_NAME CANInsertWithFailure-PT-090-LTLCardinality-15
=== Now, execution of the tool begins
BK_START 1717028492336
BK_STOP 1717029852331
--------------------
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] NOTDEADLOCKFREE
[[35mlola[0m][I] LAUNCH task # 86 (type SKEL/FNDP) for 18 CANInsertWithFailure-PT-090-LTLCardinality-02
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 87 (type SKEL/EQUN) for 18 CANInsertWithFailure-PT-090-LTLCardinality-02
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 88 (type SKEL/SRCH) for 18 CANInsertWithFailure-PT-090-LTLCardinality-02
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] Rule S: 0 transitions removed,0 places removed
[[35mlola[0m][I] FINISHED task # 88 (type SKEL/SRCH) for CANInsertWithFailure-PT-090-LTLCardinality-02
[[35mlola[0m][I] result : true
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 1
[[35mlola[0m][W] CANCELED task # 86 (type FNDP) for CANInsertWithFailure-PT-090-LTLCardinality-02 (obsolete)
[[35mlola[0m][W] CANCELED task # 87 (type EQUN) for CANInsertWithFailure-PT-090-LTLCardinality-02 (obsolete)
[[35mlola[0m][I] FINISHED task # 86 (type SKEL/FNDP) for CANInsertWithFailure-PT-090-LTLCardinality-02
[[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][I] FINISHED task # 87 (type SKEL/EQUN) for CANInsertWithFailure-PT-090-LTLCardinality-02
[[35mlola[0m][I] result : unknown
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-00: CONJ 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-01: CONJ 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-02: CONJ 0 0 0 0 3 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-03: LTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-04: LTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-05: F 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-06: CONJ 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-07: LTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-08: CONJ 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-09: LTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-10: LTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-11: LTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-12: LTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-13: LTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-14: CONJ 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-15: CONJ 0 0 0 0 0 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: 1039 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 0 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-00: CONJ 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-01: CONJ 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-02: CONJ 0 0 0 0 3 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-03: LTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-04: LTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-05: F 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-06: CONJ 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-07: LTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-08: CONJ 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-09: LTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-10: LTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-11: LTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-12: LTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-13: LTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-14: CONJ 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-15: CONJ 0 0 0 0 0 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: 1044 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 0 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-00: CONJ 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-01: CONJ 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-02: CONJ 0 0 0 0 3 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-03: LTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-04: LTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-05: F 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-06: CONJ 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-07: LTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-08: CONJ 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-09: LTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-10: LTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-11: LTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-12: LTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-13: LTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-14: CONJ 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-15: CONJ 0 0 0 0 0 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: 1049 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 0 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-00: CONJ 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-01: CONJ 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-02: CONJ 0 0 0 0 3 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-03: LTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-04: LTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-05: F 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-06: CONJ 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-07: LTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-08: CONJ 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-09: LTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-10: LTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-11: LTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-12: LTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-13: LTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-14: CONJ 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-15: CONJ 0 0 0 0 0 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: 1054 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 0 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-00: CONJ 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-01: CONJ 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-02: CONJ 0 0 0 0 3 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-03: LTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-04: LTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-05: F 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-06: CONJ 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-07: LTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-08: CONJ 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-09: LTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-10: LTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-11: LTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-12: LTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-13: LTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-14: CONJ 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-15: CONJ 0 0 0 0 0 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: 1059 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 0 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-00: CONJ 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-01: CONJ 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-02: CONJ 0 0 0 0 3 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-03: LTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-04: LTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-05: F 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-06: CONJ 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-07: LTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-08: CONJ 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-09: LTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-10: LTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-11: LTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-12: LTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-13: LTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-14: CONJ 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-15: CONJ 0 0 0 0 0 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: 1064 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 0 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-00: CONJ 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-01: CONJ 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-02: CONJ 0 0 0 0 3 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-03: LTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-04: LTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-05: F 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-06: CONJ 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-07: LTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-08: CONJ 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-09: LTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-10: LTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-11: LTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-12: LTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-13: LTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-14: CONJ 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-15: CONJ 0 0 0 0 0 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: 1069 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 0 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-00: CONJ 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-01: CONJ 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-02: CONJ 0 0 0 0 3 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-03: LTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-04: LTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-05: F 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-06: CONJ 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-07: LTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-08: CONJ 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-09: LTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-10: LTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-11: LTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-12: LTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-13: LTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-14: CONJ 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-15: CONJ 0 0 0 0 0 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: 1074 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 0 of 4. Visible: 16
[[35mlola[0m][I] NOTDEADLOCKFREE
[[35mlola[0m][I] LAUNCH task # 91 (type SKEL/FNDP) for 0 CANInsertWithFailure-PT-090-LTLCardinality-00
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 92 (type SKEL/EQUN) for 0 CANInsertWithFailure-PT-090-LTLCardinality-00
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 93 (type SKEL/SRCH) for 0 CANInsertWithFailure-PT-090-LTLCardinality-00
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 91 (type SKEL/FNDP) for CANInsertWithFailure-PT-090-LTLCardinality-00
[[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 # 92 (type EQUN) for CANInsertWithFailure-PT-090-LTLCardinality-00 (obsolete)
[[35mlola[0m][W] CANCELED task # 93 (type SRCH) for CANInsertWithFailure-PT-090-LTLCardinality-00 (obsolete)
[[35mlola[0m][I] NOTDEADLOCKFREE
[[35mlola[0m][I] NOTDEADLOCKFREE
[[35mlola[0m][I] LAUNCH task # 94 (type SKEL/SRCH) for 11 CANInsertWithFailure-PT-090-LTLCardinality-01
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 94 (type SKEL/SRCH) for CANInsertWithFailure-PT-090-LTLCardinality-01
[[35mlola[0m][I] result : true
[[35mlola[0m][I] markings : 4
[[35mlola[0m][I] fired transitions : 3
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 1
[[35mlola[0m][I] NOTDEADLOCKFREE
[[35mlola[0m][I] LAUNCH task # 95 (type SKEL/SRCH) for 0 CANInsertWithFailure-PT-090-LTLCardinality-00
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 95 (type SKEL/SRCH) for CANInsertWithFailure-PT-090-LTLCardinality-00
[[35mlola[0m][I] result : false
[[35mlola[0m][I] markings : 706
[[35mlola[0m][I] fired transitions : 706
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 1
[[35mlola[0m][I] NOTDEADLOCKFREE
[[35mlola[0m][I] NOTDEADLOCKFREE
[[35mlola[0m][I] NOTDEADLOCKFREE
[[35mlola[0m][I] NOTDEADLOCKFREE
[[35mlola[0m][I] NOTDEADLOCKFREE
[[35mlola[0m][I] NOTDEADLOCKFREE
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-00: CONJ 0 0 0 0 3 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-01: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-02: CONJ 0 0 0 0 4 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-03: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-04: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-05: F 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-06: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-07: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-08: CONJ 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-09: LTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-10: LTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-11: LTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-12: LTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-13: LTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-14: CONJ 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-15: CONJ 0 0 0 0 0 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: 1079 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 0 of 4. Visible: 16
[[35mlola[0m][I] NOTDEADLOCKFREE
[[35mlola[0m][I] LAUNCH task # 96 (type SKEL/SRCH) for 44 CANInsertWithFailure-PT-090-LTLCardinality-08
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 99 (type SKEL/FNDP) for 44 CANInsertWithFailure-PT-090-LTLCardinality-08
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 100 (type SKEL/EQUN) for 44 CANInsertWithFailure-PT-090-LTLCardinality-08
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 101 (type SKEL/SRCH) for 44 CANInsertWithFailure-PT-090-LTLCardinality-08
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 96 (type SKEL/SRCH) for CANInsertWithFailure-PT-090-LTLCardinality-08
[[35mlola[0m][I] result : true
[[35mlola[0m][I] markings : 6
[[35mlola[0m][I] fired transitions : 5
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 1
[[35mlola[0m][I] NOTDEADLOCKFREE
[[35mlola[0m][I] NOTDEADLOCKFREE
[[35mlola[0m][I] LAUNCH task # 102 (type SKEL/SRCH) for 44 CANInsertWithFailure-PT-090-LTLCardinality-08
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-00: CONJ 0 0 0 0 3 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-01: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-02: CONJ 0 0 0 0 4 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-03: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-04: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-05: F 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-06: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-07: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-08: CONJ 0 0 4 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-09: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-10: LTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-11: LTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-12: LTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-13: LTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-14: CONJ 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-15: CONJ 0 0 0 0 0 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 99 EF FNDP 3/2519 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 6031 attempts, .
[[35mlola[0m][.] 100 EF STEQ 3/2519 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 sara not yet started (preprocessing).
[[35mlola[0m][.] 101 EF SRCH 3/2519 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 75549 m, 15109 m/sec, 199826 t fired, .
[[35mlola[0m][.] 102 LTL SRCH 0/2516 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 1441 m, 288 m/sec, 1685 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1084 secs. Pages in use: 2
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] NOTDEADLOCKFREE
[[35mlola[0m][I] NOTDEADLOCKFREE
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-00: CONJ 0 0 0 0 3 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-01: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-02: CONJ 0 0 0 0 4 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-03: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-04: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-05: F 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-06: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-07: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-08: CONJ 0 0 4 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-09: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-10: LTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-11: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-12: LTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-13: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-14: CONJ 0 3 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-15: CONJ 0 0 0 0 0 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 99 EF FNDP 8/2514 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 15241 attempts, .
[[35mlola[0m][.] 100 EF STEQ 8/1254 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 sara not yet started (preprocessing).
[[35mlola[0m][.] 101 EF SRCH 8/1254 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 212145 m, 27319 m/sec, 614349 t fired, .
[[35mlola[0m][.] 102 LTL SRCH 5/1256 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 75455 m, 14802 m/sec, 325734 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1089 secs. Pages in use: 2
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] NOTDEADLOCKFREE
[[35mlola[0m][I] NOTDEADLOCKFREE
[[35mlola[0m][I] NOTDEADLOCKFREE
[[35mlola[0m][I] NOTDEADLOCKFREE
[[35mlola[0m][I] NOTDEADLOCKFREE
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-00: CONJ 0 0 0 0 3 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-01: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-02: CONJ 0 0 0 0 4 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-03: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-04: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-05: F 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-06: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-07: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-08: CONJ 0 0 4 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-09: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-10: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-11: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-12: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-13: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-14: CONJ 0 4 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-15: CONJ 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][.] 99 EF FNDP 13/1247 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 23306 attempts, .
[[35mlola[0m][.] 100 EF STEQ 13/1247 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 sara not yet started (preprocessing).
[[35mlola[0m][.] 101 EF SRCH 13/1247 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 340972 m, 25765 m/sec, 1018971 t fired, .
[[35mlola[0m][.] 102 LTL SRCH 10/829 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 128129 m, 10534 m/sec, 618317 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1094 secs. Pages in use: 2
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-00: CONJ 0 0 0 0 3 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-01: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-02: CONJ 0 0 0 0 4 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-03: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-04: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-05: F 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-06: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-07: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-08: CONJ 0 0 4 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-09: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-10: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-11: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-12: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-13: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-14: CONJ 0 4 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-15: CONJ 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][.] 99 EF FNDP 18/1246 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 31690 attempts, .
[[35mlola[0m][.] 100 EF STEQ 18/1246 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 sara not yet started (preprocessing).
[[35mlola[0m][.] 101 EF SRCH 18/1246 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 458153 m, 23436 m/sec, 1434430 t fired, .
[[35mlola[0m][.] 102 LTL SRCH 15/828 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 189709 m, 12316 m/sec, 927285 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1099 secs. Pages in use: 2
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-00: CONJ 0 0 0 0 3 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-01: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-02: CONJ 0 0 0 0 4 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-03: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-04: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-05: F 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-06: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-07: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-08: CONJ 0 0 4 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-09: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-10: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-11: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-12: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-13: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-14: CONJ 0 4 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-15: CONJ 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][.] 99 EF FNDP 23/1241 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 39698 attempts, .
[[35mlola[0m][.] 100 EF STEQ 23/1241 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 sara not yet started (preprocessing).
[[35mlola[0m][.] 101 EF SRCH 23/1241 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 587200 m, 25809 m/sec, 1815597 t fired, .
[[35mlola[0m][.] 102 LTL SRCH 20/823 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 241024 m, 10263 m/sec, 1219130 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1104 secs. Pages in use: 2
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-00: CONJ 0 0 0 0 3 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-01: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-02: CONJ 0 0 0 0 4 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-03: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-04: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-05: F 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-06: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-07: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-08: CONJ 0 0 4 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-09: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-10: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-11: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-12: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-13: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-14: CONJ 0 4 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-15: CONJ 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][.] 99 EF FNDP 28/1236 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 47452 attempts, .
[[35mlola[0m][.] 100 EF STEQ 28/1236 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 sara not yet started (preprocessing).
[[35mlola[0m][.] 101 EF SRCH 28/1236 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 656559 m, 13871 m/sec, 2298266 t fired, .
[[35mlola[0m][.] 102 LTL SRCH 25/818 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 286895 m, 9174 m/sec, 1509526 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1109 secs. Pages in use: 2
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-00: CONJ 0 0 0 0 3 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-01: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-02: CONJ 0 0 0 0 4 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-03: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-04: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-05: F 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-06: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-07: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-08: CONJ 0 0 4 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-09: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-10: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-11: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-12: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-13: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-14: CONJ 0 4 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-15: CONJ 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][.] 99 EF FNDP 33/1231 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 54862 attempts, .
[[35mlola[0m][.] 100 EF STEQ 33/1231 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 sara not yet started (preprocessing).
[[35mlola[0m][.] 101 EF SRCH 33/1231 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 757099 m, 20108 m/sec, 2730339 t fired, .
[[35mlola[0m][.] 102 LTL SRCH 30/813 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 339498 m, 10520 m/sec, 1820185 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1114 secs. Pages in use: 2
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-00: CONJ 0 0 0 0 3 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-01: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-02: CONJ 0 0 0 0 4 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-03: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-04: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-05: F 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-06: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-07: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-08: CONJ 0 0 4 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-09: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-10: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-11: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-12: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-13: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-14: CONJ 0 4 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-15: CONJ 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][.] 99 EF FNDP 38/1226 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 61564 attempts, .
[[35mlola[0m][.] 100 EF STEQ 38/1226 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 sara not yet started (preprocessing).
[[35mlola[0m][.] 101 EF SRCH 38/1226 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 897767 m, 28133 m/sec, 3170988 t fired, .
[[35mlola[0m][.] 102 LTL SRCH 35/808 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 392036 m, 10507 m/sec, 2109272 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1119 secs. Pages in use: 2
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-00: CONJ 0 0 0 0 3 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-01: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-02: CONJ 0 0 0 0 4 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-03: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-04: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-05: F 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-06: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-07: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-08: CONJ 0 0 4 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-09: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-10: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-11: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-12: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-13: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-14: CONJ 0 4 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-15: CONJ 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][.] 99 EF FNDP 43/1221 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 67876 attempts, .
[[35mlola[0m][.] 100 EF STEQ 43/1221 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 sara not yet started (preprocessing).
[[35mlola[0m][.] 101 EF SRCH 43/1221 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 1047780 m, 30002 m/sec, 3630985 t fired, .
[[35mlola[0m][.] 102 LTL SRCH 40/803 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 442263 m, 10045 m/sec, 2400099 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1124 secs. Pages in use: 2
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-00: CONJ 0 0 0 0 3 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-01: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-02: CONJ 0 0 0 0 4 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-03: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-04: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-05: F 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-06: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-07: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-08: CONJ 0 0 4 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-09: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-10: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-11: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-12: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-13: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-14: CONJ 0 4 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-15: CONJ 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][.] 99 EF FNDP 48/1216 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 73942 attempts, .
[[35mlola[0m][.] 100 EF STEQ 48/1216 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 sara not yet started (preprocessing).
[[35mlola[0m][.] 101 EF SRCH 48/1216 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 1162036 m, 22851 m/sec, 4145765 t fired, .
[[35mlola[0m][.] 102 LTL SRCH 45/798 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 488298 m, 9207 m/sec, 2695748 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1129 secs. Pages in use: 2
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-00: CONJ 0 0 0 0 3 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-01: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-02: CONJ 0 0 0 0 4 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-03: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-04: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-05: F 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-06: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-07: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-08: CONJ 0 0 4 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-09: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-10: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-11: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-12: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-13: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-14: CONJ 0 4 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-15: CONJ 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][.] 99 EF FNDP 53/1211 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 80016 attempts, .
[[35mlola[0m][.] 100 EF STEQ 53/1211 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 sara not yet started (preprocessing).
[[35mlola[0m][.] 101 EF SRCH 53/1211 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 1266686 m, 20930 m/sec, 4651116 t fired, .
[[35mlola[0m][.] 102 LTL SRCH 50/793 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 540107 m, 10361 m/sec, 2984127 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1134 secs. Pages in use: 2
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-00: CONJ 0 0 0 0 3 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-01: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-02: CONJ 0 0 0 0 4 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-03: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-04: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-05: F 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-06: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-07: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-08: CONJ 0 0 4 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-09: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-10: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-11: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-12: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-13: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-14: CONJ 0 4 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-15: CONJ 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][.] 99 EF FNDP 58/1206 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 86050 attempts, .
[[35mlola[0m][.] 100 EF STEQ 58/1206 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 sara not yet started (preprocessing).
[[35mlola[0m][.] 101 EF SRCH 58/1206 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 1381534 m, 22969 m/sec, 5118754 t fired, .
[[35mlola[0m][.] 102 LTL SRCH 55/788 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 580462 m, 8071 m/sec, 3246679 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1139 secs. Pages in use: 2
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-00: CONJ 0 0 0 0 3 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-01: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-02: CONJ 0 0 0 0 4 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-03: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-04: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-05: F 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-06: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-07: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-08: CONJ 0 0 4 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-09: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-10: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-11: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-12: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-13: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-14: CONJ 0 4 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-15: CONJ 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][.] 99 EF FNDP 63/1201 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 91904 attempts, .
[[35mlola[0m][.] 100 EF STEQ 63/1201 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 sara not yet started (preprocessing).
[[35mlola[0m][.] 101 EF SRCH 63/1201 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 1550473 m, 33787 m/sec, 5573099 t fired, .
[[35mlola[0m][.] 102 LTL SRCH 60/783 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 611434 m, 6194 m/sec, 3510285 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1144 secs. Pages in use: 2
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-00: CONJ 0 0 0 0 3 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-01: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-02: CONJ 0 0 0 0 4 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-03: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-04: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-05: F 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-06: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-07: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-08: CONJ 0 0 4 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-09: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-10: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-11: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-12: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-13: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-14: CONJ 0 4 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-15: CONJ 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][.] 99 EF FNDP 68/1196 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 97767 attempts, .
[[35mlola[0m][.] 100 EF STEQ 68/1196 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 sara not yet started (preprocessing).
[[35mlola[0m][.] 101 EF SRCH 68/1196 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 1678094 m, 25524 m/sec, 6067351 t fired, .
[[35mlola[0m][.] 102 LTL SRCH 65/778 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 658520 m, 9417 m/sec, 3788599 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1149 secs. Pages in use: 2
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-00: CONJ 0 0 0 0 3 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-01: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-02: CONJ 0 0 0 0 4 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-03: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-04: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-05: F 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-06: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-07: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-08: CONJ 0 0 4 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-09: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-10: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-11: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-12: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-13: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-14: CONJ 0 4 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-15: CONJ 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][.] 99 EF FNDP 73/1191 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 103661 attempts, .
[[35mlola[0m][.] 100 EF STEQ 73/1191 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 sara not yet started (preprocessing).
[[35mlola[0m][.] 101 EF SRCH 73/1191 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 1830472 m, 30475 m/sec, 6521248 t fired, .
[[35mlola[0m][.] 102 LTL SRCH 70/773 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 707055 m, 9707 m/sec, 4053155 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1154 secs. Pages in use: 2
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-00: CONJ 0 0 0 0 3 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-01: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-02: CONJ 0 0 0 0 4 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-03: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-04: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-05: F 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-06: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-07: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-08: CONJ 0 0 4 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-09: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-10: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-11: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-12: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-13: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-14: CONJ 0 4 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-15: CONJ 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][.] 99 EF FNDP 78/1186 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 109350 attempts, .
[[35mlola[0m][.] 100 EF STEQ 78/1186 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 sara not yet started (preprocessing).
[[35mlola[0m][.] 101 EF SRCH 78/1186 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 1955895 m, 25084 m/sec, 7004043 t fired, .
[[35mlola[0m][.] 102 LTL SRCH 75/768 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 750513 m, 8691 m/sec, 4298887 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1159 secs. Pages in use: 2
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-00: CONJ 0 0 0 0 3 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-01: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-02: CONJ 0 0 0 0 4 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-03: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-04: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-05: F 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-06: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-07: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-08: CONJ 0 0 4 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-09: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-10: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-11: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-12: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-13: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-14: CONJ 0 4 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-15: CONJ 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][.] 99 EF FNDP 83/1181 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 115080 attempts, .
[[35mlola[0m][.] 100 EF STEQ 83/1181 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 sara not yet started (preprocessing).
[[35mlola[0m][.] 101 EF SRCH 83/1181 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 2088514 m, 26523 m/sec, 7458136 t fired, .
[[35mlola[0m][.] 102 LTL SRCH 80/763 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 759424 m, 1782 m/sec, 4539613 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1164 secs. Pages in use: 2
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-00: CONJ 0 0 0 0 3 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-01: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-02: CONJ 0 0 0 0 4 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-03: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-04: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-05: F 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-06: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-07: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-08: CONJ 0 0 4 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-09: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-10: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-11: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-12: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-13: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-14: CONJ 0 4 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-15: CONJ 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][.] 99 EF FNDP 88/1176 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 120686 attempts, .
[[35mlola[0m][.] 100 EF STEQ 88/1176 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 sara not yet started (preprocessing).
[[35mlola[0m][.] 101 EF SRCH 88/1176 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 2222442 m, 26785 m/sec, 7909172 t fired, .
[[35mlola[0m][.] 102 LTL SRCH 85/758 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 800770 m, 8269 m/sec, 4815852 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1169 secs. Pages in use: 2
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-00: CONJ 0 0 0 0 3 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-01: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-02: CONJ 0 0 0 0 4 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-03: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-04: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-05: F 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-06: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-07: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-08: CONJ 0 0 4 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-09: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-10: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-11: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-12: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-13: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-14: CONJ 0 4 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-15: CONJ 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][.] 99 EF FNDP 93/1171 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 126193 attempts, .
[[35mlola[0m][.] 100 EF STEQ 93/1171 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 sara not yet started (preprocessing).
[[35mlola[0m][.] 101 EF SRCH 93/1171 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 2354399 m, 26391 m/sec, 8376802 t fired, .
[[35mlola[0m][.] 102 LTL SRCH 90/753 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 843065 m, 8459 m/sec, 5080292 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1174 secs. Pages in use: 2
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-00: CONJ 0 0 0 0 3 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-01: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-02: CONJ 0 0 0 0 4 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-03: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-04: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-05: F 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-06: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-07: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-08: CONJ 0 0 4 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-09: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-10: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-11: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-12: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-13: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-14: CONJ 0 4 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-15: CONJ 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][.] 99 EF FNDP 98/1166 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 131676 attempts, .
[[35mlola[0m][.] 100 EF STEQ 98/1166 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 sara not yet started (preprocessing).
[[35mlola[0m][.] 101 EF SRCH 98/1166 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 2500750 m, 29270 m/sec, 8801454 t fired, .
[[35mlola[0m][.] 102 LTL SRCH 95/748 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 888526 m, 9092 m/sec, 5353770 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1179 secs. Pages in use: 2
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-00: CONJ 0 0 0 0 3 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-01: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-02: CONJ 0 0 0 0 4 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-03: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-04: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-05: F 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-06: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-07: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-08: CONJ 0 0 4 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-09: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-10: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-11: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-12: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-13: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-14: CONJ 0 4 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-15: CONJ 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][.] 99 EF FNDP 103/1161 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 137168 attempts, .
[[35mlola[0m][.] 100 EF STEQ 103/1161 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 sara not yet started (preprocessing).
[[35mlola[0m][.] 101 EF SRCH 103/1161 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 2595112 m, 18872 m/sec, 9301918 t fired, .
[[35mlola[0m][.] 102 LTL SRCH 100/743 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 934219 m, 9138 m/sec, 5611352 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1184 secs. Pages in use: 2
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-00: CONJ 0 0 0 0 3 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-01: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-02: CONJ 0 0 0 0 4 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-03: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-04: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-05: F 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-06: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-07: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-08: CONJ 0 0 4 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-09: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-10: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-11: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-12: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-13: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-14: CONJ 0 4 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-15: CONJ 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][.] 99 EF FNDP 108/1156 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 142592 attempts, .
[[35mlola[0m][.] 100 EF STEQ 108/1156 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 sara not yet started (preprocessing).
[[35mlola[0m][.] 101 EF SRCH 108/1156 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 2709494 m, 22876 m/sec, 9788620 t fired, .
[[35mlola[0m][.] 102 LTL SRCH 105/738 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 962055 m, 5567 m/sec, 5855119 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1189 secs. Pages in use: 2
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-00: CONJ 0 0 0 0 3 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-01: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-02: CONJ 0 0 0 0 4 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-03: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-04: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-05: F 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-06: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-07: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-08: CONJ 0 0 4 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-09: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-10: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-11: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-12: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-13: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-14: CONJ 0 4 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-15: CONJ 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][.] 99 EF FNDP 113/1151 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 147869 attempts, .
[[35mlola[0m][.] 100 EF STEQ 113/1151 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 sara not yet started (preprocessing).
[[35mlola[0m][.] 101 EF SRCH 113/1151 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 2821109 m, 22323 m/sec, 10253363 t fired, .
[[35mlola[0m][.] 102 LTL SRCH 110/733 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 1007901 m, 9169 m/sec, 6126558 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1194 secs. Pages in use: 2
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-00: CONJ 0 0 0 0 3 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-01: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-02: CONJ 0 0 0 0 4 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-03: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-04: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-05: F 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-06: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-07: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-08: CONJ 0 0 4 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-09: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-10: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-11: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-12: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-13: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-14: CONJ 0 4 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-15: CONJ 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][.] 99 EF FNDP 118/1146 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 153404 attempts, .
[[35mlola[0m][.] 100 EF STEQ 118/1146 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 sara not yet started (preprocessing).
[[35mlola[0m][.] 101 EF SRCH 118/1146 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 3000500 m, 35878 m/sec, 10627330 t fired, .
[[35mlola[0m][.] 102 LTL SRCH 115/728 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 1043581 m, 7136 m/sec, 6397845 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1199 secs. Pages in use: 2
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-00: CONJ 0 0 0 0 3 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-01: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-02: CONJ 0 0 0 0 4 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-03: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-04: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-05: F 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-06: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-07: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-08: CONJ 0 0 4 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-09: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-10: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-11: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-12: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-13: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-14: CONJ 0 4 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-15: CONJ 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][.] 99 EF FNDP 123/1141 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 158681 attempts, .
[[35mlola[0m][.] 100 EF STEQ 123/1141 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 sara not yet started (preprocessing).
[[35mlola[0m][.] 101 EF SRCH 123/1141 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 3138776 m, 27655 m/sec, 11031229 t fired, .
[[35mlola[0m][.] 102 LTL SRCH 120/723 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 1096661 m, 10616 m/sec, 6698871 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1204 secs. Pages in use: 2
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-00: CONJ 0 0 0 0 3 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-01: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-02: CONJ 0 0 0 0 4 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-03: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-04: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-05: F 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-06: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-07: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-08: CONJ 0 0 4 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-09: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-10: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-11: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-12: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-13: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-14: CONJ 0 4 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-15: CONJ 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][.] 99 EF FNDP 128/1136 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 163903 attempts, .
[[35mlola[0m][.] 100 EF STEQ 128/1136 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 sara not yet started (preprocessing).
[[35mlola[0m][.] 101 EF SRCH 128/1136 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 3215770 m, 15398 m/sec, 11539083 t fired, .
[[35mlola[0m][.] 102 LTL SRCH 125/718 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 1137359 m, 8139 m/sec, 6960188 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1209 secs. Pages in use: 2
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-00: CONJ 0 0 0 0 3 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-01: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-02: CONJ 0 0 0 0 4 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-03: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-04: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-05: F 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-06: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-07: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-08: CONJ 0 0 4 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-09: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-10: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-11: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-12: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-13: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-14: CONJ 0 4 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-15: CONJ 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][.] 99 EF FNDP 133/1131 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 168959 attempts, .
[[35mlola[0m][.] 100 EF STEQ 133/1131 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 sara not yet started (preprocessing).
[[35mlola[0m][.] 101 EF SRCH 133/1131 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 3294886 m, 15823 m/sec, 12044697 t fired, .
[[35mlola[0m][.] 102 LTL SRCH 130/713 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 1191870 m, 10902 m/sec, 7248460 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1214 secs. Pages in use: 2
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-00: CONJ 0 0 0 0 3 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-01: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-02: CONJ 0 0 0 0 4 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-03: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-04: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-05: F 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-06: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-07: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-08: CONJ 0 0 4 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-09: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-10: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-11: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-12: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-13: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-14: CONJ 0 4 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-15: CONJ 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][.] 99 EF FNDP 138/1126 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 174083 attempts, .
[[35mlola[0m][.] 100 EF STEQ 138/1126 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 sara not yet started (preprocessing).
[[35mlola[0m][.] 101 EF SRCH 138/1126 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 3373838 m, 15790 m/sec, 12554979 t fired, .
[[35mlola[0m][.] 102 LTL SRCH 135/708 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 1230496 m, 7725 m/sec, 7490412 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1219 secs. Pages in use: 2
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-00: CONJ 0 0 0 0 3 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-01: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-02: CONJ 0 0 0 0 4 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-03: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-04: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-05: F 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-06: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-07: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-08: CONJ 0 0 4 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-09: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-10: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-11: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-12: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-13: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-14: CONJ 0 4 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-15: CONJ 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][.] 99 EF FNDP 143/1121 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 179233 attempts, .
[[35mlola[0m][.] 100 EF STEQ 143/1121 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 sara not yet started (preprocessing).
[[35mlola[0m][.] 101 EF SRCH 143/1121 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 3454406 m, 16113 m/sec, 13072864 t fired, .
[[35mlola[0m][.] 102 LTL SRCH 140/703 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 1265823 m, 7065 m/sec, 7746896 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1224 secs. Pages in use: 2
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-00: CONJ 0 0 0 0 3 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-01: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-02: CONJ 0 0 0 0 4 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-03: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-04: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-05: F 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-06: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-07: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-08: CONJ 0 0 4 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-09: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-10: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-11: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-12: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-13: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-14: CONJ 0 4 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-15: CONJ 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][.] 99 EF FNDP 148/1116 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 184181 attempts, .
[[35mlola[0m][.] 100 EF STEQ 148/1116 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 sara not yet started (preprocessing).
[[35mlola[0m][.] 101 EF SRCH 148/1116 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 3533357 m, 15790 m/sec, 13590785 t fired, .
[[35mlola[0m][.] 102 LTL SRCH 145/698 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 1308516 m, 8538 m/sec, 8015825 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1229 secs. Pages in use: 2
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-00: CONJ 0 0 0 0 3 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-01: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-02: CONJ 0 0 0 0 4 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-03: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-04: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-05: F 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-06: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-07: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-08: CONJ 0 0 4 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-09: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-10: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-11: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-12: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-13: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-14: CONJ 0 4 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-15: CONJ 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][.] 99 EF FNDP 153/1111 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 189067 attempts, .
[[35mlola[0m][.] 100 EF STEQ 153/1111 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 sara not yet started (preprocessing).
[[35mlola[0m][.] 101 EF SRCH 153/1111 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 3623547 m, 18038 m/sec, 14100630 t fired, .
[[35mlola[0m][.] 102 LTL SRCH 150/693 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 1348354 m, 7967 m/sec, 8274358 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1234 secs. Pages in use: 2
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-00: CONJ 0 0 0 0 3 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-01: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-02: CONJ 0 0 0 0 4 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-03: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-04: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-05: F 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-06: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-07: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-08: CONJ 0 0 4 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-09: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-10: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-11: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-12: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-13: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-14: CONJ 0 4 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-15: CONJ 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][.] 99 EF FNDP 158/1106 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 194379 attempts, .
[[35mlola[0m][.] 100 EF STEQ 158/1106 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 sara not yet started (preprocessing).
[[35mlola[0m][.] 101 EF SRCH 158/1106 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 3737298 m, 22750 m/sec, 14558904 t fired, .
[[35mlola[0m][.] 102 LTL SRCH 155/688 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 1398181 m, 9965 m/sec, 8542009 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1239 secs. Pages in use: 2
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-00: CONJ 0 0 0 0 3 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-01: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-02: CONJ 0 0 0 0 4 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-03: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-04: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-05: F 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-06: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-07: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-08: CONJ 0 0 4 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-09: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-10: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-11: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-12: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-13: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-14: CONJ 0 4 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-15: CONJ 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][.] 99 EF FNDP 163/1101 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 199800 attempts, .
[[35mlola[0m][.] 100 EF STEQ 163/1101 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 sara not yet started (preprocessing).
[[35mlola[0m][.] 101 EF SRCH 163/1101 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 3850414 m, 22623 m/sec, 15007098 t fired, .
[[35mlola[0m][.] 102 LTL SRCH 160/683 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 1439646 m, 8293 m/sec, 8793825 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1244 secs. Pages in use: 2
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-00: CONJ 0 0 0 0 3 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-01: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-02: CONJ 0 0 0 0 4 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-03: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-04: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-05: F 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-06: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-07: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-08: CONJ 0 0 4 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-09: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-10: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-11: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-12: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-13: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-14: CONJ 0 4 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-15: CONJ 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][.] 99 EF FNDP 168/1096 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 204622 attempts, .
[[35mlola[0m][.] 100 EF STEQ 168/1096 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 sara not yet started (preprocessing).
[[35mlola[0m][.] 101 EF SRCH 168/1096 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 3950328 m, 19982 m/sec, 15379710 t fired, .
[[35mlola[0m][.] 102 LTL SRCH 165/678 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 1447899 m, 1650 m/sec, 9014697 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1249 secs. Pages in use: 2
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-00: CONJ 0 0 0 0 3 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-01: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-02: CONJ 0 0 0 0 4 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-03: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-04: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-05: F 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-06: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-07: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-08: CONJ 0 0 4 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-09: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-10: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-11: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-12: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-13: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-14: CONJ 0 4 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-15: CONJ 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][.] 99 EF FNDP 173/1091 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 209271 attempts, .
[[35mlola[0m][.] 100 EF STEQ 173/1091 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 sara not yet started (preprocessing).
[[35mlola[0m][.] 101 EF SRCH 173/1091 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 4058379 m, 21610 m/sec, 15751223 t fired, .
[[35mlola[0m][.] 102 LTL SRCH 170/673 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 1493604 m, 9141 m/sec, 9287924 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1254 secs. Pages in use: 2
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-00: CONJ 0 0 0 0 3 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-01: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-02: CONJ 0 0 0 0 4 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-03: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-04: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-05: F 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-06: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-07: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-08: CONJ 0 0 4 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-09: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-10: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-11: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-12: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-13: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-14: CONJ 0 4 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-15: CONJ 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][.] 99 EF FNDP 178/1086 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 214002 attempts, .
[[35mlola[0m][.] 100 EF STEQ 178/1086 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 sara not yet started (preprocessing).
[[35mlola[0m][.] 101 EF SRCH 178/1086 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 4172773 m, 22878 m/sec, 16116479 t fired, .
[[35mlola[0m][.] 102 LTL SRCH 175/668 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 1530725 m, 7424 m/sec, 9526478 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1259 secs. Pages in use: 2
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-00: CONJ 0 0 0 0 3 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-01: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-02: CONJ 0 0 0 0 4 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-03: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-04: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-05: F 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-06: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-07: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-08: CONJ 0 0 4 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-09: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-10: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-11: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-12: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-13: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-14: CONJ 0 4 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-15: CONJ 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][.] 99 EF FNDP 183/1081 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 218463 attempts, .
[[35mlola[0m][.] 100 EF STEQ 183/1081 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 sara not yet started (preprocessing).
[[35mlola[0m][.] 101 EF SRCH 183/1081 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 4281307 m, 21706 m/sec, 16497835 t fired, .
[[35mlola[0m][.] 102 LTL SRCH 180/663 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 1560333 m, 5921 m/sec, 9760096 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1264 secs. Pages in use: 2
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-00: CONJ 0 0 0 0 3 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-01: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-02: CONJ 0 0 0 0 4 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-03: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-04: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-05: F 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-06: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-07: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-08: CONJ 0 0 4 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-09: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-10: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-11: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-12: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-13: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-14: CONJ 0 4 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-15: CONJ 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][.] 99 EF FNDP 188/1076 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 223236 attempts, .
[[35mlola[0m][.] 100 EF STEQ 188/1076 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 sara not yet started (preprocessing).
[[35mlola[0m][.] 101 EF SRCH 188/1076 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 4383757 m, 20490 m/sec, 16902759 t fired, .
[[35mlola[0m][.] 102 LTL SRCH 185/658 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 1597452 m, 7423 m/sec, 10004772 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1269 secs. Pages in use: 2
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-00: CONJ 0 0 0 0 3 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-01: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-02: CONJ 0 0 0 0 4 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-03: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-04: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-05: F 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-06: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-07: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-08: CONJ 0 0 4 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-09: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-10: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-11: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-12: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-13: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-14: CONJ 0 4 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-15: CONJ 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][.] 99 EF FNDP 193/1071 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 228426 attempts, .
[[35mlola[0m][.] 100 EF STEQ 193/1071 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 sara not yet started (preprocessing).
[[35mlola[0m][.] 101 EF SRCH 193/1071 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 4494192 m, 22087 m/sec, 17309112 t fired, .
[[35mlola[0m][.] 102 LTL SRCH 190/653 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 1638722 m, 8254 m/sec, 10261392 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1274 secs. Pages in use: 2
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-00: CONJ 0 0 0 0 3 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-01: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-02: CONJ 0 0 0 0 4 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-03: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-04: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-05: F 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-06: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-07: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-08: CONJ 0 0 4 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-09: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-10: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-11: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-12: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-13: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-14: CONJ 0 4 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-15: CONJ 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][.] 99 EF FNDP 198/1066 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 233700 attempts, .
[[35mlola[0m][.] 100 EF STEQ 198/1066 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 sara not yet started (preprocessing).
[[35mlola[0m][.] 101 EF SRCH 198/1066 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 4603056 m, 21772 m/sec, 17708883 t fired, .
[[35mlola[0m][.] 102 LTL SRCH 195/648 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 1681092 m, 8474 m/sec, 10521601 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1279 secs. Pages in use: 2
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-00: CONJ 0 0 0 0 3 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-01: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-02: CONJ 0 0 0 0 4 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-03: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-04: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-05: F 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-06: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-07: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-08: CONJ 0 0 4 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-09: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-10: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-11: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-12: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-13: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-14: CONJ 0 4 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-15: CONJ 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][.] 99 EF FNDP 203/1061 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 238891 attempts, .
[[35mlola[0m][.] 100 EF STEQ 203/1061 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 sara not yet started (preprocessing).
[[35mlola[0m][.] 101 EF SRCH 203/1061 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 4676742 m, 14737 m/sec, 18134101 t fired, .
[[35mlola[0m][.] 102 LTL SRCH 200/643 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 1719496 m, 7680 m/sec, 10759490 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1284 secs. Pages in use: 2
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-00: CONJ 0 0 0 0 3 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-01: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-02: CONJ 0 0 0 0 4 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-03: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-04: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-05: F 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-06: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-07: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-08: CONJ 0 0 4 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-09: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-10: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-11: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-12: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-13: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-14: CONJ 0 4 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-15: CONJ 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][.] 99 EF FNDP 208/1056 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 243939 attempts, .
[[35mlola[0m][.] 100 EF STEQ 208/1056 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 sara not yet started (preprocessing).
[[35mlola[0m][.] 101 EF SRCH 208/1056 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 4731278 m, 10907 m/sec, 18584951 t fired, .
[[35mlola[0m][.] 102 LTL SRCH 205/638 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 1755273 m, 7155 m/sec, 10984369 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1289 secs. Pages in use: 2
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-00: CONJ 0 0 0 0 3 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-01: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-02: CONJ 0 0 0 0 4 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-03: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-04: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-05: F 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-06: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-07: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-08: CONJ 0 0 4 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-09: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-10: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-11: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-12: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-13: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-14: CONJ 0 4 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-15: CONJ 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][.] 99 EF FNDP 213/1051 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 249002 attempts, .
[[35mlola[0m][.] 100 EF STEQ 213/1051 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 sara not yet started (preprocessing).
[[35mlola[0m][.] 101 EF SRCH 213/1051 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 4867645 m, 27273 m/sec, 18971545 t fired, .
[[35mlola[0m][.] 102 LTL SRCH 210/633 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 1771356 m, 3216 m/sec, 11211806 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1294 secs. Pages in use: 2
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-00: CONJ 0 0 0 0 3 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-01: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-02: CONJ 0 0 0 0 4 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-03: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-04: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-05: F 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-06: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-07: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-08: CONJ 0 0 4 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-09: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-10: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-11: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-12: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-13: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-14: CONJ 0 4 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-15: CONJ 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][.] 99 EF FNDP 218/1046 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 254056 attempts, .
[[35mlola[0m][.] 100 EF STEQ 218/1046 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 sara not yet started (preprocessing).
[[35mlola[0m][.] 101 EF SRCH 218/1046 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 5009438 m, 28358 m/sec, 19398000 t fired, .
[[35mlola[0m][.] 102 LTL SRCH 215/628 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 1800397 m, 5808 m/sec, 11478138 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1299 secs. Pages in use: 2
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-00: CONJ 0 0 0 0 3 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-01: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-02: CONJ 0 0 0 0 4 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-03: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-04: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-05: F 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-06: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-07: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-08: CONJ 0 0 4 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-09: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-10: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-11: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-12: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-13: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-14: CONJ 0 4 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-15: CONJ 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][.] 99 EF FNDP 223/1041 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 259018 attempts, .
[[35mlola[0m][.] 100 EF STEQ 223/1041 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 sara not yet started (preprocessing).
[[35mlola[0m][.] 101 EF SRCH 223/1041 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 5116694 m, 21451 m/sec, 19796134 t fired, .
[[35mlola[0m][.] 102 LTL SRCH 220/623 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 1836015 m, 7123 m/sec, 11741864 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1304 secs. Pages in use: 2
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-00: CONJ 0 0 0 0 3 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-01: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-02: CONJ 0 0 0 0 4 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-03: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-04: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-05: F 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-06: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-07: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-08: CONJ 0 0 4 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-09: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-10: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-11: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-12: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-13: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-14: CONJ 0 4 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-15: CONJ 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][.] 99 EF FNDP 228/1036 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 264042 attempts, .
[[35mlola[0m][.] 100 EF STEQ 228/1036 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 sara not yet started (preprocessing).
[[35mlola[0m][.] 101 EF SRCH 228/1036 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 5225720 m, 21805 m/sec, 20130157 t fired, .
[[35mlola[0m][.] 102 LTL SRCH 225/618 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 1876137 m, 8024 m/sec, 12019337 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1309 secs. Pages in use: 2
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-00: CONJ 0 0 0 0 3 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-01: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-02: CONJ 0 0 0 0 4 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-03: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-04: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-05: F 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-06: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-07: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-08: CONJ 0 0 4 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-09: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-10: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-11: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-12: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-13: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-14: CONJ 0 4 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-15: CONJ 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][.] 99 EF FNDP 233/1031 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 268979 attempts, .
[[35mlola[0m][.] 100 EF STEQ 233/1031 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 sara not yet started (preprocessing).
[[35mlola[0m][.] 101 EF SRCH 233/1031 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 5365575 m, 27971 m/sec, 20498447 t fired, .
[[35mlola[0m][.] 102 LTL SRCH 230/613 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 1918037 m, 8380 m/sec, 12292182 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1314 secs. Pages in use: 2
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-00: CONJ 0 0 0 0 3 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-01: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-02: CONJ 0 0 0 0 4 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-03: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-04: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-05: F 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-06: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-07: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-08: CONJ 0 0 4 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-09: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-10: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-11: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-12: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-13: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-14: CONJ 0 4 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-15: CONJ 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][.] 99 EF FNDP 238/1026 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 274414 attempts, .
[[35mlola[0m][.] 100 EF STEQ 238/1026 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 sara not yet started (preprocessing).
[[35mlola[0m][.] 101 EF SRCH 238/1026 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 5547722 m, 36429 m/sec, 21131266 t fired, .
[[35mlola[0m][.] 102 LTL SRCH 235/608 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 1961517 m, 8696 m/sec, 12632648 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1319 secs. Pages in use: 2
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-00: CONJ 0 0 0 0 3 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-01: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-02: CONJ 0 0 0 0 4 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-03: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-04: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-05: F 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-06: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-07: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-08: CONJ 0 0 4 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-09: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-10: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-11: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-12: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-13: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-14: CONJ 0 4 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-15: CONJ 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][.] 99 EF FNDP 243/1021 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 281481 attempts, .
[[35mlola[0m][.] 100 EF STEQ 243/1021 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 sara not yet started (preprocessing).
[[35mlola[0m][.] 101 EF SRCH 243/1021 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 6106884 m, 111832 m/sec, 23397369 t fired, .
[[35mlola[0m][.] 102 LTL SRCH 240/603 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 2015841 m, 10864 m/sec, 12939931 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1324 secs. Pages in use: 2
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-00: CONJ 0 0 0 0 3 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-01: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-02: CONJ 0 0 0 0 4 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-03: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-04: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-05: F 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-06: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-07: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-08: CONJ 0 0 4 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-09: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-10: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-11: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-12: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-13: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-14: CONJ 0 4 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-15: CONJ 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][.] 99 EF FNDP 248/1016 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 282721 attempts, .
[[35mlola[0m][.] 100 EF STEQ 248/1016 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 sara not yet started (preprocessing).
[[35mlola[0m][.] 101 EF SRCH 248/1016 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 6757649 m, 130153 m/sec, 26394567 t fired, .
[[35mlola[0m][.] 102 LTL SRCH 245/598 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 2056051 m, 8042 m/sec, 13211768 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1329 secs. Pages in use: 2
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-00: CONJ 0 0 0 0 3 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-01: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-02: CONJ 0 0 0 0 4 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-03: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-04: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-05: F 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-06: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-07: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-08: CONJ 0 0 4 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-09: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-10: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-11: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-12: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-13: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-14: CONJ 0 4 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-15: CONJ 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][.] 99 EF FNDP 253/1011 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 284516 attempts, .
[[35mlola[0m][.] 100 EF STEQ 253/1011 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 sara not yet started (preprocessing).
[[35mlola[0m][.] 101 EF SRCH 253/1011 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 7455131 m, 139496 m/sec, 29554371 t fired, .
[[35mlola[0m][.] 102 LTL SRCH 250/593 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 2133110 m, 15411 m/sec, 13738148 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1334 secs. Pages in use: 2
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-00: CONJ 0 0 0 0 3 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-01: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-02: CONJ 0 0 0 0 4 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-03: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-04: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-05: F 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-06: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-07: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-08: CONJ 0 0 4 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-09: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-10: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-11: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-12: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-13: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-14: CONJ 0 4 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-15: CONJ 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][.] 99 EF FNDP 258/1006 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 287049 attempts, .
[[35mlola[0m][.] 100 EF STEQ 258/1006 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 sara not yet started (preprocessing).
[[35mlola[0m][.] 101 EF SRCH 258/1006 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 8346975 m, 178368 m/sec, 32427634 t fired, .
[[35mlola[0m][.] 102 LTL SRCH 255/588 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 2150260 m, 3430 m/sec, 13834735 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1339 secs. Pages in use: 2
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-00: CONJ 0 0 0 0 3 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-01: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-02: CONJ 0 0 0 0 4 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-03: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-04: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-05: F 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-06: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-07: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-08: CONJ 0 0 4 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-09: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-10: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-11: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-12: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-13: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-14: CONJ 0 4 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-15: CONJ 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][.] 99 EF FNDP 263/1001 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 289091 attempts, .
[[35mlola[0m][.] 100 EF STEQ 263/1001 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 sara not yet started (preprocessing).
[[35mlola[0m][.] 101 EF SRCH 263/1001 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 9206064 m, 171817 m/sec, 35536915 t fired, .
[[35mlola[0m][.] 102 LTL SRCH 260/583 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 2162354 m, 2418 m/sec, 13911522 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1344 secs. Pages in use: 2
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-00: CONJ 0 0 0 0 3 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-01: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-02: CONJ 0 0 0 0 4 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-03: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-04: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-05: F 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-06: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-07: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-08: CONJ 0 0 4 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-09: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-10: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-11: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-12: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-13: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-14: CONJ 0 4 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-15: CONJ 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][.] 99 EF FNDP 268/996 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 290184 attempts, .
[[35mlola[0m][.] 100 EF STEQ 268/996 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 sara not yet started (preprocessing).
[[35mlola[0m][.] 101 EF SRCH 268/996 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 10071355 m, 173058 m/sec, 38354974 t fired, .
[[35mlola[0m][.] 102 LTL SRCH 265/578 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 2172561 m, 2041 m/sec, 13989519 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1349 secs. Pages in use: 2
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-00: CONJ 0 0 0 0 3 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-01: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-02: CONJ 0 0 0 0 4 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-03: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-04: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-05: F 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-06: CONJ 0 0 0 0 2 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-07: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-08: CONJ 0 0 4 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-09: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-10: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-11: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-12: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-13: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-14: CONJ 0 4 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-090-LTLCardinality-15: CONJ 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][.] 99 EF FNDP 273/991 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 292789 attempts, .
[[35mlola[0m][.] 100 EF STEQ 273/991 0/5 CANInsertWithFailure-PT-090-LTLCardinality-08 sara not yet started (preprocessing).
[[35mlola[0m][.] 101 EF SRCH 273/991 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 10893805 m, 164490 m/sec, 41310551 t fired, .
[[35mlola[0m][.] 102 LTL SRCH 270/573 1/5 CANInsertWithFailure-PT-090-LTLCardinality-08 2182240 m, 1935 m/sec, 14073562 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1354 secs. Pages in use: 2
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
/home/mcc/BenchKit/BenchKit_head.sh: line 23: 402 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="CANInsertWithFailure-PT-090"
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 CANInsertWithFailure-PT-090, 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 r071-tall-171620506600163"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/CANInsertWithFailure-PT-090.tgz
mv CANInsertWithFailure-PT-090 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 ;