About the Execution of LoLA for ViralEpidemic-PT-S02D1C1A12
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16219.808 | 767416.00 | 1700032.00 | 22414.90 | ?F???????F????F? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r486-tall-167912702301252.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 ViralEpidemic-PT-S02D1C1A12, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r486-tall-167912702301252
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 20M
-rw-r--r-- 1 mcc users 11K Feb 25 22:07 CTLCardinality.txt
-rw-r--r-- 1 mcc users 92K Feb 25 22:07 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.7K Feb 25 20:51 CTLFireability.txt
-rw-r--r-- 1 mcc users 47K Feb 25 20:51 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.8K Jan 29 11:41 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 5.6K Feb 25 17:26 LTLCardinality.txt
-rw-r--r-- 1 mcc users 31K Feb 25 17:26 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Feb 25 17:26 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 17:26 LTLFireability.xml
-rw-r--r-- 1 mcc users 21K Feb 25 23:53 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 161K Feb 25 23:53 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.5K Feb 25 22:42 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 57K Feb 25 22:42 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Feb 25 17:26 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.1K Feb 25 17:26 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 11 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 19M Mar 5 18:23 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 ViralEpidemic-PT-S02D1C1A12-LTLFireability-00
FORMULA_NAME ViralEpidemic-PT-S02D1C1A12-LTLFireability-01
FORMULA_NAME ViralEpidemic-PT-S02D1C1A12-LTLFireability-02
FORMULA_NAME ViralEpidemic-PT-S02D1C1A12-LTLFireability-03
FORMULA_NAME ViralEpidemic-PT-S02D1C1A12-LTLFireability-04
FORMULA_NAME ViralEpidemic-PT-S02D1C1A12-LTLFireability-05
FORMULA_NAME ViralEpidemic-PT-S02D1C1A12-LTLFireability-06
FORMULA_NAME ViralEpidemic-PT-S02D1C1A12-LTLFireability-07
FORMULA_NAME ViralEpidemic-PT-S02D1C1A12-LTLFireability-08
FORMULA_NAME ViralEpidemic-PT-S02D1C1A12-LTLFireability-09
FORMULA_NAME ViralEpidemic-PT-S02D1C1A12-LTLFireability-10
FORMULA_NAME ViralEpidemic-PT-S02D1C1A12-LTLFireability-11
FORMULA_NAME ViralEpidemic-PT-S02D1C1A12-LTLFireability-12
FORMULA_NAME ViralEpidemic-PT-S02D1C1A12-LTLFireability-13
FORMULA_NAME ViralEpidemic-PT-S02D1C1A12-LTLFireability-14
FORMULA_NAME ViralEpidemic-PT-S02D1C1A12-LTLFireability-15
=== Now, execution of the tool begins
BK_START 1679297983323
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=LTLFireability
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=ViralEpidemic-PT-S02D1C1A12
Not applying reductions.
Model is PT
LTLFireability PT
starting LoLA
BK_INPUT ViralEpidemic-PT-S02D1C1A12
BK_EXAMINATION: LTLFireability
bin directory: /home/mcc/BenchKit/bin//../lola/bin/
current directory: /home/mcc/execution
LTLFireability
FORMULA ViralEpidemic-PT-S02D1C1A12-LTLFireability-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ViralEpidemic-PT-S02D1C1A12-LTLFireability-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ViralEpidemic-PT-S02D1C1A12-LTLFireability-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
BK_STOP 1679298750739
--------------------
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/LTLFireability.xml
lola: rewrite Frontend/Parser/formula_rewrite.k:334
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:490
lola: rewrite Frontend/Parser/formula_rewrite.k:337
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:379
lola: rewrite Frontend/Parser/formula_rewrite.k:379
lola: rewrite Frontend/Parser/formula_rewrite.k:373
lola: rewrite Frontend/Parser/formula_rewrite.k:346
lola: rewrite Frontend/Parser/formula_rewrite.k:379
lola: rewrite Frontend/Parser/formula_rewrite.k:421
lola: RELEASE
lola: rewrite Frontend/Parser/formula_rewrite.k:433
lola: rewrite Frontend/Parser/formula_rewrite.k:355
lola: rewrite Frontend/Parser/formula_rewrite.k:379
lola: rewrite Frontend/Parser/formula_rewrite.k:427
lola: rewrite Frontend/Parser/formula_rewrite.k:355
lola: rewrite Frontend/Parser/formula_rewrite.k:355
lola: rewrite Frontend/Parser/formula_rewrite.k:436
lola: rewrite Frontend/Parser/formula_rewrite.k:521
lola: rewrite Frontend/Parser/formula_rewrite.k:355
lola: rewrite Frontend/Parser/formula_rewrite.k:379
lola: rewrite Frontend/Parser/formula_rewrite.k:493
lola: rewrite Frontend/Parser/formula_rewrite.k:421
lola: rewrite Frontend/Parser/formula_rewrite.k:370
lola: rewrite Frontend/Parser/formula_rewrite.k:355
lola: rewrite Frontend/Parser/formula_rewrite.k:250
lola: rewrite Frontend/Parser/formula_rewrite.k:535
lola: rewrite Frontend/Parser/formula_rewrite.k:535
lola: rewrite Frontend/Parser/formula_rewrite.k:352
lola: rewrite Frontend/Parser/formula_rewrite.k:355
lola: rewrite Frontend/Parser/formula_rewrite.k:346
lola: rewrite Frontend/Parser/formula_rewrite.k:334
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:296
lola: rewrite Frontend/Parser/formula_rewrite.k:355
lola: rewrite Frontend/Parser/formula_rewrite.k:376
lola: rewrite Frontend/Parser/formula_rewrite.k:337
lola: rewrite Frontend/Parser/formula_rewrite.k:331
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:334
lola: rewrite Frontend/Parser/formula_rewrite.k:334
lola: rewrite Frontend/Parser/formula_rewrite.k:334
lola: rewrite Frontend/Parser/formula_rewrite.k:328
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: RELEASE
lola: RELEASE
lola: rewrite Frontend/Parser/formula_rewrite.k:433
lola: Created skeleton in 1.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: RELEASE
lola: Created skeleton in 0.000000 secs.
lola: Rule S: 0 transitions removed,0 places removed
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ViralEpidemic-PT-S02D1C1A12-LTLFireability-00: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-01: CONJ 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-02: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-03: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-04: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-05: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-06: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-07: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-08: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-09: CONJ 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-10: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-11: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-12: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-13: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-14: CONJ 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-15: F 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 321 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ViralEpidemic-PT-S02D1C1A12-LTLFireability-00: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-01: CONJ 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-02: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-03: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-04: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-05: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-06: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-07: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-08: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-09: CONJ 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-10: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-11: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-12: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-13: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-14: CONJ 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-15: F 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 326 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ViralEpidemic-PT-S02D1C1A12-LTLFireability-00: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-01: CONJ 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-02: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-03: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-04: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-05: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-06: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-07: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-08: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-09: CONJ 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-10: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-11: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-12: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-13: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-14: CONJ 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-15: F 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 331 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ViralEpidemic-PT-S02D1C1A12-LTLFireability-00: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-01: CONJ 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-02: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-03: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-04: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-05: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-06: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-07: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-08: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-09: CONJ 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-10: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-11: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-12: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-13: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-14: CONJ 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-15: F 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 336 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ViralEpidemic-PT-S02D1C1A12-LTLFireability-00: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-01: CONJ 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-02: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-03: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-04: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-05: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-06: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-07: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-08: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-09: CONJ 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-10: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-11: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-12: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-13: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-14: CONJ 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-15: F 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 341 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ViralEpidemic-PT-S02D1C1A12-LTLFireability-00: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-01: CONJ 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-02: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-03: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-04: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-05: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-06: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-07: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-08: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-09: CONJ 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-10: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-11: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-12: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-13: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-14: CONJ 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-15: F 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 346 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ViralEpidemic-PT-S02D1C1A12-LTLFireability-00: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-01: CONJ 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-02: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-03: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-04: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-05: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-06: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-07: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-08: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-09: CONJ 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-10: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-11: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-12: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-13: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-14: CONJ 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-15: F 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 351 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ViralEpidemic-PT-S02D1C1A12-LTLFireability-00: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-01: CONJ 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-02: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-03: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-04: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-05: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-06: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-07: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-08: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-09: CONJ 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-10: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-11: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-12: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-13: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-14: CONJ 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-15: F 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 356 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ViralEpidemic-PT-S02D1C1A12-LTLFireability-00: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-01: CONJ 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-02: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-03: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-04: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-05: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-06: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-07: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-08: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-09: CONJ 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-10: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-11: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-12: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-13: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-14: CONJ 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-15: F 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 361 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ViralEpidemic-PT-S02D1C1A12-LTLFireability-00: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-01: CONJ 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-02: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-03: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-04: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-05: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-06: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-07: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-08: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-09: CONJ 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-10: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-11: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-12: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-13: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-14: CONJ 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-15: F 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 366 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ViralEpidemic-PT-S02D1C1A12-LTLFireability-00: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-01: CONJ 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-02: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-03: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-04: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-05: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-06: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-07: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-08: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-09: CONJ 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-10: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-11: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-12: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-13: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-14: CONJ 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-15: F 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 371 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ViralEpidemic-PT-S02D1C1A12-LTLFireability-00: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-01: CONJ 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-02: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-03: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-04: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-05: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-06: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-07: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-08: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-09: CONJ 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-10: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-11: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-12: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-13: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-14: CONJ 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-15: F 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 376 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 1.000000 secs.
lola: LAUNCH INITIAL
lola: LAUNCH task # 6 (type CNST) for 3 ViralEpidemic-PT-S02D1C1A12-LTLFireability-01
lola: time limit : 0 sec
lola: memory limit: 0 pages
lola: FINISHED task # 6 (type CNST) for ViralEpidemic-PT-S02D1C1A12-LTLFireability-01
lola: result : false
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: planning for (null) stopped (result already fixed).
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 1.000000 secs.
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: LAUNCH task # 66 (type SKEL/FNDP) for 31 ViralEpidemic-PT-S02D1C1A12-LTLFireability-09
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 67 (type SKEL/EQUN) for 31 ViralEpidemic-PT-S02D1C1A12-LTLFireability-09
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 68 (type SKEL/SRCH) for 31 ViralEpidemic-PT-S02D1C1A12-LTLFireability-09
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 69 (type SKEL/SRCH) for 31 ViralEpidemic-PT-S02D1C1A12-LTLFireability-09
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: FINISHED task # 66 (type SKEL/FNDP) for ViralEpidemic-PT-S02D1C1A12-LTLFireability-09
lola: result : true
lola: fired transitions : 9
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: CANCELED task # 67 (type EQUN) for ViralEpidemic-PT-S02D1C1A12-LTLFireability-09 (obsolete)
lola: CANCELED task # 68 (type SRCH) for ViralEpidemic-PT-S02D1C1A12-LTLFireability-09 (obsolete)
lola: CANCELED task # 69 (type SRCH) for ViralEpidemic-PT-S02D1C1A12-LTLFireability-09 (obsolete)
sara: try reading problem file /home/mcc/execution/LTLFireability-67.sara.
sara: place or transition ordering is non-deterministic
lola: FINISHED task # 67 (type SKEL/EQUN) for ViralEpidemic-PT-S02D1C1A12-LTLFireability-09
lola: result : true
lola: Created skeleton in 1.000000 secs.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ViralEpidemic-PT-S02D1C1A12-LTLFireability-01: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ViralEpidemic-PT-S02D1C1A12-LTLFireability-00: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-02: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-03: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-04: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-05: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-06: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-07: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-08: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-09: CONJ 0 0 0 0 4 0 0 2
ViralEpidemic-PT-S02D1C1A12-LTLFireability-10: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-11: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-12: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-13: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-14: CONJ 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-15: F 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 381 secs. Pages in use: 2
# running tasks: 0 of 4 Visible: 16
lola: Created skeleton in 2.000000 secs.
lola: Created skeleton in 1.000000 secs.
lola: Created skeleton in 1.000000 secs.
lola: NOTDEADLOCKFREE
lola: LAUNCH task # 70 (type SKEL/SRCH) for 45 ViralEpidemic-PT-S02D1C1A12-LTLFireability-11
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: Created skeleton in 1.000000 secs.
lola: RELEASE
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ViralEpidemic-PT-S02D1C1A12-LTLFireability-01: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ViralEpidemic-PT-S02D1C1A12-LTLFireability-00: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-02: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-03: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-04: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-05: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-06: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-07: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-08: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-09: CONJ 0 0 0 0 4 0 0 2
ViralEpidemic-PT-S02D1C1A12-LTLFireability-10: LTL 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-11: LTL 0 0 1 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-12: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-13: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-14: CONJ 0 0 0 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-15: F 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 LTL SRCH 1/3215 1/5 ViralEpidemic-PT-S02D1C1A12-LTLFireability-11 47189 m, 9437 m/sec, 181535 t fired, .
Time elapsed: 386 secs. Pages in use: 2
# running tasks: 1 of 4 Visible: 16
lola: Created skeleton in 1.000000 secs.
lola: Created skeleton in 2.000000 secs.
lola: NOTDEADLOCKFREE
lola: Created skeleton in 1.000000 secs.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ViralEpidemic-PT-S02D1C1A12-LTLFireability-01: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ViralEpidemic-PT-S02D1C1A12-LTLFireability-00: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-02: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-03: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-04: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-05: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-06: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-07: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-08: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-09: CONJ 0 0 0 0 4 0 0 2
ViralEpidemic-PT-S02D1C1A12-LTLFireability-10: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-11: LTL 0 0 1 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-12: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-13: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-14: CONJ 0 0 0 0 2 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-15: F 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 LTL SRCH 6/3215 1/5 ViralEpidemic-PT-S02D1C1A12-LTLFireability-11 178454 m, 26253 m/sec, 779060 t fired, .
Time elapsed: 391 secs. Pages in use: 2
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ViralEpidemic-PT-S02D1C1A12-LTLFireability-01: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ViralEpidemic-PT-S02D1C1A12-LTLFireability-00: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-02: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-03: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-04: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-05: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-06: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-07: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-08: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-09: CONJ 0 0 0 0 4 0 0 2
ViralEpidemic-PT-S02D1C1A12-LTLFireability-10: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-11: LTL 0 0 1 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-12: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-13: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-14: CONJ 0 0 0 0 2 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-15: F 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 LTL SRCH 11/3215 1/5 ViralEpidemic-PT-S02D1C1A12-LTLFireability-11 306819 m, 25673 m/sec, 1394112 t fired, .
Time elapsed: 396 secs. Pages in use: 2
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ViralEpidemic-PT-S02D1C1A12-LTLFireability-01: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ViralEpidemic-PT-S02D1C1A12-LTLFireability-00: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-02: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-03: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-04: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-05: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-06: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-07: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-08: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-09: CONJ 0 0 0 0 4 0 0 2
ViralEpidemic-PT-S02D1C1A12-LTLFireability-10: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-11: LTL 0 0 1 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-12: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-13: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-14: CONJ 0 0 0 0 2 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-15: F 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 LTL SRCH 16/3215 1/5 ViralEpidemic-PT-S02D1C1A12-LTLFireability-11 430016 m, 24639 m/sec, 1995642 t fired, .
Time elapsed: 401 secs. Pages in use: 2
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ViralEpidemic-PT-S02D1C1A12-LTLFireability-01: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ViralEpidemic-PT-S02D1C1A12-LTLFireability-00: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-02: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-03: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-04: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-05: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-06: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-07: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-08: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-09: CONJ 0 0 0 0 4 0 0 2
ViralEpidemic-PT-S02D1C1A12-LTLFireability-10: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-11: LTL 0 0 1 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-12: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-13: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-14: CONJ 0 0 0 0 2 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-15: F 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 LTL SRCH 21/3215 1/5 ViralEpidemic-PT-S02D1C1A12-LTLFireability-11 549662 m, 23929 m/sec, 2579677 t fired, .
Time elapsed: 406 secs. Pages in use: 2
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ViralEpidemic-PT-S02D1C1A12-LTLFireability-01: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ViralEpidemic-PT-S02D1C1A12-LTLFireability-00: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-02: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-03: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-04: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-05: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-06: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-07: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-08: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-09: CONJ 0 0 0 0 4 0 0 2
ViralEpidemic-PT-S02D1C1A12-LTLFireability-10: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-11: LTL 0 0 1 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-12: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-13: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-14: CONJ 0 0 0 0 2 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-15: F 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 LTL SRCH 26/3215 1/5 ViralEpidemic-PT-S02D1C1A12-LTLFireability-11 669519 m, 23971 m/sec, 3179329 t fired, .
Time elapsed: 411 secs. Pages in use: 2
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ViralEpidemic-PT-S02D1C1A12-LTLFireability-01: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ViralEpidemic-PT-S02D1C1A12-LTLFireability-00: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-02: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-03: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-04: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-05: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-06: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-07: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-08: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-09: CONJ 0 0 0 0 4 0 0 2
ViralEpidemic-PT-S02D1C1A12-LTLFireability-10: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-11: LTL 0 0 1 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-12: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-13: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-14: CONJ 0 0 0 0 2 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-15: F 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 LTL SRCH 31/3215 1/5 ViralEpidemic-PT-S02D1C1A12-LTLFireability-11 794593 m, 25014 m/sec, 3803803 t fired, .
Time elapsed: 416 secs. Pages in use: 2
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ViralEpidemic-PT-S02D1C1A12-LTLFireability-01: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ViralEpidemic-PT-S02D1C1A12-LTLFireability-00: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-02: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-03: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-04: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-05: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-06: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-07: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-08: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-09: CONJ 0 0 0 0 4 0 0 2
ViralEpidemic-PT-S02D1C1A12-LTLFireability-10: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-11: LTL 0 0 1 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-12: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-13: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-14: CONJ 0 0 0 0 2 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-15: F 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 LTL SRCH 36/3215 1/5 ViralEpidemic-PT-S02D1C1A12-LTLFireability-11 907044 m, 22490 m/sec, 4416944 t fired, .
Time elapsed: 421 secs. Pages in use: 2
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ViralEpidemic-PT-S02D1C1A12-LTLFireability-01: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ViralEpidemic-PT-S02D1C1A12-LTLFireability-00: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-02: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-03: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-04: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-05: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-06: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-07: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-08: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-09: CONJ 0 0 0 0 4 0 0 2
ViralEpidemic-PT-S02D1C1A12-LTLFireability-10: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-11: LTL 0 0 1 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-12: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-13: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-14: CONJ 0 0 0 0 2 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-15: F 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 LTL SRCH 41/3215 1/5 ViralEpidemic-PT-S02D1C1A12-LTLFireability-11 1020045 m, 22600 m/sec, 5035034 t fired, .
Time elapsed: 426 secs. Pages in use: 2
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ViralEpidemic-PT-S02D1C1A12-LTLFireability-01: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ViralEpidemic-PT-S02D1C1A12-LTLFireability-00: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-02: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-03: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-04: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-05: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-06: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-07: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-08: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-09: CONJ 0 0 0 0 4 0 0 2
ViralEpidemic-PT-S02D1C1A12-LTLFireability-10: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-11: LTL 0 0 1 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-12: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-13: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-14: CONJ 0 0 0 0 2 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-15: F 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 LTL SRCH 46/3215 1/5 ViralEpidemic-PT-S02D1C1A12-LTLFireability-11 1136984 m, 23387 m/sec, 5666430 t fired, .
Time elapsed: 431 secs. Pages in use: 2
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ViralEpidemic-PT-S02D1C1A12-LTLFireability-01: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ViralEpidemic-PT-S02D1C1A12-LTLFireability-00: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-02: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-03: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-04: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-05: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-06: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-07: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-08: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-09: CONJ 0 0 0 0 4 0 0 2
ViralEpidemic-PT-S02D1C1A12-LTLFireability-10: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-11: LTL 0 0 1 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-12: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-13: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-14: CONJ 0 0 0 0 2 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-15: F 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 LTL SRCH 51/3215 1/5 ViralEpidemic-PT-S02D1C1A12-LTLFireability-11 1248172 m, 22237 m/sec, 6289016 t fired, .
Time elapsed: 436 secs. Pages in use: 2
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ViralEpidemic-PT-S02D1C1A12-LTLFireability-01: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ViralEpidemic-PT-S02D1C1A12-LTLFireability-00: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-02: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-03: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-04: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-05: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-06: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-07: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-08: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-09: CONJ 0 0 0 0 4 0 0 2
ViralEpidemic-PT-S02D1C1A12-LTLFireability-10: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-11: LTL 0 0 1 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-12: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-13: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-14: CONJ 0 0 0 0 2 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-15: F 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 LTL SRCH 56/3215 1/5 ViralEpidemic-PT-S02D1C1A12-LTLFireability-11 1370053 m, 24376 m/sec, 6916533 t fired, .
Time elapsed: 441 secs. Pages in use: 2
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ViralEpidemic-PT-S02D1C1A12-LTLFireability-01: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ViralEpidemic-PT-S02D1C1A12-LTLFireability-00: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-02: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-03: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-04: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-05: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-06: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-07: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-08: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-09: CONJ 0 0 0 0 4 0 0 2
ViralEpidemic-PT-S02D1C1A12-LTLFireability-10: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-11: LTL 0 0 1 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-12: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-13: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-14: CONJ 0 0 0 0 2 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-15: F 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 LTL SRCH 61/3215 1/5 ViralEpidemic-PT-S02D1C1A12-LTLFireability-11 1513380 m, 28665 m/sec, 7540309 t fired, .
Time elapsed: 446 secs. Pages in use: 2
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ViralEpidemic-PT-S02D1C1A12-LTLFireability-01: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ViralEpidemic-PT-S02D1C1A12-LTLFireability-00: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-02: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-03: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-04: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-05: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-06: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-07: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-08: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-09: CONJ 0 0 0 0 4 0 0 2
ViralEpidemic-PT-S02D1C1A12-LTLFireability-10: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-11: LTL 0 0 1 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-12: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-13: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-14: CONJ 0 0 0 0 2 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-15: F 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 LTL SRCH 66/3215 1/5 ViralEpidemic-PT-S02D1C1A12-LTLFireability-11 1643365 m, 25997 m/sec, 8159678 t fired, .
Time elapsed: 451 secs. Pages in use: 2
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ViralEpidemic-PT-S02D1C1A12-LTLFireability-01: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ViralEpidemic-PT-S02D1C1A12-LTLFireability-00: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-02: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-03: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-04: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-05: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-06: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-07: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-08: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-09: CONJ 0 0 0 0 4 0 0 2
ViralEpidemic-PT-S02D1C1A12-LTLFireability-10: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-11: LTL 0 0 1 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-12: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-13: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-14: CONJ 0 0 0 0 2 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-15: F 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 LTL SRCH 71/3215 1/5 ViralEpidemic-PT-S02D1C1A12-LTLFireability-11 1770436 m, 25414 m/sec, 8779182 t fired, .
Time elapsed: 456 secs. Pages in use: 2
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ViralEpidemic-PT-S02D1C1A12-LTLFireability-01: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ViralEpidemic-PT-S02D1C1A12-LTLFireability-00: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-02: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-03: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-04: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-05: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-06: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-07: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-08: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-09: CONJ 0 0 0 0 4 0 0 2
ViralEpidemic-PT-S02D1C1A12-LTLFireability-10: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-11: LTL 0 0 1 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-12: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-13: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-14: CONJ 0 0 0 0 2 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-15: F 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 LTL SRCH 76/3215 1/5 ViralEpidemic-PT-S02D1C1A12-LTLFireability-11 1895947 m, 25102 m/sec, 9393858 t fired, .
Time elapsed: 461 secs. Pages in use: 2
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ViralEpidemic-PT-S02D1C1A12-LTLFireability-01: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ViralEpidemic-PT-S02D1C1A12-LTLFireability-00: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-02: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-03: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-04: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-05: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-06: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-07: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-08: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-09: CONJ 0 0 0 0 4 0 0 2
ViralEpidemic-PT-S02D1C1A12-LTLFireability-10: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-11: LTL 0 0 1 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-12: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-13: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-14: CONJ 0 0 0 0 2 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-15: F 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 LTL SRCH 81/3215 1/5 ViralEpidemic-PT-S02D1C1A12-LTLFireability-11 2015917 m, 23994 m/sec, 9992344 t fired, .
Time elapsed: 466 secs. Pages in use: 2
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ViralEpidemic-PT-S02D1C1A12-LTLFireability-01: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ViralEpidemic-PT-S02D1C1A12-LTLFireability-00: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-02: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-03: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-04: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-05: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-06: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-07: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-08: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-09: CONJ 0 0 0 0 4 0 0 2
ViralEpidemic-PT-S02D1C1A12-LTLFireability-10: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-11: LTL 0 0 1 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-12: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-13: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-14: CONJ 0 0 0 0 2 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-15: F 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 LTL SRCH 86/3215 1/5 ViralEpidemic-PT-S02D1C1A12-LTLFireability-11 2138858 m, 24588 m/sec, 10605633 t fired, .
Time elapsed: 471 secs. Pages in use: 2
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ViralEpidemic-PT-S02D1C1A12-LTLFireability-01: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ViralEpidemic-PT-S02D1C1A12-LTLFireability-00: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-02: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-03: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-04: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-05: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-06: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-07: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-08: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-09: CONJ 0 0 0 0 4 0 0 2
ViralEpidemic-PT-S02D1C1A12-LTLFireability-10: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-11: LTL 0 0 1 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-12: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-13: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-14: CONJ 0 0 0 0 2 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-15: F 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 LTL SRCH 91/3215 1/5 ViralEpidemic-PT-S02D1C1A12-LTLFireability-11 2255371 m, 23302 m/sec, 11236320 t fired, .
Time elapsed: 476 secs. Pages in use: 2
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ViralEpidemic-PT-S02D1C1A12-LTLFireability-01: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ViralEpidemic-PT-S02D1C1A12-LTLFireability-00: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-02: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-03: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-04: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-05: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-06: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-07: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-08: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-09: CONJ 0 0 0 0 4 0 0 2
ViralEpidemic-PT-S02D1C1A12-LTLFireability-10: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-11: LTL 0 0 1 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-12: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-13: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-14: CONJ 0 0 0 0 2 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-15: F 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 LTL SRCH 96/3215 1/5 ViralEpidemic-PT-S02D1C1A12-LTLFireability-11 2368900 m, 22705 m/sec, 11858139 t fired, .
Time elapsed: 481 secs. Pages in use: 2
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ViralEpidemic-PT-S02D1C1A12-LTLFireability-01: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ViralEpidemic-PT-S02D1C1A12-LTLFireability-00: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-02: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-03: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-04: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-05: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-06: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-07: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-08: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-09: CONJ 0 0 0 0 4 0 0 2
ViralEpidemic-PT-S02D1C1A12-LTLFireability-10: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-11: LTL 0 0 1 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-12: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-13: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-14: CONJ 0 0 0 0 2 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-15: F 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 LTL SRCH 101/3215 1/5 ViralEpidemic-PT-S02D1C1A12-LTLFireability-11 2483359 m, 22891 m/sec, 12475242 t fired, .
Time elapsed: 486 secs. Pages in use: 2
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ViralEpidemic-PT-S02D1C1A12-LTLFireability-01: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ViralEpidemic-PT-S02D1C1A12-LTLFireability-00: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-02: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-03: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-04: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-05: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-06: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-07: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-08: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-09: CONJ 0 0 0 0 4 0 0 2
ViralEpidemic-PT-S02D1C1A12-LTLFireability-10: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-11: LTL 0 0 1 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-12: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-13: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-14: CONJ 0 0 0 0 2 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-15: F 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 LTL SRCH 106/3215 1/5 ViralEpidemic-PT-S02D1C1A12-LTLFireability-11 2588702 m, 21068 m/sec, 13061180 t fired, .
Time elapsed: 491 secs. Pages in use: 2
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ViralEpidemic-PT-S02D1C1A12-LTLFireability-01: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ViralEpidemic-PT-S02D1C1A12-LTLFireability-00: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-02: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-03: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-04: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-05: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-06: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-07: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-08: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-09: CONJ 0 0 0 0 4 0 0 2
ViralEpidemic-PT-S02D1C1A12-LTLFireability-10: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-11: LTL 0 0 1 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-12: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-13: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-14: CONJ 0 0 0 0 2 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-15: F 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 LTL SRCH 111/3215 1/5 ViralEpidemic-PT-S02D1C1A12-LTLFireability-11 2703716 m, 23002 m/sec, 13685814 t fired, .
Time elapsed: 496 secs. Pages in use: 2
# running tasks: 1 of 4 Visible: 16
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: LAUNCH task # 77 (type EXCL) for 31 ViralEpidemic-PT-S02D1C1A12-LTLFireability-09
lola: time limit : 172 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 73 (type FNDP) for 31 ViralEpidemic-PT-S02D1C1A12-LTLFireability-09
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 76 (type EQUN) for 31 ViralEpidemic-PT-S02D1C1A12-LTLFireability-09
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: FINISHED task # 77 (type EXCL) for ViralEpidemic-PT-S02D1C1A12-LTLFireability-09
lola: result : true
lola: markings : 2
lola: fired transitions : 1
lola: time used : 0.000000
lola: memory pages used : 1
lola: CANCELED task # 73 (type FNDP) for ViralEpidemic-PT-S02D1C1A12-LTLFireability-09 (obsolete)
lola: CANCELED task # 76 (type EQUN) for ViralEpidemic-PT-S02D1C1A12-LTLFireability-09 (obsolete)
lola: LAUNCH task # 79 (type EXCL) for 54 ViralEpidemic-PT-S02D1C1A12-LTLFireability-14
lola: time limit : 206 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 74 (type FNDP) for 54 ViralEpidemic-PT-S02D1C1A12-LTLFireability-14
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 75 (type EQUN) for 54 ViralEpidemic-PT-S02D1C1A12-LTLFireability-14
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 73 (type FNDP) for ViralEpidemic-PT-S02D1C1A12-LTLFireability-09
lola: result : true
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: FINISHED task # 79 (type EXCL) for ViralEpidemic-PT-S02D1C1A12-LTLFireability-14
lola: result : true
lola: time used : 0.000000
lola: memory pages used : 1
lola: CANCELED task # 74 (type FNDP) for ViralEpidemic-PT-S02D1C1A12-LTLFireability-14 (obsolete)
lola: CANCELED task # 75 (type EQUN) for ViralEpidemic-PT-S02D1C1A12-LTLFireability-14 (obsolete)
sara: try reading problem file /home/mcc/execution/LTLFireability-76.sara.
lola: FINISHED task # 74 (type FNDP) for ViralEpidemic-PT-S02D1C1A12-LTLFireability-14
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/LTLFireability-75.sara.
sara: place or transition ordering is non-deterministic
lola: FINISHED task # 76 (type EQUN) for ViralEpidemic-PT-S02D1C1A12-LTLFireability-09
lola: result : true
lola: FINISHED task # 75 (type EQUN) for ViralEpidemic-PT-S02D1C1A12-LTLFireability-14
lola: result : true
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ViralEpidemic-PT-S02D1C1A12-LTLFireability-01: CONJ false preprocessing
ViralEpidemic-PT-S02D1C1A12-LTLFireability-09: CONJ false state space
ViralEpidemic-PT-S02D1C1A12-LTLFireability-14: CONJ false state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ViralEpidemic-PT-S02D1C1A12-LTLFireability-00: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-02: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-03: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-04: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-05: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-06: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-07: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-08: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-10: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-11: LTL 0 0 1 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-12: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-13: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-15: F 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 LTL SRCH 116/3215 1/5 ViralEpidemic-PT-S02D1C1A12-LTLFireability-11 2846037 m, 28464 m/sec, 14314877 t fired, .
Time elapsed: 501 secs. Pages in use: 2
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ViralEpidemic-PT-S02D1C1A12-LTLFireability-01: CONJ false preprocessing
ViralEpidemic-PT-S02D1C1A12-LTLFireability-09: CONJ false state space
ViralEpidemic-PT-S02D1C1A12-LTLFireability-14: CONJ false state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ViralEpidemic-PT-S02D1C1A12-LTLFireability-00: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-02: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-03: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-04: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-05: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-06: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-07: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-08: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-10: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-11: LTL 0 0 1 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-12: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-13: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-15: F 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 LTL SRCH 121/3215 1/5 ViralEpidemic-PT-S02D1C1A12-LTLFireability-11 2978102 m, 26413 m/sec, 14943049 t fired, .
Time elapsed: 506 secs. Pages in use: 2
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ViralEpidemic-PT-S02D1C1A12-LTLFireability-01: CONJ false preprocessing
ViralEpidemic-PT-S02D1C1A12-LTLFireability-09: CONJ false state space
ViralEpidemic-PT-S02D1C1A12-LTLFireability-14: CONJ false state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ViralEpidemic-PT-S02D1C1A12-LTLFireability-00: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-02: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-03: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-04: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-05: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-06: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-07: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-08: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-10: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-11: LTL 0 0 1 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-12: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-13: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-15: F 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 LTL SRCH 126/3215 1/5 ViralEpidemic-PT-S02D1C1A12-LTLFireability-11 3110503 m, 26480 m/sec, 15589939 t fired, .
Time elapsed: 511 secs. Pages in use: 2
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ViralEpidemic-PT-S02D1C1A12-LTLFireability-01: CONJ false preprocessing
ViralEpidemic-PT-S02D1C1A12-LTLFireability-09: CONJ false state space
ViralEpidemic-PT-S02D1C1A12-LTLFireability-14: CONJ false state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ViralEpidemic-PT-S02D1C1A12-LTLFireability-00: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-02: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-03: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-04: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-05: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-06: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-07: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-08: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-10: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-11: LTL 0 0 1 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-12: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-13: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-15: F 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 LTL SRCH 131/3215 1/5 ViralEpidemic-PT-S02D1C1A12-LTLFireability-11 3243878 m, 26675 m/sec, 16243889 t fired, .
Time elapsed: 516 secs. Pages in use: 2
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ViralEpidemic-PT-S02D1C1A12-LTLFireability-01: CONJ false preprocessing
ViralEpidemic-PT-S02D1C1A12-LTLFireability-09: CONJ false state space
ViralEpidemic-PT-S02D1C1A12-LTLFireability-14: CONJ false state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ViralEpidemic-PT-S02D1C1A12-LTLFireability-00: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-02: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-03: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-04: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-05: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-06: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-07: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-08: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-10: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-11: LTL 0 0 1 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-12: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-13: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-15: F 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 LTL SRCH 136/3215 1/5 ViralEpidemic-PT-S02D1C1A12-LTLFireability-11 3375097 m, 26243 m/sec, 16894113 t fired, .
Time elapsed: 521 secs. Pages in use: 2
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ViralEpidemic-PT-S02D1C1A12-LTLFireability-01: CONJ false preprocessing
ViralEpidemic-PT-S02D1C1A12-LTLFireability-09: CONJ false state space
ViralEpidemic-PT-S02D1C1A12-LTLFireability-14: CONJ false state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ViralEpidemic-PT-S02D1C1A12-LTLFireability-00: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-02: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-03: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-04: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-05: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-06: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-07: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-08: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-10: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-11: LTL 0 0 1 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-12: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-13: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-15: F 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 LTL SRCH 141/3215 1/5 ViralEpidemic-PT-S02D1C1A12-LTLFireability-11 3504394 m, 25859 m/sec, 17551555 t fired, .
Time elapsed: 526 secs. Pages in use: 2
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ViralEpidemic-PT-S02D1C1A12-LTLFireability-01: CONJ false preprocessing
ViralEpidemic-PT-S02D1C1A12-LTLFireability-09: CONJ false state space
ViralEpidemic-PT-S02D1C1A12-LTLFireability-14: CONJ false state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ViralEpidemic-PT-S02D1C1A12-LTLFireability-00: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-02: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-03: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-04: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-05: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-06: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-07: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-08: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-10: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-11: LTL 0 0 1 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-12: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-13: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-15: F 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 LTL SRCH 146/3215 1/5 ViralEpidemic-PT-S02D1C1A12-LTLFireability-11 3625585 m, 24238 m/sec, 18210479 t fired, .
Time elapsed: 531 secs. Pages in use: 2
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ViralEpidemic-PT-S02D1C1A12-LTLFireability-01: CONJ false preprocessing
ViralEpidemic-PT-S02D1C1A12-LTLFireability-09: CONJ false state space
ViralEpidemic-PT-S02D1C1A12-LTLFireability-14: CONJ false state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ViralEpidemic-PT-S02D1C1A12-LTLFireability-00: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-02: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-03: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-04: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-05: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-06: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-07: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-08: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-10: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-11: LTL 0 0 1 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-12: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-13: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-15: F 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 LTL SRCH 151/3215 1/5 ViralEpidemic-PT-S02D1C1A12-LTLFireability-11 3745941 m, 24071 m/sec, 18869364 t fired, .
Time elapsed: 536 secs. Pages in use: 2
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ViralEpidemic-PT-S02D1C1A12-LTLFireability-01: CONJ false preprocessing
ViralEpidemic-PT-S02D1C1A12-LTLFireability-09: CONJ false state space
ViralEpidemic-PT-S02D1C1A12-LTLFireability-14: CONJ false state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ViralEpidemic-PT-S02D1C1A12-LTLFireability-00: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-02: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-03: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-04: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-05: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-06: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-07: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-08: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-10: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-11: LTL 0 0 1 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-12: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-13: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-15: F 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 LTL SRCH 156/3215 1/5 ViralEpidemic-PT-S02D1C1A12-LTLFireability-11 3865036 m, 23819 m/sec, 19525865 t fired, .
Time elapsed: 541 secs. Pages in use: 2
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ViralEpidemic-PT-S02D1C1A12-LTLFireability-01: CONJ false preprocessing
ViralEpidemic-PT-S02D1C1A12-LTLFireability-09: CONJ false state space
ViralEpidemic-PT-S02D1C1A12-LTLFireability-14: CONJ false state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ViralEpidemic-PT-S02D1C1A12-LTLFireability-00: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-02: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-03: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-04: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-05: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-06: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-07: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-08: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-10: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-11: LTL 0 0 1 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-12: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-13: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-15: F 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 LTL SRCH 161/3215 1/5 ViralEpidemic-PT-S02D1C1A12-LTLFireability-11 3988615 m, 24715 m/sec, 20199697 t fired, .
Time elapsed: 546 secs. Pages in use: 2
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ViralEpidemic-PT-S02D1C1A12-LTLFireability-01: CONJ false preprocessing
ViralEpidemic-PT-S02D1C1A12-LTLFireability-09: CONJ false state space
ViralEpidemic-PT-S02D1C1A12-LTLFireability-14: CONJ false state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ViralEpidemic-PT-S02D1C1A12-LTLFireability-00: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-02: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-03: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-04: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-05: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-06: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-07: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-08: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-10: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-11: LTL 0 0 1 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-12: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-13: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-15: F 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 LTL SRCH 166/3215 1/5 ViralEpidemic-PT-S02D1C1A12-LTLFireability-11 4114631 m, 25203 m/sec, 20841917 t fired, .
Time elapsed: 551 secs. Pages in use: 2
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ViralEpidemic-PT-S02D1C1A12-LTLFireability-01: CONJ false preprocessing
ViralEpidemic-PT-S02D1C1A12-LTLFireability-09: CONJ false state space
ViralEpidemic-PT-S02D1C1A12-LTLFireability-14: CONJ false state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ViralEpidemic-PT-S02D1C1A12-LTLFireability-00: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-02: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-03: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-04: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-05: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-06: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-07: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-08: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-10: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-11: LTL 0 0 1 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-12: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-13: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-15: F 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 LTL SRCH 171/3215 1/5 ViralEpidemic-PT-S02D1C1A12-LTLFireability-11 4230730 m, 23219 m/sec, 21477495 t fired, .
Time elapsed: 556 secs. Pages in use: 2
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ViralEpidemic-PT-S02D1C1A12-LTLFireability-01: CONJ false preprocessing
ViralEpidemic-PT-S02D1C1A12-LTLFireability-09: CONJ false state space
ViralEpidemic-PT-S02D1C1A12-LTLFireability-14: CONJ false state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ViralEpidemic-PT-S02D1C1A12-LTLFireability-00: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-02: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-03: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-04: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-05: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-06: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-07: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-08: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-10: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-11: LTL 0 0 1 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-12: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-13: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-15: F 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 LTL SRCH 176/3215 1/5 ViralEpidemic-PT-S02D1C1A12-LTLFireability-11 4351786 m, 24211 m/sec, 22148716 t fired, .
Time elapsed: 561 secs. Pages in use: 2
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ViralEpidemic-PT-S02D1C1A12-LTLFireability-01: CONJ false preprocessing
ViralEpidemic-PT-S02D1C1A12-LTLFireability-09: CONJ false state space
ViralEpidemic-PT-S02D1C1A12-LTLFireability-14: CONJ false state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ViralEpidemic-PT-S02D1C1A12-LTLFireability-00: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-02: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-03: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-04: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-05: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-06: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-07: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-08: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-10: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-11: LTL 0 0 1 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-12: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-13: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-15: F 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 LTL SRCH 181/3215 1/5 ViralEpidemic-PT-S02D1C1A12-LTLFireability-11 4473015 m, 24245 m/sec, 22773714 t fired, .
Time elapsed: 566 secs. Pages in use: 2
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ViralEpidemic-PT-S02D1C1A12-LTLFireability-01: CONJ false preprocessing
ViralEpidemic-PT-S02D1C1A12-LTLFireability-09: CONJ false state space
ViralEpidemic-PT-S02D1C1A12-LTLFireability-14: CONJ false state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ViralEpidemic-PT-S02D1C1A12-LTLFireability-00: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-02: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-03: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-04: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-05: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-06: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-07: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-08: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-10: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-11: LTL 0 0 1 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-12: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-13: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-15: F 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 LTL SRCH 186/3215 1/5 ViralEpidemic-PT-S02D1C1A12-LTLFireability-11 4585285 m, 22454 m/sec, 23407583 t fired, .
Time elapsed: 571 secs. Pages in use: 2
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ViralEpidemic-PT-S02D1C1A12-LTLFireability-01: CONJ false preprocessing
ViralEpidemic-PT-S02D1C1A12-LTLFireability-09: CONJ false state space
ViralEpidemic-PT-S02D1C1A12-LTLFireability-14: CONJ false state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ViralEpidemic-PT-S02D1C1A12-LTLFireability-00: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-02: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-03: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-04: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-05: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-06: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-07: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-08: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-10: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-11: LTL 0 0 1 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-12: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-13: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-15: F 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 LTL SRCH 191/3215 1/5 ViralEpidemic-PT-S02D1C1A12-LTLFireability-11 4702468 m, 23436 m/sec, 24066134 t fired, .
Time elapsed: 576 secs. Pages in use: 2
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ViralEpidemic-PT-S02D1C1A12-LTLFireability-01: CONJ false preprocessing
ViralEpidemic-PT-S02D1C1A12-LTLFireability-09: CONJ false state space
ViralEpidemic-PT-S02D1C1A12-LTLFireability-14: CONJ false state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ViralEpidemic-PT-S02D1C1A12-LTLFireability-00: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-02: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-03: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-04: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-05: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-06: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-07: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-08: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-10: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-11: LTL 0 0 1 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-12: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-13: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-15: F 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 LTL SRCH 196/3215 1/5 ViralEpidemic-PT-S02D1C1A12-LTLFireability-11 4824307 m, 24367 m/sec, 24694724 t fired, .
Time elapsed: 581 secs. Pages in use: 2
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ViralEpidemic-PT-S02D1C1A12-LTLFireability-01: CONJ false preprocessing
ViralEpidemic-PT-S02D1C1A12-LTLFireability-09: CONJ false state space
ViralEpidemic-PT-S02D1C1A12-LTLFireability-14: CONJ false state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ViralEpidemic-PT-S02D1C1A12-LTLFireability-00: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-02: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-03: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-04: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-05: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-06: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-07: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-08: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-10: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-11: LTL 0 0 1 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-12: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-13: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-15: F 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 LTL SRCH 201/3215 1/5 ViralEpidemic-PT-S02D1C1A12-LTLFireability-11 4935282 m, 22195 m/sec, 25321823 t fired, .
Time elapsed: 586 secs. Pages in use: 2
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ViralEpidemic-PT-S02D1C1A12-LTLFireability-01: CONJ false preprocessing
ViralEpidemic-PT-S02D1C1A12-LTLFireability-09: CONJ false state space
ViralEpidemic-PT-S02D1C1A12-LTLFireability-14: CONJ false state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ViralEpidemic-PT-S02D1C1A12-LTLFireability-00: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-02: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-03: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-04: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-05: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-06: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-07: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-08: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-10: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-11: LTL 0 0 1 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-12: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-13: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-15: F 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 LTL SRCH 206/3215 1/5 ViralEpidemic-PT-S02D1C1A12-LTLFireability-11 5049277 m, 22799 m/sec, 25971345 t fired, .
Time elapsed: 591 secs. Pages in use: 2
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ViralEpidemic-PT-S02D1C1A12-LTLFireability-01: CONJ false preprocessing
ViralEpidemic-PT-S02D1C1A12-LTLFireability-09: CONJ false state space
ViralEpidemic-PT-S02D1C1A12-LTLFireability-14: CONJ false state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ViralEpidemic-PT-S02D1C1A12-LTLFireability-00: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-02: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-03: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-04: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-05: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-06: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-07: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-08: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-10: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-11: LTL 0 0 1 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-12: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-13: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-15: F 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 LTL SRCH 211/3215 1/5 ViralEpidemic-PT-S02D1C1A12-LTLFireability-11 5173155 m, 24775 m/sec, 26636558 t fired, .
Time elapsed: 596 secs. Pages in use: 2
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ViralEpidemic-PT-S02D1C1A12-LTLFireability-01: CONJ false preprocessing
ViralEpidemic-PT-S02D1C1A12-LTLFireability-09: CONJ false state space
ViralEpidemic-PT-S02D1C1A12-LTLFireability-14: CONJ false state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ViralEpidemic-PT-S02D1C1A12-LTLFireability-00: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-02: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-03: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-04: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-05: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-06: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-07: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-08: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-10: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-11: LTL 0 0 1 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-12: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-13: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-15: F 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 LTL SRCH 216/3215 1/5 ViralEpidemic-PT-S02D1C1A12-LTLFireability-11 5290343 m, 23437 m/sec, 27276867 t fired, .
Time elapsed: 601 secs. Pages in use: 2
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ViralEpidemic-PT-S02D1C1A12-LTLFireability-01: CONJ false preprocessing
ViralEpidemic-PT-S02D1C1A12-LTLFireability-09: CONJ false state space
ViralEpidemic-PT-S02D1C1A12-LTLFireability-14: CONJ false state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ViralEpidemic-PT-S02D1C1A12-LTLFireability-00: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-02: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-03: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-04: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-05: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-06: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-07: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-08: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-10: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-11: LTL 0 0 1 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-12: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-13: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-15: F 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 LTL SRCH 221/3215 1/5 ViralEpidemic-PT-S02D1C1A12-LTLFireability-11 5402868 m, 22505 m/sec, 27912375 t fired, .
Time elapsed: 606 secs. Pages in use: 2
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ViralEpidemic-PT-S02D1C1A12-LTLFireability-01: CONJ false preprocessing
ViralEpidemic-PT-S02D1C1A12-LTLFireability-09: CONJ false state space
ViralEpidemic-PT-S02D1C1A12-LTLFireability-14: CONJ false state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ViralEpidemic-PT-S02D1C1A12-LTLFireability-00: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-02: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-03: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-04: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-05: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-06: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-07: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-08: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-10: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-11: LTL 0 0 1 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-12: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-13: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-15: F 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 LTL SRCH 226/3215 1/5 ViralEpidemic-PT-S02D1C1A12-LTLFireability-11 5516157 m, 22657 m/sec, 28573544 t fired, .
Time elapsed: 611 secs. Pages in use: 2
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ViralEpidemic-PT-S02D1C1A12-LTLFireability-01: CONJ false preprocessing
ViralEpidemic-PT-S02D1C1A12-LTLFireability-09: CONJ false state space
ViralEpidemic-PT-S02D1C1A12-LTLFireability-14: CONJ false state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ViralEpidemic-PT-S02D1C1A12-LTLFireability-00: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-02: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-03: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-04: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-05: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-06: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-07: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-08: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-10: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-11: LTL 0 0 1 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-12: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-13: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-15: F 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 LTL SRCH 231/3215 1/5 ViralEpidemic-PT-S02D1C1A12-LTLFireability-11 5637192 m, 24207 m/sec, 29236859 t fired, .
Time elapsed: 616 secs. Pages in use: 2
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ViralEpidemic-PT-S02D1C1A12-LTLFireability-01: CONJ false preprocessing
ViralEpidemic-PT-S02D1C1A12-LTLFireability-09: CONJ false state space
ViralEpidemic-PT-S02D1C1A12-LTLFireability-14: CONJ false state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ViralEpidemic-PT-S02D1C1A12-LTLFireability-00: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-02: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-03: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-04: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-05: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-06: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-07: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-08: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-10: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-11: LTL 0 0 1 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-12: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-13: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-15: F 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 LTL SRCH 236/3215 1/5 ViralEpidemic-PT-S02D1C1A12-LTLFireability-11 5756044 m, 23770 m/sec, 29874109 t fired, .
Time elapsed: 621 secs. Pages in use: 2
# running tasks: 1 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).
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ViralEpidemic-PT-S02D1C1A12-LTLFireability-01: CONJ false preprocessing
ViralEpidemic-PT-S02D1C1A12-LTLFireability-09: CONJ false state space
ViralEpidemic-PT-S02D1C1A12-LTLFireability-14: CONJ false state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ViralEpidemic-PT-S02D1C1A12-LTLFireability-00: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-02: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-03: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-04: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-05: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-06: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-07: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-08: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-10: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-11: LTL 0 0 1 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-12: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-13: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-15: F 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 LTL SRCH 241/3215 1/5 ViralEpidemic-PT-S02D1C1A12-LTLFireability-11 5943008 m, 37392 m/sec, 30938599 t fired, .
Time elapsed: 626 secs. Pages in use: 2
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ViralEpidemic-PT-S02D1C1A12-LTLFireability-01: CONJ false preprocessing
ViralEpidemic-PT-S02D1C1A12-LTLFireability-09: CONJ false state space
ViralEpidemic-PT-S02D1C1A12-LTLFireability-14: CONJ false state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ViralEpidemic-PT-S02D1C1A12-LTLFireability-00: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-02: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-03: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-04: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-05: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-06: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-07: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-08: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-10: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-11: LTL 0 0 1 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-12: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-13: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-15: F 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 LTL SRCH 246/3215 1/5 ViralEpidemic-PT-S02D1C1A12-LTLFireability-11 6142223 m, 39843 m/sec, 32117656 t fired, .
Time elapsed: 631 secs. Pages in use: 2
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ViralEpidemic-PT-S02D1C1A12-LTLFireability-01: CONJ false preprocessing
ViralEpidemic-PT-S02D1C1A12-LTLFireability-09: CONJ false state space
ViralEpidemic-PT-S02D1C1A12-LTLFireability-14: CONJ false state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ViralEpidemic-PT-S02D1C1A12-LTLFireability-00: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-02: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-03: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-04: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-05: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-06: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-07: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-08: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-10: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-11: LTL 0 0 1 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-12: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-13: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-15: F 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 LTL SRCH 254/3215 1/5 ViralEpidemic-PT-S02D1C1A12-LTLFireability-11 6275733 m, 26702 m/sec, 32804937 t fired, .
Time elapsed: 639 secs. Pages in use: 2
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ViralEpidemic-PT-S02D1C1A12-LTLFireability-01: CONJ false preprocessing
ViralEpidemic-PT-S02D1C1A12-LTLFireability-09: CONJ false state space
ViralEpidemic-PT-S02D1C1A12-LTLFireability-14: CONJ false state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ViralEpidemic-PT-S02D1C1A12-LTLFireability-00: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-02: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-03: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-04: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-05: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-06: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-07: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-08: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-10: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-11: LTL 0 0 1 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-12: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-13: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-15: F 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 LTL SRCH 259/3215 1/5 ViralEpidemic-PT-S02D1C1A12-LTLFireability-11 6292213 m, 3296 m/sec, 32897013 t fired, .
Time elapsed: 644 secs. Pages in use: 2
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ViralEpidemic-PT-S02D1C1A12-LTLFireability-01: CONJ false preprocessing
ViralEpidemic-PT-S02D1C1A12-LTLFireability-09: CONJ false state space
ViralEpidemic-PT-S02D1C1A12-LTLFireability-14: CONJ false state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ViralEpidemic-PT-S02D1C1A12-LTLFireability-00: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-02: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-03: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-04: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-05: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-06: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-07: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-08: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-10: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-11: LTL 0 0 1 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-12: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-13: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-15: F 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 LTL SRCH 264/3215 1/5 ViralEpidemic-PT-S02D1C1A12-LTLFireability-11 6304032 m, 2363 m/sec, 32962766 t fired, .
Time elapsed: 649 secs. Pages in use: 2
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ViralEpidemic-PT-S02D1C1A12-LTLFireability-01: CONJ false preprocessing
ViralEpidemic-PT-S02D1C1A12-LTLFireability-09: CONJ false state space
ViralEpidemic-PT-S02D1C1A12-LTLFireability-14: CONJ false state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ViralEpidemic-PT-S02D1C1A12-LTLFireability-00: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-02: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-03: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-04: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-05: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-06: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-07: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-08: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-10: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-11: LTL 0 0 1 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-12: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-13: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-15: F 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 LTL SRCH 269/3215 1/5 ViralEpidemic-PT-S02D1C1A12-LTLFireability-11 6315173 m, 2228 m/sec, 33023853 t fired, .
Time elapsed: 654 secs. Pages in use: 2
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ViralEpidemic-PT-S02D1C1A12-LTLFireability-01: CONJ false preprocessing
ViralEpidemic-PT-S02D1C1A12-LTLFireability-09: CONJ false state space
ViralEpidemic-PT-S02D1C1A12-LTLFireability-14: CONJ false state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ViralEpidemic-PT-S02D1C1A12-LTLFireability-00: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-02: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-03: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-04: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-05: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-06: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-07: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-08: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-10: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-11: LTL 0 0 1 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-12: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-13: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-15: F 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 LTL SRCH 274/3215 1/5 ViralEpidemic-PT-S02D1C1A12-LTLFireability-11 6328294 m, 2624 m/sec, 33100235 t fired, .
Time elapsed: 659 secs. Pages in use: 2
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ViralEpidemic-PT-S02D1C1A12-LTLFireability-01: CONJ false preprocessing
ViralEpidemic-PT-S02D1C1A12-LTLFireability-09: CONJ false state space
ViralEpidemic-PT-S02D1C1A12-LTLFireability-14: CONJ false state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ViralEpidemic-PT-S02D1C1A12-LTLFireability-00: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-02: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-03: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-04: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-05: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-06: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-07: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-08: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-10: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-11: LTL 0 0 1 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-12: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-13: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-15: F 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 LTL SRCH 279/3215 1/5 ViralEpidemic-PT-S02D1C1A12-LTLFireability-11 6339961 m, 2333 m/sec, 33165542 t fired, .
Time elapsed: 664 secs. Pages in use: 2
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ViralEpidemic-PT-S02D1C1A12-LTLFireability-01: CONJ false preprocessing
ViralEpidemic-PT-S02D1C1A12-LTLFireability-09: CONJ false state space
ViralEpidemic-PT-S02D1C1A12-LTLFireability-14: CONJ false state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ViralEpidemic-PT-S02D1C1A12-LTLFireability-00: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-02: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-03: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-04: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-05: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-06: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-07: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-08: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-10: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-11: LTL 0 0 1 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-12: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-13: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-15: F 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 LTL SRCH 284/3215 1/5 ViralEpidemic-PT-S02D1C1A12-LTLFireability-11 6347464 m, 1500 m/sec, 33209472 t fired, .
Time elapsed: 669 secs. Pages in use: 2
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ViralEpidemic-PT-S02D1C1A12-LTLFireability-01: CONJ false preprocessing
ViralEpidemic-PT-S02D1C1A12-LTLFireability-09: CONJ false state space
ViralEpidemic-PT-S02D1C1A12-LTLFireability-14: CONJ false state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ViralEpidemic-PT-S02D1C1A12-LTLFireability-00: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-02: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-03: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-04: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-05: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-06: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-07: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-08: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-10: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-11: LTL 0 0 1 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-12: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-13: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-15: F 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 LTL SRCH 289/3215 1/5 ViralEpidemic-PT-S02D1C1A12-LTLFireability-11 6365413 m, 3589 m/sec, 33310124 t fired, .
Time elapsed: 674 secs. Pages in use: 2
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ViralEpidemic-PT-S02D1C1A12-LTLFireability-01: CONJ false preprocessing
ViralEpidemic-PT-S02D1C1A12-LTLFireability-09: CONJ false state space
ViralEpidemic-PT-S02D1C1A12-LTLFireability-14: CONJ false state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ViralEpidemic-PT-S02D1C1A12-LTLFireability-00: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-02: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-03: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-04: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-05: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-06: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-07: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-08: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-10: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-11: LTL 0 0 1 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-12: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-13: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-15: F 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 LTL SRCH 294/3215 1/5 ViralEpidemic-PT-S02D1C1A12-LTLFireability-11 6385872 m, 4091 m/sec, 33427826 t fired, .
Time elapsed: 679 secs. Pages in use: 2
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ViralEpidemic-PT-S02D1C1A12-LTLFireability-01: CONJ false preprocessing
ViralEpidemic-PT-S02D1C1A12-LTLFireability-09: CONJ false state space
ViralEpidemic-PT-S02D1C1A12-LTLFireability-14: CONJ false state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ViralEpidemic-PT-S02D1C1A12-LTLFireability-00: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-02: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-03: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-04: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-05: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-06: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-07: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-08: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-10: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-11: LTL 0 0 1 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-12: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-13: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-15: F 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 LTL SRCH 299/3215 1/5 ViralEpidemic-PT-S02D1C1A12-LTLFireability-11 6407407 m, 4307 m/sec, 33542482 t fired, .
Time elapsed: 684 secs. Pages in use: 2
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ViralEpidemic-PT-S02D1C1A12-LTLFireability-01: CONJ false preprocessing
ViralEpidemic-PT-S02D1C1A12-LTLFireability-09: CONJ false state space
ViralEpidemic-PT-S02D1C1A12-LTLFireability-14: CONJ false state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ViralEpidemic-PT-S02D1C1A12-LTLFireability-00: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-02: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-03: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-04: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-05: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-06: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-07: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-08: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-10: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-11: LTL 0 0 1 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-12: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-13: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-15: F 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 LTL SRCH 304/3215 1/5 ViralEpidemic-PT-S02D1C1A12-LTLFireability-11 6435880 m, 5694 m/sec, 33707816 t fired, .
Time elapsed: 689 secs. Pages in use: 2
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ViralEpidemic-PT-S02D1C1A12-LTLFireability-01: CONJ false preprocessing
ViralEpidemic-PT-S02D1C1A12-LTLFireability-09: CONJ false state space
ViralEpidemic-PT-S02D1C1A12-LTLFireability-14: CONJ false state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ViralEpidemic-PT-S02D1C1A12-LTLFireability-00: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-02: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-03: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-04: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-05: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-06: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-07: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-08: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-10: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-11: LTL 0 0 1 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-12: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-13: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-15: F 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 LTL SRCH 309/3215 2/5 ViralEpidemic-PT-S02D1C1A12-LTLFireability-11 6488538 m, 10531 m/sec, 34010682 t fired, .
Time elapsed: 694 secs. Pages in use: 2
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ViralEpidemic-PT-S02D1C1A12-LTLFireability-01: CONJ false preprocessing
ViralEpidemic-PT-S02D1C1A12-LTLFireability-09: CONJ false state space
ViralEpidemic-PT-S02D1C1A12-LTLFireability-14: CONJ false state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ViralEpidemic-PT-S02D1C1A12-LTLFireability-00: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-02: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-03: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-04: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-05: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-06: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-07: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-08: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-10: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-11: LTL 0 0 1 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-12: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-13: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-15: F 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 LTL SRCH 314/3215 2/5 ViralEpidemic-PT-S02D1C1A12-LTLFireability-11 6525281 m, 7348 m/sec, 34223822 t fired, .
Time elapsed: 699 secs. Pages in use: 2
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ViralEpidemic-PT-S02D1C1A12-LTLFireability-01: CONJ false preprocessing
ViralEpidemic-PT-S02D1C1A12-LTLFireability-09: CONJ false state space
ViralEpidemic-PT-S02D1C1A12-LTLFireability-14: CONJ false state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ViralEpidemic-PT-S02D1C1A12-LTLFireability-00: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-02: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-03: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-04: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-05: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-06: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-07: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-08: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-10: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-11: LTL 0 0 1 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-12: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-13: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-15: F 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 LTL SRCH 319/3215 2/5 ViralEpidemic-PT-S02D1C1A12-LTLFireability-11 6551302 m, 5204 m/sec, 34377583 t fired, .
Time elapsed: 704 secs. Pages in use: 2
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ViralEpidemic-PT-S02D1C1A12-LTLFireability-01: CONJ false preprocessing
ViralEpidemic-PT-S02D1C1A12-LTLFireability-09: CONJ false state space
ViralEpidemic-PT-S02D1C1A12-LTLFireability-14: CONJ false state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ViralEpidemic-PT-S02D1C1A12-LTLFireability-00: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-02: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-03: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-04: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-05: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-06: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-07: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-08: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-10: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-11: LTL 0 0 1 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-12: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-13: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-15: F 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 LTL SRCH 324/3215 2/5 ViralEpidemic-PT-S02D1C1A12-LTLFireability-11 6574015 m, 4542 m/sec, 34507944 t fired, .
Time elapsed: 709 secs. Pages in use: 2
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ViralEpidemic-PT-S02D1C1A12-LTLFireability-01: CONJ false preprocessing
ViralEpidemic-PT-S02D1C1A12-LTLFireability-09: CONJ false state space
ViralEpidemic-PT-S02D1C1A12-LTLFireability-14: CONJ false state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ViralEpidemic-PT-S02D1C1A12-LTLFireability-00: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-02: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-03: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-04: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-05: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-06: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-07: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-08: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-10: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-11: LTL 0 0 1 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-12: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-13: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-15: F 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 LTL SRCH 329/3215 3/5 ViralEpidemic-PT-S02D1C1A12-LTLFireability-11 6592805 m, 3758 m/sec, 34622347 t fired, .
Time elapsed: 714 secs. Pages in use: 3
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ViralEpidemic-PT-S02D1C1A12-LTLFireability-01: CONJ false preprocessing
ViralEpidemic-PT-S02D1C1A12-LTLFireability-09: CONJ false state space
ViralEpidemic-PT-S02D1C1A12-LTLFireability-14: CONJ false state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ViralEpidemic-PT-S02D1C1A12-LTLFireability-00: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-02: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-03: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-04: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-05: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-06: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-07: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-08: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-10: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-11: LTL 0 0 1 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-12: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-13: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-15: F 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 LTL SRCH 334/3215 3/5 ViralEpidemic-PT-S02D1C1A12-LTLFireability-11 6630868 m, 7612 m/sec, 34848724 t fired, .
Time elapsed: 719 secs. Pages in use: 3
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ViralEpidemic-PT-S02D1C1A12-LTLFireability-01: CONJ false preprocessing
ViralEpidemic-PT-S02D1C1A12-LTLFireability-09: CONJ false state space
ViralEpidemic-PT-S02D1C1A12-LTLFireability-14: CONJ false state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ViralEpidemic-PT-S02D1C1A12-LTLFireability-00: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-02: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-03: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-04: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-05: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-06: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-07: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-08: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-10: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-11: LTL 0 0 1 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-12: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-13: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-15: F 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 LTL SRCH 339/3215 3/5 ViralEpidemic-PT-S02D1C1A12-LTLFireability-11 6657184 m, 5263 m/sec, 35000032 t fired, .
Time elapsed: 724 secs. Pages in use: 3
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ViralEpidemic-PT-S02D1C1A12-LTLFireability-01: CONJ false preprocessing
ViralEpidemic-PT-S02D1C1A12-LTLFireability-09: CONJ false state space
ViralEpidemic-PT-S02D1C1A12-LTLFireability-14: CONJ false state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ViralEpidemic-PT-S02D1C1A12-LTLFireability-00: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-02: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-03: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-04: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-05: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-06: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-07: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-08: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-10: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-11: LTL 0 0 1 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-12: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-13: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-15: F 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 LTL SRCH 344/3215 3/5 ViralEpidemic-PT-S02D1C1A12-LTLFireability-11 6687433 m, 6049 m/sec, 35181660 t fired, .
Time elapsed: 729 secs. Pages in use: 3
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ViralEpidemic-PT-S02D1C1A12-LTLFireability-01: CONJ false preprocessing
ViralEpidemic-PT-S02D1C1A12-LTLFireability-09: CONJ false state space
ViralEpidemic-PT-S02D1C1A12-LTLFireability-14: CONJ false state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ViralEpidemic-PT-S02D1C1A12-LTLFireability-00: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-02: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-03: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-04: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-05: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-06: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-07: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-08: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-10: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-11: LTL 0 0 1 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-12: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-13: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-15: F 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 LTL SRCH 349/3215 3/5 ViralEpidemic-PT-S02D1C1A12-LTLFireability-11 6704662 m, 3445 m/sec, 35288232 t fired, .
Time elapsed: 734 secs. Pages in use: 3
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ViralEpidemic-PT-S02D1C1A12-LTLFireability-01: CONJ false preprocessing
ViralEpidemic-PT-S02D1C1A12-LTLFireability-09: CONJ false state space
ViralEpidemic-PT-S02D1C1A12-LTLFireability-14: CONJ false state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ViralEpidemic-PT-S02D1C1A12-LTLFireability-00: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-02: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-03: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-04: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-05: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-06: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-07: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-08: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-10: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-11: LTL 0 0 1 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-12: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-13: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-15: F 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 LTL SRCH 354/3215 4/5 ViralEpidemic-PT-S02D1C1A12-LTLFireability-11 6752354 m, 9538 m/sec, 35571391 t fired, .
Time elapsed: 739 secs. Pages in use: 4
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ViralEpidemic-PT-S02D1C1A12-LTLFireability-01: CONJ false preprocessing
ViralEpidemic-PT-S02D1C1A12-LTLFireability-09: CONJ false state space
ViralEpidemic-PT-S02D1C1A12-LTLFireability-14: CONJ false state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ViralEpidemic-PT-S02D1C1A12-LTLFireability-00: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-02: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-03: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-04: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-05: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-06: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-07: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-08: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-10: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-11: LTL 0 0 1 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-12: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-13: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-15: F 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 LTL SRCH 359/3215 4/5 ViralEpidemic-PT-S02D1C1A12-LTLFireability-11 6840194 m, 17568 m/sec, 36043995 t fired, .
Time elapsed: 744 secs. Pages in use: 4
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ViralEpidemic-PT-S02D1C1A12-LTLFireability-01: CONJ false preprocessing
ViralEpidemic-PT-S02D1C1A12-LTLFireability-09: CONJ false state space
ViralEpidemic-PT-S02D1C1A12-LTLFireability-14: CONJ false state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ViralEpidemic-PT-S02D1C1A12-LTLFireability-00: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-02: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-03: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-04: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-05: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-06: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-07: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-08: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-10: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-11: LTL 0 0 1 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-12: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-13: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-15: F 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 LTL SRCH 364/3215 5/5 ViralEpidemic-PT-S02D1C1A12-LTLFireability-11 6896572 m, 11275 m/sec, 36332956 t fired, .
Time elapsed: 749 secs. Pages in use: 5
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ViralEpidemic-PT-S02D1C1A12-LTLFireability-01: CONJ false preprocessing
ViralEpidemic-PT-S02D1C1A12-LTLFireability-09: CONJ false state space
ViralEpidemic-PT-S02D1C1A12-LTLFireability-14: CONJ false state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ViralEpidemic-PT-S02D1C1A12-LTLFireability-00: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-02: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-03: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-04: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-05: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-06: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-07: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-08: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-10: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-11: LTL 0 0 1 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-12: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-13: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-15: F 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 LTL SRCH 369/3215 5/5 ViralEpidemic-PT-S02D1C1A12-LTLFireability-11 6930371 m, 6759 m/sec, 36521331 t fired, .
Time elapsed: 754 secs. Pages in use: 5
# running tasks: 1 of 4 Visible: 16
lola: rewrite Frontend/Parser/formula_rewrite.k:749
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: LAUNCH task # 43 (type EXCL) for 42 ViralEpidemic-PT-S02D1C1A12-LTLFireability-10
lola: time limit : 218 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ViralEpidemic-PT-S02D1C1A12-LTLFireability-01: CONJ false preprocessing
ViralEpidemic-PT-S02D1C1A12-LTLFireability-09: CONJ false state space
ViralEpidemic-PT-S02D1C1A12-LTLFireability-14: CONJ false state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ViralEpidemic-PT-S02D1C1A12-LTLFireability-00: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-02: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-03: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-04: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-05: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-06: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-07: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-08: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-10: LTL 0 0 1 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-11: LTL 0 0 1 0 0 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-12: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-13: LTL 0 0 0 0 1 0 0 0
ViralEpidemic-PT-S02D1C1A12-LTLFireability-15: F 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
43 LTL EXCL 3/218 0/32 ViralEpidemic-PT-S02D1C1A12-LTLFireability-10 --
70 LTL SRCH 376/3215 5/5 ViralEpidemic-PT-S02D1C1A12-LTLFireability-11 6964886 m, 6903 m/sec, 36715112 t fired, .
Time elapsed: 761 secs. Pages in use: 5
# running tasks: 2 of 4 Visible: 16
lola: CANCELED task # 70 (type SRCH) for ViralEpidemic-PT-S02D1C1A12-LTLFireability-11 (memory limit exceeded)
/home/mcc/BenchKit/bin//../lola/bin//../BenchKit_head.sh: line 63: 375 Killed lola --conf=$BIN_DIR/configfiles/ltlfireabilityconf --formula=$DIR/LTLFireability.xml --verdictfile=$DIR/GenericPropertiesVerdict.xml $DIR/model.pnml
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ViralEpidemic-PT-S02D1C1A12"
export BK_EXAMINATION="LTLFireability"
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 ViralEpidemic-PT-S02D1C1A12, examination is LTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r486-tall-167912702301252"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ViralEpidemic-PT-S02D1C1A12.tgz
mv ViralEpidemic-PT-S02D1C1A12 execution
cd execution
if [ "LTLFireability" = "ReachabilityDeadlock" ] || [ "LTLFireability" = "UpperBounds" ] || [ "LTLFireability" = "QuasiLiveness" ] || [ "LTLFireability" = "StableMarking" ] || [ "LTLFireability" = "Liveness" ] || [ "LTLFireability" = "OneSafe" ] || [ "LTLFireability" = "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 [ "LTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLFireability" != "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 "LTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLFireability.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 [ "LTLFireability" = "ReachabilityDeadlock" ] || [ "LTLFireability" = "QuasiLiveness" ] || [ "LTLFireability" = "StableMarking" ] || [ "LTLFireability" = "Liveness" ] || [ "LTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME LTLFireability"
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 ;