About the Execution of LoLa+red for SemanticWebServices-PT-S256P15
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16218.483 | 305654.00 | 370694.00 | 12561.30 | [undef] | Cannot compute |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r359-smll-167891809000442.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool lolaxred
Input is SemanticWebServices-PT-S256P15, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r359-smll-167891809000442
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 32M
-rw-r--r-- 1 mcc users 6.0K Feb 26 10:19 CTLCardinality.txt
-rw-r--r-- 1 mcc users 60K Feb 26 10:19 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.2K Feb 26 10:18 CTLFireability.txt
-rw-r--r-- 1 mcc users 55K Feb 26 10:18 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 16:51 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 16:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:51 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 26 10:21 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 103K Feb 26 10:21 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.7K Feb 26 10:20 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 48K Feb 26 10:20 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 16:51 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:51 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 8 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 32M Mar 5 18:23 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME SemanticWebServices-PT-S256P15-CTLFireability-00
FORMULA_NAME SemanticWebServices-PT-S256P15-CTLFireability-01
FORMULA_NAME SemanticWebServices-PT-S256P15-CTLFireability-02
FORMULA_NAME SemanticWebServices-PT-S256P15-CTLFireability-03
FORMULA_NAME SemanticWebServices-PT-S256P15-CTLFireability-04
FORMULA_NAME SemanticWebServices-PT-S256P15-CTLFireability-05
FORMULA_NAME SemanticWebServices-PT-S256P15-CTLFireability-06
FORMULA_NAME SemanticWebServices-PT-S256P15-CTLFireability-07
FORMULA_NAME SemanticWebServices-PT-S256P15-CTLFireability-08
FORMULA_NAME SemanticWebServices-PT-S256P15-CTLFireability-09
FORMULA_NAME SemanticWebServices-PT-S256P15-CTLFireability-10
FORMULA_NAME SemanticWebServices-PT-S256P15-CTLFireability-11
FORMULA_NAME SemanticWebServices-PT-S256P15-CTLFireability-12
FORMULA_NAME SemanticWebServices-PT-S256P15-CTLFireability-13
FORMULA_NAME SemanticWebServices-PT-S256P15-CTLFireability-14
FORMULA_NAME SemanticWebServices-PT-S256P15-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1679112197892
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=lolaxred
BK_EXAMINATION=CTLFireability
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=SemanticWebServices-PT-S256P15
Applying reductions before tool lola
Invoking reducer
Running Version 202303021504
[2023-03-18 04:03:21] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLFireability, -timeout, 360, -rebuildPNML]
[2023-03-18 04:03:21] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-18 04:03:23] [INFO ] Load time of PNML (sax parser for PT used): 2142 ms
[2023-03-18 04:03:23] [INFO ] Transformed 329 places.
[2023-03-18 04:03:23] [INFO ] Transformed 29492 transitions.
[2023-03-18 04:03:23] [INFO ] Parsed PT model containing 329 places and 29492 transitions and 267319 arcs in 2447 ms.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 23 ms.
Deduced a syphon composed of 5 places in 42 ms
Reduce places removed 5 places and 2050 transitions.
Ensure Unique test removed 6828 transitions
Reduce redundant transitions removed 6828 transitions.
Support contains 118 out of 324 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 324/324 places, 20614/20614 transitions.
Ensure Unique test removed 33 places
Reduce places removed 49 places and 0 transitions.
Ensure Unique test removed 730 transitions
Reduce isomorphic transitions removed 730 transitions.
Iterating post reduction 0 with 779 rules applied. Total rules applied 779 place count 275 transition count 19884
Discarding 16 places :
Symmetric choice reduction at 1 with 16 rule applications. Total rules 795 place count 259 transition count 19502
Iterating global reduction 1 with 16 rules applied. Total rules applied 811 place count 259 transition count 19502
Ensure Unique test removed 335 transitions
Reduce isomorphic transitions removed 335 transitions.
Iterating post reduction 1 with 335 rules applied. Total rules applied 1146 place count 259 transition count 19167
Discarding 7 places :
Symmetric choice reduction at 2 with 7 rule applications. Total rules 1153 place count 252 transition count 19160
Iterating global reduction 2 with 7 rules applied. Total rules applied 1160 place count 252 transition count 19160
Discarding 6 places :
Symmetric choice reduction at 2 with 6 rule applications. Total rules 1166 place count 246 transition count 19154
Iterating global reduction 2 with 6 rules applied. Total rules applied 1172 place count 246 transition count 19154
Discarding 4 places :
Symmetric choice reduction at 2 with 4 rule applications. Total rules 1176 place count 242 transition count 19150
Iterating global reduction 2 with 4 rules applied. Total rules applied 1180 place count 242 transition count 19150
Discarding 2 places :
Symmetric choice reduction at 2 with 2 rule applications. Total rules 1182 place count 240 transition count 19148
Iterating global reduction 2 with 2 rules applied. Total rules applied 1184 place count 240 transition count 19148
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 1185 place count 239 transition count 19147
Iterating global reduction 2 with 1 rules applied. Total rules applied 1186 place count 239 transition count 19147
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 1187 place count 239 transition count 19146
Drop transitions removed 3952 transitions
Redundant transition composition rules discarded 3952 transitions
Iterating global reduction 3 with 3952 rules applied. Total rules applied 5139 place count 239 transition count 15194
Reduce places removed 6 places and 0 transitions.
Ensure Unique test removed 717 transitions
Reduce isomorphic transitions removed 717 transitions.
Iterating post reduction 3 with 723 rules applied. Total rules applied 5862 place count 233 transition count 14477
Discarding 4 places :
Symmetric choice reduction at 4 with 4 rule applications. Total rules 5866 place count 229 transition count 14365
Iterating global reduction 4 with 4 rules applied. Total rules applied 5870 place count 229 transition count 14365
Ensure Unique test removed 367 transitions
Reduce isomorphic transitions removed 367 transitions.
Iterating post reduction 4 with 367 rules applied. Total rules applied 6237 place count 229 transition count 13998
Drop transitions removed 788 transitions
Redundant transition composition rules discarded 788 transitions
Iterating global reduction 5 with 788 rules applied. Total rules applied 7025 place count 229 transition count 13210
Applied a total of 7025 rules in 1171 ms. Remains 229 /324 variables (removed 95) and now considering 13210/20614 (removed 7404) transitions.
[2023-03-18 04:03:25] [INFO ] Flow matrix only has 1531 transitions (discarded 11679 similar events)
Normalized transition count is 1530 out of 1531 initially.
// Phase 1: matrix 1530 rows 229 cols
[2023-03-18 04:03:25] [INFO ] Computed 2 place invariants in 33 ms
[2023-03-18 04:03:33] [INFO ] Dead Transitions using invariants and state equation in 8532 ms found 0 transitions.
[2023-03-18 04:03:33] [INFO ] Flow matrix only has 1531 transitions (discarded 11679 similar events)
[2023-03-18 04:03:33] [INFO ] Invariant cache hit.
[2023-03-18 04:03:34] [INFO ] Implicit Places using invariants in 272 ms returned []
Implicit Place search using SMT only with invariants took 273 ms to find 0 implicit places.
[2023-03-18 04:03:34] [INFO ] Flow matrix only has 1531 transitions (discarded 11679 similar events)
[2023-03-18 04:03:34] [INFO ] Invariant cache hit.
[2023-03-18 04:03:40] [INFO ] Dead Transitions using invariants and state equation in 6464 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 229/324 places, 13210/20614 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 16489 ms. Remains : 229/324 places, 13210/20614 transitions.
Support contains 118 out of 229 places after structural reductions.
[2023-03-18 04:03:41] [INFO ] Flatten gal took : 875 ms
[2023-03-18 04:03:42] [INFO ] Flatten gal took : 420 ms
[2023-03-18 04:03:43] [INFO ] Input system was already deterministic with 13210 transitions.
Incomplete random walk after 10000 steps, including 2 resets, run finished after 1456 ms. (steps per millisecond=6 ) properties (out of 80) seen :76
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 15 ms. (steps per millisecond=666 ) properties (out of 4) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 10 ms. (steps per millisecond=1000 ) properties (out of 4) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 17 ms. (steps per millisecond=588 ) properties (out of 4) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 12 ms. (steps per millisecond=833 ) properties (out of 3) seen :0
Running SMT prover for 3 properties.
[2023-03-18 04:03:45] [INFO ] Flow matrix only has 1531 transitions (discarded 11679 similar events)
[2023-03-18 04:03:45] [INFO ] Invariant cache hit.
[2023-03-18 04:03:45] [INFO ] [Real]Absence check using 0 positive and 2 generalized place invariants in 1 ms returned sat
[2023-03-18 04:03:46] [INFO ] After 754ms SMT Verify possible using state equation in real domain returned unsat :0 sat :1 real:2
[2023-03-18 04:03:46] [INFO ] State equation strengthened by 843 read => feed constraints.
[2023-03-18 04:03:48] [INFO ] After 1543ms SMT Verify possible using 843 Read/Feed constraints in real domain returned unsat :0 sat :0 real:3
[2023-03-18 04:03:48] [INFO ] After 2972ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:3
[2023-03-18 04:03:48] [INFO ] [Nat]Absence check using 0 positive and 2 generalized place invariants in 2 ms returned sat
[2023-03-18 04:03:49] [INFO ] After 660ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :3
[2023-03-18 04:03:50] [INFO ] After 1594ms SMT Verify possible using 843 Read/Feed constraints in natural domain returned unsat :0 sat :3
[2023-03-18 04:03:51] [INFO ] After 2220ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :3
Attempting to minimize the solution found.
Minimization took 310 ms.
[2023-03-18 04:03:51] [INFO ] After 3344ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :3
Parikh walk visited 0 properties in 116 ms.
Support contains 8 out of 229 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 229/229 places, 13210/13210 transitions.
Graph (complete) has 2261 edges and 229 vertex of which 180 are kept as prefixes of interest. Removing 49 places using SCC suffix rule.61 ms
Discarding 49 places :
Also discarding 44 output transitions
Drop transitions removed 44 transitions
Drop transitions removed 15 transitions
Ensure Unique test removed 272 transitions
Reduce isomorphic transitions removed 287 transitions.
Iterating post reduction 0 with 287 rules applied. Total rules applied 288 place count 180 transition count 12879
Discarding 23 places :
Symmetric choice reduction at 1 with 23 rule applications. Total rules 311 place count 157 transition count 7766
Iterating global reduction 1 with 23 rules applied. Total rules applied 334 place count 157 transition count 7766
Ensure Unique test removed 1779 transitions
Reduce isomorphic transitions removed 1779 transitions.
Iterating post reduction 1 with 1779 rules applied. Total rules applied 2113 place count 157 transition count 5987
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 2114 place count 156 transition count 5923
Iterating global reduction 2 with 1 rules applied. Total rules applied 2115 place count 156 transition count 5923
Ensure Unique test removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 2 with 6 rules applied. Total rules applied 2121 place count 156 transition count 5917
Drop transitions removed 238 transitions
Redundant transition composition rules discarded 238 transitions
Iterating global reduction 3 with 238 rules applied. Total rules applied 2359 place count 156 transition count 5679
Reduce places removed 1 places and 0 transitions.
Drop transitions removed 24 transitions
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 26 transitions.
Iterating post reduction 3 with 27 rules applied. Total rules applied 2386 place count 155 transition count 5653
Drop transitions removed 160 transitions
Redundant transition composition rules discarded 160 transitions
Iterating global reduction 4 with 160 rules applied. Total rules applied 2546 place count 155 transition count 5493
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 4 with 1 rules applied. Total rules applied 2547 place count 154 transition count 5492
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 4 with 1 rules applied. Total rules applied 2548 place count 153 transition count 5492
Applied a total of 2548 rules in 3893 ms. Remains 153 /229 variables (removed 76) and now considering 5492/13210 (removed 7718) transitions.
[2023-03-18 04:03:55] [INFO ] Flow matrix only has 1063 transitions (discarded 4429 similar events)
Normalized transition count is 1062 out of 1063 initially.
// Phase 1: matrix 1062 rows 153 cols
[2023-03-18 04:03:55] [INFO ] Computed 1 place invariants in 4 ms
[2023-03-18 04:03:57] [INFO ] Dead Transitions using invariants and state equation in 2212 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 6109 ms. Remains : 153/229 places, 5492/13210 transitions.
Finished random walk after 2161 steps, including 0 resets, run visited all 3 properties in 149 ms. (steps per millisecond=14 )
[2023-03-18 04:03:58] [INFO ] Flatten gal took : 445 ms
[2023-03-18 04:03:58] [INFO ] Flatten gal took : 339 ms
[2023-03-18 04:03:59] [INFO ] Input system was already deterministic with 13210 transitions.
Starting structural reductions in SI_CTL mode, iteration 0 : 229/229 places, 13210/13210 transitions.
Graph (complete) has 4240 edges and 229 vertex of which 221 are kept as prefixes of interest. Removing 8 places using SCC suffix rule.53 ms
Discarding 8 places :
Also discarding 3 output transitions
Drop transitions removed 3 transitions
Ensure Unique test removed 1 places
Reduce places removed 2 places and 1 transitions.
Ensure Unique test removed 13 transitions
Reduce isomorphic transitions removed 13 transitions.
Iterating post reduction 0 with 13 rules applied. Total rules applied 14 place count 219 transition count 13193
Discarding 25 places :
Symmetric choice reduction at 1 with 25 rule applications. Total rules 39 place count 194 transition count 7319
Iterating global reduction 1 with 25 rules applied. Total rules applied 64 place count 194 transition count 7319
Ensure Unique test removed 1743 transitions
Reduce isomorphic transitions removed 1743 transitions.
Iterating post reduction 1 with 1743 rules applied. Total rules applied 1807 place count 194 transition count 5576
Discarding 2 places :
Symmetric choice reduction at 2 with 2 rule applications. Total rules 1809 place count 192 transition count 5511
Iterating global reduction 2 with 2 rules applied. Total rules applied 1811 place count 192 transition count 5511
Ensure Unique test removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 2 with 6 rules applied. Total rules applied 1817 place count 192 transition count 5505
Discarding 1 places :
Symmetric choice reduction at 3 with 1 rule applications. Total rules 1818 place count 191 transition count 5504
Iterating global reduction 3 with 1 rules applied. Total rules applied 1819 place count 191 transition count 5504
Discarding 1 places :
Symmetric choice reduction at 3 with 1 rule applications. Total rules 1820 place count 190 transition count 5503
Iterating global reduction 3 with 1 rules applied. Total rules applied 1821 place count 190 transition count 5503
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 1823 place count 188 transition count 5501
Iterating global reduction 3 with 2 rules applied. Total rules applied 1825 place count 188 transition count 5501
Discarding 1 places :
Symmetric choice reduction at 3 with 1 rule applications. Total rules 1826 place count 187 transition count 5500
Iterating global reduction 3 with 1 rules applied. Total rules applied 1827 place count 187 transition count 5500
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 3 with 1 rules applied. Total rules applied 1828 place count 187 transition count 5499
Drop transitions removed 146 transitions
Redundant transition composition rules discarded 146 transitions
Iterating global reduction 4 with 146 rules applied. Total rules applied 1974 place count 187 transition count 5353
Reduce places removed 2 places and 0 transitions.
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Graph (complete) has 3099 edges and 185 vertex of which 184 are kept as prefixes of interest. Removing 1 places using SCC suffix rule.6 ms
Discarding 1 places :
Also discarding 1 output transitions
Drop transitions removed 1 transitions
Iterating post reduction 4 with 5 rules applied. Total rules applied 1979 place count 184 transition count 5350
Discarding 1 places :
Symmetric choice reduction at 5 with 1 rule applications. Total rules 1980 place count 183 transition count 5349
Iterating global reduction 5 with 1 rules applied. Total rules applied 1981 place count 183 transition count 5349
Discarding 1 places :
Symmetric choice reduction at 5 with 1 rule applications. Total rules 1982 place count 182 transition count 5348
Iterating global reduction 5 with 1 rules applied. Total rules applied 1983 place count 182 transition count 5348
Discarding 2 places :
Symmetric choice reduction at 5 with 2 rule applications. Total rules 1985 place count 180 transition count 5346
Iterating global reduction 5 with 2 rules applied. Total rules applied 1987 place count 180 transition count 5346
Discarding 2 places :
Symmetric choice reduction at 5 with 2 rule applications. Total rules 1989 place count 178 transition count 5344
Iterating global reduction 5 with 2 rules applied. Total rules applied 1991 place count 178 transition count 5344
Discarding 2 places :
Symmetric choice reduction at 5 with 2 rule applications. Total rules 1993 place count 176 transition count 5342
Iterating global reduction 5 with 2 rules applied. Total rules applied 1995 place count 176 transition count 5342
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 5 with 2 rules applied. Total rules applied 1997 place count 176 transition count 5340
Drop transitions removed 185 transitions
Redundant transition composition rules discarded 185 transitions
Iterating global reduction 6 with 185 rules applied. Total rules applied 2182 place count 176 transition count 5155
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 6 with 1 rules applied. Total rules applied 2183 place count 175 transition count 5155
Discarding 1 places :
Symmetric choice reduction at 7 with 1 rule applications. Total rules 2184 place count 174 transition count 5154
Iterating global reduction 7 with 1 rules applied. Total rules applied 2185 place count 174 transition count 5154
Discarding 1 places :
Symmetric choice reduction at 7 with 1 rule applications. Total rules 2186 place count 173 transition count 5153
Iterating global reduction 7 with 1 rules applied. Total rules applied 2187 place count 173 transition count 5153
Discarding 1 places :
Symmetric choice reduction at 7 with 1 rule applications. Total rules 2188 place count 172 transition count 5152
Iterating global reduction 7 with 1 rules applied. Total rules applied 2189 place count 172 transition count 5152
Discarding 2 places :
Symmetric choice reduction at 7 with 2 rule applications. Total rules 2191 place count 170 transition count 5150
Iterating global reduction 7 with 2 rules applied. Total rules applied 2193 place count 170 transition count 5150
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 7 with 2 rules applied. Total rules applied 2195 place count 170 transition count 5148
Drop transitions removed 1 transitions
Redundant transition composition rules discarded 1 transitions
Iterating global reduction 8 with 1 rules applied. Total rules applied 2196 place count 170 transition count 5147
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 8 with 1 rules applied. Total rules applied 2197 place count 169 transition count 5147
Discarding 1 places :
Symmetric choice reduction at 9 with 1 rule applications. Total rules 2198 place count 168 transition count 5146
Iterating global reduction 9 with 1 rules applied. Total rules applied 2199 place count 168 transition count 5146
Discarding 1 places :
Symmetric choice reduction at 9 with 1 rule applications. Total rules 2200 place count 167 transition count 5145
Iterating global reduction 9 with 1 rules applied. Total rules applied 2201 place count 167 transition count 5145
Discarding 2 places :
Symmetric choice reduction at 9 with 2 rule applications. Total rules 2203 place count 165 transition count 5143
Iterating global reduction 9 with 2 rules applied. Total rules applied 2205 place count 165 transition count 5143
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 9 with 2 rules applied. Total rules applied 2207 place count 165 transition count 5141
Drop transitions removed 1 transitions
Redundant transition composition rules discarded 1 transitions
Iterating global reduction 10 with 1 rules applied. Total rules applied 2208 place count 165 transition count 5140
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 10 with 1 rules applied. Total rules applied 2209 place count 164 transition count 5140
Discarding 1 places :
Symmetric choice reduction at 11 with 1 rule applications. Total rules 2210 place count 163 transition count 5139
Iterating global reduction 11 with 1 rules applied. Total rules applied 2211 place count 163 transition count 5139
Discarding 1 places :
Symmetric choice reduction at 11 with 1 rule applications. Total rules 2212 place count 162 transition count 5138
Iterating global reduction 11 with 1 rules applied. Total rules applied 2213 place count 162 transition count 5138
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 11 with 1 rules applied. Total rules applied 2214 place count 162 transition count 5137
Drop transitions removed 1 transitions
Redundant transition composition rules discarded 1 transitions
Iterating global reduction 12 with 1 rules applied. Total rules applied 2215 place count 162 transition count 5136
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 12 with 1 rules applied. Total rules applied 2216 place count 161 transition count 5136
Drop transitions removed 1 transitions
Redundant transition composition rules discarded 1 transitions
Iterating global reduction 13 with 1 rules applied. Total rules applied 2217 place count 161 transition count 5135
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 13 with 1 rules applied. Total rules applied 2218 place count 160 transition count 5135
Drop transitions removed 1 transitions
Redundant transition composition rules discarded 1 transitions
Iterating global reduction 14 with 1 rules applied. Total rules applied 2219 place count 160 transition count 5134
Applied a total of 2219 rules in 5293 ms. Remains 160 /229 variables (removed 69) and now considering 5134/13210 (removed 8076) transitions.
[2023-03-18 04:04:05] [INFO ] Flow matrix only has 1085 transitions (discarded 4049 similar events)
Normalized transition count is 1084 out of 1085 initially.
// Phase 1: matrix 1084 rows 160 cols
[2023-03-18 04:04:05] [INFO ] Computed 0 place invariants in 3 ms
[2023-03-18 04:04:07] [INFO ] Dead Transitions using invariants and state equation in 2205 ms found 0 transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 7503 ms. Remains : 160/229 places, 5134/13210 transitions.
[2023-03-18 04:04:07] [INFO ] Flatten gal took : 89 ms
[2023-03-18 04:04:07] [INFO ] Flatten gal took : 111 ms
[2023-03-18 04:04:07] [INFO ] Input system was already deterministic with 5134 transitions.
Starting structural reductions in LTL mode, iteration 0 : 229/229 places, 13210/13210 transitions.
Ensure Unique test removed 1 places
Reduce places removed 4 places and 0 transitions.
Ensure Unique test removed 275 transitions
Reduce isomorphic transitions removed 275 transitions.
Iterating post reduction 0 with 279 rules applied. Total rules applied 279 place count 225 transition count 12935
Discarding 16 places :
Symmetric choice reduction at 1 with 16 rule applications. Total rules 295 place count 209 transition count 9446
Iterating global reduction 1 with 16 rules applied. Total rules applied 311 place count 209 transition count 9446
Ensure Unique test removed 1460 transitions
Reduce isomorphic transitions removed 1460 transitions.
Iterating post reduction 1 with 1460 rules applied. Total rules applied 1771 place count 209 transition count 7986
Drop transitions removed 232 transitions
Redundant transition composition rules discarded 232 transitions
Iterating global reduction 2 with 232 rules applied. Total rules applied 2003 place count 209 transition count 7754
Reduce places removed 1 places and 0 transitions.
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 2 with 3 rules applied. Total rules applied 2006 place count 208 transition count 7752
Drop transitions removed 208 transitions
Redundant transition composition rules discarded 208 transitions
Iterating global reduction 3 with 208 rules applied. Total rules applied 2214 place count 208 transition count 7544
Applied a total of 2214 rules in 169 ms. Remains 208 /229 variables (removed 21) and now considering 7544/13210 (removed 5666) transitions.
[2023-03-18 04:04:07] [INFO ] Flow matrix only has 1250 transitions (discarded 6294 similar events)
Normalized transition count is 1249 out of 1250 initially.
// Phase 1: matrix 1249 rows 208 cols
[2023-03-18 04:04:07] [INFO ] Computed 1 place invariants in 4 ms
[2023-03-18 04:04:11] [INFO ] Dead Transitions using invariants and state equation in 3169 ms found 0 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 3340 ms. Remains : 208/229 places, 7544/13210 transitions.
[2023-03-18 04:04:11] [INFO ] Flatten gal took : 130 ms
[2023-03-18 04:04:11] [INFO ] Flatten gal took : 162 ms
[2023-03-18 04:04:11] [INFO ] Input system was already deterministic with 7544 transitions.
Starting structural reductions in LTL mode, iteration 0 : 229/229 places, 13210/13210 transitions.
Ensure Unique test removed 1 places
Reduce places removed 3 places and 0 transitions.
Ensure Unique test removed 266 transitions
Reduce isomorphic transitions removed 266 transitions.
Iterating post reduction 0 with 269 rules applied. Total rules applied 269 place count 226 transition count 12944
Discarding 19 places :
Symmetric choice reduction at 1 with 19 rule applications. Total rules 288 place count 207 transition count 8195
Iterating global reduction 1 with 19 rules applied. Total rules applied 307 place count 207 transition count 8195
Ensure Unique test removed 1609 transitions
Reduce isomorphic transitions removed 1609 transitions.
Iterating post reduction 1 with 1609 rules applied. Total rules applied 1916 place count 207 transition count 6586
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 1917 place count 206 transition count 6522
Iterating global reduction 2 with 1 rules applied. Total rules applied 1918 place count 206 transition count 6522
Ensure Unique test removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 2 with 6 rules applied. Total rules applied 1924 place count 206 transition count 6516
Drop transitions removed 190 transitions
Redundant transition composition rules discarded 190 transitions
Iterating global reduction 3 with 190 rules applied. Total rules applied 2114 place count 206 transition count 6326
Reduce places removed 1 places and 0 transitions.
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 3 with 3 rules applied. Total rules applied 2117 place count 205 transition count 6324
Drop transitions removed 144 transitions
Redundant transition composition rules discarded 144 transitions
Iterating global reduction 4 with 144 rules applied. Total rules applied 2261 place count 205 transition count 6180
Applied a total of 2261 rules in 277 ms. Remains 205 /229 variables (removed 24) and now considering 6180/13210 (removed 7030) transitions.
[2023-03-18 04:04:12] [INFO ] Flow matrix only has 1178 transitions (discarded 5002 similar events)
Normalized transition count is 1177 out of 1178 initially.
// Phase 1: matrix 1177 rows 205 cols
[2023-03-18 04:04:12] [INFO ] Computed 1 place invariants in 6 ms
[2023-03-18 04:04:14] [INFO ] Dead Transitions using invariants and state equation in 2565 ms found 0 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 2845 ms. Remains : 205/229 places, 6180/13210 transitions.
[2023-03-18 04:04:14] [INFO ] Flatten gal took : 102 ms
[2023-03-18 04:04:14] [INFO ] Flatten gal took : 129 ms
[2023-03-18 04:04:15] [INFO ] Input system was already deterministic with 6180 transitions.
Starting structural reductions in LTL mode, iteration 0 : 229/229 places, 13210/13210 transitions.
Reduce places removed 3 places and 0 transitions.
Ensure Unique test removed 275 transitions
Reduce isomorphic transitions removed 275 transitions.
Iterating post reduction 0 with 278 rules applied. Total rules applied 278 place count 226 transition count 12935
Discarding 15 places :
Symmetric choice reduction at 1 with 15 rule applications. Total rules 293 place count 211 transition count 10282
Iterating global reduction 1 with 15 rules applied. Total rules applied 308 place count 211 transition count 10282
Ensure Unique test removed 1554 transitions
Reduce isomorphic transitions removed 1554 transitions.
Iterating post reduction 1 with 1554 rules applied. Total rules applied 1862 place count 211 transition count 8728
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 1863 place count 210 transition count 8664
Iterating global reduction 2 with 1 rules applied. Total rules applied 1864 place count 210 transition count 8664
Ensure Unique test removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 2 with 6 rules applied. Total rules applied 1870 place count 210 transition count 8658
Drop transitions removed 288 transitions
Redundant transition composition rules discarded 288 transitions
Iterating global reduction 3 with 288 rules applied. Total rules applied 2158 place count 210 transition count 8370
Reduce places removed 1 places and 0 transitions.
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 3 with 3 rules applied. Total rules applied 2161 place count 209 transition count 8368
Drop transitions removed 240 transitions
Redundant transition composition rules discarded 240 transitions
Iterating global reduction 4 with 240 rules applied. Total rules applied 2401 place count 209 transition count 8128
Applied a total of 2401 rules in 184 ms. Remains 209 /229 variables (removed 20) and now considering 8128/13210 (removed 5082) transitions.
[2023-03-18 04:04:15] [INFO ] Flow matrix only has 1216 transitions (discarded 6912 similar events)
Normalized transition count is 1215 out of 1216 initially.
// Phase 1: matrix 1215 rows 209 cols
[2023-03-18 04:04:15] [INFO ] Computed 2 place invariants in 4 ms
[2023-03-18 04:04:18] [INFO ] Dead Transitions using invariants and state equation in 3316 ms found 0 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 3502 ms. Remains : 209/229 places, 8128/13210 transitions.
[2023-03-18 04:04:18] [INFO ] Flatten gal took : 149 ms
[2023-03-18 04:04:19] [INFO ] Flatten gal took : 186 ms
[2023-03-18 04:04:19] [INFO ] Input system was already deterministic with 8128 transitions.
Starting structural reductions in SI_CTL mode, iteration 0 : 229/229 places, 13210/13210 transitions.
Graph (complete) has 4240 edges and 229 vertex of which 220 are kept as prefixes of interest. Removing 9 places using SCC suffix rule.13 ms
Discarding 9 places :
Also discarding 3 output transitions
Drop transitions removed 3 transitions
Ensure Unique test removed 1 places
Reduce places removed 2 places and 1 transitions.
Ensure Unique test removed 275 transitions
Reduce isomorphic transitions removed 275 transitions.
Iterating post reduction 0 with 275 rules applied. Total rules applied 276 place count 218 transition count 12931
Discarding 21 places :
Symmetric choice reduction at 1 with 21 rule applications. Total rules 297 place count 197 transition count 8253
Iterating global reduction 1 with 21 rules applied. Total rules applied 318 place count 197 transition count 8253
Ensure Unique test removed 1521 transitions
Reduce isomorphic transitions removed 1521 transitions.
Iterating post reduction 1 with 1521 rules applied. Total rules applied 1839 place count 197 transition count 6732
Discarding 2 places :
Symmetric choice reduction at 2 with 2 rule applications. Total rules 1841 place count 195 transition count 6667
Iterating global reduction 2 with 2 rules applied. Total rules applied 1843 place count 195 transition count 6667
Ensure Unique test removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 2 with 6 rules applied. Total rules applied 1849 place count 195 transition count 6661
Discarding 1 places :
Symmetric choice reduction at 3 with 1 rule applications. Total rules 1850 place count 194 transition count 6660
Iterating global reduction 3 with 1 rules applied. Total rules applied 1851 place count 194 transition count 6660
Discarding 1 places :
Symmetric choice reduction at 3 with 1 rule applications. Total rules 1852 place count 193 transition count 6659
Iterating global reduction 3 with 1 rules applied. Total rules applied 1853 place count 193 transition count 6659
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 1855 place count 191 transition count 6657
Iterating global reduction 3 with 2 rules applied. Total rules applied 1857 place count 191 transition count 6657
Discarding 1 places :
Symmetric choice reduction at 3 with 1 rule applications. Total rules 1858 place count 190 transition count 6656
Iterating global reduction 3 with 1 rules applied. Total rules applied 1859 place count 190 transition count 6656
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 3 with 1 rules applied. Total rules applied 1860 place count 190 transition count 6655
Drop transitions removed 304 transitions
Redundant transition composition rules discarded 304 transitions
Iterating global reduction 4 with 304 rules applied. Total rules applied 2164 place count 190 transition count 6351
Reduce places removed 2 places and 0 transitions.
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Graph (complete) has 3271 edges and 188 vertex of which 187 are kept as prefixes of interest. Removing 1 places using SCC suffix rule.6 ms
Discarding 1 places :
Also discarding 1 output transitions
Drop transitions removed 1 transitions
Iterating post reduction 4 with 5 rules applied. Total rules applied 2169 place count 187 transition count 6348
Discarding 1 places :
Symmetric choice reduction at 5 with 1 rule applications. Total rules 2170 place count 186 transition count 6347
Iterating global reduction 5 with 1 rules applied. Total rules applied 2171 place count 186 transition count 6347
Discarding 1 places :
Symmetric choice reduction at 5 with 1 rule applications. Total rules 2172 place count 185 transition count 6346
Iterating global reduction 5 with 1 rules applied. Total rules applied 2173 place count 185 transition count 6346
Discarding 2 places :
Symmetric choice reduction at 5 with 2 rule applications. Total rules 2175 place count 183 transition count 6344
Iterating global reduction 5 with 2 rules applied. Total rules applied 2177 place count 183 transition count 6344
Discarding 2 places :
Symmetric choice reduction at 5 with 2 rule applications. Total rules 2179 place count 181 transition count 6342
Iterating global reduction 5 with 2 rules applied. Total rules applied 2181 place count 181 transition count 6342
Discarding 2 places :
Symmetric choice reduction at 5 with 2 rule applications. Total rules 2183 place count 179 transition count 6340
Iterating global reduction 5 with 2 rules applied. Total rules applied 2185 place count 179 transition count 6340
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 5 with 2 rules applied. Total rules applied 2187 place count 179 transition count 6338
Drop transitions removed 249 transitions
Redundant transition composition rules discarded 249 transitions
Iterating global reduction 6 with 249 rules applied. Total rules applied 2436 place count 179 transition count 6089
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 6 with 1 rules applied. Total rules applied 2437 place count 178 transition count 6089
Discarding 1 places :
Symmetric choice reduction at 7 with 1 rule applications. Total rules 2438 place count 177 transition count 6088
Iterating global reduction 7 with 1 rules applied. Total rules applied 2439 place count 177 transition count 6088
Discarding 1 places :
Symmetric choice reduction at 7 with 1 rule applications. Total rules 2440 place count 176 transition count 6087
Iterating global reduction 7 with 1 rules applied. Total rules applied 2441 place count 176 transition count 6087
Discarding 1 places :
Symmetric choice reduction at 7 with 1 rule applications. Total rules 2442 place count 175 transition count 6086
Iterating global reduction 7 with 1 rules applied. Total rules applied 2443 place count 175 transition count 6086
Discarding 2 places :
Symmetric choice reduction at 7 with 2 rule applications. Total rules 2445 place count 173 transition count 6084
Iterating global reduction 7 with 2 rules applied. Total rules applied 2447 place count 173 transition count 6084
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 7 with 2 rules applied. Total rules applied 2449 place count 173 transition count 6082
Drop transitions removed 1 transitions
Redundant transition composition rules discarded 1 transitions
Iterating global reduction 8 with 1 rules applied. Total rules applied 2450 place count 173 transition count 6081
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 8 with 1 rules applied. Total rules applied 2451 place count 172 transition count 6081
Discarding 1 places :
Symmetric choice reduction at 9 with 1 rule applications. Total rules 2452 place count 171 transition count 6080
Iterating global reduction 9 with 1 rules applied. Total rules applied 2453 place count 171 transition count 6080
Discarding 1 places :
Symmetric choice reduction at 9 with 1 rule applications. Total rules 2454 place count 170 transition count 6079
Iterating global reduction 9 with 1 rules applied. Total rules applied 2455 place count 170 transition count 6079
Discarding 2 places :
Symmetric choice reduction at 9 with 2 rule applications. Total rules 2457 place count 168 transition count 6077
Iterating global reduction 9 with 2 rules applied. Total rules applied 2459 place count 168 transition count 6077
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 9 with 2 rules applied. Total rules applied 2461 place count 168 transition count 6075
Drop transitions removed 1 transitions
Redundant transition composition rules discarded 1 transitions
Iterating global reduction 10 with 1 rules applied. Total rules applied 2462 place count 168 transition count 6074
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 10 with 1 rules applied. Total rules applied 2463 place count 167 transition count 6074
Discarding 1 places :
Symmetric choice reduction at 11 with 1 rule applications. Total rules 2464 place count 166 transition count 6073
Iterating global reduction 11 with 1 rules applied. Total rules applied 2465 place count 166 transition count 6073
Discarding 1 places :
Symmetric choice reduction at 11 with 1 rule applications. Total rules 2466 place count 165 transition count 6072
Iterating global reduction 11 with 1 rules applied. Total rules applied 2467 place count 165 transition count 6072
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 11 with 1 rules applied. Total rules applied 2468 place count 165 transition count 6071
Drop transitions removed 1 transitions
Redundant transition composition rules discarded 1 transitions
Iterating global reduction 12 with 1 rules applied. Total rules applied 2469 place count 165 transition count 6070
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 12 with 1 rules applied. Total rules applied 2470 place count 164 transition count 6070
Drop transitions removed 1 transitions
Redundant transition composition rules discarded 1 transitions
Iterating global reduction 13 with 1 rules applied. Total rules applied 2471 place count 164 transition count 6069
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 13 with 1 rules applied. Total rules applied 2472 place count 163 transition count 6069
Drop transitions removed 1 transitions
Redundant transition composition rules discarded 1 transitions
Iterating global reduction 14 with 1 rules applied. Total rules applied 2473 place count 163 transition count 6068
Applied a total of 2473 rules in 8370 ms. Remains 163 /229 variables (removed 66) and now considering 6068/13210 (removed 7142) transitions.
[2023-03-18 04:04:27] [INFO ] Flow matrix only has 1130 transitions (discarded 4938 similar events)
Normalized transition count is 1129 out of 1130 initially.
// Phase 1: matrix 1129 rows 163 cols
[2023-03-18 04:04:27] [INFO ] Computed 0 place invariants in 4 ms
[2023-03-18 04:04:30] [INFO ] Dead Transitions using invariants and state equation in 2377 ms found 0 transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 10749 ms. Remains : 163/229 places, 6068/13210 transitions.
[2023-03-18 04:04:30] [INFO ] Flatten gal took : 100 ms
[2023-03-18 04:04:30] [INFO ] Flatten gal took : 128 ms
[2023-03-18 04:04:30] [INFO ] Input system was already deterministic with 6068 transitions.
Starting structural reductions in SI_CTL mode, iteration 0 : 229/229 places, 13210/13210 transitions.
Graph (complete) has 4240 edges and 229 vertex of which 220 are kept as prefixes of interest. Removing 9 places using SCC suffix rule.14 ms
Discarding 9 places :
Also discarding 3 output transitions
Drop transitions removed 3 transitions
Ensure Unique test removed 1 places
Reduce places removed 2 places and 1 transitions.
Ensure Unique test removed 275 transitions
Reduce isomorphic transitions removed 275 transitions.
Iterating post reduction 0 with 275 rules applied. Total rules applied 276 place count 218 transition count 12931
Discarding 22 places :
Symmetric choice reduction at 1 with 22 rule applications. Total rules 298 place count 196 transition count 7761
Iterating global reduction 1 with 22 rules applied. Total rules applied 320 place count 196 transition count 7761
Ensure Unique test removed 1799 transitions
Reduce isomorphic transitions removed 1799 transitions.
Iterating post reduction 1 with 1799 rules applied. Total rules applied 2119 place count 196 transition count 5962
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 2120 place count 195 transition count 5961
Iterating global reduction 2 with 1 rules applied. Total rules applied 2121 place count 195 transition count 5961
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 2122 place count 194 transition count 5960
Iterating global reduction 2 with 1 rules applied. Total rules applied 2123 place count 194 transition count 5960
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 2124 place count 193 transition count 5959
Iterating global reduction 2 with 1 rules applied. Total rules applied 2125 place count 193 transition count 5959
Discarding 2 places :
Symmetric choice reduction at 2 with 2 rule applications. Total rules 2127 place count 191 transition count 5957
Iterating global reduction 2 with 2 rules applied. Total rules applied 2129 place count 191 transition count 5957
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 2130 place count 190 transition count 5956
Iterating global reduction 2 with 1 rules applied. Total rules applied 2131 place count 190 transition count 5956
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 2132 place count 190 transition count 5955
Drop transitions removed 198 transitions
Redundant transition composition rules discarded 198 transitions
Iterating global reduction 3 with 198 rules applied. Total rules applied 2330 place count 190 transition count 5757
Reduce places removed 2 places and 0 transitions.
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Graph (complete) has 3178 edges and 188 vertex of which 187 are kept as prefixes of interest. Removing 1 places using SCC suffix rule.5 ms
Discarding 1 places :
Also discarding 1 output transitions
Drop transitions removed 1 transitions
Iterating post reduction 3 with 5 rules applied. Total rules applied 2335 place count 187 transition count 5754
Discarding 1 places :
Symmetric choice reduction at 4 with 1 rule applications. Total rules 2336 place count 186 transition count 5753
Iterating global reduction 4 with 1 rules applied. Total rules applied 2337 place count 186 transition count 5753
Discarding 1 places :
Symmetric choice reduction at 4 with 1 rule applications. Total rules 2338 place count 185 transition count 5752
Iterating global reduction 4 with 1 rules applied. Total rules applied 2339 place count 185 transition count 5752
Discarding 2 places :
Symmetric choice reduction at 4 with 2 rule applications. Total rules 2341 place count 183 transition count 5750
Iterating global reduction 4 with 2 rules applied. Total rules applied 2343 place count 183 transition count 5750
Discarding 2 places :
Symmetric choice reduction at 4 with 2 rule applications. Total rules 2345 place count 181 transition count 5748
Iterating global reduction 4 with 2 rules applied. Total rules applied 2347 place count 181 transition count 5748
Discarding 2 places :
Symmetric choice reduction at 4 with 2 rule applications. Total rules 2349 place count 179 transition count 5746
Iterating global reduction 4 with 2 rules applied. Total rules applied 2351 place count 179 transition count 5746
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 4 with 2 rules applied. Total rules applied 2353 place count 179 transition count 5744
Drop transitions removed 185 transitions
Redundant transition composition rules discarded 185 transitions
Iterating global reduction 5 with 185 rules applied. Total rules applied 2538 place count 179 transition count 5559
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 5 with 1 rules applied. Total rules applied 2539 place count 178 transition count 5559
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 2540 place count 177 transition count 5558
Iterating global reduction 6 with 1 rules applied. Total rules applied 2541 place count 177 transition count 5558
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 2542 place count 176 transition count 5557
Iterating global reduction 6 with 1 rules applied. Total rules applied 2543 place count 176 transition count 5557
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 2544 place count 175 transition count 5556
Iterating global reduction 6 with 1 rules applied. Total rules applied 2545 place count 175 transition count 5556
Discarding 2 places :
Symmetric choice reduction at 6 with 2 rule applications. Total rules 2547 place count 173 transition count 5554
Iterating global reduction 6 with 2 rules applied. Total rules applied 2549 place count 173 transition count 5554
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 6 with 2 rules applied. Total rules applied 2551 place count 173 transition count 5552
Drop transitions removed 1 transitions
Redundant transition composition rules discarded 1 transitions
Iterating global reduction 7 with 1 rules applied. Total rules applied 2552 place count 173 transition count 5551
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 7 with 1 rules applied. Total rules applied 2553 place count 172 transition count 5551
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 2554 place count 171 transition count 5550
Iterating global reduction 8 with 1 rules applied. Total rules applied 2555 place count 171 transition count 5550
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 2556 place count 170 transition count 5549
Iterating global reduction 8 with 1 rules applied. Total rules applied 2557 place count 170 transition count 5549
Discarding 2 places :
Symmetric choice reduction at 8 with 2 rule applications. Total rules 2559 place count 168 transition count 5547
Iterating global reduction 8 with 2 rules applied. Total rules applied 2561 place count 168 transition count 5547
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 8 with 2 rules applied. Total rules applied 2563 place count 168 transition count 5545
Drop transitions removed 1 transitions
Redundant transition composition rules discarded 1 transitions
Iterating global reduction 9 with 1 rules applied. Total rules applied 2564 place count 168 transition count 5544
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 9 with 1 rules applied. Total rules applied 2565 place count 167 transition count 5544
Discarding 1 places :
Symmetric choice reduction at 10 with 1 rule applications. Total rules 2566 place count 166 transition count 5543
Iterating global reduction 10 with 1 rules applied. Total rules applied 2567 place count 166 transition count 5543
Discarding 1 places :
Symmetric choice reduction at 10 with 1 rule applications. Total rules 2568 place count 165 transition count 5542
Iterating global reduction 10 with 1 rules applied. Total rules applied 2569 place count 165 transition count 5542
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 10 with 1 rules applied. Total rules applied 2570 place count 165 transition count 5541
Drop transitions removed 1 transitions
Redundant transition composition rules discarded 1 transitions
Iterating global reduction 11 with 1 rules applied. Total rules applied 2571 place count 165 transition count 5540
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 11 with 1 rules applied. Total rules applied 2572 place count 164 transition count 5540
Drop transitions removed 1 transitions
Redundant transition composition rules discarded 1 transitions
Iterating global reduction 12 with 1 rules applied. Total rules applied 2573 place count 164 transition count 5539
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 12 with 1 rules applied. Total rules applied 2574 place count 163 transition count 5539
Drop transitions removed 1 transitions
Redundant transition composition rules discarded 1 transitions
Iterating global reduction 13 with 1 rules applied. Total rules applied 2575 place count 163 transition count 5538
Applied a total of 2575 rules in 4966 ms. Remains 163 /229 variables (removed 66) and now considering 5538/13210 (removed 7672) transitions.
[2023-03-18 04:04:35] [INFO ] Flow matrix only has 1109 transitions (discarded 4429 similar events)
Normalized transition count is 1108 out of 1109 initially.
// Phase 1: matrix 1108 rows 163 cols
[2023-03-18 04:04:35] [INFO ] Computed 0 place invariants in 5 ms
[2023-03-18 04:04:38] [INFO ] Dead Transitions using invariants and state equation in 2361 ms found 0 transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 7328 ms. Remains : 163/229 places, 5538/13210 transitions.
[2023-03-18 04:04:38] [INFO ] Flatten gal took : 89 ms
[2023-03-18 04:04:38] [INFO ] Flatten gal took : 112 ms
[2023-03-18 04:04:38] [INFO ] Input system was already deterministic with 5538 transitions.
Starting structural reductions in LTL mode, iteration 0 : 229/229 places, 13210/13210 transitions.
Ensure Unique test removed 1 places
Reduce places removed 4 places and 0 transitions.
Ensure Unique test removed 275 transitions
Reduce isomorphic transitions removed 275 transitions.
Iterating post reduction 0 with 279 rules applied. Total rules applied 279 place count 225 transition count 12935
Discarding 21 places :
Symmetric choice reduction at 1 with 21 rule applications. Total rules 300 place count 204 transition count 7915
Iterating global reduction 1 with 21 rules applied. Total rules applied 321 place count 204 transition count 7915
Ensure Unique test removed 1650 transitions
Reduce isomorphic transitions removed 1650 transitions.
Iterating post reduction 1 with 1650 rules applied. Total rules applied 1971 place count 204 transition count 6265
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 1972 place count 203 transition count 6201
Iterating global reduction 2 with 1 rules applied. Total rules applied 1973 place count 203 transition count 6201
Ensure Unique test removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 2 with 6 rules applied. Total rules applied 1979 place count 203 transition count 6195
Drop transitions removed 64 transitions
Redundant transition composition rules discarded 64 transitions
Iterating global reduction 3 with 64 rules applied. Total rules applied 2043 place count 203 transition count 6131
Reduce places removed 1 places and 0 transitions.
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 3 with 3 rules applied. Total rules applied 2046 place count 202 transition count 6129
Drop transitions removed 192 transitions
Redundant transition composition rules discarded 192 transitions
Iterating global reduction 4 with 192 rules applied. Total rules applied 2238 place count 202 transition count 5937
Applied a total of 2238 rules in 151 ms. Remains 202 /229 variables (removed 27) and now considering 5937/13210 (removed 7273) transitions.
[2023-03-18 04:04:38] [INFO ] Flow matrix only has 1172 transitions (discarded 4765 similar events)
Normalized transition count is 1171 out of 1172 initially.
// Phase 1: matrix 1171 rows 202 cols
[2023-03-18 04:04:38] [INFO ] Computed 1 place invariants in 2 ms
[2023-03-18 04:04:41] [INFO ] Dead Transitions using invariants and state equation in 2581 ms found 0 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 2733 ms. Remains : 202/229 places, 5937/13210 transitions.
[2023-03-18 04:04:41] [INFO ] Flatten gal took : 105 ms
[2023-03-18 04:04:41] [INFO ] Flatten gal took : 128 ms
[2023-03-18 04:04:41] [INFO ] Input system was already deterministic with 5937 transitions.
Starting structural reductions in LTL mode, iteration 0 : 229/229 places, 13210/13210 transitions.
Ensure Unique test removed 1 places
Reduce places removed 4 places and 0 transitions.
Ensure Unique test removed 275 transitions
Reduce isomorphic transitions removed 275 transitions.
Iterating post reduction 0 with 279 rules applied. Total rules applied 279 place count 225 transition count 12935
Discarding 19 places :
Symmetric choice reduction at 1 with 19 rule applications. Total rules 298 place count 206 transition count 8486
Iterating global reduction 1 with 19 rules applied. Total rules applied 317 place count 206 transition count 8486
Ensure Unique test removed 1620 transitions
Reduce isomorphic transitions removed 1620 transitions.
Iterating post reduction 1 with 1620 rules applied. Total rules applied 1937 place count 206 transition count 6866
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 1938 place count 205 transition count 6802
Iterating global reduction 2 with 1 rules applied. Total rules applied 1939 place count 205 transition count 6802
Ensure Unique test removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 2 with 6 rules applied. Total rules applied 1945 place count 205 transition count 6796
Drop transitions removed 190 transitions
Redundant transition composition rules discarded 190 transitions
Iterating global reduction 3 with 190 rules applied. Total rules applied 2135 place count 205 transition count 6606
Reduce places removed 1 places and 0 transitions.
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 3 with 3 rules applied. Total rules applied 2138 place count 204 transition count 6604
Drop transitions removed 176 transitions
Redundant transition composition rules discarded 176 transitions
Iterating global reduction 4 with 176 rules applied. Total rules applied 2314 place count 204 transition count 6428
Applied a total of 2314 rules in 157 ms. Remains 204 /229 variables (removed 25) and now considering 6428/13210 (removed 6782) transitions.
[2023-03-18 04:04:42] [INFO ] Flow matrix only has 1184 transitions (discarded 5244 similar events)
Normalized transition count is 1183 out of 1184 initially.
// Phase 1: matrix 1183 rows 204 cols
[2023-03-18 04:04:42] [INFO ] Computed 1 place invariants in 3 ms
[2023-03-18 04:04:44] [INFO ] Dead Transitions using invariants and state equation in 2734 ms found 0 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 2892 ms. Remains : 204/229 places, 6428/13210 transitions.
[2023-03-18 04:04:44] [INFO ] Flatten gal took : 106 ms
[2023-03-18 04:04:44] [INFO ] Flatten gal took : 134 ms
[2023-03-18 04:04:45] [INFO ] Input system was already deterministic with 6428 transitions.
Starting structural reductions in SI_CTL mode, iteration 0 : 229/229 places, 13210/13210 transitions.
Graph (complete) has 4240 edges and 229 vertex of which 220 are kept as prefixes of interest. Removing 9 places using SCC suffix rule.14 ms
Discarding 9 places :
Also discarding 3 output transitions
Drop transitions removed 3 transitions
Ensure Unique test removed 1 places
Reduce places removed 2 places and 1 transitions.
Ensure Unique test removed 275 transitions
Reduce isomorphic transitions removed 275 transitions.
Iterating post reduction 0 with 275 rules applied. Total rules applied 276 place count 218 transition count 12931
Discarding 24 places :
Symmetric choice reduction at 1 with 24 rule applications. Total rules 300 place count 194 transition count 7729
Iterating global reduction 1 with 24 rules applied. Total rules applied 324 place count 194 transition count 7729
Ensure Unique test removed 1950 transitions
Reduce isomorphic transitions removed 1950 transitions.
Iterating post reduction 1 with 1950 rules applied. Total rules applied 2274 place count 194 transition count 5779
Discarding 2 places :
Symmetric choice reduction at 2 with 2 rule applications. Total rules 2276 place count 192 transition count 5714
Iterating global reduction 2 with 2 rules applied. Total rules applied 2278 place count 192 transition count 5714
Ensure Unique test removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 2 with 6 rules applied. Total rules applied 2284 place count 192 transition count 5708
Discarding 1 places :
Symmetric choice reduction at 3 with 1 rule applications. Total rules 2285 place count 191 transition count 5707
Iterating global reduction 3 with 1 rules applied. Total rules applied 2286 place count 191 transition count 5707
Discarding 1 places :
Symmetric choice reduction at 3 with 1 rule applications. Total rules 2287 place count 190 transition count 5706
Iterating global reduction 3 with 1 rules applied. Total rules applied 2288 place count 190 transition count 5706
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 2290 place count 188 transition count 5704
Iterating global reduction 3 with 2 rules applied. Total rules applied 2292 place count 188 transition count 5704
Discarding 1 places :
Symmetric choice reduction at 3 with 1 rule applications. Total rules 2293 place count 187 transition count 5703
Iterating global reduction 3 with 1 rules applied. Total rules applied 2294 place count 187 transition count 5703
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 3 with 1 rules applied. Total rules applied 2295 place count 187 transition count 5702
Drop transitions removed 198 transitions
Redundant transition composition rules discarded 198 transitions
Iterating global reduction 4 with 198 rules applied. Total rules applied 2493 place count 187 transition count 5504
Reduce places removed 2 places and 0 transitions.
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Graph (complete) has 3127 edges and 185 vertex of which 184 are kept as prefixes of interest. Removing 1 places using SCC suffix rule.5 ms
Discarding 1 places :
Also discarding 1 output transitions
Drop transitions removed 1 transitions
Iterating post reduction 4 with 5 rules applied. Total rules applied 2498 place count 184 transition count 5501
Discarding 1 places :
Symmetric choice reduction at 5 with 1 rule applications. Total rules 2499 place count 183 transition count 5500
Iterating global reduction 5 with 1 rules applied. Total rules applied 2500 place count 183 transition count 5500
Discarding 1 places :
Symmetric choice reduction at 5 with 1 rule applications. Total rules 2501 place count 182 transition count 5499
Iterating global reduction 5 with 1 rules applied. Total rules applied 2502 place count 182 transition count 5499
Discarding 2 places :
Symmetric choice reduction at 5 with 2 rule applications. Total rules 2504 place count 180 transition count 5497
Iterating global reduction 5 with 2 rules applied. Total rules applied 2506 place count 180 transition count 5497
Discarding 2 places :
Symmetric choice reduction at 5 with 2 rule applications. Total rules 2508 place count 178 transition count 5495
Iterating global reduction 5 with 2 rules applied. Total rules applied 2510 place count 178 transition count 5495
Discarding 2 places :
Symmetric choice reduction at 5 with 2 rule applications. Total rules 2512 place count 176 transition count 5493
Iterating global reduction 5 with 2 rules applied. Total rules applied 2514 place count 176 transition count 5493
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 5 with 2 rules applied. Total rules applied 2516 place count 176 transition count 5491
Drop transitions removed 217 transitions
Redundant transition composition rules discarded 217 transitions
Iterating global reduction 6 with 217 rules applied. Total rules applied 2733 place count 176 transition count 5274
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 6 with 1 rules applied. Total rules applied 2734 place count 175 transition count 5274
Discarding 1 places :
Symmetric choice reduction at 7 with 1 rule applications. Total rules 2735 place count 174 transition count 5273
Iterating global reduction 7 with 1 rules applied. Total rules applied 2736 place count 174 transition count 5273
Discarding 1 places :
Symmetric choice reduction at 7 with 1 rule applications. Total rules 2737 place count 173 transition count 5272
Iterating global reduction 7 with 1 rules applied. Total rules applied 2738 place count 173 transition count 5272
Discarding 1 places :
Symmetric choice reduction at 7 with 1 rule applications. Total rules 2739 place count 172 transition count 5271
Iterating global reduction 7 with 1 rules applied. Total rules applied 2740 place count 172 transition count 5271
Discarding 2 places :
Symmetric choice reduction at 7 with 2 rule applications. Total rules 2742 place count 170 transition count 5269
Iterating global reduction 7 with 2 rules applied. Total rules applied 2744 place count 170 transition count 5269
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 7 with 2 rules applied. Total rules applied 2746 place count 170 transition count 5267
Drop transitions removed 1 transitions
Redundant transition composition rules discarded 1 transitions
Iterating global reduction 8 with 1 rules applied. Total rules applied 2747 place count 170 transition count 5266
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 8 with 1 rules applied. Total rules applied 2748 place count 169 transition count 5266
Discarding 1 places :
Symmetric choice reduction at 9 with 1 rule applications. Total rules 2749 place count 168 transition count 5265
Iterating global reduction 9 with 1 rules applied. Total rules applied 2750 place count 168 transition count 5265
Discarding 1 places :
Symmetric choice reduction at 9 with 1 rule applications. Total rules 2751 place count 167 transition count 5264
Iterating global reduction 9 with 1 rules applied. Total rules applied 2752 place count 167 transition count 5264
Discarding 2 places :
Symmetric choice reduction at 9 with 2 rule applications. Total rules 2754 place count 165 transition count 5262
Iterating global reduction 9 with 2 rules applied. Total rules applied 2756 place count 165 transition count 5262
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 9 with 2 rules applied. Total rules applied 2758 place count 165 transition count 5260
Drop transitions removed 1 transitions
Redundant transition composition rules discarded 1 transitions
Iterating global reduction 10 with 1 rules applied. Total rules applied 2759 place count 165 transition count 5259
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 10 with 1 rules applied. Total rules applied 2760 place count 164 transition count 5259
Discarding 1 places :
Symmetric choice reduction at 11 with 1 rule applications. Total rules 2761 place count 163 transition count 5258
Iterating global reduction 11 with 1 rules applied. Total rules applied 2762 place count 163 transition count 5258
Discarding 1 places :
Symmetric choice reduction at 11 with 1 rule applications. Total rules 2763 place count 162 transition count 5257
Iterating global reduction 11 with 1 rules applied. Total rules applied 2764 place count 162 transition count 5257
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 11 with 1 rules applied. Total rules applied 2765 place count 162 transition count 5256
Drop transitions removed 1 transitions
Redundant transition composition rules discarded 1 transitions
Iterating global reduction 12 with 1 rules applied. Total rules applied 2766 place count 162 transition count 5255
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 12 with 1 rules applied. Total rules applied 2767 place count 161 transition count 5255
Drop transitions removed 1 transitions
Redundant transition composition rules discarded 1 transitions
Iterating global reduction 13 with 1 rules applied. Total rules applied 2768 place count 161 transition count 5254
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 13 with 1 rules applied. Total rules applied 2769 place count 160 transition count 5254
Drop transitions removed 1 transitions
Redundant transition composition rules discarded 1 transitions
Iterating global reduction 14 with 1 rules applied. Total rules applied 2770 place count 160 transition count 5253
Applied a total of 2770 rules in 4860 ms. Remains 160 /229 variables (removed 69) and now considering 5253/13210 (removed 7957) transitions.
[2023-03-18 04:04:50] [INFO ] Flow matrix only has 1074 transitions (discarded 4179 similar events)
Normalized transition count is 1073 out of 1074 initially.
// Phase 1: matrix 1073 rows 160 cols
[2023-03-18 04:04:50] [INFO ] Computed 0 place invariants in 3 ms
[2023-03-18 04:04:52] [INFO ] Dead Transitions using invariants and state equation in 1993 ms found 0 transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 6855 ms. Remains : 160/229 places, 5253/13210 transitions.
[2023-03-18 04:04:52] [INFO ] Flatten gal took : 90 ms
[2023-03-18 04:04:52] [INFO ] Flatten gal took : 111 ms
[2023-03-18 04:04:52] [INFO ] Input system was already deterministic with 5253 transitions.
Starting structural reductions in SI_CTL mode, iteration 0 : 229/229 places, 13210/13210 transitions.
Graph (complete) has 4240 edges and 229 vertex of which 220 are kept as prefixes of interest. Removing 9 places using SCC suffix rule.13 ms
Discarding 9 places :
Also discarding 3 output transitions
Drop transitions removed 3 transitions
Ensure Unique test removed 1 places
Reduce places removed 2 places and 1 transitions.
Ensure Unique test removed 275 transitions
Reduce isomorphic transitions removed 275 transitions.
Iterating post reduction 0 with 275 rules applied. Total rules applied 276 place count 218 transition count 12931
Discarding 23 places :
Symmetric choice reduction at 1 with 23 rule applications. Total rules 299 place count 195 transition count 7601
Iterating global reduction 1 with 23 rules applied. Total rules applied 322 place count 195 transition count 7601
Ensure Unique test removed 1727 transitions
Reduce isomorphic transitions removed 1727 transitions.
Iterating post reduction 1 with 1727 rules applied. Total rules applied 2049 place count 195 transition count 5874
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 2050 place count 194 transition count 5873
Iterating global reduction 2 with 1 rules applied. Total rules applied 2051 place count 194 transition count 5873
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 2052 place count 193 transition count 5872
Iterating global reduction 2 with 1 rules applied. Total rules applied 2053 place count 193 transition count 5872
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 2054 place count 192 transition count 5871
Iterating global reduction 2 with 1 rules applied. Total rules applied 2055 place count 192 transition count 5871
Discarding 2 places :
Symmetric choice reduction at 2 with 2 rule applications. Total rules 2057 place count 190 transition count 5869
Iterating global reduction 2 with 2 rules applied. Total rules applied 2059 place count 190 transition count 5869
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 2060 place count 189 transition count 5868
Iterating global reduction 2 with 1 rules applied. Total rules applied 2061 place count 189 transition count 5868
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 2062 place count 189 transition count 5867
Drop transitions removed 198 transitions
Redundant transition composition rules discarded 198 transitions
Iterating global reduction 3 with 198 rules applied. Total rules applied 2260 place count 189 transition count 5669
Reduce places removed 2 places and 0 transitions.
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Graph (complete) has 3155 edges and 187 vertex of which 186 are kept as prefixes of interest. Removing 1 places using SCC suffix rule.5 ms
Discarding 1 places :
Also discarding 1 output transitions
Drop transitions removed 1 transitions
Iterating post reduction 3 with 5 rules applied. Total rules applied 2265 place count 186 transition count 5666
Discarding 1 places :
Symmetric choice reduction at 4 with 1 rule applications. Total rules 2266 place count 185 transition count 5665
Iterating global reduction 4 with 1 rules applied. Total rules applied 2267 place count 185 transition count 5665
Discarding 1 places :
Symmetric choice reduction at 4 with 1 rule applications. Total rules 2268 place count 184 transition count 5664
Iterating global reduction 4 with 1 rules applied. Total rules applied 2269 place count 184 transition count 5664
Discarding 2 places :
Symmetric choice reduction at 4 with 2 rule applications. Total rules 2271 place count 182 transition count 5662
Iterating global reduction 4 with 2 rules applied. Total rules applied 2273 place count 182 transition count 5662
Discarding 2 places :
Symmetric choice reduction at 4 with 2 rule applications. Total rules 2275 place count 180 transition count 5660
Iterating global reduction 4 with 2 rules applied. Total rules applied 2277 place count 180 transition count 5660
Discarding 2 places :
Symmetric choice reduction at 4 with 2 rule applications. Total rules 2279 place count 178 transition count 5658
Iterating global reduction 4 with 2 rules applied. Total rules applied 2281 place count 178 transition count 5658
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 4 with 2 rules applied. Total rules applied 2283 place count 178 transition count 5656
Drop transitions removed 185 transitions
Redundant transition composition rules discarded 185 transitions
Iterating global reduction 5 with 185 rules applied. Total rules applied 2468 place count 178 transition count 5471
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 5 with 1 rules applied. Total rules applied 2469 place count 177 transition count 5471
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 2470 place count 176 transition count 5470
Iterating global reduction 6 with 1 rules applied. Total rules applied 2471 place count 176 transition count 5470
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 2472 place count 175 transition count 5469
Iterating global reduction 6 with 1 rules applied. Total rules applied 2473 place count 175 transition count 5469
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 2474 place count 174 transition count 5468
Iterating global reduction 6 with 1 rules applied. Total rules applied 2475 place count 174 transition count 5468
Discarding 2 places :
Symmetric choice reduction at 6 with 2 rule applications. Total rules 2477 place count 172 transition count 5466
Iterating global reduction 6 with 2 rules applied. Total rules applied 2479 place count 172 transition count 5466
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 6 with 2 rules applied. Total rules applied 2481 place count 172 transition count 5464
Drop transitions removed 1 transitions
Redundant transition composition rules discarded 1 transitions
Iterating global reduction 7 with 1 rules applied. Total rules applied 2482 place count 172 transition count 5463
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 7 with 1 rules applied. Total rules applied 2483 place count 171 transition count 5463
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 2484 place count 170 transition count 5462
Iterating global reduction 8 with 1 rules applied. Total rules applied 2485 place count 170 transition count 5462
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 2486 place count 169 transition count 5461
Iterating global reduction 8 with 1 rules applied. Total rules applied 2487 place count 169 transition count 5461
Discarding 2 places :
Symmetric choice reduction at 8 with 2 rule applications. Total rules 2489 place count 167 transition count 5459
Iterating global reduction 8 with 2 rules applied. Total rules applied 2491 place count 167 transition count 5459
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 8 with 2 rules applied. Total rules applied 2493 place count 167 transition count 5457
Drop transitions removed 1 transitions
Redundant transition composition rules discarded 1 transitions
Iterating global reduction 9 with 1 rules applied. Total rules applied 2494 place count 167 transition count 5456
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 9 with 1 rules applied. Total rules applied 2495 place count 166 transition count 5456
Discarding 1 places :
Symmetric choice reduction at 10 with 1 rule applications. Total rules 2496 place count 165 transition count 5455
Iterating global reduction 10 with 1 rules applied. Total rules applied 2497 place count 165 transition count 5455
Discarding 1 places :
Symmetric choice reduction at 10 with 1 rule applications. Total rules 2498 place count 164 transition count 5454
Iterating global reduction 10 with 1 rules applied. Total rules applied 2499 place count 164 transition count 5454
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 10 with 1 rules applied. Total rules applied 2500 place count 164 transition count 5453
Drop transitions removed 1 transitions
Redundant transition composition rules discarded 1 transitions
Iterating global reduction 11 with 1 rules applied. Total rules applied 2501 place count 164 transition count 5452
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 11 with 1 rules applied. Total rules applied 2502 place count 163 transition count 5452
Drop transitions removed 1 transitions
Redundant transition composition rules discarded 1 transitions
Iterating global reduction 12 with 1 rules applied. Total rules applied 2503 place count 163 transition count 5451
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 12 with 1 rules applied. Total rules applied 2504 place count 162 transition count 5451
Drop transitions removed 1 transitions
Redundant transition composition rules discarded 1 transitions
Iterating global reduction 13 with 1 rules applied. Total rules applied 2505 place count 162 transition count 5450
Applied a total of 2505 rules in 4785 ms. Remains 162 /229 variables (removed 67) and now considering 5450/13210 (removed 7760) transitions.
[2023-03-18 04:04:57] [INFO ] Flow matrix only has 1101 transitions (discarded 4349 similar events)
Normalized transition count is 1100 out of 1101 initially.
// Phase 1: matrix 1100 rows 162 cols
[2023-03-18 04:04:57] [INFO ] Computed 0 place invariants in 3 ms
[2023-03-18 04:04:59] [INFO ] Dead Transitions using invariants and state equation in 2566 ms found 0 transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 7354 ms. Remains : 162/229 places, 5450/13210 transitions.
[2023-03-18 04:05:00] [INFO ] Flatten gal took : 86 ms
[2023-03-18 04:05:00] [INFO ] Flatten gal took : 110 ms
[2023-03-18 04:05:00] [INFO ] Input system was already deterministic with 5450 transitions.
Starting structural reductions in LTL mode, iteration 0 : 229/229 places, 13210/13210 transitions.
Ensure Unique test removed 1 places
Reduce places removed 4 places and 0 transitions.
Ensure Unique test removed 275 transitions
Reduce isomorphic transitions removed 275 transitions.
Iterating post reduction 0 with 279 rules applied. Total rules applied 279 place count 225 transition count 12935
Discarding 24 places :
Symmetric choice reduction at 1 with 24 rule applications. Total rules 303 place count 201 transition count 7222
Iterating global reduction 1 with 24 rules applied. Total rules applied 327 place count 201 transition count 7222
Ensure Unique test removed 1742 transitions
Reduce isomorphic transitions removed 1742 transitions.
Iterating post reduction 1 with 1742 rules applied. Total rules applied 2069 place count 201 transition count 5480
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 2070 place count 200 transition count 5416
Iterating global reduction 2 with 1 rules applied. Total rules applied 2071 place count 200 transition count 5416
Ensure Unique test removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 2 with 6 rules applied. Total rules applied 2077 place count 200 transition count 5410
Drop transitions removed 148 transitions
Redundant transition composition rules discarded 148 transitions
Iterating global reduction 3 with 148 rules applied. Total rules applied 2225 place count 200 transition count 5262
Reduce places removed 1 places and 0 transitions.
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 3 with 3 rules applied. Total rules applied 2228 place count 199 transition count 5260
Drop transitions removed 112 transitions
Redundant transition composition rules discarded 112 transitions
Iterating global reduction 4 with 112 rules applied. Total rules applied 2340 place count 199 transition count 5148
Applied a total of 2340 rules in 136 ms. Remains 199 /229 variables (removed 30) and now considering 5148/13210 (removed 8062) transitions.
[2023-03-18 04:05:00] [INFO ] Flow matrix only has 1112 transitions (discarded 4036 similar events)
Normalized transition count is 1111 out of 1112 initially.
// Phase 1: matrix 1111 rows 199 cols
[2023-03-18 04:05:00] [INFO ] Computed 1 place invariants in 3 ms
[2023-03-18 04:05:02] [INFO ] Dead Transitions using invariants and state equation in 1933 ms found 0 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 2070 ms. Remains : 199/229 places, 5148/13210 transitions.
[2023-03-18 04:05:02] [INFO ] Flatten gal took : 82 ms
[2023-03-18 04:05:02] [INFO ] Flatten gal took : 105 ms
[2023-03-18 04:05:02] [INFO ] Input system was already deterministic with 5148 transitions.
Starting structural reductions in LTL mode, iteration 0 : 229/229 places, 13210/13210 transitions.
Ensure Unique test removed 1 places
Reduce places removed 4 places and 0 transitions.
Ensure Unique test removed 275 transitions
Reduce isomorphic transitions removed 275 transitions.
Iterating post reduction 0 with 279 rules applied. Total rules applied 279 place count 225 transition count 12935
Discarding 23 places :
Symmetric choice reduction at 1 with 23 rule applications. Total rules 302 place count 202 transition count 7478
Iterating global reduction 1 with 23 rules applied. Total rules applied 325 place count 202 transition count 7478
Ensure Unique test removed 1735 transitions
Reduce isomorphic transitions removed 1735 transitions.
Iterating post reduction 1 with 1735 rules applied. Total rules applied 2060 place count 202 transition count 5743
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 2061 place count 201 transition count 5615
Iterating global reduction 2 with 1 rules applied. Total rules applied 2062 place count 201 transition count 5615
Ensure Unique test removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 2 with 6 rules applied. Total rules applied 2068 place count 201 transition count 5609
Drop transitions removed 146 transitions
Redundant transition composition rules discarded 146 transitions
Iterating global reduction 3 with 146 rules applied. Total rules applied 2214 place count 201 transition count 5463
Applied a total of 2214 rules in 122 ms. Remains 201 /229 variables (removed 28) and now considering 5463/13210 (removed 7747) transitions.
[2023-03-18 04:05:03] [INFO ] Flow matrix only has 1126 transitions (discarded 4337 similar events)
Normalized transition count is 1125 out of 1126 initially.
// Phase 1: matrix 1125 rows 201 cols
[2023-03-18 04:05:03] [INFO ] Computed 1 place invariants in 4 ms
[2023-03-18 04:05:05] [INFO ] Dead Transitions using invariants and state equation in 2372 ms found 0 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 2495 ms. Remains : 201/229 places, 5463/13210 transitions.
[2023-03-18 04:05:05] [INFO ] Flatten gal took : 88 ms
[2023-03-18 04:05:05] [INFO ] Flatten gal took : 111 ms
[2023-03-18 04:05:05] [INFO ] Input system was already deterministic with 5463 transitions.
Starting structural reductions in LTL mode, iteration 0 : 229/229 places, 13210/13210 transitions.
Ensure Unique test removed 1 places
Reduce places removed 4 places and 0 transitions.
Ensure Unique test removed 275 transitions
Reduce isomorphic transitions removed 275 transitions.
Iterating post reduction 0 with 279 rules applied. Total rules applied 279 place count 225 transition count 12935
Discarding 11 places :
Symmetric choice reduction at 1 with 11 rule applications. Total rules 290 place count 214 transition count 10743
Iterating global reduction 1 with 11 rules applied. Total rules applied 301 place count 214 transition count 10743
Ensure Unique test removed 974 transitions
Reduce isomorphic transitions removed 974 transitions.
Iterating post reduction 1 with 974 rules applied. Total rules applied 1275 place count 214 transition count 9769
Drop transitions removed 52 transitions
Redundant transition composition rules discarded 52 transitions
Iterating global reduction 2 with 52 rules applied. Total rules applied 1327 place count 214 transition count 9717
Applied a total of 1327 rules in 122 ms. Remains 214 /229 variables (removed 15) and now considering 9717/13210 (removed 3493) transitions.
[2023-03-18 04:05:05] [INFO ] Flow matrix only has 1365 transitions (discarded 8352 similar events)
Normalized transition count is 1364 out of 1365 initially.
// Phase 1: matrix 1364 rows 214 cols
[2023-03-18 04:05:05] [INFO ] Computed 1 place invariants in 6 ms
[2023-03-18 04:05:10] [INFO ] Dead Transitions using invariants and state equation in 4358 ms found 0 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 4480 ms. Remains : 214/229 places, 9717/13210 transitions.
[2023-03-18 04:05:10] [INFO ] Flatten gal took : 167 ms
[2023-03-18 04:05:10] [INFO ] Flatten gal took : 210 ms
[2023-03-18 04:05:11] [INFO ] Input system was already deterministic with 9717 transitions.
Starting structural reductions in LTL mode, iteration 0 : 229/229 places, 13210/13210 transitions.
Ensure Unique test removed 1 places
Reduce places removed 3 places and 0 transitions.
Ensure Unique test removed 271 transitions
Reduce isomorphic transitions removed 271 transitions.
Iterating post reduction 0 with 274 rules applied. Total rules applied 274 place count 226 transition count 12939
Discarding 19 places :
Symmetric choice reduction at 1 with 19 rule applications. Total rules 293 place count 207 transition count 9534
Iterating global reduction 1 with 19 rules applied. Total rules applied 312 place count 207 transition count 9534
Ensure Unique test removed 1982 transitions
Reduce isomorphic transitions removed 1982 transitions.
Iterating post reduction 1 with 1982 rules applied. Total rules applied 2294 place count 207 transition count 7552
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 2295 place count 206 transition count 7488
Iterating global reduction 2 with 1 rules applied. Total rules applied 2296 place count 206 transition count 7488
Ensure Unique test removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 2 with 6 rules applied. Total rules applied 2302 place count 206 transition count 7482
Drop transitions removed 288 transitions
Redundant transition composition rules discarded 288 transitions
Iterating global reduction 3 with 288 rules applied. Total rules applied 2590 place count 206 transition count 7194
Reduce places removed 1 places and 0 transitions.
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 3 with 3 rules applied. Total rules applied 2593 place count 205 transition count 7192
Drop transitions removed 112 transitions
Redundant transition composition rules discarded 112 transitions
Iterating global reduction 4 with 112 rules applied. Total rules applied 2705 place count 205 transition count 7080
Applied a total of 2705 rules in 170 ms. Remains 205 /229 variables (removed 24) and now considering 7080/13210 (removed 6130) transitions.
[2023-03-18 04:05:11] [INFO ] Flow matrix only has 1150 transitions (discarded 5930 similar events)
Normalized transition count is 1149 out of 1150 initially.
// Phase 1: matrix 1149 rows 205 cols
[2023-03-18 04:05:11] [INFO ] Computed 1 place invariants in 3 ms
[2023-03-18 04:05:14] [INFO ] Dead Transitions using invariants and state equation in 3077 ms found 0 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 3251 ms. Remains : 205/229 places, 7080/13210 transitions.
[2023-03-18 04:05:14] [INFO ] Flatten gal took : 122 ms
[2023-03-18 04:05:14] [INFO ] Flatten gal took : 154 ms
[2023-03-18 04:05:15] [INFO ] Input system was already deterministic with 7080 transitions.
Starting structural reductions in LTL mode, iteration 0 : 229/229 places, 13210/13210 transitions.
Ensure Unique test removed 1 places
Reduce places removed 4 places and 0 transitions.
Ensure Unique test removed 275 transitions
Reduce isomorphic transitions removed 275 transitions.
Iterating post reduction 0 with 279 rules applied. Total rules applied 279 place count 225 transition count 12935
Discarding 17 places :
Symmetric choice reduction at 1 with 17 rule applications. Total rules 296 place count 208 transition count 9094
Iterating global reduction 1 with 17 rules applied. Total rules applied 313 place count 208 transition count 9094
Ensure Unique test removed 1389 transitions
Reduce isomorphic transitions removed 1389 transitions.
Iterating post reduction 1 with 1389 rules applied. Total rules applied 1702 place count 208 transition count 7705
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 1703 place count 207 transition count 7641
Iterating global reduction 2 with 1 rules applied. Total rules applied 1704 place count 207 transition count 7641
Ensure Unique test removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 2 with 6 rules applied. Total rules applied 1710 place count 207 transition count 7635
Drop transitions removed 230 transitions
Redundant transition composition rules discarded 230 transitions
Iterating global reduction 3 with 230 rules applied. Total rules applied 1940 place count 207 transition count 7405
Applied a total of 1940 rules in 139 ms. Remains 207 /229 variables (removed 22) and now considering 7405/13210 (removed 5805) transitions.
[2023-03-18 04:05:15] [INFO ] Flow matrix only has 1243 transitions (discarded 6162 similar events)
Normalized transition count is 1242 out of 1243 initially.
// Phase 1: matrix 1242 rows 207 cols
[2023-03-18 04:05:15] [INFO ] Computed 1 place invariants in 3 ms
[2023-03-18 04:05:18] [INFO ] Dead Transitions using invariants and state equation in 3426 ms found 0 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 3568 ms. Remains : 207/229 places, 7405/13210 transitions.
[2023-03-18 04:05:18] [INFO ] Flatten gal took : 125 ms
[2023-03-18 04:05:18] [INFO ] Flatten gal took : 157 ms
[2023-03-18 04:05:19] [INFO ] Input system was already deterministic with 7405 transitions.
Starting structural reductions in LTL mode, iteration 0 : 229/229 places, 13210/13210 transitions.
Ensure Unique test removed 1 places
Reduce places removed 4 places and 0 transitions.
Ensure Unique test removed 275 transitions
Reduce isomorphic transitions removed 275 transitions.
Iterating post reduction 0 with 279 rules applied. Total rules applied 279 place count 225 transition count 12935
Discarding 17 places :
Symmetric choice reduction at 1 with 17 rule applications. Total rules 296 place count 208 transition count 9858
Iterating global reduction 1 with 17 rules applied. Total rules applied 313 place count 208 transition count 9858
Ensure Unique test removed 1717 transitions
Reduce isomorphic transitions removed 1717 transitions.
Iterating post reduction 1 with 1717 rules applied. Total rules applied 2030 place count 208 transition count 8141
Drop transitions removed 286 transitions
Redundant transition composition rules discarded 286 transitions
Iterating global reduction 2 with 286 rules applied. Total rules applied 2316 place count 208 transition count 7855
Applied a total of 2316 rules in 119 ms. Remains 208 /229 variables (removed 21) and now considering 7855/13210 (removed 5355) transitions.
[2023-03-18 04:05:19] [INFO ] Flow matrix only has 1215 transitions (discarded 6640 similar events)
Normalized transition count is 1214 out of 1215 initially.
// Phase 1: matrix 1214 rows 208 cols
[2023-03-18 04:05:19] [INFO ] Computed 1 place invariants in 3 ms
[2023-03-18 04:05:22] [INFO ] Dead Transitions using invariants and state equation in 3384 ms found 0 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 3505 ms. Remains : 208/229 places, 7855/13210 transitions.
[2023-03-18 04:05:22] [INFO ] Flatten gal took : 135 ms
[2023-03-18 04:05:23] [INFO ] Flatten gal took : 169 ms
[2023-03-18 04:05:23] [INFO ] Input system was already deterministic with 7855 transitions.
[2023-03-18 04:05:23] [INFO ] Flatten gal took : 288 ms
[2023-03-18 04:05:24] [INFO ] Flatten gal took : 418 ms
[2023-03-18 04:05:24] [INFO ] Export to MCC of 16 properties in file /home/mcc/execution/CTLFireability.sr.xml took 9 ms.
[2023-03-18 04:05:24] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 229 places, 13210 transitions and 111666 arcs took 161 ms.
Total runtime 123313 ms.
There are residual formulas that ITS could not solve within timeout
starting LoLA
BK_INPUT SemanticWebServices-PT-S256P15
BK_EXAMINATION: CTLFireability
bin directory: /home/mcc/BenchKit/bin//../reducer/bin//../../lola/bin/
current directory: /home/mcc/execution/376
CTLFireability
BK_STOP 1679112503546
--------------------
content from stderr:
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination CTLFireability -timeout 360 -rebuildPNML
lola: MEM LIMIT 32
lola: MEM LIMIT 5
lola: NET
lola: input: PNML file (--pnmlnet)
lola: reading net from /home/mcc/execution/376/model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file /home/mcc/execution/376/model.pnml
lola: Reading formula.
lola: Using XML format (--xmlformula)
lola: reading XML formula
lola: reading formula from /home/mcc/execution/376/CTLFireability.xml
lola: rewrite Frontend/Parser/formula_rewrite.k:322
lola: rewrite Frontend/Parser/formula_rewrite.k:337
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: RELEASE
lola: rewrite Frontend/Parser/formula_rewrite.k:250
lola: rewrite Frontend/Parser/formula_rewrite.k:322
lola: rewrite Frontend/Parser/formula_rewrite.k:337
lola: rewrite Frontend/Parser/formula_rewrite.k:322
lola: rewrite Frontend/Parser/formula_rewrite.k:337
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:322
lola: rewrite Frontend/Parser/formula_rewrite.k:328
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: RELEASE
lola: RELEASE
lola: rewrite Frontend/Parser/formula_rewrite.k:325
lola: rewrite Frontend/Parser/formula_rewrite.k:337
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: RELEASE
lola: RELEASE
lola: rewrite Frontend/Parser/formula_rewrite.k:550
lola: rewrite Frontend/Parser/formula_rewrite.k:550
lola: rewrite Frontend/Parser/formula_rewrite.k:550
lola: rewrite Frontend/Parser/formula_rewrite.k:314
lola: rewrite Frontend/Parser/formula_rewrite.k:322
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:322
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:322
lola: rewrite Frontend/Parser/formula_rewrite.k:334
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:322
lola: rewrite Frontend/Parser/formula_rewrite.k:334
lola: rewrite Frontend/Parser/formula_rewrite.k:322
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:325
lola: rewrite Frontend/Parser/formula_rewrite.k:337
lola: rewrite Frontend/Parser/formula_rewrite.k:317
lola: rewrite Frontend/Parser/formula_rewrite.k:325
lola: rewrite Frontend/Parser/formula_rewrite.k:334
lola: rewrite Frontend/Parser/formula_rewrite.k:299
lola: rewrite Frontend/Parser/formula_rewrite.k:317
lola: rewrite Frontend/Parser/formula_rewrite.k:325
lola: rewrite Frontend/Parser/formula_rewrite.k:334
lola: rewrite Frontend/Parser/formula_rewrite.k:299
lola: rewrite Frontend/Parser/formula_rewrite.k:317
lola: rewrite Frontend/Parser/formula_rewrite.k:325
lola: rewrite Frontend/Parser/formula_rewrite.k:334
lola: rewrite Frontend/Parser/formula_rewrite.k:299
lola: rewrite Frontend/Parser/formula_rewrite.k:325
lola: rewrite Frontend/Parser/formula_rewrite.k:334
lola: rewrite Frontend/Parser/formula_rewrite.k:325
lola: rewrite Frontend/Parser/formula_rewrite.k:331
lola: rewrite Frontend/Parser/formula_rewrite.k:299
lola: rewrite Frontend/Parser/formula_rewrite.k:314
lola: rewrite Frontend/Parser/formula_rewrite.k:317
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:314
lola: rewrite Frontend/Parser/formula_rewrite.k:322
lola: rewrite Frontend/Parser/formula_rewrite.k:328
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:325
lola: rewrite Frontend/Parser/formula_rewrite.k:331
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:314
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:322
lola: rewrite Frontend/Parser/formula_rewrite.k:328
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:322
lola: rewrite Frontend/Parser/formula_rewrite.k:337
lola: rewrite Frontend/Parser/formula_rewrite.k:314
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:317
lola: rewrite Frontend/Parser/formula_rewrite.k:322
lola: rewrite Frontend/Parser/formula_rewrite.k:337
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:322
lola: rewrite Frontend/Parser/formula_rewrite.k:337
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:314
lola: rewrite Frontend/Parser/formula_rewrite.k:325
lola: rewrite Frontend/Parser/formula_rewrite.k:331
lola: rewrite Frontend/Parser/formula_rewrite.k:299
lola: rewrite Frontend/Parser/formula_rewrite.k:322
lola: rewrite Frontend/Parser/formula_rewrite.k:331
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:547
lola: rewrite Frontend/Parser/formula_rewrite.k:454
lola: RELEASE
lola: RELEASE
lola: RELEASE
lola: RELEASE
lola: rewrite Frontend/Parser/formula_rewrite.k:322
lola: rewrite Frontend/Parser/formula_rewrite.k:337
lola: rewrite Frontend/Parser/formula_rewrite.k:317
lola: rewrite Frontend/Parser/formula_rewrite.k:325
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:325
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:553
lola: rewrite Frontend/Parser/formula_rewrite.k:325
lola: rewrite Frontend/Parser/formula_rewrite.k:328
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:253
lola: rewrite Frontend/Parser/formula_rewrite.k:325
lola: rewrite Frontend/Parser/formula_rewrite.k:337
lola: rewrite Frontend/Parser/formula_rewrite.k:317
lola: rewrite Frontend/Parser/formula_rewrite.k:322
lola: rewrite Frontend/Parser/formula_rewrite.k:331
lola: rewrite Frontend/Parser/formula_rewrite.k:299
lola: rewrite Frontend/Parser/formula_rewrite.k:317
lola: rewrite Frontend/Parser/formula_rewrite.k:322
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:325
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:322
lola: rewrite Frontend/Parser/formula_rewrite.k:334
lola: rewrite Frontend/Parser/formula_rewrite.k:322
lola: rewrite Frontend/Parser/formula_rewrite.k:331
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:322
lola: rewrite Frontend/Parser/formula_rewrite.k:328
lola: rewrite Frontend/Parser/formula_rewrite.k:325
lola: rewrite Frontend/Parser/formula_rewrite.k:334
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: RELEASE
lola: rewrite Frontend/Parser/formula_rewrite.k:317
lola: rewrite Frontend/Parser/formula_rewrite.k:322
lola: rewrite Frontend/Parser/formula_rewrite.k:334
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:322
lola: rewrite Frontend/Parser/formula_rewrite.k:337
lola: rewrite Frontend/Parser/formula_rewrite.k:314
lola: rewrite Frontend/Parser/formula_rewrite.k:325
lola: rewrite Frontend/Parser/formula_rewrite.k:328
lola: rewrite Frontend/Parser/formula_rewrite.k:314
lola: rewrite Frontend/Parser/formula_rewrite.k:317
lola: rewrite Frontend/Parser/formula_rewrite.k:322
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:325
lola: rewrite Frontend/Parser/formula_rewrite.k:328
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:314
lola: rewrite Frontend/Parser/formula_rewrite.k:325
lola: rewrite Frontend/Parser/formula_rewrite.k:334
lola: rewrite Frontend/Parser/formula_rewrite.k:299
lola: rewrite Frontend/Parser/formula_rewrite.k:299
lola: rewrite Frontend/Parser/formula_rewrite.k:325
lola: rewrite Frontend/Parser/formula_rewrite.k:328
lola: rewrite Frontend/Parser/formula_rewrite.k:325
lola: rewrite Frontend/Parser/formula_rewrite.k:331
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: RELEASE
lola: rewrite Frontend/Parser/formula_rewrite.k:322
lola: rewrite Frontend/Parser/formula_rewrite.k:337
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: RELEASE
lola: rewrite Frontend/Parser/formula_rewrite.k:253
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 1.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 1.000000 secs.
lola: Rule S: 0 transitions removed,0 places removed
lola: Created skeleton in 1.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 1.000000 secs.
lola: Created skeleton in 1.000000 secs.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SemanticWebServices-PT-S256P15-CTLFireability-00: CTL 0 0 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-01: CTL 0 0 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-02: CONJ 0 0 0 0 2 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-03: CTL 0 0 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-04: CTL 0 0 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-05: CTL 0 0 0 0 0 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-06: CTL 0 0 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-07: CTL 0 0 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-08: F 0 0 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-09: EG 0 0 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-10: CTL 0 0 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-11: CTL 0 0 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-12: CTL 0 0 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-13: CTL 0 0 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-14: CTL 0 0 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-15: CTL 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 18 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
lola: Created skeleton in 1.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: rewrite Frontend/Parser/formula_rewrite.k:810
lola: rewrite Frontend/Parser/formula_rewrite.k:808
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SemanticWebServices-PT-S256P15-CTLFireability-00: CTL 1 0 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-01: CTL 0 0 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-02: CONJ 0 0 0 0 2 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-03: CTL 0 0 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-04: CTL 0 0 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-05: CTL 0 0 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-06: CTL 0 0 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-07: CTL 0 0 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-08: F 0 0 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-09: EG 0 0 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-10: CTL 0 0 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-11: CTL 0 0 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-12: CTL 0 0 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-13: CTL 0 0 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-14: CTL 0 0 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-15: CTL 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 23 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:815
lola: rewrite Frontend/Parser/formula_rewrite.k:810
lola: rewrite Frontend/Parser/formula_rewrite.k:810
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:810
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: LAUNCH task # 14 (type EXCL) for 13 SemanticWebServices-PT-S256P15-CTLFireability-03
lola: time limit : 210 sec
lola: memory limit: 32 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:814
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:814
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:809
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:814
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:814
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:810
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:815
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:814
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:814
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:809
lola: rewrite Frontend/Parser/formula_rewrite.k:809
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:810
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:810
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:810
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:807
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SemanticWebServices-PT-S256P15-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-02: CONJ 1 0 0 0 2 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-03: CTL 0 0 1 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-04: CTL 0 0 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-05: CTL 0 0 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-08: F 1 0 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-09: EG 0 0 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-10: CTL 0 0 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-11: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-14: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-15: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
14 CTL EXCL 4/210 1/32 SemanticWebServices-PT-S256P15-CTLFireability-03 46732 m, 9346 m/sec, 93463 t fired, .
Time elapsed: 28 secs. Pages in use: 1
# running tasks: 1 of 4 Visible: 16
lola: rewrite Frontend/Parser/formula_rewrite.k:749
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:809
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:810
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: rewrite Frontend/Parser/formula_rewrite.k:815
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: rewrite Frontend/Parser/formula_rewrite.k:812
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SemanticWebServices-PT-S256P15-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-02: CONJ 0 2 0 0 2 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-03: CTL 0 0 1 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-08: F 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-09: EG 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-11: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-14: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-15: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
14 CTL EXCL 9/210 1/32 SemanticWebServices-PT-S256P15-CTLFireability-03 143332 m, 19320 m/sec, 286663 t fired, .
Time elapsed: 33 secs. Pages in use: 1
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SemanticWebServices-PT-S256P15-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-02: CONJ 0 2 0 0 2 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-03: CTL 0 0 1 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-08: F 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-09: EG 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-11: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-14: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-15: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
14 CTL EXCL 14/210 2/32 SemanticWebServices-PT-S256P15-CTLFireability-03 255338 m, 22401 m/sec, 510675 t fired, .
Time elapsed: 38 secs. Pages in use: 2
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SemanticWebServices-PT-S256P15-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-02: CONJ 0 2 0 0 2 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-03: CTL 0 0 1 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-08: F 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-09: EG 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-11: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-14: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-15: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
14 CTL EXCL 19/210 3/32 SemanticWebServices-PT-S256P15-CTLFireability-03 366943 m, 22321 m/sec, 733884 t fired, .
Time elapsed: 43 secs. Pages in use: 3
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SemanticWebServices-PT-S256P15-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-02: CONJ 0 2 0 0 2 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-03: CTL 0 0 1 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-08: F 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-09: EG 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-11: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-14: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-15: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
14 CTL EXCL 24/210 3/32 SemanticWebServices-PT-S256P15-CTLFireability-03 479127 m, 22436 m/sec, 958253 t fired, .
Time elapsed: 48 secs. Pages in use: 3
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SemanticWebServices-PT-S256P15-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-02: CONJ 0 2 0 0 2 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-03: CTL 0 0 1 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-08: F 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-09: EG 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-11: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-14: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-15: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
14 CTL EXCL 29/210 4/32 SemanticWebServices-PT-S256P15-CTLFireability-03 591010 m, 22376 m/sec, 1182019 t fired, .
Time elapsed: 53 secs. Pages in use: 4
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SemanticWebServices-PT-S256P15-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-02: CONJ 0 2 0 0 2 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-03: CTL 0 0 1 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-08: F 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-09: EG 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-11: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-14: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-15: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
14 CTL EXCL 34/210 5/32 SemanticWebServices-PT-S256P15-CTLFireability-03 702806 m, 22359 m/sec, 1405611 t fired, .
Time elapsed: 58 secs. Pages in use: 5
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SemanticWebServices-PT-S256P15-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-02: CONJ 0 2 0 0 2 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-03: CTL 0 0 1 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-08: F 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-09: EG 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-11: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-14: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-15: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
14 CTL EXCL 39/210 5/32 SemanticWebServices-PT-S256P15-CTLFireability-03 814639 m, 22366 m/sec, 1629277 t fired, .
Time elapsed: 63 secs. Pages in use: 5
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SemanticWebServices-PT-S256P15-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-02: CONJ 0 2 0 0 2 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-03: CTL 0 0 1 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-08: F 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-09: EG 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-11: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-14: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-15: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
14 CTL EXCL 44/210 6/32 SemanticWebServices-PT-S256P15-CTLFireability-03 926204 m, 22313 m/sec, 1852407 t fired, .
Time elapsed: 68 secs. Pages in use: 6
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SemanticWebServices-PT-S256P15-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-02: CONJ 0 2 0 0 2 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-03: CTL 0 0 1 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-08: F 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-09: EG 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-11: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-14: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-15: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
14 CTL EXCL 49/210 7/32 SemanticWebServices-PT-S256P15-CTLFireability-03 1037502 m, 22259 m/sec, 2075003 t fired, .
Time elapsed: 73 secs. Pages in use: 7
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SemanticWebServices-PT-S256P15-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-02: CONJ 0 2 0 0 2 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-03: CTL 0 0 1 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-08: F 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-09: EG 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-11: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-14: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-15: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
14 CTL EXCL 54/210 8/32 SemanticWebServices-PT-S256P15-CTLFireability-03 1148694 m, 22238 m/sec, 2297387 t fired, .
Time elapsed: 78 secs. Pages in use: 8
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SemanticWebServices-PT-S256P15-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-02: CONJ 0 2 0 0 2 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-03: CTL 0 0 1 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-08: F 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-09: EG 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-11: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-14: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-15: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
14 CTL EXCL 59/210 8/32 SemanticWebServices-PT-S256P15-CTLFireability-03 1260320 m, 22325 m/sec, 2520639 t fired, .
Time elapsed: 83 secs. Pages in use: 8
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SemanticWebServices-PT-S256P15-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-02: CONJ 0 2 0 0 2 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-03: CTL 0 0 1 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-08: F 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-09: EG 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-11: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-14: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-15: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
14 CTL EXCL 64/210 9/32 SemanticWebServices-PT-S256P15-CTLFireability-03 1371352 m, 22206 m/sec, 2742703 t fired, .
Time elapsed: 88 secs. Pages in use: 9
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SemanticWebServices-PT-S256P15-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-02: CONJ 0 2 0 0 2 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-03: CTL 0 0 1 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-08: F 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-09: EG 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-11: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-14: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-15: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
14 CTL EXCL 69/210 10/32 SemanticWebServices-PT-S256P15-CTLFireability-03 1482116 m, 22152 m/sec, 2964231 t fired, .
Time elapsed: 93 secs. Pages in use: 10
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SemanticWebServices-PT-S256P15-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-02: CONJ 0 2 0 0 2 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-03: CTL 0 0 1 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-08: F 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-09: EG 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-11: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-14: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-15: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
14 CTL EXCL 74/210 10/32 SemanticWebServices-PT-S256P15-CTLFireability-03 1592374 m, 22051 m/sec, 3184747 t fired, .
Time elapsed: 98 secs. Pages in use: 10
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SemanticWebServices-PT-S256P15-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-02: CONJ 0 2 0 0 2 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-03: CTL 0 0 1 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-08: F 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-09: EG 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-11: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-14: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-15: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
14 CTL EXCL 79/210 11/32 SemanticWebServices-PT-S256P15-CTLFireability-03 1703114 m, 22148 m/sec, 3406227 t fired, .
Time elapsed: 103 secs. Pages in use: 11
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SemanticWebServices-PT-S256P15-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-02: CONJ 0 2 0 0 2 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-03: CTL 0 0 1 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-08: F 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-09: EG 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-11: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-14: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-15: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
14 CTL EXCL 84/210 12/32 SemanticWebServices-PT-S256P15-CTLFireability-03 1813676 m, 22112 m/sec, 3627351 t fired, .
Time elapsed: 108 secs. Pages in use: 12
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SemanticWebServices-PT-S256P15-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-02: CONJ 0 2 0 0 2 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-03: CTL 0 0 1 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-08: F 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-09: EG 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-11: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-14: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-15: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
14 CTL EXCL 89/210 12/32 SemanticWebServices-PT-S256P15-CTLFireability-03 1886347 m, 14534 m/sec, 3772693 t fired, .
Time elapsed: 113 secs. Pages in use: 12
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SemanticWebServices-PT-S256P15-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-02: CONJ 0 2 0 0 2 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-03: CTL 0 0 1 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-08: F 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-09: EG 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-11: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-14: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-15: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
14 CTL EXCL 94/210 12/32 SemanticWebServices-PT-S256P15-CTLFireability-03 1938359 m, 10402 m/sec, 3876716 t fired, .
Time elapsed: 118 secs. Pages in use: 12
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SemanticWebServices-PT-S256P15-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-02: CONJ 0 2 0 0 2 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-03: CTL 0 0 1 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-08: F 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-09: EG 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-11: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-14: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-15: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
14 CTL EXCL 99/210 13/32 SemanticWebServices-PT-S256P15-CTLFireability-03 2003278 m, 12983 m/sec, 4006555 t fired, .
Time elapsed: 123 secs. Pages in use: 13
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SemanticWebServices-PT-S256P15-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-02: CONJ 0 2 0 0 2 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-03: CTL 0 0 1 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-08: F 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-09: EG 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-11: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-14: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-15: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
14 CTL EXCL 104/210 13/32 SemanticWebServices-PT-S256P15-CTLFireability-03 2057594 m, 10863 m/sec, 4115188 t fired, .
Time elapsed: 128 secs. Pages in use: 13
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SemanticWebServices-PT-S256P15-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-02: CONJ 0 2 0 0 2 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-03: CTL 0 0 1 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-08: F 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-09: EG 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-11: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-14: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-15: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
14 CTL EXCL 109/210 13/32 SemanticWebServices-PT-S256P15-CTLFireability-03 2118947 m, 12270 m/sec, 4237893 t fired, .
Time elapsed: 133 secs. Pages in use: 13
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SemanticWebServices-PT-S256P15-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-02: CONJ 0 2 0 0 2 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-03: CTL 0 0 1 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-08: F 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-09: EG 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-11: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-14: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-15: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
14 CTL EXCL 114/210 14/32 SemanticWebServices-PT-S256P15-CTLFireability-03 2164278 m, 9066 m/sec, 4328555 t fired, .
Time elapsed: 138 secs. Pages in use: 14
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SemanticWebServices-PT-S256P15-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-02: CONJ 0 2 0 0 2 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-03: CTL 0 0 1 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-08: F 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-09: EG 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-11: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-14: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-15: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
14 CTL EXCL 119/210 14/32 SemanticWebServices-PT-S256P15-CTLFireability-03 2235828 m, 14310 m/sec, 4471655 t fired, .
Time elapsed: 143 secs. Pages in use: 14
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SemanticWebServices-PT-S256P15-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-02: CONJ 0 2 0 0 2 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-03: CTL 0 0 1 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-08: F 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-09: EG 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-11: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-14: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-15: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
14 CTL EXCL 124/210 15/32 SemanticWebServices-PT-S256P15-CTLFireability-03 2315872 m, 16008 m/sec, 4631743 t fired, .
Time elapsed: 148 secs. Pages in use: 15
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SemanticWebServices-PT-S256P15-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-02: CONJ 0 2 0 0 2 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-03: CTL 0 0 1 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-08: F 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-09: EG 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-11: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-14: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-15: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
14 CTL EXCL 129/210 15/32 SemanticWebServices-PT-S256P15-CTLFireability-03 2375873 m, 12000 m/sec, 4751745 t fired, .
Time elapsed: 153 secs. Pages in use: 15
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SemanticWebServices-PT-S256P15-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-02: CONJ 0 2 0 0 2 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-03: CTL 0 0 1 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-08: F 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-09: EG 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-11: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-14: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-15: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
14 CTL EXCL 134/210 15/32 SemanticWebServices-PT-S256P15-CTLFireability-03 2439782 m, 12781 m/sec, 4879563 t fired, .
Time elapsed: 158 secs. Pages in use: 15
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SemanticWebServices-PT-S256P15-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-02: CONJ 0 2 0 0 2 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-03: CTL 0 0 1 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-08: F 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-09: EG 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-11: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-14: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-15: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
14 CTL EXCL 139/210 16/32 SemanticWebServices-PT-S256P15-CTLFireability-03 2488595 m, 9762 m/sec, 4977189 t fired, .
Time elapsed: 163 secs. Pages in use: 16
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SemanticWebServices-PT-S256P15-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-02: CONJ 0 2 0 0 2 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-03: CTL 0 0 1 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-08: F 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-09: EG 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-11: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-14: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-15: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
14 CTL EXCL 144/210 16/32 SemanticWebServices-PT-S256P15-CTLFireability-03 2561719 m, 14624 m/sec, 5123437 t fired, .
Time elapsed: 168 secs. Pages in use: 16
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SemanticWebServices-PT-S256P15-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-02: CONJ 0 2 0 0 2 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-03: CTL 0 0 1 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-08: F 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-09: EG 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-11: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-14: CTL 0 1 0 0 1 0 0 0
SemanticWebServices-PT-S256P15-CTLFireability-15: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
14 CTL EXCL 149/210 16/32 SemanticWebServices-PT-S256P15-CTLFireability-03 2615133 m, 10682 m/sec, 5230265 t fired, .
Time elapsed: 173 secs. Pages in use: 16
# running tasks: 1 of 4 Visible: 16
/home/mcc/BenchKit/bin//../reducer/bin//../../lola/bin//../BenchKit_head.sh: line 63: 559 Killed lola --conf=$BIN_DIR/configfiles/ctlfireabilityconf --formula=$DIR/CTLFireability.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="SemanticWebServices-PT-S256P15"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="lolaxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool lolaxred"
echo " Input is SemanticWebServices-PT-S256P15, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r359-smll-167891809000442"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/SemanticWebServices-PT-S256P15.tgz
mv SemanticWebServices-PT-S256P15 execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "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 [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
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 ;