About the Execution of LoLA for HexagonalGrid-PT-816
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 3709.747 | 644273.00 | 730931.00 | 1626.60 | TFFFFFFFFTFFFFFF | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r198-smll-167840345100419.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool lola
Input is HexagonalGrid-PT-816, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r198-smll-167840345100419
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.1M
-rw-r--r-- 1 mcc users 7.9K Feb 26 17:11 CTLCardinality.txt
-rw-r--r-- 1 mcc users 83K Feb 26 17:11 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.2K Feb 26 17:09 CTLFireability.txt
-rw-r--r-- 1 mcc users 52K Feb 26 17:09 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.4K Jan 29 11:40 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 4.1K Feb 25 16:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 16:14 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 16:14 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:14 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 26 17:18 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 134K Feb 26 17:18 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 13K Feb 26 17:16 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 99K Feb 26 17:16 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:14 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:14 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rwxr-xr-x 1 mcc users 2.6M Mar 5 18:22 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 HexagonalGrid-PT-816-LTLCardinality-00
FORMULA_NAME HexagonalGrid-PT-816-LTLCardinality-01
FORMULA_NAME HexagonalGrid-PT-816-LTLCardinality-02
FORMULA_NAME HexagonalGrid-PT-816-LTLCardinality-03
FORMULA_NAME HexagonalGrid-PT-816-LTLCardinality-04
FORMULA_NAME HexagonalGrid-PT-816-LTLCardinality-05
FORMULA_NAME HexagonalGrid-PT-816-LTLCardinality-06
FORMULA_NAME HexagonalGrid-PT-816-LTLCardinality-07
FORMULA_NAME HexagonalGrid-PT-816-LTLCardinality-08
FORMULA_NAME HexagonalGrid-PT-816-LTLCardinality-09
FORMULA_NAME HexagonalGrid-PT-816-LTLCardinality-10
FORMULA_NAME HexagonalGrid-PT-816-LTLCardinality-11
FORMULA_NAME HexagonalGrid-PT-816-LTLCardinality-12
FORMULA_NAME HexagonalGrid-PT-816-LTLCardinality-13
FORMULA_NAME HexagonalGrid-PT-816-LTLCardinality-14
FORMULA_NAME HexagonalGrid-PT-816-LTLCardinality-15
=== Now, execution of the tool begins
BK_START 1678609451912
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=lola
BK_EXAMINATION=LTLCardinality
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=HexagonalGrid-PT-816
Not applying reductions.
Model is PT
LTLCardinality PT
starting LoLA
BK_INPUT HexagonalGrid-PT-816
BK_EXAMINATION: LTLCardinality
bin directory: /home/mcc/BenchKit/bin//../lola/bin/
current directory: /home/mcc/execution
LTLCardinality
FORMULA HexagonalGrid-PT-816-LTLCardinality-06 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA HexagonalGrid-PT-816-LTLCardinality-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA HexagonalGrid-PT-816-LTLCardinality-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA HexagonalGrid-PT-816-LTLCardinality-07 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA HexagonalGrid-PT-816-LTLCardinality-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA HexagonalGrid-PT-816-LTLCardinality-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA HexagonalGrid-PT-816-LTLCardinality-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA HexagonalGrid-PT-816-LTLCardinality-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA HexagonalGrid-PT-816-LTLCardinality-09 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA HexagonalGrid-PT-816-LTLCardinality-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA HexagonalGrid-PT-816-LTLCardinality-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA HexagonalGrid-PT-816-LTLCardinality-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA HexagonalGrid-PT-816-LTLCardinality-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA HexagonalGrid-PT-816-LTLCardinality-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA HexagonalGrid-PT-816-LTLCardinality-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA HexagonalGrid-PT-816-LTLCardinality-00 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
BK_STOP 1678610096185
--------------------
content from stderr:
lola: MEM LIMIT 32
lola: MEM LIMIT 5
lola: NET
lola: input: PNML file (--pnmlnet)
lola: reading net from /home/mcc/execution/model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file /home/mcc/execution/model.pnml
lola: Reading formula.
lola: Using XML format (--xmlformula)
lola: reading XML formula
lola: reading formula from /home/mcc/execution/LTLCardinality.xml
lola: rewrite Frontend/Parser/formula_rewrite.k:334
lola: rewrite Frontend/Parser/formula_rewrite.k:334
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:355
lola: rewrite Frontend/Parser/formula_rewrite.k:355
lola: rewrite Frontend/Parser/formula_rewrite.k:355
lola: rewrite Frontend/Parser/formula_rewrite.k:355
lola: rewrite Frontend/Parser/formula_rewrite.k:355
lola: rewrite Frontend/Parser/formula_rewrite.k:355
lola: rewrite Frontend/Parser/formula_rewrite.k:355
lola: rewrite Frontend/Parser/formula_rewrite.k:346
lola: rewrite Frontend/Parser/formula_rewrite.k:550
lola: rewrite Frontend/Parser/formula_rewrite.k:355
lola: rewrite Frontend/Parser/formula_rewrite.k:433
lola: rewrite Frontend/Parser/formula_rewrite.k:331
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:535
lola: rewrite Frontend/Parser/formula_rewrite.k:331
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:334
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:427
lola: rewrite Frontend/Parser/formula_rewrite.k:355
lola: rewrite Frontend/Parser/formula_rewrite.k:352
lola: rewrite Frontend/Parser/formula_rewrite.k:376
lola: rewrite Frontend/Parser/formula_rewrite.k:370
lola: rewrite Frontend/Parser/formula_rewrite.k:349
lola: rewrite Frontend/Parser/formula_rewrite.k:328
lola: rewrite Frontend/Parser/formula_rewrite.k:331
lola: rewrite Frontend/Parser/formula_rewrite.k:317
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:328
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:535
lola: rewrite Frontend/Parser/formula_rewrite.k:150
lola: rewrite Frontend/Parser/formula_rewrite.k:328
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:328
lola: rewrite Frontend/Parser/formula_rewrite.k:331
lola: rewrite Frontend/Parser/formula_rewrite.k:299
lola: rewrite Frontend/Parser/formula_rewrite.k:328
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:346
lola: rewrite Frontend/Parser/formula_rewrite.k:250
lola: rewrite Frontend/Parser/formula_rewrite.k:314
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:314
lola: rewrite Frontend/Parser/formula_rewrite.k:331
lola: rewrite Frontend/Parser/formula_rewrite.k:328
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:331
lola: rewrite Frontend/Parser/formula_rewrite.k:299
lola: rewrite Frontend/Parser/formula_rewrite.k:430
lola: rewrite Frontend/Parser/formula_rewrite.k:253
lola: rewrite Frontend/Parser/formula_rewrite.k:370
lola: rewrite Frontend/Parser/formula_rewrite.k:433
lola: rewrite Frontend/Parser/formula_rewrite.k:317
lola: rewrite Frontend/Parser/formula_rewrite.k:328
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:328
lola: rewrite Frontend/Parser/formula_rewrite.k:331
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:317
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:328
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:328
lola: rewrite Frontend/Parser/formula_rewrite.k:314
lola: rewrite Frontend/Parser/formula_rewrite.k:299
lola: rewrite Frontend/Parser/formula_rewrite.k:331
lola: rewrite Frontend/Parser/formula_rewrite.k:299
lola: rewrite Frontend/Parser/formula_rewrite.k:352
lola: rewrite Frontend/Parser/formula_rewrite.k:376
lola: rewrite Frontend/Parser/formula_rewrite.k:328
lola: rewrite Frontend/Parser/formula_rewrite.k:331
lola: rewrite Frontend/Parser/formula_rewrite.k:317
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:328
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:430
lola: rewrite Frontend/Parser/formula_rewrite.k:346
lola: rewrite Frontend/Parser/formula_rewrite.k:331
lola: rewrite Frontend/Parser/formula_rewrite.k:317
lola: rewrite Frontend/Parser/formula_rewrite.k:331
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:328
lola: rewrite Frontend/Parser/formula_rewrite.k:317
lola: rewrite Frontend/Parser/formula_rewrite.k:328
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:317
lola: rewrite Frontend/Parser/formula_rewrite.k:331
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:314
lola: rewrite Frontend/Parser/formula_rewrite.k:328
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:331
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:334
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:355
lola: rewrite Frontend/Parser/formula_rewrite.k:436
lola: rewrite Frontend/Parser/formula_rewrite.k:373
lola: rewrite Frontend/Parser/formula_rewrite.k:535
lola: rewrite Frontend/Parser/formula_rewrite.k:430
lola: rewrite Frontend/Parser/formula_rewrite.k:253
lola: rewrite Frontend/Parser/formula_rewrite.k:253
lola: rewrite Frontend/Parser/formula_rewrite.k:334
lola: rewrite Frontend/Parser/formula_rewrite.k:334
lola: rewrite Frontend/Parser/formula_rewrite.k:317
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:331
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:352
lola: rewrite Frontend/Parser/formula_rewrite.k:349
lola: rewrite Frontend/Parser/formula_rewrite.k:527
lola: rewrite Frontend/Parser/formula_rewrite.k:433
lola: rewrite Frontend/Parser/formula_rewrite.k:253
lola: rewrite Frontend/Parser/formula_rewrite.k:518
lola: rewrite Frontend/Parser/formula_rewrite.k:430
lola: rewrite Frontend/Parser/formula_rewrite.k:253
lola: rewrite Frontend/Parser/formula_rewrite.k:317
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:317
lola: rewrite Frontend/Parser/formula_rewrite.k:331
lola: rewrite Frontend/Parser/formula_rewrite.k:317
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:314
lola: rewrite Frontend/Parser/formula_rewrite.k:328
lola: rewrite Frontend/Parser/formula_rewrite.k:331
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:331
lola: rewrite Frontend/Parser/formula_rewrite.k:317
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:331
lola: rewrite Frontend/Parser/formula_rewrite.k:317
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:535
lola: rewrite Frontend/Parser/formula_rewrite.k:150
lola: rewrite Frontend/Parser/formula_rewrite.k:535
lola: rewrite Frontend/Parser/formula_rewrite.k:544
lola: rewrite Frontend/Parser/formula_rewrite.k:250
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 1.000000 secs.
lola: Rule S: 0 transitions removed,0 places removed
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 1.000000 secs.
lola: LAUNCH INITIAL
lola: LAUNCH task # 29 (type CNST) for 26 HexagonalGrid-PT-816-LTLCardinality-06
lola: time limit : 0 sec
lola: memory limit: 0 pages
lola: LAUNCH INITIAL
lola: LAUNCH task # 64 (type CNST) for 61 HexagonalGrid-PT-816-LTLCardinality-15
lola: time limit : 0 sec
lola: memory limit: 0 pages
lola: FINISHED task # 29 (type CNST) for HexagonalGrid-PT-816-LTLCardinality-06
lola: result : false
lola: FINISHED task # 64 (type CNST) for HexagonalGrid-PT-816-LTLCardinality-15
lola: result : false
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 1.000000 secs.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 0 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-01: F 0 0 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-02: LTL 0 0 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-03: CONJ 0 0 0 0 2 0 0 0
HexagonalGrid-PT-816-LTLCardinality-04: CONJ 0 0 0 0 2 0 0 0
HexagonalGrid-PT-816-LTLCardinality-05: LTL 0 0 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-07: LTL 0 0 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-08: LTL 0 0 0 0 0 0 0 0
HexagonalGrid-PT-816-LTLCardinality-09: LTL 0 0 0 0 0 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 0 0 0 0 0 0 0
HexagonalGrid-PT-816-LTLCardinality-11: LTL 0 0 0 0 0 0 0 0
HexagonalGrid-PT-816-LTLCardinality-12: CONJ 0 0 0 0 0 0 0 0
HexagonalGrid-PT-816-LTLCardinality-13: LTL 0 0 0 0 0 0 0 0
HexagonalGrid-PT-816-LTLCardinality-14: LTL 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 19 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
lola: Created skeleton in 1.000000 secs.
lola: Created skeleton in 1.000000 secs.
lola: Created skeleton in 1.000000 secs.
lola: Created skeleton in 1.000000 secs.
lola: Created skeleton in 1.000000 secs.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 0 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-01: F 0 0 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-02: LTL 0 0 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-03: CONJ 0 0 0 0 2 0 0 0
HexagonalGrid-PT-816-LTLCardinality-04: CONJ 0 0 0 0 2 0 0 0
HexagonalGrid-PT-816-LTLCardinality-05: LTL 0 0 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-07: LTL 0 0 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-08: LTL 0 0 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-09: LTL 0 0 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 0 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-11: LTL 0 0 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-12: CONJ 0 0 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-13: LTL 0 0 0 0 0 0 0 0
HexagonalGrid-PT-816-LTLCardinality-14: LTL 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 24 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
lola: Created skeleton in 1.000000 secs.
lola: Created skeleton in 1.000000 secs.
lola: Created skeleton in 1.000000 secs.
lola: Created skeleton in 1.000000 secs.
lola: Created skeleton in 1.000000 secs.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 0 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-01: F 0 0 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-02: LTL 0 0 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-03: CONJ 0 0 0 0 2 0 0 0
HexagonalGrid-PT-816-LTLCardinality-04: CONJ 0 0 0 0 2 0 0 0
HexagonalGrid-PT-816-LTLCardinality-05: LTL 0 0 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-07: LTL 0 0 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-08: LTL 0 0 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-09: LTL 0 0 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 0 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-11: LTL 0 0 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-12: CONJ 0 0 0 0 2 0 0 0
HexagonalGrid-PT-816-LTLCardinality-13: LTL 0 0 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-14: LTL 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 29 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
lola: Created skeleton in 2.000000 secs.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 0 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-01: F 0 0 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-02: LTL 0 0 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-03: CONJ 0 0 0 0 2 0 0 0
HexagonalGrid-PT-816-LTLCardinality-04: CONJ 0 0 0 0 2 0 0 0
HexagonalGrid-PT-816-LTLCardinality-05: LTL 0 0 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-07: LTL 0 0 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-08: LTL 0 0 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-09: LTL 0 0 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 0 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-11: LTL 0 0 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-12: CONJ 0 0 0 0 2 0 0 0
HexagonalGrid-PT-816-LTLCardinality-13: LTL 0 0 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-14: LTL 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 34 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
lola: planning for (null) stopped (result already fixed).
lola: planning for (null) stopped (result already fixed).
lola: planning for (null) stopped (result already fixed).
lola: planning for (null) stopped (result already fixed).
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 0 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-01: F 0 0 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-02: LTL 0 0 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-03: CONJ 0 0 0 0 2 0 0 0
HexagonalGrid-PT-816-LTLCardinality-04: CONJ 0 0 0 0 2 0 0 0
HexagonalGrid-PT-816-LTLCardinality-05: LTL 0 0 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-07: LTL 0 0 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-08: LTL 0 0 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-09: LTL 0 0 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 0 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-11: LTL 0 0 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-12: CONJ 0 0 0 0 2 0 0 0
HexagonalGrid-PT-816-LTLCardinality-13: LTL 0 0 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-14: LTL 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 39 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
lola: LAUNCH task # 34 (type EXCL) for 33 HexagonalGrid-PT-816-LTLCardinality-07
lola: time limit : 209 sec
lola: memory limit: 32 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:749
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:749
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: LAUNCH task # 79 (type FNDP) for 16 HexagonalGrid-PT-816-LTLCardinality-04
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 80 (type EQUN) for 16 HexagonalGrid-PT-816-LTLCardinality-04
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 82 (type SRCH) for 16 HexagonalGrid-PT-816-LTLCardinality-04
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: FINISHED task # 82 (type SRCH) for HexagonalGrid-PT-816-LTLCardinality-04
lola: result : true
lola: time used : 0.000000
lola: memory pages used : 1
lola: CANCELED task # 79 (type FNDP) for HexagonalGrid-PT-816-LTLCardinality-04 (obsolete)
lola: CANCELED task # 80 (type EQUN) for HexagonalGrid-PT-816-LTLCardinality-04 (obsolete)
lola: FINISHED task # 79 (type FNDP) for HexagonalGrid-PT-816-LTLCardinality-04
lola: result : true
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
sara: try reading problem file /home/mcc/execution/LTLCardinality-80.sara.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-01: F 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-03: CONJ 0 2 0 0 2 0 0 0
HexagonalGrid-PT-816-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-07: LTL 0 0 1 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-09: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-12: CONJ 0 2 0 0 2 0 0 0
HexagonalGrid-PT-816-LTLCardinality-13: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-14: LTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
34 LTL EXCL 4/237 1/32 HexagonalGrid-PT-816-LTLCardinality-07 1463 m, 292 m/sec, 1462 t fired, .
Time elapsed: 44 secs. Pages in use: 2
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-01: F 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-03: CONJ 0 2 0 0 2 0 0 0
HexagonalGrid-PT-816-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-07: LTL 0 0 1 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-09: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-12: CONJ 0 2 0 0 2 0 0 0
HexagonalGrid-PT-816-LTLCardinality-13: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-14: LTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
34 LTL EXCL 9/237 1/32 HexagonalGrid-PT-816-LTLCardinality-07 1608 m, 29 m/sec, 1607 t fired, .
Time elapsed: 49 secs. Pages in use: 2
# running tasks: 1 of 4 Visible: 16
sara: place or transition ordering is non-deterministic
lola: FINISHED task # 80 (type EQUN) for HexagonalGrid-PT-816-LTLCardinality-04
lola: result : true
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-01: F 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-03: CONJ 0 2 0 0 2 0 0 0
HexagonalGrid-PT-816-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-07: LTL 0 0 1 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-09: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-12: CONJ 0 2 0 0 2 0 0 0
HexagonalGrid-PT-816-LTLCardinality-13: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-14: LTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
34 LTL EXCL 14/237 1/32 HexagonalGrid-PT-816-LTLCardinality-07 1758 m, 30 m/sec, 1757 t fired, .
Time elapsed: 54 secs. Pages in use: 2
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-01: F 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-03: CONJ 0 2 0 0 2 0 0 0
HexagonalGrid-PT-816-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-07: LTL 0 0 1 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-09: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-12: CONJ 0 2 0 0 2 0 0 0
HexagonalGrid-PT-816-LTLCardinality-13: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-14: LTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
34 LTL EXCL 19/237 1/32 HexagonalGrid-PT-816-LTLCardinality-07 1963 m, 41 m/sec, 1962 t fired, .
Time elapsed: 59 secs. Pages in use: 2
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-01: F 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-03: CONJ 0 2 0 0 2 0 0 0
HexagonalGrid-PT-816-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-07: LTL 0 0 1 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-09: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-12: CONJ 0 2 0 0 2 0 0 0
HexagonalGrid-PT-816-LTLCardinality-13: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-14: LTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
34 LTL EXCL 24/237 1/32 HexagonalGrid-PT-816-LTLCardinality-07 2159 m, 39 m/sec, 2158 t fired, .
Time elapsed: 64 secs. Pages in use: 2
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-01: F 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-03: CONJ 0 2 0 0 2 0 0 0
HexagonalGrid-PT-816-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-07: LTL 0 0 1 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-09: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-12: CONJ 0 2 0 0 2 0 0 0
HexagonalGrid-PT-816-LTLCardinality-13: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-14: LTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
34 LTL EXCL 29/237 1/32 HexagonalGrid-PT-816-LTLCardinality-07 2312 m, 30 m/sec, 2311 t fired, .
Time elapsed: 69 secs. Pages in use: 2
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-01: F 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-03: CONJ 0 2 0 0 2 0 0 0
HexagonalGrid-PT-816-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-07: LTL 0 0 1 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-09: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-12: CONJ 0 2 0 0 2 0 0 0
HexagonalGrid-PT-816-LTLCardinality-13: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-14: LTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
34 LTL EXCL 34/237 1/32 HexagonalGrid-PT-816-LTLCardinality-07 2965 m, 130 m/sec, 2964 t fired, .
Time elapsed: 74 secs. Pages in use: 2
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-01: F 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-03: CONJ 0 2 0 0 2 0 0 0
HexagonalGrid-PT-816-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-07: LTL 0 0 1 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-09: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-12: CONJ 0 2 0 0 2 0 0 0
HexagonalGrid-PT-816-LTLCardinality-13: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-14: LTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
34 LTL EXCL 39/237 1/32 HexagonalGrid-PT-816-LTLCardinality-07 3150 m, 37 m/sec, 3150 t fired, .
Time elapsed: 79 secs. Pages in use: 2
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-01: F 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-03: CONJ 0 2 0 0 2 0 0 0
HexagonalGrid-PT-816-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-07: LTL 0 0 1 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-09: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-12: CONJ 0 2 0 0 2 0 0 0
HexagonalGrid-PT-816-LTLCardinality-13: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-14: LTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
34 LTL EXCL 44/237 1/32 HexagonalGrid-PT-816-LTLCardinality-07 3735 m, 117 m/sec, 3734 t fired, .
Time elapsed: 84 secs. Pages in use: 2
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-01: F 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-03: CONJ 0 2 0 0 2 0 0 0
HexagonalGrid-PT-816-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-07: LTL 0 0 1 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-09: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-12: CONJ 0 2 0 0 2 0 0 0
HexagonalGrid-PT-816-LTLCardinality-13: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-14: LTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
34 LTL EXCL 49/237 1/32 HexagonalGrid-PT-816-LTLCardinality-07 4396 m, 132 m/sec, 4395 t fired, .
Time elapsed: 89 secs. Pages in use: 2
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-01: F 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-03: CONJ 0 2 0 0 2 0 0 0
HexagonalGrid-PT-816-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-07: LTL 0 0 1 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-09: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-12: CONJ 0 2 0 0 2 0 0 0
HexagonalGrid-PT-816-LTLCardinality-13: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-14: LTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
34 LTL EXCL 54/237 1/32 HexagonalGrid-PT-816-LTLCardinality-07 5099 m, 140 m/sec, 5098 t fired, .
Time elapsed: 94 secs. Pages in use: 2
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-01: F 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-03: CONJ 0 2 0 0 2 0 0 0
HexagonalGrid-PT-816-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-07: LTL 0 0 1 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-09: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-12: CONJ 0 2 0 0 2 0 0 0
HexagonalGrid-PT-816-LTLCardinality-13: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-14: LTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
34 LTL EXCL 59/237 1/32 HexagonalGrid-PT-816-LTLCardinality-07 5697 m, 119 m/sec, 5696 t fired, .
Time elapsed: 99 secs. Pages in use: 2
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-01: F 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-03: CONJ 0 2 0 0 2 0 0 0
HexagonalGrid-PT-816-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-07: LTL 0 0 1 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-09: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-12: CONJ 0 2 0 0 2 0 0 0
HexagonalGrid-PT-816-LTLCardinality-13: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-14: LTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
34 LTL EXCL 64/237 1/32 HexagonalGrid-PT-816-LTLCardinality-07 6923 m, 245 m/sec, 6922 t fired, .
Time elapsed: 104 secs. Pages in use: 2
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-01: F 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-03: CONJ 0 2 0 0 2 0 0 0
HexagonalGrid-PT-816-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-07: LTL 0 0 1 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-09: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-12: CONJ 0 2 0 0 2 0 0 0
HexagonalGrid-PT-816-LTLCardinality-13: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-14: LTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
34 LTL EXCL 69/237 1/32 HexagonalGrid-PT-816-LTLCardinality-07 8071 m, 229 m/sec, 8070 t fired, .
Time elapsed: 109 secs. Pages in use: 2
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-01: F 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-03: CONJ 0 2 0 0 2 0 0 0
HexagonalGrid-PT-816-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-07: LTL 0 0 1 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-09: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-12: CONJ 0 2 0 0 2 0 0 0
HexagonalGrid-PT-816-LTLCardinality-13: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-14: LTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
34 LTL EXCL 74/237 1/32 HexagonalGrid-PT-816-LTLCardinality-07 9158 m, 217 m/sec, 9157 t fired, .
Time elapsed: 114 secs. Pages in use: 2
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-01: F 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-03: CONJ 0 2 0 0 2 0 0 0
HexagonalGrid-PT-816-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-07: LTL 0 0 1 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-09: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-12: CONJ 0 2 0 0 2 0 0 0
HexagonalGrid-PT-816-LTLCardinality-13: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-14: LTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
34 LTL EXCL 79/237 1/32 HexagonalGrid-PT-816-LTLCardinality-07 9854 m, 139 m/sec, 9853 t fired, .
Time elapsed: 119 secs. Pages in use: 2
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-01: F 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-03: CONJ 0 2 0 0 2 0 0 0
HexagonalGrid-PT-816-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-07: LTL 0 0 1 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-09: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-12: CONJ 0 2 0 0 2 0 0 0
HexagonalGrid-PT-816-LTLCardinality-13: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-14: LTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
34 LTL EXCL 84/237 1/32 HexagonalGrid-PT-816-LTLCardinality-07 10731 m, 175 m/sec, 10730 t fired, .
Time elapsed: 124 secs. Pages in use: 2
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-01: F 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-03: CONJ 0 2 0 0 2 0 0 0
HexagonalGrid-PT-816-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-07: LTL 0 0 1 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-09: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-12: CONJ 0 2 0 0 2 0 0 0
HexagonalGrid-PT-816-LTLCardinality-13: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-14: LTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
34 LTL EXCL 89/237 1/32 HexagonalGrid-PT-816-LTLCardinality-07 11878 m, 229 m/sec, 11877 t fired, .
Time elapsed: 129 secs. Pages in use: 2
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-01: F 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-03: CONJ 0 2 0 0 2 0 0 0
HexagonalGrid-PT-816-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-07: LTL 0 0 1 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-09: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-12: CONJ 0 2 0 0 2 0 0 0
HexagonalGrid-PT-816-LTLCardinality-13: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-14: LTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
34 LTL EXCL 94/237 1/32 HexagonalGrid-PT-816-LTLCardinality-07 12823 m, 189 m/sec, 12822 t fired, .
Time elapsed: 134 secs. Pages in use: 2
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-01: F 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-03: CONJ 0 2 0 0 2 0 0 0
HexagonalGrid-PT-816-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-07: LTL 0 0 1 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-08: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-09: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-12: CONJ 0 2 0 0 2 0 0 0
HexagonalGrid-PT-816-LTLCardinality-13: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-14: LTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
34 LTL EXCL 99/237 1/32 HexagonalGrid-PT-816-LTLCardinality-07 14173 m, 270 m/sec, 14172 t fired, .
Time elapsed: 139 secs. Pages in use: 2
# running tasks: 1 of 4 Visible: 16
lola: FINISHED task # 34 (type EXCL) for HexagonalGrid-PT-816-LTLCardinality-07
lola: result : false
lola: markings : 14904
lola: fired transitions : 14904
lola: time used : 100.000000
lola: memory pages used : 1
lola: LAUNCH task # 59 (type EXCL) for 58 HexagonalGrid-PT-816-LTLCardinality-14
lola: time limit : 247 sec
lola: memory limit: 32 pages
lola: FINISHED task # 59 (type EXCL) for HexagonalGrid-PT-816-LTLCardinality-14
lola: result : false
lola: markings : 20361
lola: fired transitions : 20401
lola: time used : 1.000000
lola: memory pages used : 1
lola: LAUNCH task # 56 (type EXCL) for 55 HexagonalGrid-PT-816-LTLCardinality-13
lola: time limit : 266 sec
lola: memory limit: 32 pages
lola: FINISHED task # 56 (type EXCL) for HexagonalGrid-PT-816-LTLCardinality-13
lola: result : false
lola: markings : 28426
lola: fired transitions : 28426
lola: time used : 1.000000
lola: memory pages used : 1
lola: LAUNCH task # 53 (type EXCL) for 48 HexagonalGrid-PT-816-LTLCardinality-12
lola: time limit : 288 sec
lola: memory limit: 32 pages
lola: FINISHED task # 53 (type EXCL) for HexagonalGrid-PT-816-LTLCardinality-12
lola: result : false
lola: markings : 8144
lola: fired transitions : 8144
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 46 (type EXCL) for 45 HexagonalGrid-PT-816-LTLCardinality-11
lola: time limit : 345 sec
lola: memory limit: 32 pages
lola: FINISHED task # 46 (type EXCL) for HexagonalGrid-PT-816-LTLCardinality-11
lola: result : false
lola: markings : 50306
lola: fired transitions : 54637
lola: time used : 1.000000
lola: memory pages used : 2
lola: LAUNCH task # 40 (type EXCL) for 39 HexagonalGrid-PT-816-LTLCardinality-09
lola: time limit : 384 sec
lola: memory limit: 32 pages
lola: FINISHED task # 40 (type EXCL) for HexagonalGrid-PT-816-LTLCardinality-09
lola: result : true
lola: markings : 3043
lola: fired transitions : 3042
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 37 (type EXCL) for 36 HexagonalGrid-PT-816-LTLCardinality-08
lola: time limit : 432 sec
lola: memory limit: 32 pages
lola: FINISHED task # 37 (type EXCL) for HexagonalGrid-PT-816-LTLCardinality-08
lola: result : false
lola: markings : 8205
lola: fired transitions : 8205
lola: time used : 1.000000
lola: memory pages used : 1
lola: LAUNCH task # 24 (type EXCL) for 23 HexagonalGrid-PT-816-LTLCardinality-05
lola: time limit : 493 sec
lola: memory limit: 32 pages
lola: FINISHED task # 24 (type EXCL) for HexagonalGrid-PT-816-LTLCardinality-05
lola: result : false
lola: markings : 8144
lola: fired transitions : 8144
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 14 (type EXCL) for 9 HexagonalGrid-PT-816-LTLCardinality-03
lola: time limit : 576 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-05: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-07: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-08: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-09: LTL true LTL model checker
HexagonalGrid-PT-816-LTLCardinality-11: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-12: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-13: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-14: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-01: F 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-03: CONJ 0 1 1 0 2 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
14 LTL EXCL 0/576 1/32 HexagonalGrid-PT-816-LTLCardinality-03 7629 m, 1525 m/sec, 7628 t fired, .
Time elapsed: 144 secs. Pages in use: 2
# running tasks: 1 of 4 Visible: 16
lola: FINISHED task # 14 (type EXCL) for HexagonalGrid-PT-816-LTLCardinality-03
lola: result : false
lola: markings : 8144
lola: fired transitions : 8144
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 7 (type EXCL) for 6 HexagonalGrid-PT-816-LTLCardinality-02
lola: time limit : 864 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-03: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-05: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-07: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-08: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-09: LTL true LTL model checker
HexagonalGrid-PT-816-LTLCardinality-11: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-12: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-13: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-14: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-01: F 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-02: LTL 0 0 1 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 LTL EXCL 5/864 6/32 HexagonalGrid-PT-816-LTLCardinality-02 130345 m, 26069 m/sec, 139524 t fired, .
Time elapsed: 149 secs. Pages in use: 6
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-03: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-05: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-07: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-08: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-09: LTL true LTL model checker
HexagonalGrid-PT-816-LTLCardinality-11: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-12: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-13: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-14: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-01: F 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-02: LTL 0 0 1 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 LTL EXCL 10/864 11/32 HexagonalGrid-PT-816-LTLCardinality-02 241797 m, 22290 m/sec, 278111 t fired, .
Time elapsed: 154 secs. Pages in use: 11
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-03: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-05: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-07: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-08: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-09: LTL true LTL model checker
HexagonalGrid-PT-816-LTLCardinality-11: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-12: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-13: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-14: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-01: F 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-02: LTL 0 0 1 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 LTL EXCL 15/864 14/32 HexagonalGrid-PT-816-LTLCardinality-02 327296 m, 17099 m/sec, 404189 t fired, .
Time elapsed: 159 secs. Pages in use: 14
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-03: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-05: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-07: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-08: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-09: LTL true LTL model checker
HexagonalGrid-PT-816-LTLCardinality-11: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-12: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-13: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-14: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-01: F 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-02: LTL 0 0 1 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 LTL EXCL 20/864 16/32 HexagonalGrid-PT-816-LTLCardinality-02 385641 m, 11669 m/sec, 505926 t fired, .
Time elapsed: 164 secs. Pages in use: 16
# running tasks: 1 of 4 Visible: 16
lola: FINISHED task # 7 (type EXCL) for HexagonalGrid-PT-816-LTLCardinality-02
lola: result : false
lola: markings : 415325
lola: fired transitions : 555226
lola: time used : 22.000000
lola: memory pages used : 17
lola: LAUNCH task # 76 (type EXCL) for 3 HexagonalGrid-PT-816-LTLCardinality-01
lola: time limit : 1144 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-02: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-03: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-05: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-07: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-08: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-09: LTL true LTL model checker
HexagonalGrid-PT-816-LTLCardinality-11: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-12: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-13: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-14: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-01: F 0 0 1 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EG EXCL 3/1144 1/32 HexagonalGrid-PT-816-LTLCardinality-01 1614 m, 322 m/sec, 1613 t fired, .
Time elapsed: 169 secs. Pages in use: 17
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-02: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-03: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-05: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-07: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-08: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-09: LTL true LTL model checker
HexagonalGrid-PT-816-LTLCardinality-11: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-12: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-13: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-14: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-01: F 0 0 1 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EG EXCL 8/1144 1/32 HexagonalGrid-PT-816-LTLCardinality-01 1680 m, 13 m/sec, 1679 t fired, .
Time elapsed: 174 secs. Pages in use: 17
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-02: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-03: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-05: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-07: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-08: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-09: LTL true LTL model checker
HexagonalGrid-PT-816-LTLCardinality-11: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-12: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-13: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-14: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-01: F 0 0 1 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EG EXCL 13/1144 1/32 HexagonalGrid-PT-816-LTLCardinality-01 1750 m, 14 m/sec, 1749 t fired, .
Time elapsed: 179 secs. Pages in use: 17
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-02: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-03: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-05: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-07: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-08: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-09: LTL true LTL model checker
HexagonalGrid-PT-816-LTLCardinality-11: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-12: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-13: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-14: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-01: F 0 0 1 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EG EXCL 18/1144 1/32 HexagonalGrid-PT-816-LTLCardinality-01 1815 m, 13 m/sec, 1814 t fired, .
Time elapsed: 184 secs. Pages in use: 17
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-02: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-03: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-05: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-07: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-08: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-09: LTL true LTL model checker
HexagonalGrid-PT-816-LTLCardinality-11: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-12: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-13: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-14: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-01: F 0 0 1 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EG EXCL 23/1144 1/32 HexagonalGrid-PT-816-LTLCardinality-01 1848 m, 6 m/sec, 1847 t fired, .
Time elapsed: 189 secs. Pages in use: 17
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-02: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-03: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-05: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-07: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-08: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-09: LTL true LTL model checker
HexagonalGrid-PT-816-LTLCardinality-11: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-12: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-13: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-14: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-01: F 0 0 1 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EG EXCL 28/1144 1/32 HexagonalGrid-PT-816-LTLCardinality-01 1906 m, 11 m/sec, 1905 t fired, .
Time elapsed: 194 secs. Pages in use: 17
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-02: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-03: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-05: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-07: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-08: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-09: LTL true LTL model checker
HexagonalGrid-PT-816-LTLCardinality-11: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-12: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-13: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-14: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-01: F 0 0 1 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EG EXCL 33/1144 1/32 HexagonalGrid-PT-816-LTLCardinality-01 2089 m, 36 m/sec, 2088 t fired, .
Time elapsed: 199 secs. Pages in use: 17
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-02: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-03: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-05: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-07: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-08: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-09: LTL true LTL model checker
HexagonalGrid-PT-816-LTLCardinality-11: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-12: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-13: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-14: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-01: F 0 0 1 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EG EXCL 38/1144 1/32 HexagonalGrid-PT-816-LTLCardinality-01 2280 m, 38 m/sec, 2279 t fired, .
Time elapsed: 204 secs. Pages in use: 17
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-02: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-03: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-05: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-07: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-08: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-09: LTL true LTL model checker
HexagonalGrid-PT-816-LTLCardinality-11: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-12: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-13: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-14: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-01: F 0 0 1 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EG EXCL 43/1144 1/32 HexagonalGrid-PT-816-LTLCardinality-01 2469 m, 37 m/sec, 2468 t fired, .
Time elapsed: 209 secs. Pages in use: 17
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-02: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-03: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-05: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-07: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-08: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-09: LTL true LTL model checker
HexagonalGrid-PT-816-LTLCardinality-11: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-12: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-13: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-14: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-01: F 0 0 1 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EG EXCL 48/1144 1/32 HexagonalGrid-PT-816-LTLCardinality-01 2971 m, 100 m/sec, 2970 t fired, .
Time elapsed: 214 secs. Pages in use: 17
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-02: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-03: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-05: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-07: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-08: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-09: LTL true LTL model checker
HexagonalGrid-PT-816-LTLCardinality-11: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-12: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-13: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-14: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-01: F 0 0 1 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EG EXCL 53/1144 1/32 HexagonalGrid-PT-816-LTLCardinality-01 3050 m, 15 m/sec, 3049 t fired, .
Time elapsed: 219 secs. Pages in use: 17
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-02: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-03: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-05: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-07: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-08: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-09: LTL true LTL model checker
HexagonalGrid-PT-816-LTLCardinality-11: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-12: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-13: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-14: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-01: F 0 0 1 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EG EXCL 58/1144 1/32 HexagonalGrid-PT-816-LTLCardinality-01 3108 m, 11 m/sec, 3107 t fired, .
Time elapsed: 224 secs. Pages in use: 17
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-02: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-03: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-05: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-07: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-08: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-09: LTL true LTL model checker
HexagonalGrid-PT-816-LTLCardinality-11: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-12: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-13: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-14: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-01: F 0 0 1 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EG EXCL 63/1144 1/32 HexagonalGrid-PT-816-LTLCardinality-01 3229 m, 24 m/sec, 3228 t fired, .
Time elapsed: 229 secs. Pages in use: 17
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-02: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-03: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-05: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-07: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-08: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-09: LTL true LTL model checker
HexagonalGrid-PT-816-LTLCardinality-11: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-12: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-13: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-14: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-01: F 0 0 1 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EG EXCL 68/1144 1/32 HexagonalGrid-PT-816-LTLCardinality-01 3387 m, 31 m/sec, 3386 t fired, .
Time elapsed: 234 secs. Pages in use: 17
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-02: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-03: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-05: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-07: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-08: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-09: LTL true LTL model checker
HexagonalGrid-PT-816-LTLCardinality-11: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-12: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-13: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-14: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-01: F 0 0 1 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EG EXCL 73/1144 1/32 HexagonalGrid-PT-816-LTLCardinality-01 3455 m, 13 m/sec, 3454 t fired, .
Time elapsed: 239 secs. Pages in use: 17
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-02: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-03: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-05: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-07: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-08: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-09: LTL true LTL model checker
HexagonalGrid-PT-816-LTLCardinality-11: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-12: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-13: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-14: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-01: F 0 0 1 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EG EXCL 78/1144 1/32 HexagonalGrid-PT-816-LTLCardinality-01 3591 m, 27 m/sec, 3590 t fired, .
Time elapsed: 244 secs. Pages in use: 17
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-02: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-03: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-05: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-07: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-08: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-09: LTL true LTL model checker
HexagonalGrid-PT-816-LTLCardinality-11: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-12: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-13: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-14: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-01: F 0 0 1 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EG EXCL 83/1144 1/32 HexagonalGrid-PT-816-LTLCardinality-01 3833 m, 48 m/sec, 3832 t fired, .
Time elapsed: 249 secs. Pages in use: 17
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-02: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-03: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-05: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-07: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-08: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-09: LTL true LTL model checker
HexagonalGrid-PT-816-LTLCardinality-11: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-12: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-13: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-14: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-01: F 0 0 1 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EG EXCL 88/1144 1/32 HexagonalGrid-PT-816-LTLCardinality-01 4144 m, 62 m/sec, 4143 t fired, .
Time elapsed: 254 secs. Pages in use: 17
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-02: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-03: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-05: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-07: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-08: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-09: LTL true LTL model checker
HexagonalGrid-PT-816-LTLCardinality-11: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-12: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-13: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-14: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-01: F 0 0 1 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EG EXCL 93/1144 1/32 HexagonalGrid-PT-816-LTLCardinality-01 4414 m, 54 m/sec, 4413 t fired, .
Time elapsed: 259 secs. Pages in use: 17
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-02: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-03: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-05: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-07: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-08: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-09: LTL true LTL model checker
HexagonalGrid-PT-816-LTLCardinality-11: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-12: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-13: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-14: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-01: F 0 0 1 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EG EXCL 98/1144 1/32 HexagonalGrid-PT-816-LTLCardinality-01 4680 m, 53 m/sec, 4679 t fired, .
Time elapsed: 264 secs. Pages in use: 17
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-02: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-03: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-05: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-07: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-08: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-09: LTL true LTL model checker
HexagonalGrid-PT-816-LTLCardinality-11: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-12: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-13: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-14: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-01: F 0 0 1 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EG EXCL 103/1144 1/32 HexagonalGrid-PT-816-LTLCardinality-01 4950 m, 54 m/sec, 4949 t fired, .
Time elapsed: 269 secs. Pages in use: 17
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-02: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-03: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-05: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-07: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-08: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-09: LTL true LTL model checker
HexagonalGrid-PT-816-LTLCardinality-11: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-12: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-13: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-14: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-01: F 0 0 1 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EG EXCL 108/1144 1/32 HexagonalGrid-PT-816-LTLCardinality-01 5257 m, 61 m/sec, 5256 t fired, .
Time elapsed: 274 secs. Pages in use: 17
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-02: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-03: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-05: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-07: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-08: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-09: LTL true LTL model checker
HexagonalGrid-PT-816-LTLCardinality-11: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-12: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-13: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-14: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-01: F 0 0 1 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EG EXCL 113/1144 1/32 HexagonalGrid-PT-816-LTLCardinality-01 5554 m, 59 m/sec, 5553 t fired, .
Time elapsed: 279 secs. Pages in use: 17
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-02: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-03: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-05: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-07: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-08: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-09: LTL true LTL model checker
HexagonalGrid-PT-816-LTLCardinality-11: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-12: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-13: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-14: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-01: F 0 0 1 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EG EXCL 118/1144 1/32 HexagonalGrid-PT-816-LTLCardinality-01 6160 m, 121 m/sec, 6159 t fired, .
Time elapsed: 284 secs. Pages in use: 17
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-02: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-03: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-05: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-07: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-08: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-09: LTL true LTL model checker
HexagonalGrid-PT-816-LTLCardinality-11: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-12: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-13: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-14: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-01: F 0 0 1 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EG EXCL 123/1144 1/32 HexagonalGrid-PT-816-LTLCardinality-01 6483 m, 64 m/sec, 6482 t fired, .
Time elapsed: 289 secs. Pages in use: 17
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-02: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-03: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-05: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-07: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-08: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-09: LTL true LTL model checker
HexagonalGrid-PT-816-LTLCardinality-11: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-12: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-13: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-14: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-01: F 0 0 1 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EG EXCL 128/1144 1/32 HexagonalGrid-PT-816-LTLCardinality-01 6680 m, 39 m/sec, 6679 t fired, .
Time elapsed: 294 secs. Pages in use: 17
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-02: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-03: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-05: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-07: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-08: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-09: LTL true LTL model checker
HexagonalGrid-PT-816-LTLCardinality-11: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-12: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-13: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-14: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-01: F 0 0 1 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EG EXCL 133/1144 1/32 HexagonalGrid-PT-816-LTLCardinality-01 6863 m, 36 m/sec, 6862 t fired, .
Time elapsed: 299 secs. Pages in use: 17
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-02: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-03: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-05: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-07: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-08: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-09: LTL true LTL model checker
HexagonalGrid-PT-816-LTLCardinality-11: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-12: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-13: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-14: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-01: F 0 0 1 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EG EXCL 138/1144 1/32 HexagonalGrid-PT-816-LTLCardinality-01 7083 m, 44 m/sec, 7082 t fired, .
Time elapsed: 304 secs. Pages in use: 17
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-02: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-03: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-05: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-07: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-08: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-09: LTL true LTL model checker
HexagonalGrid-PT-816-LTLCardinality-11: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-12: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-13: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-14: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-01: F 0 0 1 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EG EXCL 143/1144 1/32 HexagonalGrid-PT-816-LTLCardinality-01 8193 m, 222 m/sec, 8192 t fired, .
Time elapsed: 309 secs. Pages in use: 17
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-02: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-03: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-05: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-07: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-08: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-09: LTL true LTL model checker
HexagonalGrid-PT-816-LTLCardinality-11: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-12: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-13: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-14: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-01: F 0 0 1 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EG EXCL 148/1144 1/32 HexagonalGrid-PT-816-LTLCardinality-01 8606 m, 82 m/sec, 8605 t fired, .
Time elapsed: 314 secs. Pages in use: 17
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-02: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-03: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-05: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-07: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-08: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-09: LTL true LTL model checker
HexagonalGrid-PT-816-LTLCardinality-11: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-12: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-13: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-14: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-01: F 0 0 1 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EG EXCL 153/1144 1/32 HexagonalGrid-PT-816-LTLCardinality-01 9256 m, 130 m/sec, 9255 t fired, .
Time elapsed: 319 secs. Pages in use: 17
# running tasks: 1 of 4 Visible: 16
lola: FINISHED task # 76 (type EXCL) for HexagonalGrid-PT-816-LTLCardinality-01
lola: result : true
lola: markings : 10122
lola: fired transitions : 10122
lola: time used : 155.000000
lola: memory pages used : 1
lola: LAUNCH task # 43 (type EXCL) for 42 HexagonalGrid-PT-816-LTLCardinality-10
lola: time limit : 1639 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-01: F false state space / EG
HexagonalGrid-PT-816-LTLCardinality-02: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-03: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-05: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-07: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-08: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-09: LTL true LTL model checker
HexagonalGrid-PT-816-LTLCardinality-11: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-12: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-13: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-14: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
43 LTL EXCL 3/1639 1/32 HexagonalGrid-PT-816-LTLCardinality-10 1837 m, 367 m/sec, 1836 t fired, .
Time elapsed: 324 secs. Pages in use: 17
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-01: F false state space / EG
HexagonalGrid-PT-816-LTLCardinality-02: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-03: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-05: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-07: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-08: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-09: LTL true LTL model checker
HexagonalGrid-PT-816-LTLCardinality-11: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-12: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-13: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-14: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
43 LTL EXCL 8/1639 1/32 HexagonalGrid-PT-816-LTLCardinality-10 1896 m, 11 m/sec, 1895 t fired, .
Time elapsed: 329 secs. Pages in use: 17
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-01: F false state space / EG
HexagonalGrid-PT-816-LTLCardinality-02: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-03: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-05: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-07: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-08: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-09: LTL true LTL model checker
HexagonalGrid-PT-816-LTLCardinality-11: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-12: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-13: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-14: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
43 LTL EXCL 13/1639 1/32 HexagonalGrid-PT-816-LTLCardinality-10 1999 m, 20 m/sec, 1998 t fired, .
Time elapsed: 334 secs. Pages in use: 17
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-01: F false state space / EG
HexagonalGrid-PT-816-LTLCardinality-02: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-03: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-05: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-07: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-08: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-09: LTL true LTL model checker
HexagonalGrid-PT-816-LTLCardinality-11: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-12: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-13: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-14: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
43 LTL EXCL 18/1639 1/32 HexagonalGrid-PT-816-LTLCardinality-10 2159 m, 32 m/sec, 2158 t fired, .
Time elapsed: 339 secs. Pages in use: 17
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-01: F false state space / EG
HexagonalGrid-PT-816-LTLCardinality-02: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-03: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-05: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-07: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-08: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-09: LTL true LTL model checker
HexagonalGrid-PT-816-LTLCardinality-11: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-12: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-13: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-14: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
43 LTL EXCL 23/1639 1/32 HexagonalGrid-PT-816-LTLCardinality-10 2237 m, 15 m/sec, 2236 t fired, .
Time elapsed: 344 secs. Pages in use: 17
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-01: F false state space / EG
HexagonalGrid-PT-816-LTLCardinality-02: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-03: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-05: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-07: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-08: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-09: LTL true LTL model checker
HexagonalGrid-PT-816-LTLCardinality-11: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-12: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-13: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-14: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
43 LTL EXCL 28/1639 1/32 HexagonalGrid-PT-816-LTLCardinality-10 2315 m, 15 m/sec, 2314 t fired, .
Time elapsed: 349 secs. Pages in use: 17
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-01: F false state space / EG
HexagonalGrid-PT-816-LTLCardinality-02: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-03: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-05: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-07: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-08: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-09: LTL true LTL model checker
HexagonalGrid-PT-816-LTLCardinality-11: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-12: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-13: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-14: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
43 LTL EXCL 33/1639 1/32 HexagonalGrid-PT-816-LTLCardinality-10 2395 m, 16 m/sec, 2394 t fired, .
Time elapsed: 354 secs. Pages in use: 17
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-01: F false state space / EG
HexagonalGrid-PT-816-LTLCardinality-02: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-03: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-05: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-07: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-08: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-09: LTL true LTL model checker
HexagonalGrid-PT-816-LTLCardinality-11: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-12: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-13: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-14: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
43 LTL EXCL 38/1639 1/32 HexagonalGrid-PT-816-LTLCardinality-10 2482 m, 17 m/sec, 2481 t fired, .
Time elapsed: 359 secs. Pages in use: 17
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-01: F false state space / EG
HexagonalGrid-PT-816-LTLCardinality-02: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-03: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-05: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-07: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-08: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-09: LTL true LTL model checker
HexagonalGrid-PT-816-LTLCardinality-11: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-12: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-13: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-14: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
43 LTL EXCL 43/1639 1/32 HexagonalGrid-PT-816-LTLCardinality-10 2561 m, 15 m/sec, 2560 t fired, .
Time elapsed: 364 secs. Pages in use: 17
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-01: F false state space / EG
HexagonalGrid-PT-816-LTLCardinality-02: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-03: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-05: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-07: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-08: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-09: LTL true LTL model checker
HexagonalGrid-PT-816-LTLCardinality-11: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-12: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-13: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-14: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
43 LTL EXCL 48/1639 1/32 HexagonalGrid-PT-816-LTLCardinality-10 2644 m, 16 m/sec, 2643 t fired, .
Time elapsed: 369 secs. Pages in use: 17
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-01: F false state space / EG
HexagonalGrid-PT-816-LTLCardinality-02: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-03: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-05: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-07: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-08: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-09: LTL true LTL model checker
HexagonalGrid-PT-816-LTLCardinality-11: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-12: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-13: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-14: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
43 LTL EXCL 53/1639 1/32 HexagonalGrid-PT-816-LTLCardinality-10 2719 m, 15 m/sec, 2718 t fired, .
Time elapsed: 374 secs. Pages in use: 17
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-01: F false state space / EG
HexagonalGrid-PT-816-LTLCardinality-02: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-03: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-05: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-07: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-08: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-09: LTL true LTL model checker
HexagonalGrid-PT-816-LTLCardinality-11: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-12: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-13: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-14: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
43 LTL EXCL 58/1639 1/32 HexagonalGrid-PT-816-LTLCardinality-10 2781 m, 12 m/sec, 2780 t fired, .
Time elapsed: 379 secs. Pages in use: 17
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-01: F false state space / EG
HexagonalGrid-PT-816-LTLCardinality-02: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-03: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-05: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-07: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-08: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-09: LTL true LTL model checker
HexagonalGrid-PT-816-LTLCardinality-11: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-12: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-13: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-14: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
43 LTL EXCL 63/1639 1/32 HexagonalGrid-PT-816-LTLCardinality-10 2852 m, 14 m/sec, 2851 t fired, .
Time elapsed: 384 secs. Pages in use: 17
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-01: F false state space / EG
HexagonalGrid-PT-816-LTLCardinality-02: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-03: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-05: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-07: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-08: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-09: LTL true LTL model checker
HexagonalGrid-PT-816-LTLCardinality-11: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-12: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-13: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-14: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
43 LTL EXCL 68/1639 1/32 HexagonalGrid-PT-816-LTLCardinality-10 2909 m, 11 m/sec, 2908 t fired, .
Time elapsed: 389 secs. Pages in use: 17
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-01: F false state space / EG
HexagonalGrid-PT-816-LTLCardinality-02: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-03: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-05: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-07: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-08: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-09: LTL true LTL model checker
HexagonalGrid-PT-816-LTLCardinality-11: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-12: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-13: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-14: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
43 LTL EXCL 73/1639 1/32 HexagonalGrid-PT-816-LTLCardinality-10 3065 m, 31 m/sec, 3064 t fired, .
Time elapsed: 394 secs. Pages in use: 17
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-01: F false state space / EG
HexagonalGrid-PT-816-LTLCardinality-02: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-03: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-05: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-07: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-08: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-09: LTL true LTL model checker
HexagonalGrid-PT-816-LTLCardinality-11: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-12: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-13: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-14: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
43 LTL EXCL 78/1639 1/32 HexagonalGrid-PT-816-LTLCardinality-10 3115 m, 10 m/sec, 3114 t fired, .
Time elapsed: 399 secs. Pages in use: 17
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-01: F false state space / EG
HexagonalGrid-PT-816-LTLCardinality-02: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-03: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-05: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-07: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-08: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-09: LTL true LTL model checker
HexagonalGrid-PT-816-LTLCardinality-11: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-12: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-13: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-14: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
43 LTL EXCL 83/1639 1/32 HexagonalGrid-PT-816-LTLCardinality-10 3173 m, 11 m/sec, 3172 t fired, .
Time elapsed: 404 secs. Pages in use: 17
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-01: F false state space / EG
HexagonalGrid-PT-816-LTLCardinality-02: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-03: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-05: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-07: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-08: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-09: LTL true LTL model checker
HexagonalGrid-PT-816-LTLCardinality-11: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-12: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-13: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-14: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
43 LTL EXCL 88/1639 1/32 HexagonalGrid-PT-816-LTLCardinality-10 3242 m, 13 m/sec, 3241 t fired, .
Time elapsed: 409 secs. Pages in use: 17
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-01: F false state space / EG
HexagonalGrid-PT-816-LTLCardinality-02: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-03: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-05: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-07: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-08: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-09: LTL true LTL model checker
HexagonalGrid-PT-816-LTLCardinality-11: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-12: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-13: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-14: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
43 LTL EXCL 93/1639 1/32 HexagonalGrid-PT-816-LTLCardinality-10 3331 m, 17 m/sec, 3330 t fired, .
Time elapsed: 414 secs. Pages in use: 17
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-01: F false state space / EG
HexagonalGrid-PT-816-LTLCardinality-02: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-03: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-05: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-07: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-08: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-09: LTL true LTL model checker
HexagonalGrid-PT-816-LTLCardinality-11: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-12: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-13: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-14: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
43 LTL EXCL 98/1639 1/32 HexagonalGrid-PT-816-LTLCardinality-10 3418 m, 17 m/sec, 3417 t fired, .
Time elapsed: 419 secs. Pages in use: 17
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-01: F false state space / EG
HexagonalGrid-PT-816-LTLCardinality-02: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-03: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-05: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-07: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-08: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-09: LTL true LTL model checker
HexagonalGrid-PT-816-LTLCardinality-11: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-12: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-13: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-14: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
43 LTL EXCL 103/1639 1/32 HexagonalGrid-PT-816-LTLCardinality-10 3462 m, 8 m/sec, 3461 t fired, .
Time elapsed: 424 secs. Pages in use: 17
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-01: F false state space / EG
HexagonalGrid-PT-816-LTLCardinality-02: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-03: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-05: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-07: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-08: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-09: LTL true LTL model checker
HexagonalGrid-PT-816-LTLCardinality-11: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-12: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-13: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-14: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
43 LTL EXCL 108/1639 1/32 HexagonalGrid-PT-816-LTLCardinality-10 3503 m, 8 m/sec, 3502 t fired, .
Time elapsed: 429 secs. Pages in use: 17
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-01: F false state space / EG
HexagonalGrid-PT-816-LTLCardinality-02: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-03: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-05: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-07: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-08: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-09: LTL true LTL model checker
HexagonalGrid-PT-816-LTLCardinality-11: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-12: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-13: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-14: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
43 LTL EXCL 113/1639 1/32 HexagonalGrid-PT-816-LTLCardinality-10 3538 m, 7 m/sec, 3537 t fired, .
Time elapsed: 434 secs. Pages in use: 17
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-01: F false state space / EG
HexagonalGrid-PT-816-LTLCardinality-02: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-03: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-05: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-07: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-08: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-09: LTL true LTL model checker
HexagonalGrid-PT-816-LTLCardinality-11: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-12: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-13: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-14: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
43 LTL EXCL 118/1639 1/32 HexagonalGrid-PT-816-LTLCardinality-10 3580 m, 8 m/sec, 3579 t fired, .
Time elapsed: 439 secs. Pages in use: 17
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-01: F false state space / EG
HexagonalGrid-PT-816-LTLCardinality-02: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-03: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-05: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-07: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-08: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-09: LTL true LTL model checker
HexagonalGrid-PT-816-LTLCardinality-11: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-12: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-13: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-14: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
43 LTL EXCL 123/1639 1/32 HexagonalGrid-PT-816-LTLCardinality-10 3625 m, 9 m/sec, 3624 t fired, .
Time elapsed: 444 secs. Pages in use: 17
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-01: F false state space / EG
HexagonalGrid-PT-816-LTLCardinality-02: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-03: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-05: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-07: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-08: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-09: LTL true LTL model checker
HexagonalGrid-PT-816-LTLCardinality-11: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-12: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-13: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-14: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
43 LTL EXCL 128/1639 1/32 HexagonalGrid-PT-816-LTLCardinality-10 3668 m, 8 m/sec, 3667 t fired, .
Time elapsed: 449 secs. Pages in use: 17
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-01: F false state space / EG
HexagonalGrid-PT-816-LTLCardinality-02: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-03: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-05: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-07: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-08: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-09: LTL true LTL model checker
HexagonalGrid-PT-816-LTLCardinality-11: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-12: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-13: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-14: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
43 LTL EXCL 133/1639 1/32 HexagonalGrid-PT-816-LTLCardinality-10 3710 m, 8 m/sec, 3709 t fired, .
Time elapsed: 454 secs. Pages in use: 17
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-01: F false state space / EG
HexagonalGrid-PT-816-LTLCardinality-02: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-03: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-05: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-07: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-08: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-09: LTL true LTL model checker
HexagonalGrid-PT-816-LTLCardinality-11: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-12: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-13: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-14: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
43 LTL EXCL 138/1639 1/32 HexagonalGrid-PT-816-LTLCardinality-10 3750 m, 8 m/sec, 3749 t fired, .
Time elapsed: 459 secs. Pages in use: 17
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-01: F false state space / EG
HexagonalGrid-PT-816-LTLCardinality-02: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-03: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-05: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-07: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-08: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-09: LTL true LTL model checker
HexagonalGrid-PT-816-LTLCardinality-11: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-12: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-13: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-14: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
43 LTL EXCL 143/1639 1/32 HexagonalGrid-PT-816-LTLCardinality-10 3786 m, 7 m/sec, 3785 t fired, .
Time elapsed: 464 secs. Pages in use: 17
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-01: F false state space / EG
HexagonalGrid-PT-816-LTLCardinality-02: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-03: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-05: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-07: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-08: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-09: LTL true LTL model checker
HexagonalGrid-PT-816-LTLCardinality-11: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-12: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-13: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-14: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
43 LTL EXCL 148/1639 1/32 HexagonalGrid-PT-816-LTLCardinality-10 3838 m, 10 m/sec, 3837 t fired, .
Time elapsed: 469 secs. Pages in use: 17
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-01: F false state space / EG
HexagonalGrid-PT-816-LTLCardinality-02: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-03: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-05: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-07: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-08: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-09: LTL true LTL model checker
HexagonalGrid-PT-816-LTLCardinality-11: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-12: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-13: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-14: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
43 LTL EXCL 153/1639 1/32 HexagonalGrid-PT-816-LTLCardinality-10 3886 m, 9 m/sec, 3885 t fired, .
Time elapsed: 474 secs. Pages in use: 17
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-01: F false state space / EG
HexagonalGrid-PT-816-LTLCardinality-02: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-03: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-05: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-07: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-08: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-09: LTL true LTL model checker
HexagonalGrid-PT-816-LTLCardinality-11: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-12: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-13: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-14: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
43 LTL EXCL 158/1639 1/32 HexagonalGrid-PT-816-LTLCardinality-10 3945 m, 11 m/sec, 3944 t fired, .
Time elapsed: 479 secs. Pages in use: 17
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-01: F false state space / EG
HexagonalGrid-PT-816-LTLCardinality-02: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-03: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-05: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-07: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-08: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-09: LTL true LTL model checker
HexagonalGrid-PT-816-LTLCardinality-11: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-12: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-13: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-14: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
43 LTL EXCL 163/1639 1/32 HexagonalGrid-PT-816-LTLCardinality-10 4000 m, 11 m/sec, 3999 t fired, .
Time elapsed: 484 secs. Pages in use: 17
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-01: F false state space / EG
HexagonalGrid-PT-816-LTLCardinality-02: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-03: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-05: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-07: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-08: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-09: LTL true LTL model checker
HexagonalGrid-PT-816-LTLCardinality-11: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-12: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-13: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-14: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
43 LTL EXCL 168/1639 1/32 HexagonalGrid-PT-816-LTLCardinality-10 4044 m, 8 m/sec, 4043 t fired, .
Time elapsed: 489 secs. Pages in use: 17
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-01: F false state space / EG
HexagonalGrid-PT-816-LTLCardinality-02: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-03: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-05: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-07: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-08: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-09: LTL true LTL model checker
HexagonalGrid-PT-816-LTLCardinality-11: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-12: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-13: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-14: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
43 LTL EXCL 173/1639 1/32 HexagonalGrid-PT-816-LTLCardinality-10 4088 m, 8 m/sec, 4087 t fired, .
Time elapsed: 494 secs. Pages in use: 17
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-01: F false state space / EG
HexagonalGrid-PT-816-LTLCardinality-02: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-03: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-05: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-07: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-08: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-09: LTL true LTL model checker
HexagonalGrid-PT-816-LTLCardinality-11: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-12: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-13: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-14: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
43 LTL EXCL 178/1639 1/32 HexagonalGrid-PT-816-LTLCardinality-10 4150 m, 12 m/sec, 4149 t fired, .
Time elapsed: 499 secs. Pages in use: 17
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-01: F false state space / EG
HexagonalGrid-PT-816-LTLCardinality-02: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-03: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-05: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-07: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-08: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-09: LTL true LTL model checker
HexagonalGrid-PT-816-LTLCardinality-11: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-12: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-13: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-14: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
43 LTL EXCL 183/1639 1/32 HexagonalGrid-PT-816-LTLCardinality-10 4233 m, 16 m/sec, 4232 t fired, .
Time elapsed: 504 secs. Pages in use: 17
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-01: F false state space / EG
HexagonalGrid-PT-816-LTLCardinality-02: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-03: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-05: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-07: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-08: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-09: LTL true LTL model checker
HexagonalGrid-PT-816-LTLCardinality-11: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-12: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-13: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-14: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
43 LTL EXCL 188/1639 1/32 HexagonalGrid-PT-816-LTLCardinality-10 4314 m, 16 m/sec, 4313 t fired, .
Time elapsed: 509 secs. Pages in use: 17
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-01: F false state space / EG
HexagonalGrid-PT-816-LTLCardinality-02: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-03: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-05: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-07: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-08: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-09: LTL true LTL model checker
HexagonalGrid-PT-816-LTLCardinality-11: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-12: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-13: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-14: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
43 LTL EXCL 193/1639 1/32 HexagonalGrid-PT-816-LTLCardinality-10 4393 m, 15 m/sec, 4392 t fired, .
Time elapsed: 514 secs. Pages in use: 17
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-01: F false state space / EG
HexagonalGrid-PT-816-LTLCardinality-02: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-03: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-05: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-07: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-08: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-09: LTL true LTL model checker
HexagonalGrid-PT-816-LTLCardinality-11: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-12: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-13: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-14: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
43 LTL EXCL 198/1639 1/32 HexagonalGrid-PT-816-LTLCardinality-10 4461 m, 13 m/sec, 4460 t fired, .
Time elapsed: 519 secs. Pages in use: 17
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-01: F false state space / EG
HexagonalGrid-PT-816-LTLCardinality-02: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-03: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-05: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-07: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-08: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-09: LTL true LTL model checker
HexagonalGrid-PT-816-LTLCardinality-11: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-12: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-13: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-14: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
43 LTL EXCL 203/1639 1/32 HexagonalGrid-PT-816-LTLCardinality-10 4530 m, 13 m/sec, 4529 t fired, .
Time elapsed: 524 secs. Pages in use: 17
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-01: F false state space / EG
HexagonalGrid-PT-816-LTLCardinality-02: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-03: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-05: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-07: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-08: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-09: LTL true LTL model checker
HexagonalGrid-PT-816-LTLCardinality-11: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-12: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-13: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-14: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
43 LTL EXCL 208/1639 1/32 HexagonalGrid-PT-816-LTLCardinality-10 4597 m, 13 m/sec, 4596 t fired, .
Time elapsed: 529 secs. Pages in use: 17
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-01: F false state space / EG
HexagonalGrid-PT-816-LTLCardinality-02: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-03: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-05: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-07: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-08: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-09: LTL true LTL model checker
HexagonalGrid-PT-816-LTLCardinality-11: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-12: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-13: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-14: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
43 LTL EXCL 213/1639 1/32 HexagonalGrid-PT-816-LTLCardinality-10 4666 m, 13 m/sec, 4665 t fired, .
Time elapsed: 534 secs. Pages in use: 17
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-01: F false state space / EG
HexagonalGrid-PT-816-LTLCardinality-02: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-03: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-05: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-07: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-08: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-09: LTL true LTL model checker
HexagonalGrid-PT-816-LTLCardinality-11: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-12: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-13: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-14: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
43 LTL EXCL 218/1639 1/32 HexagonalGrid-PT-816-LTLCardinality-10 4729 m, 12 m/sec, 4728 t fired, .
Time elapsed: 539 secs. Pages in use: 17
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-01: F false state space / EG
HexagonalGrid-PT-816-LTLCardinality-02: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-03: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-05: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-07: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-08: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-09: LTL true LTL model checker
HexagonalGrid-PT-816-LTLCardinality-11: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-12: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-13: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-14: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
43 LTL EXCL 223/1639 1/32 HexagonalGrid-PT-816-LTLCardinality-10 4798 m, 13 m/sec, 4797 t fired, .
Time elapsed: 544 secs. Pages in use: 17
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-01: F false state space / EG
HexagonalGrid-PT-816-LTLCardinality-02: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-03: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-05: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-07: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-08: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-09: LTL true LTL model checker
HexagonalGrid-PT-816-LTLCardinality-11: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-12: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-13: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-14: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
43 LTL EXCL 228/1639 1/32 HexagonalGrid-PT-816-LTLCardinality-10 4868 m, 14 m/sec, 4867 t fired, .
Time elapsed: 549 secs. Pages in use: 17
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-01: F false state space / EG
HexagonalGrid-PT-816-LTLCardinality-02: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-03: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-05: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-07: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-08: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-09: LTL true LTL model checker
HexagonalGrid-PT-816-LTLCardinality-11: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-12: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-13: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-14: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
43 LTL EXCL 233/1639 1/32 HexagonalGrid-PT-816-LTLCardinality-10 4944 m, 15 m/sec, 4943 t fired, .
Time elapsed: 554 secs. Pages in use: 17
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-01: F false state space / EG
HexagonalGrid-PT-816-LTLCardinality-02: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-03: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-05: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-07: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-08: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-09: LTL true LTL model checker
HexagonalGrid-PT-816-LTLCardinality-11: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-12: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-13: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-14: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
43 LTL EXCL 238/1639 1/32 HexagonalGrid-PT-816-LTLCardinality-10 5018 m, 14 m/sec, 5017 t fired, .
Time elapsed: 559 secs. Pages in use: 17
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-01: F false state space / EG
HexagonalGrid-PT-816-LTLCardinality-02: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-03: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-05: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-07: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-08: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-09: LTL true LTL model checker
HexagonalGrid-PT-816-LTLCardinality-11: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-12: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-13: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-14: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
43 LTL EXCL 243/1639 1/32 HexagonalGrid-PT-816-LTLCardinality-10 5094 m, 15 m/sec, 5093 t fired, .
Time elapsed: 564 secs. Pages in use: 17
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-01: F false state space / EG
HexagonalGrid-PT-816-LTLCardinality-02: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-03: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-05: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-07: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-08: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-09: LTL true LTL model checker
HexagonalGrid-PT-816-LTLCardinality-11: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-12: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-13: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-14: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
43 LTL EXCL 248/1639 1/32 HexagonalGrid-PT-816-LTLCardinality-10 5166 m, 14 m/sec, 5165 t fired, .
Time elapsed: 569 secs. Pages in use: 17
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-01: F false state space / EG
HexagonalGrid-PT-816-LTLCardinality-02: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-03: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-05: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-07: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-08: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-09: LTL true LTL model checker
HexagonalGrid-PT-816-LTLCardinality-11: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-12: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-13: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-14: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
43 LTL EXCL 253/1639 1/32 HexagonalGrid-PT-816-LTLCardinality-10 5257 m, 18 m/sec, 5256 t fired, .
Time elapsed: 574 secs. Pages in use: 17
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-01: F false state space / EG
HexagonalGrid-PT-816-LTLCardinality-02: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-03: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-05: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-07: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-08: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-09: LTL true LTL model checker
HexagonalGrid-PT-816-LTLCardinality-11: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-12: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-13: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-14: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
43 LTL EXCL 258/1639 1/32 HexagonalGrid-PT-816-LTLCardinality-10 5533 m, 55 m/sec, 5532 t fired, .
Time elapsed: 579 secs. Pages in use: 17
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-01: F false state space / EG
HexagonalGrid-PT-816-LTLCardinality-02: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-03: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-05: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-07: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-08: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-09: LTL true LTL model checker
HexagonalGrid-PT-816-LTLCardinality-11: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-12: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-13: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-14: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
43 LTL EXCL 263/1639 1/32 HexagonalGrid-PT-816-LTLCardinality-10 5809 m, 55 m/sec, 5808 t fired, .
Time elapsed: 584 secs. Pages in use: 17
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-01: F false state space / EG
HexagonalGrid-PT-816-LTLCardinality-02: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-03: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-05: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-07: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-08: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-09: LTL true LTL model checker
HexagonalGrid-PT-816-LTLCardinality-11: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-12: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-13: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-14: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
43 LTL EXCL 268/1639 1/32 HexagonalGrid-PT-816-LTLCardinality-10 6044 m, 47 m/sec, 6043 t fired, .
Time elapsed: 589 secs. Pages in use: 17
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-01: F false state space / EG
HexagonalGrid-PT-816-LTLCardinality-02: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-03: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-05: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-07: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-08: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-09: LTL true LTL model checker
HexagonalGrid-PT-816-LTLCardinality-11: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-12: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-13: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-14: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
43 LTL EXCL 273/1639 1/32 HexagonalGrid-PT-816-LTLCardinality-10 6378 m, 66 m/sec, 6377 t fired, .
Time elapsed: 594 secs. Pages in use: 17
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-01: F false state space / EG
HexagonalGrid-PT-816-LTLCardinality-02: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-03: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-05: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-07: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-08: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-09: LTL true LTL model checker
HexagonalGrid-PT-816-LTLCardinality-11: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-12: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-13: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-14: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
43 LTL EXCL 278/1639 1/32 HexagonalGrid-PT-816-LTLCardinality-10 6794 m, 83 m/sec, 6793 t fired, .
Time elapsed: 599 secs. Pages in use: 17
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-01: F false state space / EG
HexagonalGrid-PT-816-LTLCardinality-02: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-03: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-05: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-07: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-08: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-09: LTL true LTL model checker
HexagonalGrid-PT-816-LTLCardinality-11: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-12: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-13: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-14: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
43 LTL EXCL 283/1639 1/32 HexagonalGrid-PT-816-LTLCardinality-10 7188 m, 78 m/sec, 7187 t fired, .
Time elapsed: 604 secs. Pages in use: 17
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-01: F false state space / EG
HexagonalGrid-PT-816-LTLCardinality-02: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-03: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-05: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-07: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-08: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-09: LTL true LTL model checker
HexagonalGrid-PT-816-LTLCardinality-11: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-12: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-13: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-14: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
43 LTL EXCL 288/1639 1/32 HexagonalGrid-PT-816-LTLCardinality-10 7672 m, 96 m/sec, 7671 t fired, .
Time elapsed: 609 secs. Pages in use: 17
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-01: F false state space / EG
HexagonalGrid-PT-816-LTLCardinality-02: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-03: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-05: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-07: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-08: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-09: LTL true LTL model checker
HexagonalGrid-PT-816-LTLCardinality-11: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-12: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-13: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-14: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
43 LTL EXCL 293/1639 1/32 HexagonalGrid-PT-816-LTLCardinality-10 8183 m, 102 m/sec, 8182 t fired, .
Time elapsed: 614 secs. Pages in use: 17
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-01: F false state space / EG
HexagonalGrid-PT-816-LTLCardinality-02: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-03: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-05: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-07: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-08: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-09: LTL true LTL model checker
HexagonalGrid-PT-816-LTLCardinality-11: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-12: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-13: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-14: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
43 LTL EXCL 298/1639 1/32 HexagonalGrid-PT-816-LTLCardinality-10 8738 m, 111 m/sec, 8737 t fired, .
Time elapsed: 619 secs. Pages in use: 17
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-01: F false state space / EG
HexagonalGrid-PT-816-LTLCardinality-02: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-03: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-05: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-07: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-08: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-09: LTL true LTL model checker
HexagonalGrid-PT-816-LTLCardinality-11: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-12: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-13: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-14: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
43 LTL EXCL 303/1639 1/32 HexagonalGrid-PT-816-LTLCardinality-10 9031 m, 58 m/sec, 9030 t fired, .
Time elapsed: 624 secs. Pages in use: 17
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-01: F false state space / EG
HexagonalGrid-PT-816-LTLCardinality-02: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-03: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-05: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-07: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-08: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-09: LTL true LTL model checker
HexagonalGrid-PT-816-LTLCardinality-11: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-12: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-13: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-14: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
43 LTL EXCL 308/1639 1/32 HexagonalGrid-PT-816-LTLCardinality-10 9635 m, 120 m/sec, 9634 t fired, .
Time elapsed: 629 secs. Pages in use: 17
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-01: F false state space / EG
HexagonalGrid-PT-816-LTLCardinality-02: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-03: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-05: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-07: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-08: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-09: LTL true LTL model checker
HexagonalGrid-PT-816-LTLCardinality-11: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-12: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-13: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-14: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
43 LTL EXCL 313/1639 1/32 HexagonalGrid-PT-816-LTLCardinality-10 10323 m, 137 m/sec, 10322 t fired, .
Time elapsed: 634 secs. Pages in use: 17
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-01: F false state space / EG
HexagonalGrid-PT-816-LTLCardinality-02: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-03: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-05: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-07: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-08: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-09: LTL true LTL model checker
HexagonalGrid-PT-816-LTLCardinality-11: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-12: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-13: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-14: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
43 LTL EXCL 318/1639 1/32 HexagonalGrid-PT-816-LTLCardinality-10 11442 m, 223 m/sec, 11441 t fired, .
Time elapsed: 639 secs. Pages in use: 17
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-01: F false state space / EG
HexagonalGrid-PT-816-LTLCardinality-02: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-03: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-05: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-07: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-08: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-09: LTL true LTL model checker
HexagonalGrid-PT-816-LTLCardinality-11: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-12: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-13: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-14: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
HexagonalGrid-PT-816-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
HexagonalGrid-PT-816-LTLCardinality-10: LTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
43 LTL EXCL 323/1639 1/32 HexagonalGrid-PT-816-LTLCardinality-10 13600 m, 431 m/sec, 13599 t fired, .
Time elapsed: 644 secs. Pages in use: 17
# running tasks: 1 of 4 Visible: 16
lola: FINISHED task # 43 (type EXCL) for HexagonalGrid-PT-816-LTLCardinality-10
lola: result : false
lola: markings : 14120
lola: fired transitions : 14121
lola: time used : 323.000000
lola: memory pages used : 1
lola: LAUNCH task # 1 (type EXCL) for 0 HexagonalGrid-PT-816-LTLCardinality-00
lola: time limit : 2956 sec
lola: memory limit: 32 pages
lola: FINISHED task # 1 (type EXCL) for HexagonalGrid-PT-816-LTLCardinality-00
lola: result : true
lola: markings : 1
lola: time used : 1.000000
lola: memory pages used : 1
lola: Portfolio finished: no open formulas
FINAL RESULTS
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
HexagonalGrid-PT-816-LTLCardinality-00: LTL true LTL model checker
HexagonalGrid-PT-816-LTLCardinality-01: F false state space / EG
HexagonalGrid-PT-816-LTLCardinality-02: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-03: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-04: CONJ false search / frozen tokens
HexagonalGrid-PT-816-LTLCardinality-05: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-06: CONJ false preprocessing
HexagonalGrid-PT-816-LTLCardinality-07: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-08: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-09: LTL true LTL model checker
HexagonalGrid-PT-816-LTLCardinality-10: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-11: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-12: CONJ false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-13: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-14: LTL false LTL model checker
HexagonalGrid-PT-816-LTLCardinality-15: CONJ false preprocessing
Time elapsed: 645 secs. Pages in use: 17
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="HexagonalGrid-PT-816"
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-5348"
echo " Executing tool lola"
echo " Input is HexagonalGrid-PT-816, 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 r198-smll-167840345100419"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/HexagonalGrid-PT-816.tgz
mv HexagonalGrid-PT-816 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 ;