About the Execution of ITS-Tools for SemanticWebServices-PT-S256P09
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 0.000 | 597182.00 | 0.00 | 0.00 | FTTFFFTFFFFFFFFT | normal |
Execution Chart
Sorry, for this execution, no execution chart could be reported.
Trace from the execution
Formatting '/data/fkordon/mcc2025-input.r184-tall-174889265100931.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2025-input.qcow2 backing_fmt=qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5832
Executing tool itstools
Input is SemanticWebServices-PT-S256P09, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r184-tall-174889265100931
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 32M
-rw-r--r-- 1 mcc users 5.7K May 29 14:47 CTLCardinality.txt
-rw-r--r-- 1 mcc users 52K May 29 14:47 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.4K May 29 14:47 CTLFireability.txt
-rw-r--r-- 1 mcc users 57K May 29 14:47 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.1K May 29 14:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 31K May 29 14:47 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 29 14:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K May 29 14:47 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.9K May 29 14:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 89K May 29 14:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.0K May 29 14:47 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 51K May 29 14:47 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K May 29 14:47 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.2K May 29 14:47 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 29 14:32 equiv_col
-rw-r--r-- 1 mcc users 8 May 29 14:32 instance
-rw-r--r-- 1 mcc users 6 May 29 14:32 iscolored
-rw-r--r-- 1 mcc users 32M May 29 14:32 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
echo here is the order used to build the result vector(from xml file)
FORMULA_NAME SemanticWebServices-PT-S256P09-LTLCardinality-00
FORMULA_NAME SemanticWebServices-PT-S256P09-LTLCardinality-01
FORMULA_NAME SemanticWebServices-PT-S256P09-LTLCardinality-02
FORMULA_NAME SemanticWebServices-PT-S256P09-LTLCardinality-03
FORMULA_NAME SemanticWebServices-PT-S256P09-LTLCardinality-04
FORMULA_NAME SemanticWebServices-PT-S256P09-LTLCardinality-05
FORMULA_NAME SemanticWebServices-PT-S256P09-LTLCardinality-06
FORMULA_NAME SemanticWebServices-PT-S256P09-LTLCardinality-07
FORMULA_NAME SemanticWebServices-PT-S256P09-LTLCardinality-08
FORMULA_NAME SemanticWebServices-PT-S256P09-LTLCardinality-09
FORMULA_NAME SemanticWebServices-PT-S256P09-LTLCardinality-10
FORMULA_NAME SemanticWebServices-PT-S256P09-LTLCardinality-11
FORMULA_NAME SemanticWebServices-PT-S256P09-LTLCardinality-12
FORMULA_NAME SemanticWebServices-PT-S256P09-LTLCardinality-13
FORMULA_NAME SemanticWebServices-PT-S256P09-LTLCardinality-14
FORMULA_NAME SemanticWebServices-PT-S256P09-LTLCardinality-15
=== Now, execution of the tool begins
BK_START 1749265598965
Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=LTLCardinality
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=SemanticWebServices-PT-S256P09
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
LTLCardinality PT
Running Version 202505121319
[2025-06-07 03:06:40] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, LTLCardinality, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2025-06-07 03:06:40] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2025-06-07 03:06:41] [INFO ] Load time of PNML (sax parser for PT used): 1120 ms
[2025-06-07 03:06:41] [INFO ] Transformed 418 places.
[2025-06-07 03:06:41] [INFO ] Transformed 27524 transitions.
[2025-06-07 03:06:41] [INFO ] Parsed PT model containing 418 places and 27524 transitions and 270595 arcs in 1381 ms.
Parsed 16 properties from file /home/mcc/execution/LTLCardinality.xml in 13 ms.
Working with output stream class java.io.PrintStream
Initial state reduction rules removed 3 formulas.
Deduced a syphon composed of 59 places in 41 ms
Reduce places removed 59 places and 19423 transitions.
Ensure Unique test removed 2463 transitions
Reduce redundant transitions removed 2463 transitions.
FORMULA SemanticWebServices-PT-S256P09-LTLCardinality-01 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA SemanticWebServices-PT-S256P09-LTLCardinality-02 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA SemanticWebServices-PT-S256P09-LTLCardinality-04 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA SemanticWebServices-PT-S256P09-LTLCardinality-06 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA SemanticWebServices-PT-S256P09-LTLCardinality-11 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA SemanticWebServices-PT-S256P09-LTLCardinality-15 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Support contains 28 out of 359 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 359/359 places, 5638/5638 transitions.
Ensure Unique test removed 20 places
Reduce places removed 85 places and 0 transitions.
Ensure Unique test removed 740 transitions
Reduce isomorphic transitions removed 740 transitions.
Iterating post reduction 0 with 825 rules applied. Total rules applied 825 place count 274 transition count 4898
Discarding 45 places :
Symmetric choice reduction at 1 with 45 rule applications. Total rules 870 place count 229 transition count 3091
Iterating global reduction 1 with 45 rules applied. Total rules applied 915 place count 229 transition count 3091
Ensure Unique test removed 694 transitions
Reduce isomorphic transitions removed 694 transitions.
Iterating post reduction 1 with 694 rules applied. Total rules applied 1609 place count 229 transition count 2397
Discarding 11 places :
Symmetric choice reduction at 2 with 11 rule applications. Total rules 1620 place count 218 transition count 2354
Iterating global reduction 2 with 11 rules applied. Total rules applied 1631 place count 218 transition count 2354
Ensure Unique test removed 65 transitions
Reduce isomorphic transitions removed 65 transitions.
Iterating post reduction 2 with 65 rules applied. Total rules applied 1696 place count 218 transition count 2289
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 1698 place count 216 transition count 2287
Iterating global reduction 3 with 2 rules applied. Total rules applied 1700 place count 216 transition count 2287
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 3 with 2 rules applied. Total rules applied 1702 place count 216 transition count 2285
Drop transitions (Redundant composition of simpler transitions.) removed 381 transitions
Redundant transition composition rules discarded 381 transitions
Iterating global reduction 4 with 381 rules applied. Total rules applied 2083 place count 216 transition count 1904
Reduce places removed 28 places and 0 transitions.
Ensure Unique test removed 109 transitions
Reduce isomorphic transitions removed 109 transitions.
Iterating post reduction 4 with 137 rules applied. Total rules applied 2220 place count 188 transition count 1795
Discarding 10 places :
Symmetric choice reduction at 5 with 10 rule applications. Total rules 2230 place count 178 transition count 1521
Iterating global reduction 5 with 10 rules applied. Total rules applied 2240 place count 178 transition count 1521
Ensure Unique test removed 114 transitions
Reduce isomorphic transitions removed 114 transitions.
Iterating post reduction 5 with 114 rules applied. Total rules applied 2354 place count 178 transition count 1407
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 2355 place count 177 transition count 1311
Iterating global reduction 6 with 1 rules applied. Total rules applied 2356 place count 177 transition count 1311
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 6 with 1 rules applied. Total rules applied 2357 place count 177 transition count 1310
Drop transitions (Redundant composition of simpler transitions.) removed 130 transitions
Redundant transition composition rules discarded 130 transitions
Iterating global reduction 7 with 130 rules applied. Total rules applied 2487 place count 177 transition count 1180
Reduce places removed 4 places and 0 transitions.
Ensure Unique test removed 19 transitions
Reduce isomorphic transitions removed 19 transitions.
Iterating post reduction 7 with 23 rules applied. Total rules applied 2510 place count 173 transition count 1161
Discarding 2 places :
Symmetric choice reduction at 8 with 2 rule applications. Total rules 2512 place count 171 transition count 1153
Iterating global reduction 8 with 2 rules applied. Total rules applied 2514 place count 171 transition count 1153
Ensure Unique test removed 54 transitions
Reduce isomorphic transitions removed 54 transitions.
Iterating post reduction 8 with 54 rules applied. Total rules applied 2568 place count 171 transition count 1099
Applied a total of 2568 rules in 149 ms. Remains 171 /359 variables (removed 188) and now considering 1099/5638 (removed 4539) transitions.
[2025-06-07 03:06:42] [INFO ] Flow matrix only has 470 transitions (discarded 629 similar events)
// Phase 1: matrix 470 rows 171 cols
[2025-06-07 03:06:42] [INFO ] Computed 1 invariants in 10 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-07 03:06:42] [INFO ] Implicit Places using invariants in 290 ms returned []
[2025-06-07 03:06:42] [INFO ] Flow matrix only has 470 transitions (discarded 629 similar events)
[2025-06-07 03:06:42] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-07 03:06:42] [INFO ] State equation strengthened by 228 read => feed constraints.
[2025-06-07 03:06:42] [INFO ] Implicit Places using invariants and state equation in 421 ms returned []
Implicit Place search using SMT with State Equation took 743 ms to find 0 implicit places.
Running 862 sub problems to find dead transitions.
[2025-06-07 03:06:42] [INFO ] Flow matrix only has 470 transitions (discarded 629 similar events)
[2025-06-07 03:06:42] [INFO ] Invariant cache hit.
[2025-06-07 03:06:42] [INFO ] State equation strengthened by 228 read => feed constraints.
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/161 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 862 unsolved
At refinement iteration 1 (OVERLAPS) 2/163 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 862 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/163 variables, 0/1 constraints. Problems are: Problem set: 0 solved, 862 unsolved
At refinement iteration 3 (OVERLAPS) 460/623 variables, 163/164 constraints. Problems are: Problem set: 0 solved, 862 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/623 variables, 228/392 constraints. Problems are: Problem set: 0 solved, 862 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/623 variables, 0/392 constraints. Problems are: Problem set: 0 solved, 862 unsolved
At refinement iteration 6 (OVERLAPS) 15/638 variables, 7/399 constraints. Problems are: Problem set: 0 solved, 862 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 638/641 variables, and 399 constraints, problems are : Problem set: 0 solved, 862 unsolved in 30034 ms.
Refiners :[Generalized P Invariants (flows): 1/1 constraints, State Equation: 170/171 constraints, ReadFeed: 228/228 constraints, PredecessorRefiner: 862/862 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 862 unsolved
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/161 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 862 unsolved
At refinement iteration 1 (OVERLAPS) 2/163 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 862 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/163 variables, 0/1 constraints. Problems are: Problem set: 0 solved, 862 unsolved
At refinement iteration 3 (OVERLAPS) 460/623 variables, 163/164 constraints. Problems are: Problem set: 0 solved, 862 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/623 variables, 228/392 constraints. Problems are: Problem set: 0 solved, 862 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/623 variables, 340/732 constraints. Problems are: Problem set: 0 solved, 862 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 623/641 variables, and 732 constraints, problems are : Problem set: 0 solved, 862 unsolved in 30031 ms.
Refiners :[Generalized P Invariants (flows): 1/1 constraints, State Equation: 163/171 constraints, ReadFeed: 228/228 constraints, PredecessorRefiner: 340/862 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 60581ms problems are : Problem set: 0 solved, 862 unsolved
Search for dead transitions found 0 dead transitions in 60601ms
Starting structural reductions in LTL mode, iteration 1 : 171/359 places, 1099/5638 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 61518 ms. Remains : 171/359 places, 1099/5638 transitions.
Support contains 28 out of 171 places after structural reductions.
[2025-06-07 03:07:43] [INFO ] Flatten gal took : 86 ms
[2025-06-07 03:07:43] [INFO ] Flatten gal took : 57 ms
[2025-06-07 03:07:43] [INFO ] Input system was already deterministic with 1099 transitions.
Support contains 26 out of 171 places (down from 28) after GAL structural reductions.
RANDOM walk for 35068 steps (7 resets) in 1843 ms. (19 steps per ms) remains 0/19 properties
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202505121319/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(X(X(X(X(X((p0&&X((p1 U (p2||G(p1)))))))))))'
Support contains 4 out of 171 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 171/171 places, 1099/1099 transitions.
Reduce places removed 8 places and 0 transitions.
Ensure Unique test removed 38 transitions
Reduce isomorphic transitions removed 38 transitions.
Iterating post reduction 0 with 46 rules applied. Total rules applied 46 place count 163 transition count 1061
Discarding 4 places :
Symmetric choice reduction at 1 with 4 rule applications. Total rules 50 place count 159 transition count 984
Iterating global reduction 1 with 4 rules applied. Total rules applied 54 place count 159 transition count 984
Ensure Unique test removed 9 transitions
Reduce isomorphic transitions removed 9 transitions.
Iterating post reduction 1 with 9 rules applied. Total rules applied 63 place count 159 transition count 975
Drop transitions (Redundant composition of simpler transitions.) removed 14 transitions
Redundant transition composition rules discarded 14 transitions
Iterating global reduction 2 with 14 rules applied. Total rules applied 77 place count 159 transition count 961
Reduce places removed 1 places and 0 transitions.
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 2 with 5 rules applied. Total rules applied 82 place count 158 transition count 957
Discarding 1 places :
Symmetric choice reduction at 3 with 1 rule applications. Total rules 83 place count 157 transition count 950
Iterating global reduction 3 with 1 rules applied. Total rules applied 84 place count 157 transition count 950
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 3 with 2 rules applied. Total rules applied 86 place count 157 transition count 948
Applied a total of 86 rules in 18 ms. Remains 157 /171 variables (removed 14) and now considering 948/1099 (removed 151) transitions.
[2025-06-07 03:07:44] [INFO ] Flow matrix only has 422 transitions (discarded 526 similar events)
// Phase 1: matrix 422 rows 157 cols
[2025-06-07 03:07:44] [INFO ] Computed 1 invariants in 7 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-07 03:07:44] [INFO ] Implicit Places using invariants in 127 ms returned []
[2025-06-07 03:07:44] [INFO ] Flow matrix only has 422 transitions (discarded 526 similar events)
[2025-06-07 03:07:44] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-07 03:07:44] [INFO ] State equation strengthened by 216 read => feed constraints.
[2025-06-07 03:07:45] [INFO ] Implicit Places using invariants and state equation in 344 ms returned []
Implicit Place search using SMT with State Equation took 473 ms to find 0 implicit places.
Running 747 sub problems to find dead transitions.
[2025-06-07 03:07:45] [INFO ] Flow matrix only has 422 transitions (discarded 526 similar events)
[2025-06-07 03:07:45] [INFO ] Invariant cache hit.
[2025-06-07 03:07:45] [INFO ] State equation strengthened by 216 read => feed constraints.
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/155 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 747 unsolved
At refinement iteration 1 (OVERLAPS) 2/157 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 747 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/157 variables, 0/1 constraints. Problems are: Problem set: 0 solved, 747 unsolved
At refinement iteration 3 (OVERLAPS) 421/578 variables, 157/158 constraints. Problems are: Problem set: 0 solved, 747 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/578 variables, 216/374 constraints. Problems are: Problem set: 0 solved, 747 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/578 variables, 0/374 constraints. Problems are: Problem set: 0 solved, 747 unsolved
At refinement iteration 6 (OVERLAPS) 0/578 variables, 0/374 constraints. Problems are: Problem set: 0 solved, 747 unsolved
No progress, stopping.
After SMT solving in domain Real declared 578/579 variables, and 374 constraints, problems are : Problem set: 0 solved, 747 unsolved in 30028 ms.
Refiners :[Generalized P Invariants (flows): 1/1 constraints, State Equation: 157/157 constraints, ReadFeed: 216/216 constraints, PredecessorRefiner: 747/747 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 747 unsolved
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/155 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 747 unsolved
At refinement iteration 1 (OVERLAPS) 2/157 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 747 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/157 variables, 0/1 constraints. Problems are: Problem set: 0 solved, 747 unsolved
At refinement iteration 3 (OVERLAPS) 421/578 variables, 157/158 constraints. Problems are: Problem set: 0 solved, 747 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/578 variables, 216/374 constraints. Problems are: Problem set: 0 solved, 747 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/578 variables, 747/1121 constraints. Problems are: Problem set: 0 solved, 747 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 578/579 variables, and 1121 constraints, problems are : Problem set: 0 solved, 747 unsolved in 30022 ms.
Refiners :[Generalized P Invariants (flows): 1/1 constraints, State Equation: 157/157 constraints, ReadFeed: 216/216 constraints, PredecessorRefiner: 747/747 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 60365ms problems are : Problem set: 0 solved, 747 unsolved
Search for dead transitions found 0 dead transitions in 60371ms
Starting structural reductions in LTL mode, iteration 1 : 157/171 places, 948/1099 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 60867 ms. Remains : 157/171 places, 948/1099 transitions.
Stuttering acceptance computed with spot in 441 ms :[true, (OR (NOT p0) (AND (NOT p1) (NOT p2))), (AND (NOT p2) (NOT p1)), (OR (NOT p0) (AND (NOT p1) (NOT p2))), (OR (NOT p0) (AND (NOT p1) (NOT p2))), (OR (NOT p0) (AND (NOT p1) (NOT p2))), (OR (NOT p0) (AND (NOT p1) (NOT p2))), (OR (NOT p0) (AND (NOT p1) (NOT p2)))]
Running random walk in product with property : SemanticWebServices-PT-S256P09-LTLCardinality-00
Stuttering criterion allowed to conclude after 304 steps with 43 reset in 12 ms.
FORMULA SemanticWebServices-PT-S256P09-LTLCardinality-00 FALSE TECHNIQUES STUTTER_TEST
Treatment of property SemanticWebServices-PT-S256P09-LTLCardinality-00 finished in 61383 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202505121319/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!((F(p0)&&X(F(p1))))'
Support contains 3 out of 171 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 171/171 places, 1099/1099 transitions.
Reduce places removed 8 places and 0 transitions.
Ensure Unique test removed 38 transitions
Reduce isomorphic transitions removed 38 transitions.
Iterating post reduction 0 with 46 rules applied. Total rules applied 46 place count 163 transition count 1061
Discarding 5 places :
Symmetric choice reduction at 1 with 5 rule applications. Total rules 51 place count 158 transition count 983
Iterating global reduction 1 with 5 rules applied. Total rules applied 56 place count 158 transition count 983
Ensure Unique test removed 9 transitions
Reduce isomorphic transitions removed 9 transitions.
Iterating post reduction 1 with 9 rules applied. Total rules applied 65 place count 158 transition count 974
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 66 place count 157 transition count 973
Iterating global reduction 2 with 1 rules applied. Total rules applied 67 place count 157 transition count 973
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 68 place count 156 transition count 972
Iterating global reduction 2 with 1 rules applied. Total rules applied 69 place count 156 transition count 972
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 70 place count 156 transition count 971
Drop transitions (Redundant composition of simpler transitions.) removed 14 transitions
Redundant transition composition rules discarded 14 transitions
Iterating global reduction 3 with 14 rules applied. Total rules applied 84 place count 156 transition count 957
Reduce places removed 1 places and 0 transitions.
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 3 with 5 rules applied. Total rules applied 89 place count 155 transition count 953
Discarding 1 places :
Symmetric choice reduction at 4 with 1 rule applications. Total rules 90 place count 154 transition count 946
Iterating global reduction 4 with 1 rules applied. Total rules applied 91 place count 154 transition count 946
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 4 with 2 rules applied. Total rules applied 93 place count 154 transition count 944
Applied a total of 93 rules in 43 ms. Remains 154 /171 variables (removed 17) and now considering 944/1099 (removed 155) transitions.
[2025-06-07 03:08:46] [INFO ] Flow matrix only has 419 transitions (discarded 525 similar events)
// Phase 1: matrix 419 rows 154 cols
[2025-06-07 03:08:46] [INFO ] Computed 1 invariants in 3 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-07 03:08:46] [INFO ] Implicit Places using invariants in 214 ms returned []
[2025-06-07 03:08:46] [INFO ] Flow matrix only has 419 transitions (discarded 525 similar events)
[2025-06-07 03:08:46] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-07 03:08:46] [INFO ] State equation strengthened by 213 read => feed constraints.
[2025-06-07 03:08:46] [INFO ] Implicit Places using invariants and state equation in 491 ms returned []
Implicit Place search using SMT with State Equation took 722 ms to find 0 implicit places.
Running 743 sub problems to find dead transitions.
[2025-06-07 03:08:46] [INFO ] Flow matrix only has 419 transitions (discarded 525 similar events)
[2025-06-07 03:08:46] [INFO ] Invariant cache hit.
[2025-06-07 03:08:46] [INFO ] State equation strengthened by 213 read => feed constraints.
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/152 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 743 unsolved
At refinement iteration 1 (OVERLAPS) 2/154 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 743 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/154 variables, 0/1 constraints. Problems are: Problem set: 0 solved, 743 unsolved
At refinement iteration 3 (OVERLAPS) 418/572 variables, 154/155 constraints. Problems are: Problem set: 0 solved, 743 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/572 variables, 213/368 constraints. Problems are: Problem set: 0 solved, 743 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/572 variables, 0/368 constraints. Problems are: Problem set: 0 solved, 743 unsolved
At refinement iteration 6 (OVERLAPS) 0/572 variables, 0/368 constraints. Problems are: Problem set: 0 solved, 743 unsolved
No progress, stopping.
After SMT solving in domain Real declared 572/573 variables, and 368 constraints, problems are : Problem set: 0 solved, 743 unsolved in 30021 ms.
Refiners :[Generalized P Invariants (flows): 1/1 constraints, State Equation: 154/154 constraints, ReadFeed: 213/213 constraints, PredecessorRefiner: 743/743 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 743 unsolved
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/152 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 743 unsolved
At refinement iteration 1 (OVERLAPS) 2/154 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 743 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/154 variables, 0/1 constraints. Problems are: Problem set: 0 solved, 743 unsolved
At refinement iteration 3 (OVERLAPS) 418/572 variables, 154/155 constraints. Problems are: Problem set: 0 solved, 743 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/572 variables, 213/368 constraints. Problems are: Problem set: 0 solved, 743 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/572 variables, 743/1111 constraints. Problems are: Problem set: 0 solved, 743 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 572/573 variables, and 1111 constraints, problems are : Problem set: 0 solved, 743 unsolved in 30018 ms.
Refiners :[Generalized P Invariants (flows): 1/1 constraints, State Equation: 154/154 constraints, ReadFeed: 213/213 constraints, PredecessorRefiner: 743/743 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 60298ms problems are : Problem set: 0 solved, 743 unsolved
Search for dead transitions found 0 dead transitions in 60300ms
Starting structural reductions in LTL mode, iteration 1 : 154/171 places, 944/1099 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 61068 ms. Remains : 154/171 places, 944/1099 transitions.
Stuttering acceptance computed with spot in 115 ms :[(OR (NOT p0) (NOT p1)), (NOT p0), (NOT p1)]
Running random walk in product with property : SemanticWebServices-PT-S256P09-LTLCardinality-03
Stuttering criterion allowed to conclude after 0 steps with 0 reset in 1 ms.
FORMULA SemanticWebServices-PT-S256P09-LTLCardinality-03 FALSE TECHNIQUES STUTTER_TEST
Treatment of property SemanticWebServices-PT-S256P09-LTLCardinality-03 finished in 61208 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202505121319/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(G(F(p0)))'
Support contains 1 out of 171 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 171/171 places, 1099/1099 transitions.
Graph (complete) has 1387 edges and 171 vertex of which 157 are kept as prefixes of interest. Removing 14 places using SCC suffix rule.9 ms
Discarding 14 places :
Also discarding 3 output transitions
Drop transitions (Output transitions of discarded places.) removed 3 transitions
Reduce places removed 1 places and 1 transitions.
Ensure Unique test removed 38 transitions
Reduce isomorphic transitions removed 38 transitions.
Iterating post reduction 0 with 38 rules applied. Total rules applied 39 place count 156 transition count 1057
Discarding 5 places :
Symmetric choice reduction at 1 with 5 rule applications. Total rules 44 place count 151 transition count 979
Iterating global reduction 1 with 5 rules applied. Total rules applied 49 place count 151 transition count 979
Ensure Unique test removed 8 transitions
Reduce isomorphic transitions removed 8 transitions.
Iterating post reduction 1 with 8 rules applied. Total rules applied 57 place count 151 transition count 971
Discarding 3 places :
Symmetric choice reduction at 2 with 3 rule applications. Total rules 60 place count 148 transition count 968
Iterating global reduction 2 with 3 rules applied. Total rules applied 63 place count 148 transition count 968
Discarding 5 places :
Symmetric choice reduction at 2 with 5 rule applications. Total rules 68 place count 143 transition count 963
Iterating global reduction 2 with 5 rules applied. Total rules applied 73 place count 143 transition count 963
Ensure Unique test removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 2 with 5 rules applied. Total rules applied 78 place count 143 transition count 958
Drop transitions (Redundant composition of simpler transitions.) removed 47 transitions
Redundant transition composition rules discarded 47 transitions
Iterating global reduction 3 with 47 rules applied. Total rules applied 125 place count 143 transition count 911
Reduce places removed 2 places and 0 transitions.
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Graph (complete) has 1239 edges and 141 vertex of which 140 are kept as prefixes of interest. Removing 1 places using SCC suffix rule.2 ms
Discarding 1 places :
Also discarding 1 output transitions
Drop transitions (Output transitions of discarded places.) removed 1 transitions
Iterating post reduction 3 with 7 rules applied. Total rules applied 132 place count 140 transition count 906
Discarding 1 places :
Symmetric choice reduction at 4 with 1 rule applications. Total rules 133 place count 139 transition count 899
Iterating global reduction 4 with 1 rules applied. Total rules applied 134 place count 139 transition count 899
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 4 with 2 rules applied. Total rules applied 136 place count 139 transition count 897
Drop transitions (Redundant composition of simpler transitions.) removed 1 transitions
Redundant transition composition rules discarded 1 transitions
Iterating global reduction 5 with 1 rules applied. Total rules applied 137 place count 139 transition count 896
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 5 with 1 rules applied. Total rules applied 138 place count 138 transition count 896
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 139 place count 137 transition count 895
Iterating global reduction 6 with 1 rules applied. Total rules applied 140 place count 137 transition count 895
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 6 with 1 rules applied. Total rules applied 141 place count 137 transition count 894
Drop transitions (Redundant composition of simpler transitions.) removed 2 transitions
Redundant transition composition rules discarded 2 transitions
Iterating global reduction 7 with 2 rules applied. Total rules applied 143 place count 137 transition count 892
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 7 with 1 rules applied. Total rules applied 144 place count 136 transition count 892
Drop transitions (Redundant composition of simpler transitions.) removed 1 transitions
Redundant transition composition rules discarded 1 transitions
Iterating global reduction 8 with 1 rules applied. Total rules applied 145 place count 136 transition count 891
Applied a total of 145 rules in 226 ms. Remains 136 /171 variables (removed 35) and now considering 891/1099 (removed 208) transitions.
[2025-06-07 03:09:47] [INFO ] Flow matrix only has 381 transitions (discarded 510 similar events)
// Phase 1: matrix 381 rows 136 cols
[2025-06-07 03:09:47] [INFO ] Computed 0 invariants in 4 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-07 03:09:47] [INFO ] Implicit Places using invariants in 109 ms returned []
[2025-06-07 03:09:47] [INFO ] Flow matrix only has 381 transitions (discarded 510 similar events)
[2025-06-07 03:09:47] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-07 03:09:47] [INFO ] State equation strengthened by 178 read => feed constraints.
[2025-06-07 03:09:47] [INFO ] Implicit Places using invariants and state equation in 364 ms returned []
Implicit Place search using SMT with State Equation took 477 ms to find 0 implicit places.
Starting Z3 with timeout 200.0 s and query timeout 20000.0 ms
[2025-06-07 03:09:49] [INFO ] Redundant transitions in 1054 ms returned [41, 42, 45, 48, 61, 62, 66, 67, 69, 70, 71, 77, 78, 79, 83, 85, 86, 91, 92, 93, 97, 100, 101, 102, 104, 105, 108, 110, 112, 113, 114, 116, 118, 119, 120, 126, 128, 129, 131, 132, 134, 137, 138, 139, 146, 147, 148, 149, 150, 152, 153, 154, 155, 158, 159, 160, 165, 166, 168, 170, 172, 173, 175, 177, 179, 180, 181, 182, 183, 184, 186, 187, 188, 189, 190, 191, 193, 194, 195, 210, 212, 214, 222, 223, 224, 225, 226, 227, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 286, 289, 290, 293, 294, 296, 297, 298, 299, 303, 305, 306, 308, 309, 310, 311, 336, 390, 398, 400, 401, 423, 425, 427, 429, 466, 468, 470, 509, 553, 554, 555, 556, 557, 558, 559, 560, 561, 562, 563, 564, 565, 566, 567, 568, 569, 570, 571, 572, 573, 574, 575, 576, 581, 585, 586, 587, 589, 590, 591, 592, 593, 594, 595, 596, 597, 598, 599, 600, 612, 616, 617, 619, 622, 623, 624, 626, 627, 628, 629, 630, 632, 633, 634, 635, 636, 637, 638, 639, 641, 642, 644, 645, 647, 648, 649, 650, 652, 653, 654, 655, 657, 658, 660, 661, 663, 664, 666, 667, 669, 670, 672, 673, 675, 676, 680, 681, 684, 685, 687, 688, 690, 691, 694, 703, 704, 706, 707, 709, 711, 713, 717, 722, 728, 730, 731, 732, 733, 734, 735, 737, 739, 740, 742, 744, 746, 749, 751, 753, 755, 759, 763, 765, 767, 769, 771, 773, 774, 775, 776, 777, 778, 779, 780, 781, 782, 783, 785, 787, 788, 789, 790, 792, 794, 795, 797, 799, 801, 804, 805, 806, 808, 810, 811, 813, 815, 817, 818, 820, 822, 824, 826, 827, 828, 829, 830, 831, 832, 833, 834, 835, 836, 837, 838, 839, 841, 843, 844, 845, 846, 847, 848, 850, 852, 853, 854, 855, 857, 859, 860, 862, 864, 866, 867, 868, 869, 870, 871, 872, 873, 874, 875, 876, 877, 878, 879, 880, 882, 884, 885, 886, 887, 888, 889, 890]
Found 349 redundant transitions using SMT.
Drop transitions (Redundant Transitions using SMT with State Equation) removed 349 transitions
Redundant transitions reduction (with SMT) removed 349 transitions.
Running 418 sub problems to find dead transitions.
[2025-06-07 03:09:49] [INFO ] Flow matrix only has 225 transitions (discarded 317 similar events)
// Phase 1: matrix 225 rows 136 cols
[2025-06-07 03:09:49] [INFO ] Computed 0 invariants in 1 ms
[2025-06-07 03:09:49] [INFO ] State equation strengthened by 101 read => feed constraints.
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/115 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 418 unsolved
At refinement iteration 1 (OVERLAPS) 205/320 variables, 115/115 constraints. Problems are: Problem set: 0 solved, 418 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/320 variables, 100/215 constraints. Problems are: Problem set: 0 solved, 418 unsolved
All remaining problems are real, not stopping.
At refinement iteration 3 (INCLUDED_ONLY) 0/320 variables, 0/215 constraints. Problems are: Problem set: 0 solved, 418 unsolved
At refinement iteration 4 (OVERLAPS) 14/334 variables, 8/223 constraints. Problems are: Problem set: 0 solved, 418 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/334 variables, 1/224 constraints. Problems are: Problem set: 0 solved, 418 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/334 variables, 0/224 constraints. Problems are: Problem set: 0 solved, 418 unsolved
At refinement iteration 7 (OVERLAPS) 0/334 variables, 0/224 constraints. Problems are: Problem set: 0 solved, 418 unsolved
No progress, stopping.
After SMT solving in domain Real declared 334/361 variables, and 224 constraints, problems are : Problem set: 0 solved, 418 unsolved in 11839 ms.
Refiners :[State Equation: 123/136 constraints, ReadFeed: 101/101 constraints, PredecessorRefiner: 418/418 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 418 unsolved
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/115 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 418 unsolved
At refinement iteration 1 (OVERLAPS) 205/320 variables, 115/115 constraints. Problems are: Problem set: 0 solved, 418 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/320 variables, 100/215 constraints. Problems are: Problem set: 0 solved, 418 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/320 variables, 301/516 constraints. Problems are: Problem set: 0 solved, 418 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/320 variables, 0/516 constraints. Problems are: Problem set: 0 solved, 418 unsolved
At refinement iteration 5 (OVERLAPS) 14/334 variables, 8/524 constraints. Problems are: Problem set: 0 solved, 418 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/334 variables, 1/525 constraints. Problems are: Problem set: 0 solved, 418 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/334 variables, 116/641 constraints. Problems are: Problem set: 0 solved, 418 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/334 variables, 0/641 constraints. Problems are: Problem set: 0 solved, 418 unsolved
At refinement iteration 9 (OVERLAPS) 1/335 variables, 1/642 constraints. Problems are: Problem set: 0 solved, 418 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/335 variables, 0/642 constraints. Problems are: Problem set: 0 solved, 418 unsolved
At refinement iteration 11 (OVERLAPS) 1/336 variables, 1/643 constraints. Problems are: Problem set: 0 solved, 418 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 336/361 variables, and 643 constraints, problems are : Problem set: 0 solved, 418 unsolved in 30019 ms.
Refiners :[State Equation: 124/136 constraints, ReadFeed: 101/101 constraints, PredecessorRefiner: 418/418 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 41926ms problems are : Problem set: 0 solved, 418 unsolved
Search for dead transitions found 0 dead transitions in 41928ms
Starting structural reductions in SI_LTL mode, iteration 1 : 136/171 places, 542/1099 transitions.
Graph (complete) has 930 edges and 136 vertex of which 118 are kept as prefixes of interest. Removing 18 places using SCC suffix rule.1 ms
Discarding 18 places :
Also discarding 0 output transitions
Ensure Unique test removed 43 transitions
Reduce isomorphic transitions removed 43 transitions.
Iterating post reduction 0 with 43 rules applied. Total rules applied 44 place count 118 transition count 499
Discarding 4 places :
Symmetric choice reduction at 1 with 4 rule applications. Total rules 48 place count 114 transition count 470
Iterating global reduction 1 with 4 rules applied. Total rules applied 52 place count 114 transition count 470
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 1 with 2 rules applied. Total rules applied 54 place count 114 transition count 468
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 55 place count 113 transition count 462
Iterating global reduction 2 with 1 rules applied. Total rules applied 56 place count 113 transition count 462
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 57 place count 113 transition count 461
Drop transitions (Redundant composition of simpler transitions.) removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 3 with 20 rules applied. Total rules applied 77 place count 113 transition count 441
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 3 with 1 rules applied. Total rules applied 78 place count 112 transition count 441
Discarding 1 places :
Symmetric choice reduction at 4 with 1 rule applications. Total rules 79 place count 111 transition count 427
Iterating global reduction 4 with 1 rules applied. Total rules applied 80 place count 111 transition count 427
Ensure Unique test removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 4 with 7 rules applied. Total rules applied 87 place count 111 transition count 420
Drop transitions (Redundant composition of simpler transitions.) removed 7 transitions
Redundant transition composition rules discarded 7 transitions
Iterating global reduction 5 with 7 rules applied. Total rules applied 94 place count 111 transition count 413
Applied a total of 94 rules in 42 ms. Remains 111 /136 variables (removed 25) and now considering 413/542 (removed 129) transitions.
[2025-06-07 03:10:30] [INFO ] Flow matrix only has 188 transitions (discarded 225 similar events)
// Phase 1: matrix 188 rows 111 cols
[2025-06-07 03:10:30] [INFO ] Computed 0 invariants in 1 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-07 03:10:31] [INFO ] Implicit Places using invariants in 92 ms returned []
[2025-06-07 03:10:31] [INFO ] Flow matrix only has 188 transitions (discarded 225 similar events)
[2025-06-07 03:10:31] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-07 03:10:31] [INFO ] State equation strengthened by 86 read => feed constraints.
[2025-06-07 03:10:31] [INFO ] Implicit Places using invariants and state equation in 182 ms returned []
Implicit Place search using SMT with State Equation took 276 ms to find 0 implicit places.
Starting structural reductions in SI_LTL mode, iteration 2 : 111/171 places, 413/1099 transitions.
Finished structural reductions in SI_LTL mode , in 2 iterations and 44021 ms. Remains : 111/171 places, 413/1099 transitions.
Stuttering acceptance computed with spot in 67 ms :[(NOT p0), (NOT p0)]
Running random walk in product with property : SemanticWebServices-PT-S256P09-LTLCardinality-05
Stuttering criterion allowed to conclude after 0 steps with 0 reset in 0 ms.
FORMULA SemanticWebServices-PT-S256P09-LTLCardinality-05 FALSE TECHNIQUES STUTTER_TEST
Treatment of property SemanticWebServices-PT-S256P09-LTLCardinality-05 finished in 44101 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202505121319/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(F((p0&&(p0 U (p1 U (p0&&X(G(!p0))))))))'
Support contains 1 out of 171 places. Attempting structural reductions.
Property had overlarge support with respect to TGBA, discarding it for now.
Starting structural reductions in SI_LTL mode, iteration 0 : 171/171 places, 1099/1099 transitions.
Graph (complete) has 1387 edges and 171 vertex of which 159 are kept as prefixes of interest. Removing 12 places using SCC suffix rule.3 ms
Discarding 12 places :
Also discarding 3 output transitions
Drop transitions (Output transitions of discarded places.) removed 3 transitions
Reduce places removed 1 places and 1 transitions.
Ensure Unique test removed 19 transitions
Reduce isomorphic transitions removed 19 transitions.
Iterating post reduction 0 with 19 rules applied. Total rules applied 20 place count 158 transition count 1076
Discarding 6 places :
Symmetric choice reduction at 1 with 6 rule applications. Total rules 26 place count 152 transition count 997
Iterating global reduction 1 with 6 rules applied. Total rules applied 32 place count 152 transition count 997
Ensure Unique test removed 10 transitions
Reduce isomorphic transitions removed 10 transitions.
Iterating post reduction 1 with 10 rules applied. Total rules applied 42 place count 152 transition count 987
Discarding 3 places :
Symmetric choice reduction at 2 with 3 rule applications. Total rules 45 place count 149 transition count 984
Iterating global reduction 2 with 3 rules applied. Total rules applied 48 place count 149 transition count 984
Discarding 5 places :
Symmetric choice reduction at 2 with 5 rule applications. Total rules 53 place count 144 transition count 979
Iterating global reduction 2 with 5 rules applied. Total rules applied 58 place count 144 transition count 979
Ensure Unique test removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 2 with 5 rules applied. Total rules applied 63 place count 144 transition count 974
Drop transitions (Redundant composition of simpler transitions.) removed 47 transitions
Redundant transition composition rules discarded 47 transitions
Iterating global reduction 3 with 47 rules applied. Total rules applied 110 place count 144 transition count 927
Reduce places removed 1 places and 0 transitions.
Graph (complete) has 1273 edges and 143 vertex of which 142 are kept as prefixes of interest. Removing 1 places using SCC suffix rule.1 ms
Discarding 1 places :
Also discarding 1 output transitions
Drop transitions (Output transitions of discarded places.) removed 1 transitions
Iterating post reduction 3 with 2 rules applied. Total rules applied 112 place count 142 transition count 926
Discarding 1 places :
Symmetric choice reduction at 4 with 1 rule applications. Total rules 113 place count 141 transition count 919
Iterating global reduction 4 with 1 rules applied. Total rules applied 114 place count 141 transition count 919
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 4 with 2 rules applied. Total rules applied 116 place count 141 transition count 917
Drop transitions (Redundant composition of simpler transitions.) removed 1 transitions
Redundant transition composition rules discarded 1 transitions
Iterating global reduction 5 with 1 rules applied. Total rules applied 117 place count 141 transition count 916
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 5 with 1 rules applied. Total rules applied 118 place count 140 transition count 916
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 119 place count 139 transition count 915
Iterating global reduction 6 with 1 rules applied. Total rules applied 120 place count 139 transition count 915
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 6 with 1 rules applied. Total rules applied 121 place count 139 transition count 914
Drop transitions (Redundant composition of simpler transitions.) removed 1 transitions
Redundant transition composition rules discarded 1 transitions
Iterating global reduction 7 with 1 rules applied. Total rules applied 122 place count 139 transition count 913
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 7 with 1 rules applied. Total rules applied 123 place count 138 transition count 913
Drop transitions (Redundant composition of simpler transitions.) removed 1 transitions
Redundant transition composition rules discarded 1 transitions
Iterating global reduction 8 with 1 rules applied. Total rules applied 124 place count 138 transition count 912
Applied a total of 124 rules in 143 ms. Remains 138 /171 variables (removed 33) and now considering 912/1099 (removed 187) transitions.
[2025-06-07 03:10:31] [INFO ] Flow matrix only has 394 transitions (discarded 518 similar events)
// Phase 1: matrix 394 rows 138 cols
[2025-06-07 03:10:31] [INFO ] Computed 0 invariants in 2 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-07 03:10:31] [INFO ] Implicit Places using invariants in 92 ms returned []
[2025-06-07 03:10:31] [INFO ] Flow matrix only has 394 transitions (discarded 518 similar events)
[2025-06-07 03:10:31] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-07 03:10:31] [INFO ] State equation strengthened by 180 read => feed constraints.
[2025-06-07 03:10:31] [INFO ] Implicit Places using invariants and state equation in 304 ms returned []
Implicit Place search using SMT with State Equation took 404 ms to find 0 implicit places.
Starting Z3 with timeout 200.0 s and query timeout 20000.0 ms
[2025-06-07 03:10:32] [INFO ] Redundant transitions in 893 ms returned [40, 41, 45, 49, 63, 64, 68, 69, 70, 72, 73, 74, 75, 76, 83, 84, 85, 91, 92, 98, 99, 103, 108, 109, 111, 112, 115, 117, 118, 119, 120, 121, 123, 125, 126, 127, 133, 135, 136, 138, 139, 141, 144, 145, 146, 153, 154, 155, 156, 157, 159, 160, 161, 162, 165, 166, 167, 172, 173, 175, 177, 179, 180, 182, 184, 186, 187, 188, 189, 190, 192, 194, 195, 196, 197, 198, 199, 201, 202, 203, 204, 206, 208, 221, 223, 225, 233, 234, 235, 236, 237, 238, 241, 245, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 299, 302, 303, 306, 307, 309, 310, 311, 312, 316, 318, 319, 321, 322, 323, 324, 349, 399, 403, 404, 405, 407, 408, 409, 410, 418, 419, 421, 422, 444, 446, 448, 450, 487, 489, 491, 530, 574, 575, 576, 577, 578, 579, 580, 581, 582, 583, 584, 585, 586, 587, 588, 589, 590, 591, 592, 593, 594, 595, 596, 597, 602, 606, 607, 608, 610, 611, 612, 613, 614, 615, 616, 617, 618, 619, 620, 621, 633, 637, 638, 640, 643, 644, 645, 647, 648, 649, 650, 651, 653, 654, 655, 656, 657, 658, 659, 660, 662, 663, 665, 666, 668, 669, 670, 671, 673, 674, 675, 676, 678, 679, 681, 682, 684, 685, 687, 688, 690, 691, 693, 694, 696, 697, 701, 702, 705, 706, 708, 709, 711, 712, 715, 724, 725, 727, 728, 730, 732, 734, 738, 743, 749, 751, 752, 753, 754, 755, 756, 758, 760, 761, 763, 765, 767, 770, 772, 774, 776, 780, 784, 786, 788, 790, 792, 794, 795, 796, 797, 798, 799, 800, 801, 802, 803, 804, 806, 808, 809, 810, 811, 813, 815, 816, 818, 820, 822, 825, 826, 827, 829, 831, 832, 834, 836, 838, 839, 841, 843, 845, 847, 848, 849, 850, 851, 852, 853, 854, 855, 856, 857, 858, 859, 860, 862, 864, 865, 866, 867, 868, 869, 871, 873, 874, 875, 876, 878, 880, 881, 883, 885, 887, 888, 889, 890, 891, 892, 893, 894, 895, 896, 897, 898, 899, 900, 901, 903, 905, 906, 907, 908, 909, 910, 911]
Found 363 redundant transitions using SMT.
Drop transitions (Redundant Transitions using SMT with State Equation) removed 363 transitions
Redundant transitions reduction (with SMT) removed 363 transitions.
Running 418 sub problems to find dead transitions.
[2025-06-07 03:10:32] [INFO ] Flow matrix only has 232 transitions (discarded 317 similar events)
// Phase 1: matrix 232 rows 138 cols
[2025-06-07 03:10:32] [INFO ] Computed 0 invariants in 1 ms
[2025-06-07 03:10:32] [INFO ] State equation strengthened by 101 read => feed constraints.
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/115 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 418 unsolved
At refinement iteration 1 (OVERLAPS) 209/324 variables, 115/115 constraints. Problems are: Problem set: 0 solved, 418 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/324 variables, 100/215 constraints. Problems are: Problem set: 0 solved, 418 unsolved
All remaining problems are real, not stopping.
At refinement iteration 3 (INCLUDED_ONLY) 0/324 variables, 0/215 constraints. Problems are: Problem set: 0 solved, 418 unsolved
At refinement iteration 4 (OVERLAPS) 19/343 variables, 10/225 constraints. Problems are: Problem set: 0 solved, 418 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/343 variables, 1/226 constraints. Problems are: Problem set: 0 solved, 418 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/343 variables, 0/226 constraints. Problems are: Problem set: 0 solved, 418 unsolved
At refinement iteration 7 (OVERLAPS) 2/345 variables, 1/227 constraints. Problems are: Problem set: 0 solved, 418 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/345 variables, 0/227 constraints. Problems are: Problem set: 0 solved, 418 unsolved
At refinement iteration 9 (OVERLAPS) 0/345 variables, 0/227 constraints. Problems are: Problem set: 0 solved, 418 unsolved
No progress, stopping.
After SMT solving in domain Real declared 345/370 variables, and 227 constraints, problems are : Problem set: 0 solved, 418 unsolved in 14243 ms.
Refiners :[State Equation: 126/138 constraints, ReadFeed: 101/101 constraints, PredecessorRefiner: 418/418 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 418 unsolved
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/115 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 418 unsolved
At refinement iteration 1 (OVERLAPS) 209/324 variables, 115/115 constraints. Problems are: Problem set: 0 solved, 418 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/324 variables, 100/215 constraints. Problems are: Problem set: 0 solved, 418 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/324 variables, 301/516 constraints. Problems are: Problem set: 0 solved, 418 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/324 variables, 0/516 constraints. Problems are: Problem set: 0 solved, 418 unsolved
At refinement iteration 5 (OVERLAPS) 19/343 variables, 10/526 constraints. Problems are: Problem set: 0 solved, 418 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/343 variables, 1/527 constraints. Problems are: Problem set: 0 solved, 418 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/343 variables, 116/643 constraints. Problems are: Problem set: 0 solved, 418 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/343 variables, 0/643 constraints. Problems are: Problem set: 0 solved, 418 unsolved
At refinement iteration 9 (OVERLAPS) 2/345 variables, 1/644 constraints. Problems are: Problem set: 0 solved, 418 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/345 variables, 0/644 constraints. Problems are: Problem set: 0 solved, 418 unsolved
At refinement iteration 11 (OVERLAPS) 1/346 variables, 1/645 constraints. Problems are: Problem set: 0 solved, 418 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 346/370 variables, and 645 constraints, problems are : Problem set: 0 solved, 418 unsolved in 30028 ms.
Refiners :[State Equation: 126/138 constraints, ReadFeed: 101/101 constraints, PredecessorRefiner: 418/418 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 44342ms problems are : Problem set: 0 solved, 418 unsolved
Search for dead transitions found 0 dead transitions in 44347ms
Starting structural reductions in SI_LTL mode, iteration 1 : 138/171 places, 549/1099 transitions.
Graph (complete) has 929 edges and 138 vertex of which 119 are kept as prefixes of interest. Removing 19 places using SCC suffix rule.1 ms
Discarding 19 places :
Also discarding 0 output transitions
Ensure Unique test removed 45 transitions
Reduce isomorphic transitions removed 45 transitions.
Iterating post reduction 0 with 45 rules applied. Total rules applied 46 place count 119 transition count 504
Discarding 4 places :
Symmetric choice reduction at 1 with 4 rule applications. Total rules 50 place count 115 transition count 475
Iterating global reduction 1 with 4 rules applied. Total rules applied 54 place count 115 transition count 475
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 1 with 2 rules applied. Total rules applied 56 place count 115 transition count 473
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 57 place count 114 transition count 467
Iterating global reduction 2 with 1 rules applied. Total rules applied 58 place count 114 transition count 467
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 59 place count 114 transition count 466
Drop transitions (Redundant composition of simpler transitions.) removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 3 with 20 rules applied. Total rules applied 79 place count 114 transition count 446
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 3 with 1 rules applied. Total rules applied 80 place count 113 transition count 446
Discarding 1 places :
Symmetric choice reduction at 4 with 1 rule applications. Total rules 81 place count 112 transition count 432
Iterating global reduction 4 with 1 rules applied. Total rules applied 82 place count 112 transition count 432
Ensure Unique test removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 4 with 7 rules applied. Total rules applied 89 place count 112 transition count 425
Drop transitions (Redundant composition of simpler transitions.) removed 7 transitions
Redundant transition composition rules discarded 7 transitions
Iterating global reduction 5 with 7 rules applied. Total rules applied 96 place count 112 transition count 418
Applied a total of 96 rules in 35 ms. Remains 112 /138 variables (removed 26) and now considering 418/549 (removed 131) transitions.
[2025-06-07 03:11:17] [INFO ] Flow matrix only has 193 transitions (discarded 225 similar events)
// Phase 1: matrix 193 rows 112 cols
[2025-06-07 03:11:17] [INFO ] Computed 0 invariants in 1 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-07 03:11:17] [INFO ] Implicit Places using invariants in 77 ms returned []
[2025-06-07 03:11:17] [INFO ] Flow matrix only has 193 transitions (discarded 225 similar events)
[2025-06-07 03:11:17] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-07 03:11:17] [INFO ] State equation strengthened by 86 read => feed constraints.
[2025-06-07 03:11:17] [INFO ] Implicit Places using invariants and state equation in 170 ms returned []
Implicit Place search using SMT with State Equation took 250 ms to find 0 implicit places.
Starting structural reductions in SI_LTL mode, iteration 2 : 112/171 places, 418/1099 transitions.
Finished structural reductions in SI_LTL mode , in 2 iterations and 46083 ms. Remains : 112/171 places, 418/1099 transitions.
Stuttering acceptance computed with spot in 58 ms :[true, p0]
Running random walk in product with property : SemanticWebServices-PT-S256P09-LTLCardinality-07
Stuttering criterion allowed to conclude after 0 steps with 0 reset in 0 ms.
FORMULA SemanticWebServices-PT-S256P09-LTLCardinality-07 FALSE TECHNIQUES STUTTER_TEST
Treatment of property SemanticWebServices-PT-S256P09-LTLCardinality-07 finished in 46158 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202505121319/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!((p0 U X((p1||G(!p0)))))'
Support contains 3 out of 171 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 171/171 places, 1099/1099 transitions.
Reduce places removed 7 places and 0 transitions.
Ensure Unique test removed 35 transitions
Reduce isomorphic transitions removed 35 transitions.
Iterating post reduction 0 with 42 rules applied. Total rules applied 42 place count 164 transition count 1064
Discarding 5 places :
Symmetric choice reduction at 1 with 5 rule applications. Total rules 47 place count 159 transition count 986
Iterating global reduction 1 with 5 rules applied. Total rules applied 52 place count 159 transition count 986
Ensure Unique test removed 9 transitions
Reduce isomorphic transitions removed 9 transitions.
Iterating post reduction 1 with 9 rules applied. Total rules applied 61 place count 159 transition count 977
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 62 place count 158 transition count 976
Iterating global reduction 2 with 1 rules applied. Total rules applied 63 place count 158 transition count 976
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 64 place count 157 transition count 975
Iterating global reduction 2 with 1 rules applied. Total rules applied 65 place count 157 transition count 975
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 66 place count 157 transition count 974
Drop transitions (Redundant composition of simpler transitions.) removed 14 transitions
Redundant transition composition rules discarded 14 transitions
Iterating global reduction 3 with 14 rules applied. Total rules applied 80 place count 157 transition count 960
Reduce places removed 1 places and 0 transitions.
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 3 with 5 rules applied. Total rules applied 85 place count 156 transition count 956
Discarding 1 places :
Symmetric choice reduction at 4 with 1 rule applications. Total rules 86 place count 155 transition count 949
Iterating global reduction 4 with 1 rules applied. Total rules applied 87 place count 155 transition count 949
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 4 with 2 rules applied. Total rules applied 89 place count 155 transition count 947
Applied a total of 89 rules in 25 ms. Remains 155 /171 variables (removed 16) and now considering 947/1099 (removed 152) transitions.
[2025-06-07 03:11:17] [INFO ] Flow matrix only has 422 transitions (discarded 525 similar events)
// Phase 1: matrix 422 rows 155 cols
[2025-06-07 03:11:17] [INFO ] Computed 1 invariants in 1 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-07 03:11:17] [INFO ] Implicit Places using invariants in 118 ms returned []
[2025-06-07 03:11:17] [INFO ] Flow matrix only has 422 transitions (discarded 525 similar events)
[2025-06-07 03:11:17] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-07 03:11:17] [INFO ] State equation strengthened by 213 read => feed constraints.
[2025-06-07 03:11:17] [INFO ] Implicit Places using invariants and state equation in 352 ms returned []
Implicit Place search using SMT with State Equation took 475 ms to find 0 implicit places.
Running 743 sub problems to find dead transitions.
[2025-06-07 03:11:17] [INFO ] Flow matrix only has 422 transitions (discarded 525 similar events)
[2025-06-07 03:11:18] [INFO ] Invariant cache hit.
[2025-06-07 03:11:18] [INFO ] State equation strengthened by 213 read => feed constraints.
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/152 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 743 unsolved
At refinement iteration 1 (OVERLAPS) 2/154 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 743 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/154 variables, 0/1 constraints. Problems are: Problem set: 0 solved, 743 unsolved
At refinement iteration 3 (OVERLAPS) 420/574 variables, 154/155 constraints. Problems are: Problem set: 0 solved, 743 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/574 variables, 213/368 constraints. Problems are: Problem set: 0 solved, 743 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/574 variables, 0/368 constraints. Problems are: Problem set: 0 solved, 743 unsolved
All remaining problems are real, not stopping.
At refinement iteration 6 (OVERLAPS) 2/576 variables, 1/369 constraints. Problems are: Problem set: 0 solved, 743 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/576 variables, 0/369 constraints. Problems are: Problem set: 0 solved, 743 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 576/577 variables, and 369 constraints, problems are : Problem set: 0 solved, 743 unsolved in 30027 ms.
Refiners :[Generalized P Invariants (flows): 1/1 constraints, State Equation: 155/155 constraints, ReadFeed: 213/213 constraints, PredecessorRefiner: 743/743 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 743 unsolved
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/152 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 743 unsolved
At refinement iteration 1 (OVERLAPS) 2/154 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 743 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/154 variables, 0/1 constraints. Problems are: Problem set: 0 solved, 743 unsolved
At refinement iteration 3 (OVERLAPS) 420/574 variables, 154/155 constraints. Problems are: Problem set: 0 solved, 743 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/574 variables, 213/368 constraints. Problems are: Problem set: 0 solved, 743 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/574 variables, 727/1095 constraints. Problems are: Problem set: 0 solved, 743 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 574/577 variables, and 1095 constraints, problems are : Problem set: 0 solved, 743 unsolved in 30038 ms.
Refiners :[Generalized P Invariants (flows): 1/1 constraints, State Equation: 154/155 constraints, ReadFeed: 213/213 constraints, PredecessorRefiner: 727/743 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 60302ms problems are : Problem set: 0 solved, 743 unsolved
Search for dead transitions found 0 dead transitions in 60305ms
Starting structural reductions in LTL mode, iteration 1 : 155/171 places, 947/1099 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 60808 ms. Remains : 155/171 places, 947/1099 transitions.
Stuttering acceptance computed with spot in 153 ms :[true, (AND p0 (NOT p1)), (AND p0 (NOT p1)), (AND p0 (NOT p1)), p0]
Running random walk in product with property : SemanticWebServices-PT-S256P09-LTLCardinality-08
Entered a terminal (fully accepting) state of product in 598 steps with 278 reset in 12 ms.
FORMULA SemanticWebServices-PT-S256P09-LTLCardinality-08 FALSE TECHNIQUES STUTTER_TEST
Treatment of property SemanticWebServices-PT-S256P09-LTLCardinality-08 finished in 60990 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202505121319/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(G(F((p0 U (p1||G(p0))))))'
Support contains 3 out of 171 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 171/171 places, 1099/1099 transitions.
Graph (complete) has 1387 edges and 171 vertex of which 159 are kept as prefixes of interest. Removing 12 places using SCC suffix rule.2 ms
Discarding 12 places :
Also discarding 3 output transitions
Drop transitions (Output transitions of discarded places.) removed 3 transitions
Reduce places removed 1 places and 1 transitions.
Ensure Unique test removed 32 transitions
Reduce isomorphic transitions removed 32 transitions.
Iterating post reduction 0 with 32 rules applied. Total rules applied 33 place count 158 transition count 1063
Discarding 5 places :
Symmetric choice reduction at 1 with 5 rule applications. Total rules 38 place count 153 transition count 1056
Iterating global reduction 1 with 5 rules applied. Total rules applied 43 place count 153 transition count 1056
Ensure Unique test removed 8 transitions
Reduce isomorphic transitions removed 8 transitions.
Iterating post reduction 1 with 8 rules applied. Total rules applied 51 place count 153 transition count 1048
Discarding 3 places :
Symmetric choice reduction at 2 with 3 rule applications. Total rules 54 place count 150 transition count 1045
Iterating global reduction 2 with 3 rules applied. Total rules applied 57 place count 150 transition count 1045
Discarding 5 places :
Symmetric choice reduction at 2 with 5 rule applications. Total rules 62 place count 145 transition count 1040
Iterating global reduction 2 with 5 rules applied. Total rules applied 67 place count 145 transition count 1040
Ensure Unique test removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 2 with 5 rules applied. Total rules applied 72 place count 145 transition count 1035
Drop transitions (Redundant composition of simpler transitions.) removed 43 transitions
Redundant transition composition rules discarded 43 transitions
Iterating global reduction 3 with 43 rules applied. Total rules applied 115 place count 145 transition count 992
Reduce places removed 2 places and 0 transitions.
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Graph (complete) has 1262 edges and 143 vertex of which 142 are kept as prefixes of interest. Removing 1 places using SCC suffix rule.1 ms
Discarding 1 places :
Also discarding 1 output transitions
Drop transitions (Output transitions of discarded places.) removed 1 transitions
Iterating post reduction 3 with 7 rules applied. Total rules applied 122 place count 142 transition count 987
Drop transitions (Redundant composition of simpler transitions.) removed 1 transitions
Redundant transition composition rules discarded 1 transitions
Iterating global reduction 4 with 1 rules applied. Total rules applied 123 place count 142 transition count 986
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 4 with 1 rules applied. Total rules applied 124 place count 141 transition count 986
Discarding 1 places :
Symmetric choice reduction at 5 with 1 rule applications. Total rules 125 place count 140 transition count 985
Iterating global reduction 5 with 1 rules applied. Total rules applied 126 place count 140 transition count 985
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 5 with 1 rules applied. Total rules applied 127 place count 140 transition count 984
Drop transitions (Redundant composition of simpler transitions.) removed 1 transitions
Redundant transition composition rules discarded 1 transitions
Iterating global reduction 6 with 1 rules applied. Total rules applied 128 place count 140 transition count 983
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 6 with 1 rules applied. Total rules applied 129 place count 139 transition count 983
Drop transitions (Redundant composition of simpler transitions.) removed 1 transitions
Redundant transition composition rules discarded 1 transitions
Iterating global reduction 7 with 1 rules applied. Total rules applied 130 place count 139 transition count 982
Applied a total of 130 rules in 229 ms. Remains 139 /171 variables (removed 32) and now considering 982/1099 (removed 117) transitions.
[2025-06-07 03:12:18] [INFO ] Flow matrix only has 390 transitions (discarded 592 similar events)
// Phase 1: matrix 390 rows 139 cols
[2025-06-07 03:12:18] [INFO ] Computed 0 invariants in 1 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-07 03:12:18] [INFO ] Implicit Places using invariants in 232 ms returned []
[2025-06-07 03:12:18] [INFO ] Flow matrix only has 390 transitions (discarded 592 similar events)
[2025-06-07 03:12:18] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-07 03:12:19] [INFO ] State equation strengthened by 183 read => feed constraints.
[2025-06-07 03:12:20] [INFO ] Implicit Places using invariants and state equation in 1149 ms returned []
Implicit Place search using SMT with State Equation took 1382 ms to find 0 implicit places.
Starting Z3 with timeout 200.0 s and query timeout 20000.0 ms
[2025-06-07 03:12:20] [INFO ] Redundant transitions in 880 ms returned [41, 43, 62, 63, 67, 68, 70, 71, 72, 78, 79, 80, 84, 86, 87, 92, 93, 94, 95, 99, 102, 103, 104, 106, 107, 110, 112, 114, 115, 116, 118, 120, 122, 123, 129, 131, 132, 134, 135, 137, 140, 141, 142, 149, 150, 151, 152, 153, 155, 156, 157, 158, 161, 162, 163, 169, 170, 172, 174, 176, 177, 179, 181, 183, 184, 185, 186, 187, 188, 190, 191, 192, 193, 194, 195, 197, 198, 199, 214, 216, 218, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 294, 297, 298, 301, 302, 304, 305, 306, 307, 311, 312, 317, 318, 319, 320, 322, 323, 324, 325, 326, 327, 328, 329, 331, 355, 409, 417, 419, 420, 442, 444, 446, 448, 485, 487, 489, 528, 572, 573, 574, 575, 576, 577, 578, 579, 580, 581, 582, 583, 584, 585, 586, 587, 588, 589, 590, 591, 592, 593, 594, 595, 600, 604, 605, 606, 608, 609, 610, 611, 612, 613, 614, 615, 616, 617, 618, 619, 631, 635, 636, 638, 641, 642, 643, 645, 646, 647, 648, 649, 651, 652, 653, 654, 655, 656, 657, 658, 660, 661, 663, 664, 666, 667, 668, 669, 671, 672, 673, 674, 675, 676, 678, 679, 681, 682, 684, 685, 687, 688, 690, 691, 693, 694, 696, 697, 698, 699, 701, 702, 703, 704, 705, 706, 710, 711, 714, 715, 717, 718, 720, 721, 723, 724, 726, 727, 729, 730, 732, 733, 734, 735, 737, 738, 739, 740, 742, 751, 752, 755, 756, 758, 759, 761, 762, 764, 765, 767, 768, 770, 771, 773, 774, 775, 776, 778, 780, 782, 786, 791, 797, 801, 802, 805, 806, 808, 809, 811, 812, 814, 815, 816, 817, 818, 819, 821, 823, 824, 826, 828, 830, 833, 835, 837, 839, 843, 847, 849, 851, 853, 855, 857, 861, 862, 864, 865, 866, 867, 868, 869, 870, 871, 872, 873, 875, 877, 878, 879, 880, 882, 884, 885, 887, 889, 891, 894, 895, 896, 898, 900, 901, 903, 905, 907, 908, 910, 912, 914, 916, 918, 919, 920, 921, 922, 923, 924, 925, 926, 927, 928, 929, 930, 932, 934, 935, 936, 937, 938, 939, 941, 943, 944, 945, 946, 948, 950, 951, 953, 955, 957, 958, 959, 960, 961, 962, 963, 964, 965, 966, 967, 968, 969, 970, 971, 973, 975, 976, 977, 978, 979, 980, 981]
Found 408 redundant transitions using SMT.
Drop transitions (Redundant Transitions using SMT with State Equation) removed 408 transitions
Redundant transitions reduction (with SMT) removed 408 transitions.
Running 445 sub problems to find dead transitions.
[2025-06-07 03:12:21] [INFO ] Flow matrix only has 230 transitions (discarded 344 similar events)
// Phase 1: matrix 230 rows 139 cols
[2025-06-07 03:12:21] [INFO ] Computed 0 invariants in 3 ms
[2025-06-07 03:12:21] [INFO ] State equation strengthened by 101 read => feed constraints.
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/117 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 445 unsolved
At refinement iteration 1 (OVERLAPS) 209/326 variables, 117/117 constraints. Problems are: Problem set: 0 solved, 445 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/326 variables, 100/217 constraints. Problems are: Problem set: 0 solved, 445 unsolved
All remaining problems are real, not stopping.
At refinement iteration 3 (INCLUDED_ONLY) 0/326 variables, 0/217 constraints. Problems are: Problem set: 0 solved, 445 unsolved
At refinement iteration 4 (OVERLAPS) 16/342 variables, 9/226 constraints. Problems are: Problem set: 0 solved, 445 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/342 variables, 1/227 constraints. Problems are: Problem set: 0 solved, 445 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/342 variables, 0/227 constraints. Problems are: Problem set: 0 solved, 445 unsolved
At refinement iteration 7 (OVERLAPS) 0/342 variables, 0/227 constraints. Problems are: Problem set: 0 solved, 445 unsolved
No progress, stopping.
After SMT solving in domain Real declared 342/369 variables, and 227 constraints, problems are : Problem set: 0 solved, 445 unsolved in 12693 ms.
Refiners :[State Equation: 126/139 constraints, ReadFeed: 101/101 constraints, PredecessorRefiner: 445/445 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 445 unsolved
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/117 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 445 unsolved
At refinement iteration 1 (OVERLAPS) 209/326 variables, 117/117 constraints. Problems are: Problem set: 0 solved, 445 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/326 variables, 100/217 constraints. Problems are: Problem set: 0 solved, 445 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/326 variables, 326/543 constraints. Problems are: Problem set: 0 solved, 445 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/326 variables, 0/543 constraints. Problems are: Problem set: 0 solved, 445 unsolved
At refinement iteration 5 (OVERLAPS) 16/342 variables, 9/552 constraints. Problems are: Problem set: 0 solved, 445 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/342 variables, 1/553 constraints. Problems are: Problem set: 0 solved, 445 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/342 variables, 118/671 constraints. Problems are: Problem set: 0 solved, 445 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/342 variables, 0/671 constraints. Problems are: Problem set: 0 solved, 445 unsolved
At refinement iteration 9 (OVERLAPS) 1/343 variables, 1/672 constraints. Problems are: Problem set: 0 solved, 445 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/343 variables, 0/672 constraints. Problems are: Problem set: 0 solved, 445 unsolved
At refinement iteration 11 (OVERLAPS) 1/344 variables, 1/673 constraints. Problems are: Problem set: 0 solved, 445 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 344/369 variables, and 673 constraints, problems are : Problem set: 0 solved, 445 unsolved in 30017 ms.
Refiners :[State Equation: 127/139 constraints, ReadFeed: 101/101 constraints, PredecessorRefiner: 445/445 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 42778ms problems are : Problem set: 0 solved, 445 unsolved
Search for dead transitions found 0 dead transitions in 42779ms
Starting structural reductions in SI_LTL mode, iteration 1 : 139/171 places, 574/1099 transitions.
Graph (complete) has 951 edges and 139 vertex of which 121 are kept as prefixes of interest. Removing 18 places using SCC suffix rule.1 ms
Discarding 18 places :
Also discarding 0 output transitions
Ensure Unique test removed 43 transitions
Reduce isomorphic transitions removed 43 transitions.
Iterating post reduction 0 with 43 rules applied. Total rules applied 44 place count 121 transition count 531
Discarding 5 places :
Symmetric choice reduction at 1 with 5 rule applications. Total rules 49 place count 116 transition count 493
Iterating global reduction 1 with 5 rules applied. Total rules applied 54 place count 116 transition count 493
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 1 with 3 rules applied. Total rules applied 57 place count 116 transition count 490
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 58 place count 115 transition count 478
Iterating global reduction 2 with 1 rules applied. Total rules applied 59 place count 115 transition count 478
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 60 place count 115 transition count 477
Drop transitions (Redundant composition of simpler transitions.) removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 3 with 20 rules applied. Total rules applied 80 place count 115 transition count 457
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 3 with 1 rules applied. Total rules applied 81 place count 114 transition count 457
Discarding 1 places :
Symmetric choice reduction at 4 with 1 rule applications. Total rules 82 place count 113 transition count 443
Iterating global reduction 4 with 1 rules applied. Total rules applied 83 place count 113 transition count 443
Ensure Unique test removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 4 with 7 rules applied. Total rules applied 90 place count 113 transition count 436
Drop transitions (Redundant composition of simpler transitions.) removed 7 transitions
Redundant transition composition rules discarded 7 transitions
Iterating global reduction 5 with 7 rules applied. Total rules applied 97 place count 113 transition count 429
Applied a total of 97 rules in 38 ms. Remains 113 /139 variables (removed 26) and now considering 429/574 (removed 145) transitions.
[2025-06-07 03:13:03] [INFO ] Flow matrix only has 192 transitions (discarded 237 similar events)
// Phase 1: matrix 192 rows 113 cols
[2025-06-07 03:13:03] [INFO ] Computed 0 invariants in 0 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-07 03:13:03] [INFO ] Implicit Places using invariants in 87 ms returned []
[2025-06-07 03:13:03] [INFO ] Flow matrix only has 192 transitions (discarded 237 similar events)
[2025-06-07 03:13:03] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-07 03:13:03] [INFO ] State equation strengthened by 86 read => feed constraints.
[2025-06-07 03:13:04] [INFO ] Implicit Places using invariants and state equation in 255 ms returned []
Implicit Place search using SMT with State Equation took 355 ms to find 0 implicit places.
Starting structural reductions in SI_LTL mode, iteration 2 : 113/171 places, 429/1099 transitions.
Finished structural reductions in SI_LTL mode , in 2 iterations and 45695 ms. Remains : 113/171 places, 429/1099 transitions.
Stuttering acceptance computed with spot in 107 ms :[(AND (NOT p1) (NOT p0)), (AND (NOT p1) (NOT p0))]
Running random walk in product with property : SemanticWebServices-PT-S256P09-LTLCardinality-09
Stuttering criterion allowed to conclude after 138 steps with 0 reset in 3 ms.
FORMULA SemanticWebServices-PT-S256P09-LTLCardinality-09 FALSE TECHNIQUES STUTTER_TEST
Treatment of property SemanticWebServices-PT-S256P09-LTLCardinality-09 finished in 45823 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202505121319/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(X((X(X(p0)) U G(p1))))'
Support contains 2 out of 171 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 171/171 places, 1099/1099 transitions.
Reduce places removed 8 places and 0 transitions.
Ensure Unique test removed 38 transitions
Reduce isomorphic transitions removed 38 transitions.
Iterating post reduction 0 with 46 rules applied. Total rules applied 46 place count 163 transition count 1061
Discarding 4 places :
Symmetric choice reduction at 1 with 4 rule applications. Total rules 50 place count 159 transition count 985
Iterating global reduction 1 with 4 rules applied. Total rules applied 54 place count 159 transition count 985
Ensure Unique test removed 8 transitions
Reduce isomorphic transitions removed 8 transitions.
Iterating post reduction 1 with 8 rules applied. Total rules applied 62 place count 159 transition count 977
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 63 place count 158 transition count 976
Iterating global reduction 2 with 1 rules applied. Total rules applied 64 place count 158 transition count 976
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 65 place count 157 transition count 975
Iterating global reduction 2 with 1 rules applied. Total rules applied 66 place count 157 transition count 975
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 67 place count 157 transition count 974
Drop transitions (Redundant composition of simpler transitions.) removed 14 transitions
Redundant transition composition rules discarded 14 transitions
Iterating global reduction 3 with 14 rules applied. Total rules applied 81 place count 157 transition count 960
Reduce places removed 1 places and 0 transitions.
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 3 with 5 rules applied. Total rules applied 86 place count 156 transition count 956
Discarding 1 places :
Symmetric choice reduction at 4 with 1 rule applications. Total rules 87 place count 155 transition count 949
Iterating global reduction 4 with 1 rules applied. Total rules applied 88 place count 155 transition count 949
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 4 with 2 rules applied. Total rules applied 90 place count 155 transition count 947
Applied a total of 90 rules in 12 ms. Remains 155 /171 variables (removed 16) and now considering 947/1099 (removed 152) transitions.
[2025-06-07 03:13:04] [INFO ] Flow matrix only has 420 transitions (discarded 527 similar events)
// Phase 1: matrix 420 rows 155 cols
[2025-06-07 03:13:04] [INFO ] Computed 1 invariants in 1 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-07 03:13:04] [INFO ] Implicit Places using invariants in 116 ms returned []
[2025-06-07 03:13:04] [INFO ] Flow matrix only has 420 transitions (discarded 527 similar events)
[2025-06-07 03:13:04] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-07 03:13:04] [INFO ] State equation strengthened by 213 read => feed constraints.
[2025-06-07 03:13:04] [INFO ] Implicit Places using invariants and state equation in 370 ms returned []
Implicit Place search using SMT with State Equation took 499 ms to find 0 implicit places.
Running 745 sub problems to find dead transitions.
[2025-06-07 03:13:04] [INFO ] Flow matrix only has 420 transitions (discarded 527 similar events)
[2025-06-07 03:13:04] [INFO ] Invariant cache hit.
[2025-06-07 03:13:04] [INFO ] State equation strengthened by 213 read => feed constraints.
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/153 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 745 unsolved
At refinement iteration 1 (OVERLAPS) 2/155 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 745 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/155 variables, 0/1 constraints. Problems are: Problem set: 0 solved, 745 unsolved
At refinement iteration 3 (OVERLAPS) 419/574 variables, 155/156 constraints. Problems are: Problem set: 0 solved, 745 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/574 variables, 213/369 constraints. Problems are: Problem set: 0 solved, 745 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/574 variables, 0/369 constraints. Problems are: Problem set: 0 solved, 745 unsolved
At refinement iteration 6 (OVERLAPS) 0/574 variables, 0/369 constraints. Problems are: Problem set: 0 solved, 745 unsolved
No progress, stopping.
After SMT solving in domain Real declared 574/575 variables, and 369 constraints, problems are : Problem set: 0 solved, 745 unsolved in 30028 ms.
Refiners :[Generalized P Invariants (flows): 1/1 constraints, State Equation: 155/155 constraints, ReadFeed: 213/213 constraints, PredecessorRefiner: 745/745 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 745 unsolved
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/153 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 745 unsolved
At refinement iteration 1 (OVERLAPS) 2/155 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 745 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/155 variables, 0/1 constraints. Problems are: Problem set: 0 solved, 745 unsolved
At refinement iteration 3 (OVERLAPS) 419/574 variables, 155/156 constraints. Problems are: Problem set: 0 solved, 745 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/574 variables, 213/369 constraints. Problems are: Problem set: 0 solved, 745 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/574 variables, 745/1114 constraints. Problems are: Problem set: 0 solved, 745 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/574 variables, 0/1114 constraints. Problems are: Problem set: 0 solved, 745 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 574/575 variables, and 1114 constraints, problems are : Problem set: 0 solved, 745 unsolved in 30021 ms.
Refiners :[Generalized P Invariants (flows): 1/1 constraints, State Equation: 155/155 constraints, ReadFeed: 213/213 constraints, PredecessorRefiner: 745/745 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 60318ms problems are : Problem set: 0 solved, 745 unsolved
Search for dead transitions found 0 dead transitions in 60323ms
Starting structural reductions in LTL mode, iteration 1 : 155/171 places, 947/1099 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 60837 ms. Remains : 155/171 places, 947/1099 transitions.
Stuttering acceptance computed with spot in 223 ms :[(NOT p1), (NOT p1), (NOT p0), (AND (NOT p0) (NOT p1)), (NOT p0), true, (AND (NOT p1) (NOT p0)), (AND (NOT p1) p0)]
Running random walk in product with property : SemanticWebServices-PT-S256P09-LTLCardinality-10
Stuttering criterion allowed to conclude after 0 steps with 0 reset in 0 ms.
FORMULA SemanticWebServices-PT-S256P09-LTLCardinality-10 FALSE TECHNIQUES STUTTER_TEST
Treatment of property SemanticWebServices-PT-S256P09-LTLCardinality-10 finished in 61079 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202505121319/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(F(G((p0 U p1))))'
Support contains 4 out of 171 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 171/171 places, 1099/1099 transitions.
Graph (complete) has 1387 edges and 171 vertex of which 158 are kept as prefixes of interest. Removing 13 places using SCC suffix rule.1 ms
Discarding 13 places :
Also discarding 3 output transitions
Drop transitions (Output transitions of discarded places.) removed 3 transitions
Reduce places removed 1 places and 1 transitions.
Ensure Unique test removed 26 transitions
Reduce isomorphic transitions removed 26 transitions.
Iterating post reduction 0 with 26 rules applied. Total rules applied 27 place count 157 transition count 1069
Discarding 5 places :
Symmetric choice reduction at 1 with 5 rule applications. Total rules 32 place count 152 transition count 992
Iterating global reduction 1 with 5 rules applied. Total rules applied 37 place count 152 transition count 992
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 1 with 3 rules applied. Total rules applied 40 place count 152 transition count 989
Discarding 3 places :
Symmetric choice reduction at 2 with 3 rule applications. Total rules 43 place count 149 transition count 986
Iterating global reduction 2 with 3 rules applied. Total rules applied 46 place count 149 transition count 986
Discarding 5 places :
Symmetric choice reduction at 2 with 5 rule applications. Total rules 51 place count 144 transition count 981
Iterating global reduction 2 with 5 rules applied. Total rules applied 56 place count 144 transition count 981
Ensure Unique test removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 2 with 5 rules applied. Total rules applied 61 place count 144 transition count 976
Drop transitions (Redundant composition of simpler transitions.) removed 47 transitions
Redundant transition composition rules discarded 47 transitions
Iterating global reduction 3 with 47 rules applied. Total rules applied 108 place count 144 transition count 929
Reduce places removed 1 places and 0 transitions.
Graph (complete) has 1282 edges and 143 vertex of which 142 are kept as prefixes of interest. Removing 1 places using SCC suffix rule.1 ms
Discarding 1 places :
Also discarding 1 output transitions
Drop transitions (Output transitions of discarded places.) removed 1 transitions
Iterating post reduction 3 with 2 rules applied. Total rules applied 110 place count 142 transition count 928
Discarding 1 places :
Symmetric choice reduction at 4 with 1 rule applications. Total rules 111 place count 141 transition count 921
Iterating global reduction 4 with 1 rules applied. Total rules applied 112 place count 141 transition count 921
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 4 with 2 rules applied. Total rules applied 114 place count 141 transition count 919
Drop transitions (Redundant composition of simpler transitions.) removed 1 transitions
Redundant transition composition rules discarded 1 transitions
Iterating global reduction 5 with 1 rules applied. Total rules applied 115 place count 141 transition count 918
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 5 with 1 rules applied. Total rules applied 116 place count 140 transition count 918
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 117 place count 139 transition count 917
Iterating global reduction 6 with 1 rules applied. Total rules applied 118 place count 139 transition count 917
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 6 with 1 rules applied. Total rules applied 119 place count 139 transition count 916
Drop transitions (Redundant composition of simpler transitions.) removed 1 transitions
Redundant transition composition rules discarded 1 transitions
Iterating global reduction 7 with 1 rules applied. Total rules applied 120 place count 139 transition count 915
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 7 with 1 rules applied. Total rules applied 121 place count 138 transition count 915
Drop transitions (Redundant composition of simpler transitions.) removed 1 transitions
Redundant transition composition rules discarded 1 transitions
Iterating global reduction 8 with 1 rules applied. Total rules applied 122 place count 138 transition count 914
Applied a total of 122 rules in 111 ms. Remains 138 /171 variables (removed 33) and now considering 914/1099 (removed 185) transitions.
[2025-06-07 03:14:05] [INFO ] Flow matrix only has 394 transitions (discarded 520 similar events)
// Phase 1: matrix 394 rows 138 cols
[2025-06-07 03:14:05] [INFO ] Computed 0 invariants in 1 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-07 03:14:05] [INFO ] Implicit Places using invariants in 166 ms returned []
[2025-06-07 03:14:05] [INFO ] Flow matrix only has 394 transitions (discarded 520 similar events)
[2025-06-07 03:14:05] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-07 03:14:05] [INFO ] State equation strengthened by 180 read => feed constraints.
[2025-06-07 03:14:06] [INFO ] Implicit Places using invariants and state equation in 405 ms returned []
Implicit Place search using SMT with State Equation took 583 ms to find 0 implicit places.
Starting Z3 with timeout 200.0 s and query timeout 20000.0 ms
[2025-06-07 03:14:06] [INFO ] Redundant transitions in 844 ms returned [40, 41, 44, 47, 60, 61, 65, 66, 67, 69, 70, 71, 72, 73, 80, 81, 82, 88, 89, 90, 96, 97, 101, 102, 106, 107, 109, 110, 113, 115, 117, 118, 119, 121, 123, 124, 125, 131, 133, 134, 136, 137, 139, 142, 143, 144, 151, 152, 153, 154, 155, 156, 158, 159, 160, 161, 162, 165, 166, 167, 172, 173, 175, 177, 179, 180, 182, 183, 185, 186, 189, 190, 191, 192, 193, 194, 196, 197, 198, 199, 200, 201, 203, 204, 205, 221, 223, 225, 233, 234, 235, 236, 237, 238, 240, 242, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 299, 302, 303, 306, 307, 309, 310, 311, 312, 316, 318, 319, 321, 322, 323, 324, 349, 391, 402, 403, 404, 408, 409, 410, 412, 413, 421, 423, 424, 446, 448, 450, 452, 489, 491, 493, 532, 576, 577, 578, 579, 580, 581, 582, 583, 584, 585, 586, 587, 588, 589, 590, 591, 592, 593, 594, 595, 596, 597, 598, 599, 604, 608, 609, 610, 612, 613, 614, 615, 616, 617, 618, 619, 620, 621, 622, 623, 635, 639, 640, 642, 645, 646, 647, 649, 650, 651, 652, 653, 655, 656, 657, 658, 659, 660, 661, 662, 664, 665, 667, 668, 670, 671, 672, 673, 675, 676, 677, 678, 680, 681, 683, 684, 686, 687, 689, 690, 692, 693, 695, 696, 698, 699, 703, 704, 707, 708, 710, 711, 713, 714, 717, 726, 727, 729, 730, 732, 734, 736, 740, 745, 751, 753, 754, 755, 756, 757, 758, 760, 762, 763, 765, 767, 769, 772, 774, 776, 778, 782, 786, 788, 790, 792, 794, 796, 797, 798, 799, 800, 801, 802, 803, 804, 805, 806, 808, 810, 811, 812, 813, 815, 817, 818, 820, 822, 824, 827, 828, 829, 831, 833, 834, 836, 838, 840, 841, 843, 845, 847, 849, 850, 851, 852, 853, 854, 855, 856, 857, 858, 859, 860, 861, 862, 864, 866, 867, 868, 869, 870, 871, 873, 875, 876, 877, 878, 880, 882, 883, 885, 887, 889, 890, 891, 892, 893, 894, 895, 896, 897, 898, 899, 900, 901, 902, 903, 905, 907, 908, 909, 910, 911, 912, 913]
Found 365 redundant transitions using SMT.
Drop transitions (Redundant Transitions using SMT with State Equation) removed 365 transitions
Redundant transitions reduction (with SMT) removed 365 transitions.
Running 420 sub problems to find dead transitions.
[2025-06-07 03:14:06] [INFO ] Flow matrix only has 230 transitions (discarded 319 similar events)
// Phase 1: matrix 230 rows 138 cols
[2025-06-07 03:14:06] [INFO ] Computed 0 invariants in 0 ms
[2025-06-07 03:14:06] [INFO ] State equation strengthened by 101 read => feed constraints.
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/116 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 420 unsolved
At refinement iteration 1 (OVERLAPS) 209/325 variables, 116/116 constraints. Problems are: Problem set: 0 solved, 420 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/325 variables, 100/216 constraints. Problems are: Problem set: 0 solved, 420 unsolved
All remaining problems are real, not stopping.
At refinement iteration 3 (INCLUDED_ONLY) 0/325 variables, 0/216 constraints. Problems are: Problem set: 0 solved, 420 unsolved
At refinement iteration 4 (OVERLAPS) 16/341 variables, 9/225 constraints. Problems are: Problem set: 0 solved, 420 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/341 variables, 1/226 constraints. Problems are: Problem set: 0 solved, 420 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/341 variables, 0/226 constraints. Problems are: Problem set: 0 solved, 420 unsolved
At refinement iteration 7 (OVERLAPS) 0/341 variables, 0/226 constraints. Problems are: Problem set: 0 solved, 420 unsolved
No progress, stopping.
After SMT solving in domain Real declared 341/368 variables, and 226 constraints, problems are : Problem set: 0 solved, 420 unsolved in 11805 ms.
Refiners :[State Equation: 125/138 constraints, ReadFeed: 101/101 constraints, PredecessorRefiner: 420/420 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 420 unsolved
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/116 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 420 unsolved
At refinement iteration 1 (OVERLAPS) 209/325 variables, 116/116 constraints. Problems are: Problem set: 0 solved, 420 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/325 variables, 100/216 constraints. Problems are: Problem set: 0 solved, 420 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/325 variables, 303/519 constraints. Problems are: Problem set: 0 solved, 420 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/325 variables, 0/519 constraints. Problems are: Problem set: 0 solved, 420 unsolved
At refinement iteration 5 (OVERLAPS) 16/341 variables, 9/528 constraints. Problems are: Problem set: 0 solved, 420 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/341 variables, 1/529 constraints. Problems are: Problem set: 0 solved, 420 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/341 variables, 116/645 constraints. Problems are: Problem set: 0 solved, 420 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/341 variables, 0/645 constraints. Problems are: Problem set: 0 solved, 420 unsolved
At refinement iteration 9 (OVERLAPS) 1/342 variables, 1/646 constraints. Problems are: Problem set: 0 solved, 420 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/342 variables, 0/646 constraints. Problems are: Problem set: 0 solved, 420 unsolved
At refinement iteration 11 (OVERLAPS) 1/343 variables, 1/647 constraints. Problems are: Problem set: 0 solved, 420 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 343/368 variables, and 647 constraints, problems are : Problem set: 0 solved, 420 unsolved in 30013 ms.
Refiners :[State Equation: 126/138 constraints, ReadFeed: 101/101 constraints, PredecessorRefiner: 420/420 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 41882ms problems are : Problem set: 0 solved, 420 unsolved
Search for dead transitions found 0 dead transitions in 41883ms
Starting structural reductions in SI_LTL mode, iteration 1 : 138/171 places, 549/1099 transitions.
Graph (complete) has 938 edges and 138 vertex of which 120 are kept as prefixes of interest. Removing 18 places using SCC suffix rule.1 ms
Discarding 18 places :
Also discarding 0 output transitions
Ensure Unique test removed 43 transitions
Reduce isomorphic transitions removed 43 transitions.
Iterating post reduction 0 with 43 rules applied. Total rules applied 44 place count 120 transition count 506
Discarding 4 places :
Symmetric choice reduction at 1 with 4 rule applications. Total rules 48 place count 116 transition count 477
Iterating global reduction 1 with 4 rules applied. Total rules applied 52 place count 116 transition count 477
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 1 with 2 rules applied. Total rules applied 54 place count 116 transition count 475
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 55 place count 115 transition count 469
Iterating global reduction 2 with 1 rules applied. Total rules applied 56 place count 115 transition count 469
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 57 place count 115 transition count 468
Drop transitions (Redundant composition of simpler transitions.) removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 3 with 20 rules applied. Total rules applied 77 place count 115 transition count 448
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 3 with 1 rules applied. Total rules applied 78 place count 114 transition count 448
Discarding 1 places :
Symmetric choice reduction at 4 with 1 rule applications. Total rules 79 place count 113 transition count 434
Iterating global reduction 4 with 1 rules applied. Total rules applied 80 place count 113 transition count 434
Ensure Unique test removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 4 with 7 rules applied. Total rules applied 87 place count 113 transition count 427
Drop transitions (Redundant composition of simpler transitions.) removed 7 transitions
Redundant transition composition rules discarded 7 transitions
Iterating global reduction 5 with 7 rules applied. Total rules applied 94 place count 113 transition count 420
Applied a total of 94 rules in 27 ms. Remains 113 /138 variables (removed 25) and now considering 420/549 (removed 129) transitions.
[2025-06-07 03:14:48] [INFO ] Flow matrix only has 193 transitions (discarded 227 similar events)
// Phase 1: matrix 193 rows 113 cols
[2025-06-07 03:14:48] [INFO ] Computed 0 invariants in 0 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-07 03:14:48] [INFO ] Implicit Places using invariants in 76 ms returned []
[2025-06-07 03:14:48] [INFO ] Flow matrix only has 193 transitions (discarded 227 similar events)
[2025-06-07 03:14:48] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-07 03:14:49] [INFO ] State equation strengthened by 86 read => feed constraints.
[2025-06-07 03:14:49] [INFO ] Implicit Places using invariants and state equation in 168 ms returned []
Implicit Place search using SMT with State Equation took 293 ms to find 0 implicit places.
Starting structural reductions in SI_LTL mode, iteration 2 : 113/171 places, 420/1099 transitions.
Finished structural reductions in SI_LTL mode , in 2 iterations and 43767 ms. Remains : 113/171 places, 420/1099 transitions.
Stuttering acceptance computed with spot in 72 ms :[(NOT p1), (NOT p1)]
Running random walk in product with property : SemanticWebServices-PT-S256P09-LTLCardinality-12
Stuttering criterion allowed to conclude after 7 steps with 0 reset in 0 ms.
FORMULA SemanticWebServices-PT-S256P09-LTLCardinality-12 FALSE TECHNIQUES STUTTER_TEST
Treatment of property SemanticWebServices-PT-S256P09-LTLCardinality-12 finished in 43849 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202505121319/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(G((p0||X(p0))))'
Support contains 1 out of 171 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 171/171 places, 1099/1099 transitions.
Reduce places removed 8 places and 0 transitions.
Ensure Unique test removed 38 transitions
Reduce isomorphic transitions removed 38 transitions.
Iterating post reduction 0 with 46 rules applied. Total rules applied 46 place count 163 transition count 1061
Discarding 5 places :
Symmetric choice reduction at 1 with 5 rule applications. Total rules 51 place count 158 transition count 983
Iterating global reduction 1 with 5 rules applied. Total rules applied 56 place count 158 transition count 983
Ensure Unique test removed 9 transitions
Reduce isomorphic transitions removed 9 transitions.
Iterating post reduction 1 with 9 rules applied. Total rules applied 65 place count 158 transition count 974
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 66 place count 157 transition count 973
Iterating global reduction 2 with 1 rules applied. Total rules applied 67 place count 157 transition count 973
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 68 place count 156 transition count 972
Iterating global reduction 2 with 1 rules applied. Total rules applied 69 place count 156 transition count 972
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 70 place count 156 transition count 971
Drop transitions (Redundant composition of simpler transitions.) removed 14 transitions
Redundant transition composition rules discarded 14 transitions
Iterating global reduction 3 with 14 rules applied. Total rules applied 84 place count 156 transition count 957
Reduce places removed 1 places and 0 transitions.
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 3 with 5 rules applied. Total rules applied 89 place count 155 transition count 953
Discarding 1 places :
Symmetric choice reduction at 4 with 1 rule applications. Total rules 90 place count 154 transition count 946
Iterating global reduction 4 with 1 rules applied. Total rules applied 91 place count 154 transition count 946
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 4 with 2 rules applied. Total rules applied 93 place count 154 transition count 944
Applied a total of 93 rules in 13 ms. Remains 154 /171 variables (removed 17) and now considering 944/1099 (removed 155) transitions.
[2025-06-07 03:14:49] [INFO ] Flow matrix only has 419 transitions (discarded 525 similar events)
// Phase 1: matrix 419 rows 154 cols
[2025-06-07 03:14:49] [INFO ] Computed 1 invariants in 2 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-07 03:14:49] [INFO ] Implicit Places using invariants in 108 ms returned []
[2025-06-07 03:14:49] [INFO ] Flow matrix only has 419 transitions (discarded 525 similar events)
[2025-06-07 03:14:49] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-07 03:14:49] [INFO ] State equation strengthened by 213 read => feed constraints.
[2025-06-07 03:14:49] [INFO ] Implicit Places using invariants and state equation in 338 ms returned []
Implicit Place search using SMT with State Equation took 457 ms to find 0 implicit places.
Running 743 sub problems to find dead transitions.
[2025-06-07 03:14:49] [INFO ] Flow matrix only has 419 transitions (discarded 525 similar events)
[2025-06-07 03:14:49] [INFO ] Invariant cache hit.
[2025-06-07 03:14:49] [INFO ] State equation strengthened by 213 read => feed constraints.
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/152 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 743 unsolved
At refinement iteration 1 (OVERLAPS) 2/154 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 743 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/154 variables, 0/1 constraints. Problems are: Problem set: 0 solved, 743 unsolved
At refinement iteration 3 (OVERLAPS) 418/572 variables, 154/155 constraints. Problems are: Problem set: 0 solved, 743 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/572 variables, 213/368 constraints. Problems are: Problem set: 0 solved, 743 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/572 variables, 0/368 constraints. Problems are: Problem set: 0 solved, 743 unsolved
Error getting values : (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")
At refinement iteration 6 (OVERLAPS) 0/572 variables, 0/368 constraints. Problems are: Problem set: 0 solved, 743 unsolved
No progress, stopping.
After SMT solving in domain Real declared 572/573 variables, and 368 constraints, problems are : Problem set: 0 solved, 743 unsolved in 30037 ms.
Refiners :[Generalized P Invariants (flows): 1/1 constraints, State Equation: 154/154 constraints, ReadFeed: 213/213 constraints, PredecessorRefiner: 743/743 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 743 unsolved
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/152 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 743 unsolved
At refinement iteration 1 (OVERLAPS) 2/154 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 743 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/154 variables, 0/1 constraints. Problems are: Problem set: 0 solved, 743 unsolved
At refinement iteration 3 (OVERLAPS) 418/572 variables, 154/155 constraints. Problems are: Problem set: 0 solved, 743 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/572 variables, 213/368 constraints. Problems are: Problem set: 0 solved, 743 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/572 variables, 743/1111 constraints. Problems are: Problem set: 0 solved, 743 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 572/573 variables, and 1111 constraints, problems are : Problem set: 0 solved, 743 unsolved in 30026 ms.
Refiners :[Generalized P Invariants (flows): 1/1 constraints, State Equation: 154/154 constraints, ReadFeed: 213/213 constraints, PredecessorRefiner: 743/743 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 60312ms problems are : Problem set: 0 solved, 743 unsolved
Search for dead transitions found 0 dead transitions in 60314ms
Starting structural reductions in LTL mode, iteration 1 : 154/171 places, 944/1099 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 60785 ms. Remains : 154/171 places, 944/1099 transitions.
Stuttering acceptance computed with spot in 72 ms :[true, (NOT p0), (NOT p0)]
Running random walk in product with property : SemanticWebServices-PT-S256P09-LTLCardinality-13
Stuttering criterion allowed to conclude after 0 steps with 0 reset in 0 ms.
FORMULA SemanticWebServices-PT-S256P09-LTLCardinality-13 FALSE TECHNIQUES STUTTER_TEST
Treatment of property SemanticWebServices-PT-S256P09-LTLCardinality-13 finished in 60868 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202505121319/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(((p0||X((X(X(G(p1))) U (p0&&X(X(G(p1))))))) U G(!p1)))'
Support contains 2 out of 171 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 171/171 places, 1099/1099 transitions.
Graph (complete) has 1387 edges and 171 vertex of which 159 are kept as prefixes of interest. Removing 12 places using SCC suffix rule.1 ms
Discarding 12 places :
Also discarding 3 output transitions
Drop transitions (Output transitions of discarded places.) removed 3 transitions
Reduce places removed 1 places and 1 transitions.
Ensure Unique test removed 34 transitions
Reduce isomorphic transitions removed 34 transitions.
Iterating post reduction 0 with 34 rules applied. Total rules applied 35 place count 158 transition count 1061
Discarding 6 places :
Symmetric choice reduction at 1 with 6 rule applications. Total rules 41 place count 152 transition count 982
Iterating global reduction 1 with 6 rules applied. Total rules applied 47 place count 152 transition count 982
Ensure Unique test removed 9 transitions
Reduce isomorphic transitions removed 9 transitions.
Iterating post reduction 1 with 9 rules applied. Total rules applied 56 place count 152 transition count 973
Discarding 3 places :
Symmetric choice reduction at 2 with 3 rule applications. Total rules 59 place count 149 transition count 970
Iterating global reduction 2 with 3 rules applied. Total rules applied 62 place count 149 transition count 970
Discarding 5 places :
Symmetric choice reduction at 2 with 5 rule applications. Total rules 67 place count 144 transition count 965
Iterating global reduction 2 with 5 rules applied. Total rules applied 72 place count 144 transition count 965
Ensure Unique test removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 2 with 5 rules applied. Total rules applied 77 place count 144 transition count 960
Drop transitions (Redundant composition of simpler transitions.) removed 47 transitions
Redundant transition composition rules discarded 47 transitions
Iterating global reduction 3 with 47 rules applied. Total rules applied 124 place count 144 transition count 913
Reduce places removed 2 places and 0 transitions.
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Graph (complete) has 1244 edges and 142 vertex of which 141 are kept as prefixes of interest. Removing 1 places using SCC suffix rule.0 ms
Discarding 1 places :
Also discarding 1 output transitions
Drop transitions (Output transitions of discarded places.) removed 1 transitions
Iterating post reduction 3 with 7 rules applied. Total rules applied 131 place count 141 transition count 908
Discarding 1 places :
Symmetric choice reduction at 4 with 1 rule applications. Total rules 132 place count 140 transition count 901
Iterating global reduction 4 with 1 rules applied. Total rules applied 133 place count 140 transition count 901
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 4 with 2 rules applied. Total rules applied 135 place count 140 transition count 899
Drop transitions (Redundant composition of simpler transitions.) removed 1 transitions
Redundant transition composition rules discarded 1 transitions
Iterating global reduction 5 with 1 rules applied. Total rules applied 136 place count 140 transition count 898
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 5 with 1 rules applied. Total rules applied 137 place count 139 transition count 898
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 138 place count 138 transition count 897
Iterating global reduction 6 with 1 rules applied. Total rules applied 139 place count 138 transition count 897
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 6 with 1 rules applied. Total rules applied 140 place count 138 transition count 896
Drop transitions (Redundant composition of simpler transitions.) removed 1 transitions
Redundant transition composition rules discarded 1 transitions
Iterating global reduction 7 with 1 rules applied. Total rules applied 141 place count 138 transition count 895
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 7 with 1 rules applied. Total rules applied 142 place count 137 transition count 895
Drop transitions (Redundant composition of simpler transitions.) removed 1 transitions
Redundant transition composition rules discarded 1 transitions
Iterating global reduction 8 with 1 rules applied. Total rules applied 143 place count 137 transition count 894
Applied a total of 143 rules in 106 ms. Remains 137 /171 variables (removed 34) and now considering 894/1099 (removed 205) transitions.
[2025-06-07 03:15:50] [INFO ] Flow matrix only has 384 transitions (discarded 510 similar events)
// Phase 1: matrix 384 rows 137 cols
[2025-06-07 03:15:50] [INFO ] Computed 0 invariants in 2 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-07 03:15:50] [INFO ] Implicit Places using invariants in 110 ms returned []
[2025-06-07 03:15:50] [INFO ] Flow matrix only has 384 transitions (discarded 510 similar events)
[2025-06-07 03:15:50] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-07 03:15:50] [INFO ] State equation strengthened by 178 read => feed constraints.
[2025-06-07 03:15:50] [INFO ] Implicit Places using invariants and state equation in 326 ms returned []
Implicit Place search using SMT with State Equation took 446 ms to find 0 implicit places.
Starting Z3 with timeout 200.0 s and query timeout 20000.0 ms
[2025-06-07 03:15:51] [INFO ] Redundant transitions in 762 ms returned [42, 43, 46, 49, 62, 63, 68, 69, 71, 72, 73, 79, 80, 81, 85, 87, 88, 93, 94, 95, 99, 102, 103, 104, 106, 107, 110, 112, 114, 115, 116, 118, 120, 121, 122, 123, 128, 130, 131, 133, 134, 136, 139, 140, 141, 143, 148, 149, 150, 151, 152, 154, 155, 156, 157, 160, 161, 162, 167, 168, 170, 173, 175, 176, 178, 180, 182, 183, 184, 185, 186, 187, 189, 190, 191, 192, 193, 194, 196, 197, 198, 213, 215, 217, 225, 226, 227, 228, 229, 230, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 289, 292, 293, 296, 297, 299, 300, 301, 302, 306, 308, 309, 311, 312, 313, 314, 339, 393, 401, 403, 404, 426, 428, 430, 432, 469, 471, 473, 512, 556, 557, 558, 559, 560, 561, 562, 563, 564, 565, 566, 567, 568, 569, 570, 571, 572, 573, 574, 575, 576, 577, 578, 579, 584, 588, 589, 590, 592, 593, 594, 595, 596, 597, 598, 599, 600, 601, 602, 603, 615, 619, 620, 622, 625, 626, 627, 629, 697, 709, 710, 712, 714, 716, 720, 725, 731, 733, 734, 735, 736, 737, 738, 740, 742, 743, 745, 747, 749, 752, 754, 756, 758, 762, 766, 768, 770, 772, 774, 776, 777, 778, 779, 780, 781, 782, 783, 784, 785, 786, 788, 790, 791, 792, 793, 795, 797, 798, 800, 802, 804, 807, 808, 809, 811, 813, 814, 816, 818, 820, 821, 823, 825, 827, 829, 830, 831, 832, 833, 834, 835, 836, 837, 838, 839, 840, 841, 842, 844, 846, 847, 848, 849, 850, 851, 853, 855, 856, 857, 858, 860, 862, 863, 865, 867, 869, 870, 871, 872, 873, 874, 875, 876, 877, 878, 879, 880, 881, 882, 883, 885, 887, 888, 889, 890, 891, 892, 893]
Found 303 redundant transitions using SMT.
Drop transitions (Redundant Transitions using SMT with State Equation) removed 303 transitions
Redundant transitions reduction (with SMT) removed 303 transitions.
Running 466 sub problems to find dead transitions.
[2025-06-07 03:15:51] [INFO ] Flow matrix only has 244 transitions (discarded 347 similar events)
// Phase 1: matrix 244 rows 137 cols
[2025-06-07 03:15:51] [INFO ] Computed 0 invariants in 0 ms
[2025-06-07 03:15:51] [INFO ] State equation strengthened by 119 read => feed constraints.
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/115 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 466 unsolved
At refinement iteration 1 (OVERLAPS) 223/338 variables, 115/115 constraints. Problems are: Problem set: 0 solved, 466 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/338 variables, 118/233 constraints. Problems are: Problem set: 0 solved, 466 unsolved
All remaining problems are real, not stopping.
At refinement iteration 3 (INCLUDED_ONLY) 0/338 variables, 0/233 constraints. Problems are: Problem set: 0 solved, 466 unsolved
At refinement iteration 4 (OVERLAPS) 16/354 variables, 9/242 constraints. Problems are: Problem set: 0 solved, 466 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/354 variables, 1/243 constraints. Problems are: Problem set: 0 solved, 466 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/354 variables, 0/243 constraints. Problems are: Problem set: 0 solved, 466 unsolved
At refinement iteration 7 (OVERLAPS) 0/354 variables, 0/243 constraints. Problems are: Problem set: 0 solved, 466 unsolved
No progress, stopping.
After SMT solving in domain Real declared 354/381 variables, and 243 constraints, problems are : Problem set: 0 solved, 466 unsolved in 13898 ms.
Refiners :[State Equation: 124/137 constraints, ReadFeed: 119/119 constraints, PredecessorRefiner: 466/466 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 466 unsolved
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/115 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 466 unsolved
At refinement iteration 1 (OVERLAPS) 223/338 variables, 115/115 constraints. Problems are: Problem set: 0 solved, 466 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/338 variables, 118/233 constraints. Problems are: Problem set: 0 solved, 466 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/338 variables, 269/502 constraints. Problems are: Problem set: 0 solved, 466 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/338 variables, 0/502 constraints. Problems are: Problem set: 0 solved, 466 unsolved
At refinement iteration 5 (OVERLAPS) 16/354 variables, 9/511 constraints. Problems are: Problem set: 0 solved, 466 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/354 variables, 1/512 constraints. Problems are: Problem set: 0 solved, 466 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/354 variables, 196/708 constraints. Problems are: Problem set: 0 solved, 466 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/354 variables, 0/708 constraints. Problems are: Problem set: 0 solved, 466 unsolved
At refinement iteration 9 (OVERLAPS) 1/355 variables, 1/709 constraints. Problems are: Problem set: 0 solved, 466 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/355 variables, 0/709 constraints. Problems are: Problem set: 0 solved, 466 unsolved
At refinement iteration 11 (OVERLAPS) 1/356 variables, 1/710 constraints. Problems are: Problem set: 0 solved, 466 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 356/381 variables, and 710 constraints, problems are : Problem set: 0 solved, 466 unsolved in 30013 ms.
Refiners :[State Equation: 125/137 constraints, ReadFeed: 119/119 constraints, PredecessorRefiner: 466/466 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 44021ms problems are : Problem set: 0 solved, 466 unsolved
Search for dead transitions found 0 dead transitions in 44022ms
Starting structural reductions in SI_LTL mode, iteration 1 : 137/171 places, 591/1099 transitions.
Graph (complete) has 953 edges and 137 vertex of which 119 are kept as prefixes of interest. Removing 18 places using SCC suffix rule.0 ms
Discarding 18 places :
Also discarding 0 output transitions
Ensure Unique test removed 43 transitions
Reduce isomorphic transitions removed 43 transitions.
Iterating post reduction 0 with 43 rules applied. Total rules applied 44 place count 119 transition count 548
Discarding 4 places :
Symmetric choice reduction at 1 with 4 rule applications. Total rules 48 place count 115 transition count 507
Iterating global reduction 1 with 4 rules applied. Total rules applied 52 place count 115 transition count 507
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 1 with 2 rules applied. Total rules applied 54 place count 115 transition count 505
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 55 place count 114 transition count 487
Iterating global reduction 2 with 1 rules applied. Total rules applied 56 place count 114 transition count 487
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 57 place count 114 transition count 486
Drop transitions (Redundant composition of simpler transitions.) removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 3 with 20 rules applied. Total rules applied 77 place count 114 transition count 466
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 3 with 1 rules applied. Total rules applied 78 place count 113 transition count 466
Discarding 1 places :
Symmetric choice reduction at 4 with 1 rule applications. Total rules 79 place count 112 transition count 452
Iterating global reduction 4 with 1 rules applied. Total rules applied 80 place count 112 transition count 452
Ensure Unique test removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 4 with 7 rules applied. Total rules applied 87 place count 112 transition count 445
Drop transitions (Redundant composition of simpler transitions.) removed 7 transitions
Redundant transition composition rules discarded 7 transitions
Iterating global reduction 5 with 7 rules applied. Total rules applied 94 place count 112 transition count 438
Applied a total of 94 rules in 46 ms. Remains 112 /137 variables (removed 25) and now considering 438/591 (removed 153) transitions.
[2025-06-07 03:16:35] [INFO ] Flow matrix only has 201 transitions (discarded 237 similar events)
// Phase 1: matrix 201 rows 112 cols
[2025-06-07 03:16:35] [INFO ] Computed 0 invariants in 1 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-07 03:16:35] [INFO ] Implicit Places using invariants in 77 ms returned []
[2025-06-07 03:16:35] [INFO ] Flow matrix only has 201 transitions (discarded 237 similar events)
[2025-06-07 03:16:35] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-07 03:16:35] [INFO ] State equation strengthened by 98 read => feed constraints.
[2025-06-07 03:16:35] [INFO ] Implicit Places using invariants and state equation in 186 ms returned []
Implicit Place search using SMT with State Equation took 295 ms to find 0 implicit places.
Starting structural reductions in SI_LTL mode, iteration 2 : 112/171 places, 438/1099 transitions.
Finished structural reductions in SI_LTL mode , in 2 iterations and 45707 ms. Remains : 112/171 places, 438/1099 transitions.
Stuttering acceptance computed with spot in 275 ms :[p1, (OR (NOT p1) (NOT p0)), false, (NOT p1), (NOT p1), true, false, false, p1]
Running random walk in product with property : SemanticWebServices-PT-S256P09-LTLCardinality-14
Entered a terminal (fully accepting) state of product in 53 steps with 0 reset in 1 ms.
FORMULA SemanticWebServices-PT-S256P09-LTLCardinality-14 FALSE TECHNIQUES STUTTER_TEST
Treatment of property SemanticWebServices-PT-S256P09-LTLCardinality-14 finished in 46002 ms.
All properties solved by simple procedures.
Total runtime 595961 ms.
BK_STOP 1749266196147
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ LTLCardinality = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution LTLCardinality -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202505121319.jar
+ VERSION=202505121319
+ echo 'Running Version 202505121319'
+ /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/its-tools -pnfolder /home/mcc/execution -examination LTLCardinality -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
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-S256P09"
export BK_EXAMINATION="LTLCardinality"
export BK_TOOL="itstools"
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-5832"
echo " Executing tool itstools"
echo " Input is SemanticWebServices-PT-S256P09, examination is LTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r184-tall-174889265100931"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/SemanticWebServices-PT-S256P09.tgz
mv SemanticWebServices-PT-S256P09 execution
cd execution
if [ "LTLCardinality" = "ReachabilityDeadlock" ] || [ "LTLCardinality" = "UpperBounds" ] || [ "LTLCardinality" = "QuasiLiveness" ] || [ "LTLCardinality" = "StableMarking" ] || [ "LTLCardinality" = "Liveness" ] || [ "LTLCardinality" = "OneSafe" ] || [ "LTLCardinality" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "LTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "LTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "LTLCardinality" = "ReachabilityDeadlock" ] || [ "LTLCardinality" = "QuasiLiveness" ] || [ "LTLCardinality" = "StableMarking" ] || [ "LTLCardinality" = "Liveness" ] || [ "LTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME LTLCardinality"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;