About the Execution of LoLA for JoinFreeModules-PT-5000
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16223.371 | 725626.00 | 1466241.00 | 1184.10 | ??????T??T???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/mcc2021-input.r118-tall-162075403100476.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2021-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool lola
Input is JoinFreeModules-PT-5000, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r118-tall-162075403100476
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 29M
-rw-r--r-- 1 mcc users 13K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 104K May 10 09:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 13K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 99K May 10 09:43 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K May 6 14:48 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.5K Mar 28 16:17 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Mar 28 16:17 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Mar 28 16:17 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 28 16:17 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Mar 27 06:01 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 27 06:01 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 25 07:08 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 25 07:08 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 22 09:15 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 22 09:15 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 5 16:51 equiv_col
-rw-r--r-- 1 mcc users 5 May 5 16:51 instance
-rw-r--r-- 1 mcc users 6 May 5 16:51 iscolored
-rw-r--r-- 1 mcc users 29M May 5 16:51 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 JoinFreeModules-PT-5000-00
FORMULA_NAME JoinFreeModules-PT-5000-01
FORMULA_NAME JoinFreeModules-PT-5000-02
FORMULA_NAME JoinFreeModules-PT-5000-03
FORMULA_NAME JoinFreeModules-PT-5000-04
FORMULA_NAME JoinFreeModules-PT-5000-05
FORMULA_NAME JoinFreeModules-PT-5000-06
FORMULA_NAME JoinFreeModules-PT-5000-07
FORMULA_NAME JoinFreeModules-PT-5000-08
FORMULA_NAME JoinFreeModules-PT-5000-09
FORMULA_NAME JoinFreeModules-PT-5000-10
FORMULA_NAME JoinFreeModules-PT-5000-11
FORMULA_NAME JoinFreeModules-PT-5000-12
FORMULA_NAME JoinFreeModules-PT-5000-13
FORMULA_NAME JoinFreeModules-PT-5000-14
FORMULA_NAME JoinFreeModules-PT-5000-15
=== Now, execution of the tool begins
BK_START 1620813236097
starting LoLA
BK_INPUT JoinFreeModules-PT-5000
BK_EXAMINATION: LTLCardinality
bin directory: /home/mcc/BenchKit/bin
current directory: /home/mcc/execution
LTLCardinality
FORMULA JoinFreeModules-PT-5000-09 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA JoinFreeModules-PT-5000-06 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA JoinFreeModules-PT-5000-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
BK_STOP 1620813961723
--------------------
content from stderr:
lola: MEM LIMIT 32
lola: MEM LIMIT 5
lola: NET
lola: input: PNML file (--pnmlnet)
lola: reading net from /home/mcc/execution/model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file /home/mcc/execution/model.pnml
lola: Reading formula.
lola: Using XML format (--xmlformula)
lola: reading XML formula
lola: reading formula from /home/mcc/execution/LTLCardinality.xml
lola: rewrite Frontend/Parser/formula_rewrite.k:334
lola: rewrite Frontend/Parser/formula_rewrite.k:334
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:337
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:299
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: RELEASE
lola: rewrite Frontend/Parser/formula_rewrite.k:535
lola: rewrite Frontend/Parser/formula_rewrite.k:355
lola: rewrite Frontend/Parser/formula_rewrite.k:379
lola: rewrite Frontend/Parser/formula_rewrite.k:250
lola: rewrite Frontend/Parser/formula_rewrite.k:550
lola: rewrite Frontend/Parser/formula_rewrite.k:550
lola: rewrite Frontend/Parser/formula_rewrite.k:379
lola: rewrite Frontend/Parser/formula_rewrite.k:373
lola: rewrite Frontend/Parser/formula_rewrite.k:317
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:331
lola: rewrite Frontend/Parser/formula_rewrite.k:328
lola: rewrite Frontend/Parser/formula_rewrite.k:314
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:334
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:376
lola: rewrite Frontend/Parser/formula_rewrite.k:250
lola: rewrite Frontend/Parser/formula_rewrite.k:328
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:250
lola: rewrite Frontend/Parser/formula_rewrite.k:250
lola: rewrite Frontend/Parser/formula_rewrite.k:535
lola: rewrite Frontend/Parser/formula_rewrite.k:150
lola: rewrite Frontend/Parser/formula_rewrite.k:535
lola: rewrite Frontend/Parser/formula_rewrite.k:535
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:373
lola: rewrite Frontend/Parser/formula_rewrite.k:331
lola: rewrite Frontend/Parser/formula_rewrite.k:328
lola: rewrite Frontend/Parser/formula_rewrite.k:314
lola: rewrite Frontend/Parser/formula_rewrite.k:331
lola: rewrite Frontend/Parser/formula_rewrite.k:317
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:334
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:317
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:317
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:334
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:314
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:331
lola: rewrite Frontend/Parser/formula_rewrite.k:317
lola: rewrite Frontend/Parser/formula_rewrite.k:328
lola: rewrite Frontend/Parser/formula_rewrite.k:314
lola: rewrite Frontend/Parser/formula_rewrite.k:299
lola: rewrite Frontend/Parser/formula_rewrite.k:334
lola: rewrite Frontend/Parser/formula_rewrite.k:299
lola: rewrite Frontend/Parser/formula_rewrite.k:314
lola: rewrite Frontend/Parser/formula_rewrite.k:299
lola: rewrite Frontend/Parser/formula_rewrite.k:314
lola: rewrite Frontend/Parser/formula_rewrite.k:299
lola: rewrite Frontend/Parser/formula_rewrite.k:334
lola: rewrite Frontend/Parser/formula_rewrite.k:299
lola: rewrite Frontend/Parser/formula_rewrite.k:98
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:346
lola: rewrite Frontend/Parser/formula_rewrite.k:334
lola: rewrite Frontend/Parser/formula_rewrite.k:331
lola: rewrite Frontend/Parser/formula_rewrite.k:299
lola: rewrite Frontend/Parser/formula_rewrite.k:123
lola: rewrite Frontend/Parser/formula_rewrite.k:150
lola: rewrite Frontend/Parser/formula_rewrite.k:521
lola: rewrite Frontend/Parser/formula_rewrite.k:317
lola: rewrite Frontend/Parser/formula_rewrite.k:328
lola: rewrite Frontend/Parser/formula_rewrite.k:314
lola: rewrite Frontend/Parser/formula_rewrite.k:331
lola: rewrite Frontend/Parser/formula_rewrite.k:296
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:296
lola: rewrite Frontend/Parser/formula_rewrite.k:535
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:153
lola: rewrite Frontend/Parser/formula_rewrite.k:430
lola: rewrite Frontend/Parser/formula_rewrite.k:153
lola: rewrite Frontend/Parser/formula_rewrite.k:114
lola: rewrite Frontend/Parser/formula_rewrite.k:123
lola: rewrite Frontend/Parser/formula_rewrite.k:153
lola: rewrite Frontend/Parser/formula_rewrite.k:122
lola: rewrite Frontend/Parser/formula_rewrite.k:150
lola: rewrite Frontend/Parser/formula_rewrite.k:379
lola: rewrite Frontend/Parser/formula_rewrite.k:337
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: RELEASE
lola: rewrite Frontend/Parser/formula_rewrite.k:328
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:352
lola: rewrite Frontend/Parser/formula_rewrite.k:250
lola: rewrite Frontend/Parser/formula_rewrite.k:314
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:314
lola: rewrite Frontend/Parser/formula_rewrite.k:331
lola: rewrite Frontend/Parser/formula_rewrite.k:299
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:373
lola: rewrite Frontend/Parser/formula_rewrite.k:427
lola: rewrite Frontend/Parser/formula_rewrite.k:355
lola: rewrite Frontend/Parser/formula_rewrite.k:317
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:331
lola: rewrite Frontend/Parser/formula_rewrite.k:317
lola: rewrite Frontend/Parser/formula_rewrite.k:334
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:314
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:331
lola: rewrite Frontend/Parser/formula_rewrite.k:328
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:535
lola: rewrite Frontend/Parser/formula_rewrite.k:150
lola: rewrite Frontend/Parser/formula_rewrite.k:544
lola: rewrite Frontend/Parser/formula_rewrite.k:352
lola: rewrite Frontend/Parser/formula_rewrite.k:328
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:433
lola: rewrite Frontend/Parser/formula_rewrite.k:421
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:355
lola: rewrite Frontend/Parser/formula_rewrite.k:250
lola: Created skeleton in 0.000000 secs.
lola: RELEASE
lola: Created skeleton in 1.000000 secs.
lola: NOTDEADLOCKFREE
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 1.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
JoinFreeModules-PT-5000-00: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-01: CONJ 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-02: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-03: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-04: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-05: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-06: INITIAL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-07: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-08: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-09: INITIAL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-10: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-11: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-12: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-13: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-14: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-15: LTL 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
JoinFreeModules-PT-5000-00: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-01: CONJ 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-02: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-03: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-04: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-05: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-06: INITIAL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-07: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-08: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-09: INITIAL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-10: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-11: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-12: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-13: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-14: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-15: LTL 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
JoinFreeModules-PT-5000-00: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-01: CONJ 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-02: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-03: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-04: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-05: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-06: INITIAL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-07: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-08: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-09: INITIAL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-10: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-11: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-12: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-13: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-14: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-15: LTL 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
JoinFreeModules-PT-5000-00: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-01: CONJ 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-02: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-03: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-04: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-05: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-06: INITIAL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-07: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-08: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-09: INITIAL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-10: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-11: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-12: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-13: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-14: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-15: LTL 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
JoinFreeModules-PT-5000-00: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-01: CONJ 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-02: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-03: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-04: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-05: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-06: INITIAL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-07: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-08: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-09: INITIAL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-10: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-11: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-12: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-13: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-14: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-15: LTL 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
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
JoinFreeModules-PT-5000-00: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-01: CONJ 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-02: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-03: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-04: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-05: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-06: INITIAL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-07: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-08: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-09: INITIAL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-10: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-11: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-12: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-13: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-14: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-15: LTL 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: 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
JoinFreeModules-PT-5000-00: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-01: CONJ 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-02: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-03: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-04: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-05: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-06: INITIAL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-07: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-08: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-09: INITIAL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-10: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-11: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-12: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-13: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-14: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-15: LTL 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 386 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
JoinFreeModules-PT-5000-00: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-01: CONJ 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-02: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-03: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-04: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-05: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-06: INITIAL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-07: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-08: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-09: INITIAL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-10: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-11: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-12: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-13: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-14: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-15: LTL 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 391 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
JoinFreeModules-PT-5000-00: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-01: CONJ 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-02: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-03: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-04: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-05: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-06: INITIAL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-07: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-08: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-09: INITIAL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-10: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-11: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-12: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-13: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-14: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-15: LTL 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 396 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
JoinFreeModules-PT-5000-00: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-01: CONJ 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-02: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-03: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-04: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-05: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-06: INITIAL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-07: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-08: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-09: INITIAL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-10: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-11: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-12: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-13: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-14: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-15: LTL 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 401 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
JoinFreeModules-PT-5000-00: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-01: CONJ 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-02: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-03: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-04: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-05: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-06: INITIAL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-07: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-08: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-09: INITIAL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-10: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-11: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-12: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-13: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-14: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-15: LTL 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 406 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
JoinFreeModules-PT-5000-00: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-01: CONJ 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-02: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-03: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-04: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-05: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-06: INITIAL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-07: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-08: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-09: INITIAL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-10: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-11: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-12: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-13: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-14: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-15: LTL 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 411 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
JoinFreeModules-PT-5000-00: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-01: CONJ 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-02: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-03: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-04: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-05: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-06: INITIAL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-07: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-08: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-09: INITIAL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-10: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-11: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-12: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-13: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-14: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-15: LTL 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 416 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
JoinFreeModules-PT-5000-00: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-01: CONJ 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-02: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-03: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-04: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-05: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-06: INITIAL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-07: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-08: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-09: INITIAL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-10: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-11: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-12: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-13: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-14: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-15: LTL 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 421 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
JoinFreeModules-PT-5000-00: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-01: CONJ 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-02: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-03: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-04: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-05: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-06: INITIAL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-07: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-08: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-09: INITIAL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-10: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-11: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-12: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-13: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-14: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-15: LTL 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 426 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
JoinFreeModules-PT-5000-00: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-01: CONJ 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-02: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-03: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-04: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-05: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-06: INITIAL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-07: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-08: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-09: INITIAL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-10: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-11: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-12: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-13: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-14: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-15: LTL 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 431 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
JoinFreeModules-PT-5000-00: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-01: CONJ 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-02: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-03: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-04: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-05: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-06: INITIAL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-07: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-08: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-09: INITIAL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-10: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-11: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-12: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-13: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-14: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-15: LTL 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 436 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
JoinFreeModules-PT-5000-00: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-01: CONJ 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-02: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-03: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-04: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-05: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-06: INITIAL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-07: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-08: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-09: INITIAL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-10: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-11: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-12: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-13: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-14: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-15: LTL 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 441 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
JoinFreeModules-PT-5000-00: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-01: CONJ 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-02: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-03: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-04: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-05: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-06: INITIAL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-07: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-08: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-09: INITIAL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-10: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-11: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-12: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-13: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-14: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-15: LTL 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 446 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
JoinFreeModules-PT-5000-00: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-01: CONJ 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-02: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-03: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-04: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-05: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-06: INITIAL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-07: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-08: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-09: INITIAL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-10: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-11: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-12: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-13: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-14: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-15: LTL 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 451 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
JoinFreeModules-PT-5000-00: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-01: CONJ 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-02: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-03: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-04: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-05: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-06: INITIAL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-07: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-08: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-09: INITIAL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-10: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-11: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-12: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-13: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-14: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-15: LTL 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 456 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
JoinFreeModules-PT-5000-00: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-01: CONJ 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-02: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-03: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-04: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-05: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-06: INITIAL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-07: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-08: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-09: INITIAL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-10: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-11: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-12: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-13: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-14: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-15: LTL 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 461 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
JoinFreeModules-PT-5000-00: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-01: CONJ 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-02: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-03: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-04: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-05: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-06: INITIAL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-07: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-08: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-09: INITIAL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-10: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-11: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-12: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-13: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-14: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-15: LTL 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 466 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
JoinFreeModules-PT-5000-00: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-01: CONJ 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-02: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-03: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-04: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-05: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-06: INITIAL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-07: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-08: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-09: INITIAL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-10: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-11: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-12: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-13: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-14: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-15: LTL 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 471 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
JoinFreeModules-PT-5000-00: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-01: CONJ 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-02: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-03: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-04: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-05: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-06: INITIAL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-07: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-08: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-09: INITIAL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-10: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-11: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-12: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-13: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-14: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-15: LTL 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 476 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
lola: NOTDEADLOCKFREE
lola: Created skeleton in 1.000000 secs.
lola: NOTDEADLOCKFREE
lola: LAUNCH INITIAL
lola: LAUNCH task # 27 (type CNST) for 24 JoinFreeModules-PT-5000-04
lola: time limit : 0 sec
lola: memory limit: 0 pages
lola: NOTDEADLOCKFREE
lola: LAUNCH INITIAL
lola: LAUNCH task # 43 (type CNST) for 42 JoinFreeModules-PT-5000-06
lola: time limit : 0 sec
lola: memory limit: 0 pages
lola: LAUNCH INITIAL
lola: LAUNCH task # 56 (type CNST) for 55 JoinFreeModules-PT-5000-09
lola: time limit : 0 sec
lola: memory limit: 0 pages
lola: LAUNCH task # 84 (type SKEL/SRCH) for 10 JoinFreeModules-PT-5000-02
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 27 (type CNST) for JoinFreeModules-PT-5000-04
lola: result : true
lola: FINISHED task # 56 (type CNST) for JoinFreeModules-PT-5000-09
lola: result : true
lola: FINISHED task # 43 (type CNST) for JoinFreeModules-PT-5000-06
lola: result : true
lola: Created skeleton in 0.000000 secs.
lola: LAUNCH INITIAL
lola: LAUNCH task # 70 (type CNST) for 67 JoinFreeModules-PT-5000-13
lola: time limit : 0 sec
lola: memory limit: 0 pages
lola: FINISHED task # 70 (type CNST) for JoinFreeModules-PT-5000-13
lola: result : false
lola: planning for (null) stopped (result already fixed).
lola: planning for (null) stopped (result already fixed).
lola: Created skeleton in 1.000000 secs.
lola: NOTDEADLOCKFREE
lola: NOTDEADLOCKFREE
lola: Created skeleton in 1.000000 secs.
lola: NOTDEADLOCKFREE
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
JoinFreeModules-PT-5000-06: INITIAL true preprocessing
JoinFreeModules-PT-5000-09: INITIAL true preprocessing
JoinFreeModules-PT-5000-13: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
JoinFreeModules-PT-5000-00: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-01: CONJ 0 0 0 0 2 0 0 0
JoinFreeModules-PT-5000-02: CONJ 0 0 1 0 2 0 0 0
JoinFreeModules-PT-5000-03: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-04: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-05: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-07: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-08: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-10: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-11: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-12: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-14: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-15: LTL 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
84 LTL SRCH 3/3122 1/5 JoinFreeModules-PT-5000-02 2173062 m, 434612 m/sec, 2173062 t fired, .
Time elapsed: 481 secs. Pages in use: 1
# running tasks: 1 of 4 Visible: 16
lola: Created skeleton in 3.000000 secs.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
JoinFreeModules-PT-5000-06: INITIAL true preprocessing
JoinFreeModules-PT-5000-09: INITIAL true preprocessing
JoinFreeModules-PT-5000-13: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
JoinFreeModules-PT-5000-00: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-01: CONJ 0 0 0 0 2 0 0 0
JoinFreeModules-PT-5000-02: CONJ 0 0 1 0 2 0 0 0
JoinFreeModules-PT-5000-03: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-04: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-05: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-07: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-08: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-10: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-11: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-12: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-14: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-15: LTL 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
84 LTL SRCH 8/3122 1/5 JoinFreeModules-PT-5000-02 3174982 m, 200384 m/sec, 3174982 t fired, .
Time elapsed: 486 secs. Pages in use: 1
# running tasks: 1 of 4 Visible: 16
lola: Created skeleton in 3.000000 secs.
lola: NOTDEADLOCKFREE
lola: Created skeleton in 4.000000 secs.
lola: NOTDEADLOCKFREE
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 # 87 (type SKEL/FNDP) for 24 JoinFreeModules-PT-5000-04
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 88 (type SKEL/EQUN) for 24 JoinFreeModules-PT-5000-04
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 89 (type SKEL/SRCH) for 24 JoinFreeModules-PT-5000-04
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: FINISHED task # 89 (type SKEL/SRCH) for JoinFreeModules-PT-5000-04
lola: result : true
lola: markings : 2
lola: fired transitions : 1
lola: time used : 0.000000
lola: memory pages used : 1
lola: FINISHED task # 87 (type SKEL/FNDP) for JoinFreeModules-PT-5000-04
lola: result : true
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: CANCELED task # 88 (type EQUN) for JoinFreeModules-PT-5000-04 (obsolete)
lola: FINISHED task # 88 (type SKEL/EQUN) for JoinFreeModules-PT-5000-04
lola: result : unknown
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
JoinFreeModules-PT-5000-06: INITIAL true preprocessing
JoinFreeModules-PT-5000-09: INITIAL true preprocessing
JoinFreeModules-PT-5000-13: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
JoinFreeModules-PT-5000-00: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-01: CONJ 0 0 0 0 2 0 0 0
JoinFreeModules-PT-5000-02: CONJ 0 0 1 0 2 0 0 0
JoinFreeModules-PT-5000-03: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-04: CONJ 0 0 0 0 5 0 0 1
JoinFreeModules-PT-5000-05: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-07: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-08: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-10: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-11: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-12: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-14: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-15: LTL 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
84 LTL SRCH 13/3122 1/5 JoinFreeModules-PT-5000-02 4082435 m, 181490 m/sec, 4082434 t fired, .
Time elapsed: 491 secs. Pages in use: 2
# running tasks: 1 of 4 Visible: 16
lola: Created skeleton in 3.000000 secs.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
JoinFreeModules-PT-5000-06: INITIAL true preprocessing
JoinFreeModules-PT-5000-09: INITIAL true preprocessing
JoinFreeModules-PT-5000-13: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
JoinFreeModules-PT-5000-00: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-01: CONJ 0 0 0 0 2 0 0 0
JoinFreeModules-PT-5000-02: CONJ 0 0 1 0 2 0 0 0
JoinFreeModules-PT-5000-03: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-04: CONJ 0 0 0 0 5 0 0 1
JoinFreeModules-PT-5000-05: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-07: CONJ 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-08: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-10: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-11: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-12: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-14: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-15: LTL 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
84 LTL SRCH 18/3122 1/5 JoinFreeModules-PT-5000-02 5039308 m, 191374 m/sec, 5039307 t fired, .
Time elapsed: 496 secs. Pages in use: 2
# running tasks: 1 of 4 Visible: 16
lola: Created skeleton in 3.000000 secs.
lola: Created skeleton in 3.000000 secs.
lola: NOTDEADLOCKFREE
lola: NOTDEADLOCKFREE
lola: NOTDEADLOCKFREE
lola: LAUNCH task # 91 (type SKEL/SRCH) for 52 JoinFreeModules-PT-5000-08
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
JoinFreeModules-PT-5000-06: INITIAL true preprocessing
JoinFreeModules-PT-5000-09: INITIAL true preprocessing
JoinFreeModules-PT-5000-13: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
JoinFreeModules-PT-5000-00: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-01: CONJ 0 0 0 0 2 0 0 0
JoinFreeModules-PT-5000-02: CONJ 0 0 1 0 2 0 0 0
JoinFreeModules-PT-5000-03: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-04: CONJ 0 0 0 0 5 0 0 1
JoinFreeModules-PT-5000-05: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-07: CONJ 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-08: LTL 0 0 1 0 0 0 0 0
JoinFreeModules-PT-5000-10: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-11: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-12: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-14: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-15: LTL 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
84 LTL SRCH 23/3122 1/5 JoinFreeModules-PT-5000-02 6072108 m, 206560 m/sec, 6072107 t fired, .
91 LTL SRCH 2/3101 1/5 JoinFreeModules-PT-5000-08 253347 m, 50669 m/sec, 253346 t fired, .
Time elapsed: 501 secs. Pages in use: 2
# running tasks: 2 of 4 Visible: 16
lola: Created skeleton in 3.000000 secs.
lola: NOTDEADLOCKFREE
lola: Created skeleton in 3.000000 secs.
lola: RELEASE
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
JoinFreeModules-PT-5000-06: INITIAL true preprocessing
JoinFreeModules-PT-5000-09: INITIAL true preprocessing
JoinFreeModules-PT-5000-13: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
JoinFreeModules-PT-5000-00: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-01: CONJ 0 0 0 0 2 0 0 0
JoinFreeModules-PT-5000-02: CONJ 0 0 1 0 2 0 0 0
JoinFreeModules-PT-5000-03: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-04: CONJ 0 0 0 0 5 0 0 1
JoinFreeModules-PT-5000-05: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-07: CONJ 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-08: LTL 0 0 1 0 0 0 0 0
JoinFreeModules-PT-5000-10: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-11: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-12: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-14: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-15: LTL 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
84 LTL SRCH 28/3122 2/5 JoinFreeModules-PT-5000-02 6980954 m, 181769 m/sec, 6980953 t fired, .
91 LTL SRCH 7/3101 1/5 JoinFreeModules-PT-5000-08 969833 m, 143297 m/sec, 969832 t fired, .
Time elapsed: 506 secs. Pages in use: 3
# running tasks: 2 of 4 Visible: 16
lola: Created skeleton in 4.000000 secs.
lola: NOTDEADLOCKFREE
lola: LAUNCH task # 92 (type SKEL/SRCH) for 45 JoinFreeModules-PT-5000-07
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 92 (type SKEL/SRCH) for JoinFreeModules-PT-5000-07
lola: result : false
lola: markings : 23375
lola: fired transitions : 23390
lola: time used : 0.000000
lola: memory pages used : 1
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
JoinFreeModules-PT-5000-06: INITIAL true preprocessing
JoinFreeModules-PT-5000-09: INITIAL true preprocessing
JoinFreeModules-PT-5000-13: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
JoinFreeModules-PT-5000-00: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-01: CONJ 0 0 0 0 2 0 0 0
JoinFreeModules-PT-5000-02: CONJ 0 0 1 0 2 0 0 0
JoinFreeModules-PT-5000-03: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-04: CONJ 0 0 0 0 5 0 0 1
JoinFreeModules-PT-5000-05: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-07: CONJ 0 0 0 0 2 0 0 0
JoinFreeModules-PT-5000-08: LTL 0 0 1 0 0 0 0 0
JoinFreeModules-PT-5000-10: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-11: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-12: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-14: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-15: LTL 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
84 LTL SRCH 33/3122 2/5 JoinFreeModules-PT-5000-02 7873737 m, 178556 m/sec, 7873737 t fired, .
91 LTL SRCH 12/3101 1/5 JoinFreeModules-PT-5000-08 1666952 m, 139423 m/sec, 1666951 t fired, .
Time elapsed: 511 secs. Pages in use: 4
# running tasks: 2 of 4 Visible: 16
lola: Created skeleton in 4.000000 secs.
lola: NOTDEADLOCKFREE
lola: NOTDEADLOCKFREE
lola: Created skeleton in 3.000000 secs.
lola: NOTDEADLOCKFREE
lola: NOTDEADLOCKFREE
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
JoinFreeModules-PT-5000-06: INITIAL true preprocessing
JoinFreeModules-PT-5000-09: INITIAL true preprocessing
JoinFreeModules-PT-5000-13: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
JoinFreeModules-PT-5000-00: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-01: CONJ 0 0 0 0 2 0 0 0
JoinFreeModules-PT-5000-02: CONJ 0 0 1 0 2 0 0 0
JoinFreeModules-PT-5000-03: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-04: CONJ 0 0 0 0 5 0 0 1
JoinFreeModules-PT-5000-05: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-07: CONJ 0 0 0 0 2 0 0 0
JoinFreeModules-PT-5000-08: LTL 0 0 1 0 0 0 0 0
JoinFreeModules-PT-5000-10: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-11: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-12: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-14: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-15: LTL 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
84 LTL SRCH 38/3122 2/5 JoinFreeModules-PT-5000-02 8759344 m, 177121 m/sec, 8759343 t fired, .
91 LTL SRCH 17/3101 1/5 JoinFreeModules-PT-5000-08 2359296 m, 138468 m/sec, 2359295 t fired, .
Time elapsed: 516 secs. Pages in use: 4
# running tasks: 2 of 4 Visible: 16
lola: Created skeleton in 3.000000 secs.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
JoinFreeModules-PT-5000-06: INITIAL true preprocessing
JoinFreeModules-PT-5000-09: INITIAL true preprocessing
JoinFreeModules-PT-5000-13: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
JoinFreeModules-PT-5000-00: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-01: CONJ 0 0 0 0 2 0 0 0
JoinFreeModules-PT-5000-02: CONJ 0 0 1 0 2 0 0 0
JoinFreeModules-PT-5000-03: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-04: CONJ 0 0 0 0 5 0 0 1
JoinFreeModules-PT-5000-05: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-07: CONJ 0 0 0 0 2 0 0 0
JoinFreeModules-PT-5000-08: LTL 0 0 1 0 0 0 0 0
JoinFreeModules-PT-5000-10: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-11: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-12: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-14: LTL 0 0 0 0 0 0 0 0
JoinFreeModules-PT-5000-15: LTL 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
84 LTL SRCH 43/3122 2/5 JoinFreeModules-PT-5000-02 9670359 m, 182203 m/sec, 9670358 t fired, .
91 LTL SRCH 22/3101 1/5 JoinFreeModules-PT-5000-08 3029835 m, 134107 m/sec, 3029834 t fired, .
Time elapsed: 521 secs. Pages in use: 4
# running tasks: 2 of 4 Visible: 16
lola: Created skeleton in 4.000000 secs.
lola: NOTDEADLOCKFREE
lola: NOTDEADLOCKFREE
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
JoinFreeModules-PT-5000-06: INITIAL true preprocessing
JoinFreeModules-PT-5000-09: INITIAL true preprocessing
JoinFreeModules-PT-5000-13: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
JoinFreeModules-PT-5000-00: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-01: CONJ 0 0 0 0 2 0 0 0
JoinFreeModules-PT-5000-02: CONJ 0 0 1 0 2 0 0 0
JoinFreeModules-PT-5000-03: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-04: CONJ 0 0 0 0 5 0 0 1
JoinFreeModules-PT-5000-05: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-07: CONJ 0 0 0 0 2 0 0 0
JoinFreeModules-PT-5000-08: LTL 0 0 1 0 0 0 0 0
JoinFreeModules-PT-5000-10: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-11: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-12: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-14: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-15: LTL 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
84 LTL SRCH 48/3122 2/5 JoinFreeModules-PT-5000-02 10571743 m, 180276 m/sec, 10571742 t fired, .
91 LTL SRCH 27/3101 1/5 JoinFreeModules-PT-5000-08 3754118 m, 144856 m/sec, 3754117 t fired, .
Time elapsed: 526 secs. Pages in use: 4
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
JoinFreeModules-PT-5000-06: INITIAL true preprocessing
JoinFreeModules-PT-5000-09: INITIAL true preprocessing
JoinFreeModules-PT-5000-13: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
JoinFreeModules-PT-5000-00: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-01: CONJ 0 0 0 0 2 0 0 0
JoinFreeModules-PT-5000-02: CONJ 0 0 1 0 2 0 0 0
JoinFreeModules-PT-5000-03: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-04: CONJ 0 0 0 0 5 0 0 1
JoinFreeModules-PT-5000-05: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-07: CONJ 0 0 0 0 2 0 0 0
JoinFreeModules-PT-5000-08: LTL 0 0 1 0 0 0 0 0
JoinFreeModules-PT-5000-10: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-11: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-12: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-14: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-15: LTL 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
84 LTL SRCH 53/3122 2/5 JoinFreeModules-PT-5000-02 11446811 m, 175013 m/sec, 11446811 t fired, .
91 LTL SRCH 32/3101 1/5 JoinFreeModules-PT-5000-08 4462055 m, 141587 m/sec, 4462055 t fired, .
Time elapsed: 531 secs. Pages in use: 4
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
JoinFreeModules-PT-5000-06: INITIAL true preprocessing
JoinFreeModules-PT-5000-09: INITIAL true preprocessing
JoinFreeModules-PT-5000-13: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
JoinFreeModules-PT-5000-00: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-01: CONJ 0 0 0 0 2 0 0 0
JoinFreeModules-PT-5000-02: CONJ 0 0 1 0 2 0 0 0
JoinFreeModules-PT-5000-03: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-04: CONJ 0 0 0 0 5 0 0 1
JoinFreeModules-PT-5000-05: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-07: CONJ 0 0 0 0 2 0 0 0
JoinFreeModules-PT-5000-08: LTL 0 0 1 0 0 0 0 0
JoinFreeModules-PT-5000-10: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-11: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-12: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-14: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-15: LTL 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
84 LTL SRCH 58/3122 2/5 JoinFreeModules-PT-5000-02 12279221 m, 166482 m/sec, 12279221 t fired, .
91 LTL SRCH 37/3101 1/5 JoinFreeModules-PT-5000-08 5158031 m, 139195 m/sec, 5158031 t fired, .
Time elapsed: 536 secs. Pages in use: 4
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
JoinFreeModules-PT-5000-06: INITIAL true preprocessing
JoinFreeModules-PT-5000-09: INITIAL true preprocessing
JoinFreeModules-PT-5000-13: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
JoinFreeModules-PT-5000-00: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-01: CONJ 0 0 0 0 2 0 0 0
JoinFreeModules-PT-5000-02: CONJ 0 0 1 0 2 0 0 0
JoinFreeModules-PT-5000-03: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-04: CONJ 0 0 0 0 5 0 0 1
JoinFreeModules-PT-5000-05: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-07: CONJ 0 0 0 0 2 0 0 0
JoinFreeModules-PT-5000-08: LTL 0 0 1 0 0 0 0 0
JoinFreeModules-PT-5000-10: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-11: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-12: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-14: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-15: LTL 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
84 LTL SRCH 63/3122 2/5 JoinFreeModules-PT-5000-02 13118996 m, 167955 m/sec, 13118995 t fired, .
91 LTL SRCH 42/3101 1/5 JoinFreeModules-PT-5000-08 5841576 m, 136709 m/sec, 5841575 t fired, .
Time elapsed: 541 secs. Pages in use: 4
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
JoinFreeModules-PT-5000-06: INITIAL true preprocessing
JoinFreeModules-PT-5000-09: INITIAL true preprocessing
JoinFreeModules-PT-5000-13: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
JoinFreeModules-PT-5000-00: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-01: CONJ 0 0 0 0 2 0 0 0
JoinFreeModules-PT-5000-02: CONJ 0 0 1 0 2 0 0 0
JoinFreeModules-PT-5000-03: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-04: CONJ 0 0 0 0 5 0 0 1
JoinFreeModules-PT-5000-05: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-07: CONJ 0 0 0 0 2 0 0 0
JoinFreeModules-PT-5000-08: LTL 0 0 1 0 0 0 0 0
JoinFreeModules-PT-5000-10: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-11: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-12: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-14: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-15: LTL 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
84 LTL SRCH 68/3122 3/5 JoinFreeModules-PT-5000-02 13967243 m, 169649 m/sec, 13967242 t fired, .
91 LTL SRCH 47/3101 1/5 JoinFreeModules-PT-5000-08 6525622 m, 136809 m/sec, 6525622 t fired, .
Time elapsed: 546 secs. Pages in use: 4
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
JoinFreeModules-PT-5000-06: INITIAL true preprocessing
JoinFreeModules-PT-5000-09: INITIAL true preprocessing
JoinFreeModules-PT-5000-13: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
JoinFreeModules-PT-5000-00: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-01: CONJ 0 0 0 0 2 0 0 0
JoinFreeModules-PT-5000-02: CONJ 0 0 1 0 2 0 0 0
JoinFreeModules-PT-5000-03: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-04: CONJ 0 0 0 0 5 0 0 1
JoinFreeModules-PT-5000-05: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-07: CONJ 0 0 0 0 2 0 0 0
JoinFreeModules-PT-5000-08: LTL 0 0 1 0 0 0 0 0
JoinFreeModules-PT-5000-10: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-11: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-12: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-14: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-15: LTL 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
84 LTL SRCH 73/3122 3/5 JoinFreeModules-PT-5000-02 14769443 m, 160440 m/sec, 14769443 t fired, .
91 LTL SRCH 52/3101 2/5 JoinFreeModules-PT-5000-08 7200159 m, 134907 m/sec, 7200159 t fired, .
Time elapsed: 551 secs. Pages in use: 5
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
JoinFreeModules-PT-5000-06: INITIAL true preprocessing
JoinFreeModules-PT-5000-09: INITIAL true preprocessing
JoinFreeModules-PT-5000-13: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
JoinFreeModules-PT-5000-00: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-01: CONJ 0 0 0 0 2 0 0 0
JoinFreeModules-PT-5000-02: CONJ 0 0 1 0 2 0 0 0
JoinFreeModules-PT-5000-03: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-04: CONJ 0 0 0 0 5 0 0 1
JoinFreeModules-PT-5000-05: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-07: CONJ 0 0 0 0 2 0 0 0
JoinFreeModules-PT-5000-08: LTL 0 0 1 0 0 0 0 0
JoinFreeModules-PT-5000-10: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-11: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-12: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-14: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-15: LTL 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
84 LTL SRCH 78/3122 3/5 JoinFreeModules-PT-5000-02 15578776 m, 161866 m/sec, 15578775 t fired, .
91 LTL SRCH 57/3101 2/5 JoinFreeModules-PT-5000-08 7875285 m, 135025 m/sec, 7875285 t fired, .
Time elapsed: 556 secs. Pages in use: 5
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
JoinFreeModules-PT-5000-06: INITIAL true preprocessing
JoinFreeModules-PT-5000-09: INITIAL true preprocessing
JoinFreeModules-PT-5000-13: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
JoinFreeModules-PT-5000-00: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-01: CONJ 0 0 0 0 2 0 0 0
JoinFreeModules-PT-5000-02: CONJ 0 0 1 0 2 0 0 0
JoinFreeModules-PT-5000-03: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-04: CONJ 0 0 0 0 5 0 0 1
JoinFreeModules-PT-5000-05: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-07: CONJ 0 0 0 0 2 0 0 0
JoinFreeModules-PT-5000-08: LTL 0 0 1 0 0 0 0 0
JoinFreeModules-PT-5000-10: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-11: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-12: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-14: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-15: LTL 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
84 LTL SRCH 83/3122 3/5 JoinFreeModules-PT-5000-02 16359940 m, 156232 m/sec, 16359939 t fired, .
91 LTL SRCH 62/3101 2/5 JoinFreeModules-PT-5000-08 8546016 m, 134146 m/sec, 8546016 t fired, .
Time elapsed: 561 secs. Pages in use: 5
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
JoinFreeModules-PT-5000-06: INITIAL true preprocessing
JoinFreeModules-PT-5000-09: INITIAL true preprocessing
JoinFreeModules-PT-5000-13: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
JoinFreeModules-PT-5000-00: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-01: CONJ 0 0 0 0 2 0 0 0
JoinFreeModules-PT-5000-02: CONJ 0 0 1 0 2 0 0 0
JoinFreeModules-PT-5000-03: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-04: CONJ 0 0 0 0 5 0 0 1
JoinFreeModules-PT-5000-05: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-07: CONJ 0 0 0 0 2 0 0 0
JoinFreeModules-PT-5000-08: LTL 0 0 1 0 0 0 0 0
JoinFreeModules-PT-5000-10: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-11: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-12: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-14: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-15: LTL 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
84 LTL SRCH 88/3122 3/5 JoinFreeModules-PT-5000-02 17164171 m, 160846 m/sec, 17164171 t fired, .
91 LTL SRCH 67/3101 2/5 JoinFreeModules-PT-5000-08 9216532 m, 134103 m/sec, 9216532 t fired, .
Time elapsed: 566 secs. Pages in use: 5
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
JoinFreeModules-PT-5000-06: INITIAL true preprocessing
JoinFreeModules-PT-5000-09: INITIAL true preprocessing
JoinFreeModules-PT-5000-13: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
JoinFreeModules-PT-5000-00: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-01: CONJ 0 0 0 0 2 0 0 0
JoinFreeModules-PT-5000-02: CONJ 0 0 1 0 2 0 0 0
JoinFreeModules-PT-5000-03: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-04: CONJ 0 0 0 0 5 0 0 1
JoinFreeModules-PT-5000-05: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-07: CONJ 0 0 0 0 2 0 0 0
JoinFreeModules-PT-5000-08: LTL 0 0 1 0 0 0 0 0
JoinFreeModules-PT-5000-10: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-11: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-12: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-14: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-15: LTL 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
84 LTL SRCH 93/3122 3/5 JoinFreeModules-PT-5000-02 18017681 m, 170702 m/sec, 18017681 t fired, .
91 LTL SRCH 72/3101 2/5 JoinFreeModules-PT-5000-08 9888868 m, 134467 m/sec, 9888868 t fired, .
Time elapsed: 571 secs. Pages in use: 5
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
JoinFreeModules-PT-5000-06: INITIAL true preprocessing
JoinFreeModules-PT-5000-09: INITIAL true preprocessing
JoinFreeModules-PT-5000-13: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
JoinFreeModules-PT-5000-00: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-01: CONJ 0 0 0 0 2 0 0 0
JoinFreeModules-PT-5000-02: CONJ 0 0 1 0 2 0 0 0
JoinFreeModules-PT-5000-03: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-04: CONJ 0 0 0 0 5 0 0 1
JoinFreeModules-PT-5000-05: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-07: CONJ 0 0 0 0 2 0 0 0
JoinFreeModules-PT-5000-08: LTL 0 0 1 0 0 0 0 0
JoinFreeModules-PT-5000-10: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-11: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-12: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-14: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-15: LTL 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
84 LTL SRCH 98/3122 3/5 JoinFreeModules-PT-5000-02 18820960 m, 160655 m/sec, 18820959 t fired, .
91 LTL SRCH 77/3101 2/5 JoinFreeModules-PT-5000-08 10557575 m, 133741 m/sec, 10557575 t fired, .
Time elapsed: 576 secs. Pages in use: 5
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
JoinFreeModules-PT-5000-06: INITIAL true preprocessing
JoinFreeModules-PT-5000-09: INITIAL true preprocessing
JoinFreeModules-PT-5000-13: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
JoinFreeModules-PT-5000-00: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-01: CONJ 0 0 0 0 2 0 0 0
JoinFreeModules-PT-5000-02: CONJ 0 0 1 0 2 0 0 0
JoinFreeModules-PT-5000-03: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-04: CONJ 0 0 0 0 5 0 0 1
JoinFreeModules-PT-5000-05: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-07: CONJ 0 0 0 0 2 0 0 0
JoinFreeModules-PT-5000-08: LTL 0 0 1 0 0 0 0 0
JoinFreeModules-PT-5000-10: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-11: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-12: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-14: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-15: LTL 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
84 LTL SRCH 103/3122 3/5 JoinFreeModules-PT-5000-02 19638548 m, 163517 m/sec, 19638548 t fired, .
91 LTL SRCH 82/3101 2/5 JoinFreeModules-PT-5000-08 11216067 m, 131698 m/sec, 11216067 t fired, .
Time elapsed: 581 secs. Pages in use: 5
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
JoinFreeModules-PT-5000-06: INITIAL true preprocessing
JoinFreeModules-PT-5000-09: INITIAL true preprocessing
JoinFreeModules-PT-5000-13: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
JoinFreeModules-PT-5000-00: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-01: CONJ 0 0 0 0 2 0 0 0
JoinFreeModules-PT-5000-02: CONJ 0 0 1 0 2 0 0 0
JoinFreeModules-PT-5000-03: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-04: CONJ 0 0 0 0 5 0 0 1
JoinFreeModules-PT-5000-05: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-07: CONJ 0 0 0 0 2 0 0 0
JoinFreeModules-PT-5000-08: LTL 0 0 1 0 0 0 0 0
JoinFreeModules-PT-5000-10: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-11: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-12: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-14: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-15: LTL 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
84 LTL SRCH 108/3122 4/5 JoinFreeModules-PT-5000-02 20433594 m, 159009 m/sec, 20433594 t fired, .
91 LTL SRCH 87/3101 2/5 JoinFreeModules-PT-5000-08 11878781 m, 132542 m/sec, 11878780 t fired, .
Time elapsed: 586 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
JoinFreeModules-PT-5000-06: INITIAL true preprocessing
JoinFreeModules-PT-5000-09: INITIAL true preprocessing
JoinFreeModules-PT-5000-13: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
JoinFreeModules-PT-5000-00: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-01: CONJ 0 0 0 0 2 0 0 0
JoinFreeModules-PT-5000-02: CONJ 0 0 1 0 2 0 0 0
JoinFreeModules-PT-5000-03: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-04: CONJ 0 0 0 0 5 0 0 1
JoinFreeModules-PT-5000-05: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-07: CONJ 0 0 0 0 2 0 0 0
JoinFreeModules-PT-5000-08: LTL 0 0 1 0 0 0 0 0
JoinFreeModules-PT-5000-10: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-11: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-12: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-14: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-15: LTL 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
84 LTL SRCH 113/3122 4/5 JoinFreeModules-PT-5000-02 21259928 m, 165266 m/sec, 21259928 t fired, .
91 LTL SRCH 92/3101 2/5 JoinFreeModules-PT-5000-08 12534299 m, 131103 m/sec, 12534299 t fired, .
Time elapsed: 591 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
JoinFreeModules-PT-5000-06: INITIAL true preprocessing
JoinFreeModules-PT-5000-09: INITIAL true preprocessing
JoinFreeModules-PT-5000-13: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
JoinFreeModules-PT-5000-00: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-01: CONJ 0 0 0 0 2 0 0 0
JoinFreeModules-PT-5000-02: CONJ 0 0 1 0 2 0 0 0
JoinFreeModules-PT-5000-03: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-04: CONJ 0 0 0 0 5 0 0 1
JoinFreeModules-PT-5000-05: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-07: CONJ 0 0 0 0 2 0 0 0
JoinFreeModules-PT-5000-08: LTL 0 0 1 0 0 0 0 0
JoinFreeModules-PT-5000-10: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-11: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-12: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-14: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-15: LTL 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
84 LTL SRCH 118/3122 4/5 JoinFreeModules-PT-5000-02 22089089 m, 165832 m/sec, 22089088 t fired, .
91 LTL SRCH 97/3101 2/5 JoinFreeModules-PT-5000-08 13201675 m, 133475 m/sec, 13201674 t fired, .
Time elapsed: 596 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
JoinFreeModules-PT-5000-06: INITIAL true preprocessing
JoinFreeModules-PT-5000-09: INITIAL true preprocessing
JoinFreeModules-PT-5000-13: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
JoinFreeModules-PT-5000-00: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-01: CONJ 0 0 0 0 2 0 0 0
JoinFreeModules-PT-5000-02: CONJ 0 0 1 0 2 0 0 0
JoinFreeModules-PT-5000-03: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-04: CONJ 0 0 0 0 5 0 0 1
JoinFreeModules-PT-5000-05: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-07: CONJ 0 0 0 0 2 0 0 0
JoinFreeModules-PT-5000-08: LTL 0 0 1 0 0 0 0 0
JoinFreeModules-PT-5000-10: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-11: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-12: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-14: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-15: LTL 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
84 LTL SRCH 123/3122 4/5 JoinFreeModules-PT-5000-02 22880631 m, 158308 m/sec, 22880630 t fired, .
91 LTL SRCH 102/3101 2/5 JoinFreeModules-PT-5000-08 13852637 m, 130192 m/sec, 13852636 t fired, .
Time elapsed: 601 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
JoinFreeModules-PT-5000-06: INITIAL true preprocessing
JoinFreeModules-PT-5000-09: INITIAL true preprocessing
JoinFreeModules-PT-5000-13: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
JoinFreeModules-PT-5000-00: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-01: CONJ 0 0 0 0 2 0 0 0
JoinFreeModules-PT-5000-02: CONJ 0 0 1 0 2 0 0 0
JoinFreeModules-PT-5000-03: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-04: CONJ 0 0 0 0 5 0 0 1
JoinFreeModules-PT-5000-05: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-07: CONJ 0 0 0 0 2 0 0 0
JoinFreeModules-PT-5000-08: LTL 0 0 1 0 0 0 0 0
JoinFreeModules-PT-5000-10: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-11: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-12: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-14: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-15: LTL 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
84 LTL SRCH 128/3122 4/5 JoinFreeModules-PT-5000-02 23680308 m, 159935 m/sec, 23680308 t fired, .
91 LTL SRCH 107/3101 3/5 JoinFreeModules-PT-5000-08 14508245 m, 131121 m/sec, 14508245 t fired, .
Time elapsed: 606 secs. Pages in use: 7
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
JoinFreeModules-PT-5000-06: INITIAL true preprocessing
JoinFreeModules-PT-5000-09: INITIAL true preprocessing
JoinFreeModules-PT-5000-13: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
JoinFreeModules-PT-5000-00: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-01: CONJ 0 0 0 0 2 0 0 0
JoinFreeModules-PT-5000-02: CONJ 0 0 1 0 2 0 0 0
JoinFreeModules-PT-5000-03: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-04: CONJ 0 0 0 0 5 0 0 1
JoinFreeModules-PT-5000-05: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-07: CONJ 0 0 0 0 2 0 0 0
JoinFreeModules-PT-5000-08: LTL 0 0 1 0 0 0 0 0
JoinFreeModules-PT-5000-10: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-11: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-12: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-14: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-15: LTL 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
84 LTL SRCH 133/3122 4/5 JoinFreeModules-PT-5000-02 24478619 m, 159662 m/sec, 24478618 t fired, .
91 LTL SRCH 112/3101 3/5 JoinFreeModules-PT-5000-08 15173624 m, 133075 m/sec, 15173624 t fired, .
Time elapsed: 611 secs. Pages in use: 7
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
JoinFreeModules-PT-5000-06: INITIAL true preprocessing
JoinFreeModules-PT-5000-09: INITIAL true preprocessing
JoinFreeModules-PT-5000-13: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
JoinFreeModules-PT-5000-00: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-01: CONJ 0 0 0 0 2 0 0 0
JoinFreeModules-PT-5000-02: CONJ 0 0 1 0 2 0 0 0
JoinFreeModules-PT-5000-03: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-04: CONJ 0 0 0 0 5 0 0 1
JoinFreeModules-PT-5000-05: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-07: CONJ 0 0 0 0 2 0 0 0
JoinFreeModules-PT-5000-08: LTL 0 0 1 0 0 0 0 0
JoinFreeModules-PT-5000-10: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-11: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-12: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-14: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-15: LTL 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
84 LTL SRCH 138/3122 4/5 JoinFreeModules-PT-5000-02 25356928 m, 175661 m/sec, 25356927 t fired, .
91 LTL SRCH 117/3101 3/5 JoinFreeModules-PT-5000-08 15837402 m, 132755 m/sec, 15837402 t fired, .
Time elapsed: 616 secs. Pages in use: 7
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
JoinFreeModules-PT-5000-06: INITIAL true preprocessing
JoinFreeModules-PT-5000-09: INITIAL true preprocessing
JoinFreeModules-PT-5000-13: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
JoinFreeModules-PT-5000-00: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-01: CONJ 0 0 0 0 2 0 0 0
JoinFreeModules-PT-5000-02: CONJ 0 0 1 0 2 0 0 0
JoinFreeModules-PT-5000-03: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-04: CONJ 0 0 0 0 5 0 0 1
JoinFreeModules-PT-5000-05: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-07: CONJ 0 0 0 0 2 0 0 0
JoinFreeModules-PT-5000-08: LTL 0 0 1 0 0 0 0 0
JoinFreeModules-PT-5000-10: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-11: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-12: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-14: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-15: LTL 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
84 LTL SRCH 143/3122 4/5 JoinFreeModules-PT-5000-02 26154949 m, 159604 m/sec, 26154949 t fired, .
91 LTL SRCH 122/3101 3/5 JoinFreeModules-PT-5000-08 16499578 m, 132435 m/sec, 16499578 t fired, .
Time elapsed: 621 secs. Pages in use: 7
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
JoinFreeModules-PT-5000-06: INITIAL true preprocessing
JoinFreeModules-PT-5000-09: INITIAL true preprocessing
JoinFreeModules-PT-5000-13: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
JoinFreeModules-PT-5000-00: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-01: CONJ 0 0 0 0 2 0 0 0
JoinFreeModules-PT-5000-02: CONJ 0 0 1 0 2 0 0 0
JoinFreeModules-PT-5000-03: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-04: CONJ 0 0 0 0 5 0 0 1
JoinFreeModules-PT-5000-05: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-07: CONJ 0 0 0 0 2 0 0 0
JoinFreeModules-PT-5000-08: LTL 0 0 1 0 0 0 0 0
JoinFreeModules-PT-5000-10: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-11: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-12: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-14: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-15: LTL 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
84 LTL SRCH 148/3122 4/5 JoinFreeModules-PT-5000-02 26826335 m, 134277 m/sec, 26826335 t fired, .
91 LTL SRCH 127/3101 3/5 JoinFreeModules-PT-5000-08 17152827 m, 130649 m/sec, 17152826 t fired, .
Time elapsed: 626 secs. Pages in use: 7
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
JoinFreeModules-PT-5000-06: INITIAL true preprocessing
JoinFreeModules-PT-5000-09: INITIAL true preprocessing
JoinFreeModules-PT-5000-13: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
JoinFreeModules-PT-5000-00: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-01: CONJ 0 0 0 0 2 0 0 0
JoinFreeModules-PT-5000-02: CONJ 0 0 1 0 2 0 0 0
JoinFreeModules-PT-5000-03: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-04: CONJ 0 0 0 0 5 0 0 1
JoinFreeModules-PT-5000-05: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-07: CONJ 0 0 0 0 2 0 0 0
JoinFreeModules-PT-5000-08: LTL 0 0 1 0 0 0 0 0
JoinFreeModules-PT-5000-10: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-11: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-12: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-14: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-15: LTL 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
84 LTL SRCH 153/3122 5/5 JoinFreeModules-PT-5000-02 27471880 m, 129109 m/sec, 27471880 t fired, .
91 LTL SRCH 132/3101 3/5 JoinFreeModules-PT-5000-08 17811477 m, 131730 m/sec, 17811477 t fired, .
Time elapsed: 631 secs. Pages in use: 8
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
JoinFreeModules-PT-5000-06: INITIAL true preprocessing
JoinFreeModules-PT-5000-09: INITIAL true preprocessing
JoinFreeModules-PT-5000-13: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
JoinFreeModules-PT-5000-00: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-01: CONJ 0 0 0 0 2 0 0 0
JoinFreeModules-PT-5000-02: CONJ 0 0 1 0 2 0 0 0
JoinFreeModules-PT-5000-03: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-04: CONJ 0 0 0 0 5 0 0 1
JoinFreeModules-PT-5000-05: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-07: CONJ 0 0 0 0 2 0 0 0
JoinFreeModules-PT-5000-08: LTL 0 0 1 0 0 0 0 0
JoinFreeModules-PT-5000-10: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-11: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-12: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-14: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-15: LTL 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
84 LTL SRCH 158/3122 5/5 JoinFreeModules-PT-5000-02 28121596 m, 129943 m/sec, 28121596 t fired, .
91 LTL SRCH 137/3101 3/5 JoinFreeModules-PT-5000-08 18465847 m, 130874 m/sec, 18465846 t fired, .
Time elapsed: 636 secs. Pages in use: 8
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
JoinFreeModules-PT-5000-06: INITIAL true preprocessing
JoinFreeModules-PT-5000-09: INITIAL true preprocessing
JoinFreeModules-PT-5000-13: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
JoinFreeModules-PT-5000-00: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-01: CONJ 0 0 0 0 2 0 0 0
JoinFreeModules-PT-5000-02: CONJ 0 0 1 0 2 0 0 0
JoinFreeModules-PT-5000-03: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-04: CONJ 0 0 0 0 5 0 0 1
JoinFreeModules-PT-5000-05: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-07: CONJ 0 0 0 0 2 0 0 0
JoinFreeModules-PT-5000-08: LTL 0 0 1 0 0 0 0 0
JoinFreeModules-PT-5000-10: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-11: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-12: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-14: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-15: LTL 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
84 LTL SRCH 163/3122 5/5 JoinFreeModules-PT-5000-02 28760502 m, 127781 m/sec, 28760501 t fired, .
91 LTL SRCH 142/3101 3/5 JoinFreeModules-PT-5000-08 19120055 m, 130841 m/sec, 19120055 t fired, .
Time elapsed: 641 secs. Pages in use: 8
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
JoinFreeModules-PT-5000-06: INITIAL true preprocessing
JoinFreeModules-PT-5000-09: INITIAL true preprocessing
JoinFreeModules-PT-5000-13: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
JoinFreeModules-PT-5000-00: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-01: CONJ 0 0 0 0 2 0 0 0
JoinFreeModules-PT-5000-02: CONJ 0 0 1 0 2 0 0 0
JoinFreeModules-PT-5000-03: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-04: CONJ 0 0 0 0 5 0 0 1
JoinFreeModules-PT-5000-05: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-07: CONJ 0 0 0 0 2 0 0 0
JoinFreeModules-PT-5000-08: LTL 0 0 1 0 0 0 0 0
JoinFreeModules-PT-5000-10: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-11: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-12: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-14: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-15: LTL 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
84 LTL SRCH 168/3122 5/5 JoinFreeModules-PT-5000-02 29406618 m, 129223 m/sec, 29406618 t fired, .
91 LTL SRCH 147/3101 3/5 JoinFreeModules-PT-5000-08 19771796 m, 130348 m/sec, 19771796 t fired, .
Time elapsed: 646 secs. Pages in use: 8
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
JoinFreeModules-PT-5000-06: INITIAL true preprocessing
JoinFreeModules-PT-5000-09: INITIAL true preprocessing
JoinFreeModules-PT-5000-13: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
JoinFreeModules-PT-5000-00: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-01: CONJ 0 0 0 0 2 0 0 0
JoinFreeModules-PT-5000-02: CONJ 0 0 1 0 2 0 0 0
JoinFreeModules-PT-5000-03: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-04: CONJ 0 0 0 0 5 0 0 1
JoinFreeModules-PT-5000-05: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-07: CONJ 0 0 0 0 2 0 0 0
JoinFreeModules-PT-5000-08: LTL 0 0 1 0 0 0 0 0
JoinFreeModules-PT-5000-10: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-11: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-12: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-14: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-15: LTL 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
84 LTL SRCH 173/3122 5/5 JoinFreeModules-PT-5000-02 30047573 m, 128191 m/sec, 30047572 t fired, .
91 LTL SRCH 152/3101 3/5 JoinFreeModules-PT-5000-08 20421130 m, 129866 m/sec, 20421129 t fired, .
Time elapsed: 651 secs. Pages in use: 8
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
JoinFreeModules-PT-5000-06: INITIAL true preprocessing
JoinFreeModules-PT-5000-09: INITIAL true preprocessing
JoinFreeModules-PT-5000-13: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
JoinFreeModules-PT-5000-00: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-01: CONJ 0 0 0 0 2 0 0 0
JoinFreeModules-PT-5000-02: CONJ 0 0 1 0 2 0 0 0
JoinFreeModules-PT-5000-03: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-04: CONJ 0 0 0 0 5 0 0 1
JoinFreeModules-PT-5000-05: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-07: CONJ 0 0 0 0 2 0 0 0
JoinFreeModules-PT-5000-08: LTL 0 0 1 0 0 0 0 0
JoinFreeModules-PT-5000-10: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-11: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-12: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-14: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-15: LTL 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
84 LTL SRCH 178/3122 5/5 JoinFreeModules-PT-5000-02 30698957 m, 130276 m/sec, 30698957 t fired, .
91 LTL SRCH 157/3101 4/5 JoinFreeModules-PT-5000-08 21073365 m, 130447 m/sec, 21073365 t fired, .
Time elapsed: 656 secs. Pages in use: 9
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
JoinFreeModules-PT-5000-06: INITIAL true preprocessing
JoinFreeModules-PT-5000-09: INITIAL true preprocessing
JoinFreeModules-PT-5000-13: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
JoinFreeModules-PT-5000-00: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-01: CONJ 0 0 0 0 2 0 0 0
JoinFreeModules-PT-5000-02: CONJ 0 0 1 0 2 0 0 0
JoinFreeModules-PT-5000-03: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-04: CONJ 0 0 0 0 5 0 0 1
JoinFreeModules-PT-5000-05: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-07: CONJ 0 0 0 0 2 0 0 0
JoinFreeModules-PT-5000-08: LTL 0 0 1 0 0 0 0 0
JoinFreeModules-PT-5000-10: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-11: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-12: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-14: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-15: LTL 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
84 LTL SRCH 183/3122 5/5 JoinFreeModules-PT-5000-02 31352447 m, 130698 m/sec, 31352447 t fired, .
91 LTL SRCH 162/3101 4/5 JoinFreeModules-PT-5000-08 21719174 m, 129161 m/sec, 21719174 t fired, .
Time elapsed: 661 secs. Pages in use: 9
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
JoinFreeModules-PT-5000-06: INITIAL true preprocessing
JoinFreeModules-PT-5000-09: INITIAL true preprocessing
JoinFreeModules-PT-5000-13: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
JoinFreeModules-PT-5000-00: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-01: CONJ 0 0 0 0 2 0 0 0
JoinFreeModules-PT-5000-02: CONJ 0 0 1 0 2 0 0 0
JoinFreeModules-PT-5000-03: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-04: CONJ 0 0 0 0 5 0 0 1
JoinFreeModules-PT-5000-05: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-07: CONJ 0 0 0 0 2 0 0 0
JoinFreeModules-PT-5000-08: LTL 0 0 1 0 0 0 0 0
JoinFreeModules-PT-5000-10: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-11: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-12: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-14: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-15: LTL 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
84 LTL SRCH 188/3122 5/5 JoinFreeModules-PT-5000-02 32001334 m, 129777 m/sec, 32001334 t fired, .
91 LTL SRCH 167/3101 4/5 JoinFreeModules-PT-5000-08 22366562 m, 129477 m/sec, 22366561 t fired, .
Time elapsed: 666 secs. Pages in use: 9
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
JoinFreeModules-PT-5000-06: INITIAL true preprocessing
JoinFreeModules-PT-5000-09: INITIAL true preprocessing
JoinFreeModules-PT-5000-13: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
JoinFreeModules-PT-5000-00: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-01: CONJ 0 0 0 0 2 0 0 0
JoinFreeModules-PT-5000-02: CONJ 0 0 1 0 2 0 0 0
JoinFreeModules-PT-5000-03: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-04: CONJ 0 0 0 0 5 0 0 1
JoinFreeModules-PT-5000-05: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-07: CONJ 0 0 0 0 2 0 0 0
JoinFreeModules-PT-5000-08: LTL 0 0 1 0 0 0 0 0
JoinFreeModules-PT-5000-10: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-11: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-12: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-14: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-15: LTL 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
84 LTL SRCH 193/3122 5/5 JoinFreeModules-PT-5000-02 32647727 m, 129278 m/sec, 32647726 t fired, .
91 LTL SRCH 172/3101 4/5 JoinFreeModules-PT-5000-08 23010800 m, 128847 m/sec, 23010800 t fired, .
Time elapsed: 671 secs. Pages in use: 9
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
JoinFreeModules-PT-5000-06: INITIAL true preprocessing
JoinFreeModules-PT-5000-09: INITIAL true preprocessing
JoinFreeModules-PT-5000-13: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
JoinFreeModules-PT-5000-00: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-01: CONJ 0 0 0 0 2 0 0 0
JoinFreeModules-PT-5000-02: CONJ 0 0 1 0 2 0 0 0
JoinFreeModules-PT-5000-03: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-04: CONJ 0 0 0 0 5 0 0 1
JoinFreeModules-PT-5000-05: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-07: CONJ 0 0 0 0 2 0 0 0
JoinFreeModules-PT-5000-08: LTL 0 0 1 0 0 0 0 0
JoinFreeModules-PT-5000-10: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-11: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-12: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-14: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-15: LTL 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
84 LTL SRCH 198/3122 5/5 JoinFreeModules-PT-5000-02 33291642 m, 128783 m/sec, 33291641 t fired, .
91 LTL SRCH 177/3101 4/5 JoinFreeModules-PT-5000-08 23651006 m, 128041 m/sec, 23651005 t fired, .
Time elapsed: 676 secs. Pages in use: 9
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
JoinFreeModules-PT-5000-06: INITIAL true preprocessing
JoinFreeModules-PT-5000-09: INITIAL true preprocessing
JoinFreeModules-PT-5000-13: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
JoinFreeModules-PT-5000-00: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-01: CONJ 0 0 0 0 2 0 0 0
JoinFreeModules-PT-5000-02: CONJ 0 0 1 0 2 0 0 0
JoinFreeModules-PT-5000-03: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-04: CONJ 0 0 0 0 5 0 0 1
JoinFreeModules-PT-5000-05: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-07: CONJ 0 0 0 0 2 0 0 0
JoinFreeModules-PT-5000-08: LTL 0 0 1 0 0 0 0 0
JoinFreeModules-PT-5000-10: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-11: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-12: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-14: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-15: LTL 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
84 LTL SRCH 203/3122 5/5 JoinFreeModules-PT-5000-02 33932310 m, 128133 m/sec, 33932310 t fired, .
91 LTL SRCH 182/3101 4/5 JoinFreeModules-PT-5000-08 24297105 m, 129219 m/sec, 24297104 t fired, .
Time elapsed: 681 secs. Pages in use: 9
# running tasks: 2 of 4 Visible: 16
lola: CANCELED task # 84 (type SRCH) for JoinFreeModules-PT-5000-02 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
JoinFreeModules-PT-5000-06: INITIAL true preprocessing
JoinFreeModules-PT-5000-09: INITIAL true preprocessing
JoinFreeModules-PT-5000-13: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
JoinFreeModules-PT-5000-00: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-01: CONJ 0 0 0 0 2 0 0 0
JoinFreeModules-PT-5000-02: CONJ 0 0 0 0 2 0 1 0
JoinFreeModules-PT-5000-03: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-04: CONJ 0 0 0 0 5 0 0 1
JoinFreeModules-PT-5000-05: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-07: CONJ 0 0 0 0 2 0 0 0
JoinFreeModules-PT-5000-08: LTL 0 0 1 0 0 0 0 0
JoinFreeModules-PT-5000-10: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-11: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-12: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-14: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-15: LTL 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
91 LTL SRCH 187/3101 4/5 JoinFreeModules-PT-5000-08 25038311 m, 148241 m/sec, 25038310 t fired, .
Time elapsed: 686 secs. Pages in use: 9
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
JoinFreeModules-PT-5000-06: INITIAL true preprocessing
JoinFreeModules-PT-5000-09: INITIAL true preprocessing
JoinFreeModules-PT-5000-13: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
JoinFreeModules-PT-5000-00: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-01: CONJ 0 0 0 0 2 0 0 0
JoinFreeModules-PT-5000-02: CONJ 0 0 0 0 2 0 1 0
JoinFreeModules-PT-5000-03: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-04: CONJ 0 0 0 0 5 0 0 1
JoinFreeModules-PT-5000-05: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-07: CONJ 0 0 0 0 2 0 0 0
JoinFreeModules-PT-5000-08: LTL 0 0 1 0 0 0 0 0
JoinFreeModules-PT-5000-10: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-11: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-12: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-14: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-15: LTL 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
91 LTL SRCH 192/3101 4/5 JoinFreeModules-PT-5000-08 25826589 m, 157655 m/sec, 25826588 t fired, .
Time elapsed: 691 secs. Pages in use: 9
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
JoinFreeModules-PT-5000-06: INITIAL true preprocessing
JoinFreeModules-PT-5000-09: INITIAL true preprocessing
JoinFreeModules-PT-5000-13: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
JoinFreeModules-PT-5000-00: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-01: CONJ 0 0 0 0 2 0 0 0
JoinFreeModules-PT-5000-02: CONJ 0 0 0 0 2 0 1 0
JoinFreeModules-PT-5000-03: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-04: CONJ 0 0 0 0 5 0 0 1
JoinFreeModules-PT-5000-05: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-07: CONJ 0 0 0 0 2 0 0 0
JoinFreeModules-PT-5000-08: LTL 0 0 1 0 0 0 0 0
JoinFreeModules-PT-5000-10: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-11: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-12: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-14: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-15: LTL 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
91 LTL SRCH 197/3101 4/5 JoinFreeModules-PT-5000-08 26609597 m, 156601 m/sec, 26609597 t fired, .
Time elapsed: 696 secs. Pages in use: 9
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
JoinFreeModules-PT-5000-06: INITIAL true preprocessing
JoinFreeModules-PT-5000-09: INITIAL true preprocessing
JoinFreeModules-PT-5000-13: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
JoinFreeModules-PT-5000-00: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-01: CONJ 0 0 0 0 2 0 0 0
JoinFreeModules-PT-5000-02: CONJ 0 0 0 0 2 0 1 0
JoinFreeModules-PT-5000-03: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-04: CONJ 0 0 0 0 5 0 0 1
JoinFreeModules-PT-5000-05: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-07: CONJ 0 0 0 0 2 0 0 0
JoinFreeModules-PT-5000-08: LTL 0 0 1 0 0 0 0 0
JoinFreeModules-PT-5000-10: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-11: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-12: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-14: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-15: LTL 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
91 LTL SRCH 202/3101 4/5 JoinFreeModules-PT-5000-08 27388055 m, 155691 m/sec, 27388055 t fired, .
Time elapsed: 701 secs. Pages in use: 9
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
JoinFreeModules-PT-5000-06: INITIAL true preprocessing
JoinFreeModules-PT-5000-09: INITIAL true preprocessing
JoinFreeModules-PT-5000-13: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
JoinFreeModules-PT-5000-00: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-01: CONJ 0 0 0 0 2 0 0 0
JoinFreeModules-PT-5000-02: CONJ 0 0 0 0 2 0 1 0
JoinFreeModules-PT-5000-03: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-04: CONJ 0 0 0 0 5 0 0 1
JoinFreeModules-PT-5000-05: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-07: CONJ 0 0 0 0 2 0 0 0
JoinFreeModules-PT-5000-08: LTL 0 0 1 0 0 0 0 0
JoinFreeModules-PT-5000-10: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-11: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-12: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-14: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-15: LTL 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
91 LTL SRCH 207/3101 5/5 JoinFreeModules-PT-5000-08 28164096 m, 155208 m/sec, 28164095 t fired, .
Time elapsed: 706 secs. Pages in use: 9
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
JoinFreeModules-PT-5000-06: INITIAL true preprocessing
JoinFreeModules-PT-5000-09: INITIAL true preprocessing
JoinFreeModules-PT-5000-13: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
JoinFreeModules-PT-5000-00: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-01: CONJ 0 0 0 0 2 0 0 0
JoinFreeModules-PT-5000-02: CONJ 0 0 0 0 2 0 1 0
JoinFreeModules-PT-5000-03: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-04: CONJ 0 0 0 0 5 0 0 1
JoinFreeModules-PT-5000-05: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-07: CONJ 0 0 0 0 2 0 0 0
JoinFreeModules-PT-5000-08: LTL 0 0 1 0 0 0 0 0
JoinFreeModules-PT-5000-10: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-11: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-12: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-14: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-15: LTL 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
91 LTL SRCH 212/3101 5/5 JoinFreeModules-PT-5000-08 28962928 m, 159766 m/sec, 28962928 t fired, .
Time elapsed: 711 secs. Pages in use: 9
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
JoinFreeModules-PT-5000-06: INITIAL true preprocessing
JoinFreeModules-PT-5000-09: INITIAL true preprocessing
JoinFreeModules-PT-5000-13: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
JoinFreeModules-PT-5000-00: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-01: CONJ 0 0 0 0 2 0 0 0
JoinFreeModules-PT-5000-02: CONJ 0 0 0 0 2 0 1 0
JoinFreeModules-PT-5000-03: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-04: CONJ 0 0 0 0 5 0 0 1
JoinFreeModules-PT-5000-05: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-07: CONJ 0 0 0 0 2 0 0 0
JoinFreeModules-PT-5000-08: LTL 0 0 1 0 0 0 0 0
JoinFreeModules-PT-5000-10: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-11: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-12: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-14: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-15: LTL 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
91 LTL SRCH 217/3101 5/5 JoinFreeModules-PT-5000-08 29753544 m, 158123 m/sec, 29753544 t fired, .
Time elapsed: 716 secs. Pages in use: 9
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
JoinFreeModules-PT-5000-06: INITIAL true preprocessing
JoinFreeModules-PT-5000-09: INITIAL true preprocessing
JoinFreeModules-PT-5000-13: CONJ false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
JoinFreeModules-PT-5000-00: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-01: CONJ 0 0 0 0 2 0 0 0
JoinFreeModules-PT-5000-02: CONJ 0 0 0 0 2 0 1 0
JoinFreeModules-PT-5000-03: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-04: CONJ 0 0 0 0 5 0 0 1
JoinFreeModules-PT-5000-05: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-07: CONJ 0 0 0 0 2 0 0 0
JoinFreeModules-PT-5000-08: LTL 0 0 1 0 0 0 0 0
JoinFreeModules-PT-5000-10: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-11: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-12: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-14: LTL 0 0 0 0 1 0 0 0
JoinFreeModules-PT-5000-15: LTL 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
91 LTL SRCH 222/3101 5/5 JoinFreeModules-PT-5000-08 30545688 m, 158428 m/sec, 30545688 t fired, .
Time elapsed: 721 secs. Pages in use: 9
# running tasks: 1 of 4 Visible: 16
/home/mcc/BenchKit/BenchKit_head.sh: line 62: 411 Killed lola --conf=$BIN_DIR/configfiles/ltlcardinalityconf --formula=$DIR/LTLCardinality.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="JoinFreeModules-PT-5000"
export BK_EXAMINATION="LTLCardinality"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool lola"
echo " Input is JoinFreeModules-PT-5000, examination is LTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r118-tall-162075403100476"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/JoinFreeModules-PT-5000.tgz
mv JoinFreeModules-PT-5000 execution
cd execution
if [ "LTLCardinality" = "ReachabilityDeadlock" ] || [ "LTLCardinality" = "UpperBounds" ] || [ "LTLCardinality" = "QuasiLiveness" ] || [ "LTLCardinality" = "StableMarking" ] || [ "LTLCardinality" = "Liveness" ] || [ "LTLCardinality" = "OneSafe" ] || [ "LTLCardinality" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "LTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "LTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "LTLCardinality" = "ReachabilityDeadlock" ] || [ "LTLCardinality" = "QuasiLiveness" ] || [ "LTLCardinality" = "StableMarking" ] || [ "LTLCardinality" = "Liveness" ] || [ "LTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME LTLCardinality"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;