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 | 3600000.00 | 0.00 | 0.00 | FFF?FTTFF?TFF??? | normal |
Execution Chart
Sorry, for this execution, no execution chart could be reported.
Trace from the execution
Formatting '/data/fkordon/mcc2025-input.r184-tall-174889265100930.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 CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r184-tall-174889265100930
=====================================================================
--------------------
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-CTLFireability-2023-12
FORMULA_NAME SemanticWebServices-PT-S256P09-CTLFireability-2023-13
FORMULA_NAME SemanticWebServices-PT-S256P09-CTLFireability-2023-14
FORMULA_NAME SemanticWebServices-PT-S256P09-CTLFireability-2023-15
FORMULA_NAME SemanticWebServices-PT-S256P09-CTLFireability-2025-00
FORMULA_NAME SemanticWebServices-PT-S256P09-CTLFireability-2025-01
FORMULA_NAME SemanticWebServices-PT-S256P09-CTLFireability-2025-02
FORMULA_NAME SemanticWebServices-PT-S256P09-CTLFireability-2025-03
FORMULA_NAME SemanticWebServices-PT-S256P09-CTLFireability-2025-04
FORMULA_NAME SemanticWebServices-PT-S256P09-CTLFireability-2025-05
FORMULA_NAME SemanticWebServices-PT-S256P09-CTLFireability-2025-06
FORMULA_NAME SemanticWebServices-PT-S256P09-CTLFireability-2025-07
FORMULA_NAME SemanticWebServices-PT-S256P09-CTLFireability-2025-08
FORMULA_NAME SemanticWebServices-PT-S256P09-CTLFireability-2025-09
FORMULA_NAME SemanticWebServices-PT-S256P09-CTLFireability-2025-10
FORMULA_NAME SemanticWebServices-PT-S256P09-CTLFireability-2025-11
=== Now, execution of the tool begins
BK_START 1749262974095
Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=CTLFireability
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
CTLFireability PT
Running Version 202505121319
[2025-06-07 02:22:55] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLFireability, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2025-06-07 02:22:55] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2025-06-07 02:22:56] [INFO ] Load time of PNML (sax parser for PT used): 1157 ms
[2025-06-07 02:22:56] [INFO ] Transformed 418 places.
[2025-06-07 02:22:56] [INFO ] Transformed 27524 transitions.
[2025-06-07 02:22:56] [INFO ] Parsed PT model containing 418 places and 27524 transitions and 270595 arcs in 1392 ms.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 17 ms.
Deduced a syphon composed of 59 places in 40 ms
Reduce places removed 59 places and 19423 transitions.
Ensure Unique test removed 2463 transitions
Reduce redundant transitions removed 2463 transitions.
Initial state reduction rules removed 1 formulas.
FORMULA SemanticWebServices-PT-S256P09-CTLFireability-2025-01 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA SemanticWebServices-PT-S256P09-CTLFireability-2025-02 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA SemanticWebServices-PT-S256P09-CTLFireability-2023-12 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA SemanticWebServices-PT-S256P09-CTLFireability-2023-13 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Support contains 35 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 92 places and 0 transitions.
Ensure Unique test removed 815 transitions
Reduce isomorphic transitions removed 815 transitions.
Iterating post reduction 0 with 907 rules applied. Total rules applied 907 place count 267 transition count 4823
Discarding 42 places :
Symmetric choice reduction at 1 with 42 rule applications. Total rules 949 place count 225 transition count 3766
Iterating global reduction 1 with 42 rules applied. Total rules applied 991 place count 225 transition count 3766
Ensure Unique test removed 597 transitions
Reduce isomorphic transitions removed 597 transitions.
Iterating post reduction 1 with 597 rules applied. Total rules applied 1588 place count 225 transition count 3169
Discarding 11 places :
Symmetric choice reduction at 2 with 11 rule applications. Total rules 1599 place count 214 transition count 3129
Iterating global reduction 2 with 11 rules applied. Total rules applied 1610 place count 214 transition count 3129
Ensure Unique test removed 61 transitions
Reduce isomorphic transitions removed 61 transitions.
Iterating post reduction 2 with 61 rules applied. Total rules applied 1671 place count 214 transition count 3068
Discarding 4 places :
Symmetric choice reduction at 3 with 4 rule applications. Total rules 1675 place count 210 transition count 3064
Iterating global reduction 3 with 4 rules applied. Total rules applied 1679 place count 210 transition count 3064
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 3 with 4 rules applied. Total rules applied 1683 place count 210 transition count 3060
Drop transitions (Redundant composition of simpler transitions.) removed 473 transitions
Redundant transition composition rules discarded 473 transitions
Iterating global reduction 4 with 473 rules applied. Total rules applied 2156 place count 210 transition count 2587
Reduce places removed 26 places and 0 transitions.
Ensure Unique test removed 106 transitions
Reduce isomorphic transitions removed 106 transitions.
Iterating post reduction 4 with 132 rules applied. Total rules applied 2288 place count 184 transition count 2481
Discarding 10 places :
Symmetric choice reduction at 5 with 10 rule applications. Total rules 2298 place count 174 transition count 2141
Iterating global reduction 5 with 10 rules applied. Total rules applied 2308 place count 174 transition count 2141
Ensure Unique test removed 82 transitions
Reduce isomorphic transitions removed 82 transitions.
Iterating post reduction 5 with 82 rules applied. Total rules applied 2390 place count 174 transition count 2059
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 2391 place count 173 transition count 1963
Iterating global reduction 6 with 1 rules applied. Total rules applied 2392 place count 173 transition count 1963
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 6 with 1 rules applied. Total rules applied 2393 place count 173 transition count 1962
Drop transitions (Redundant composition of simpler transitions.) removed 285 transitions
Redundant transition composition rules discarded 285 transitions
Iterating global reduction 7 with 285 rules applied. Total rules applied 2678 place count 173 transition count 1677
Reduce places removed 2 places and 0 transitions.
Ensure Unique test removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 7 with 7 rules applied. Total rules applied 2685 place count 171 transition count 1672
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 2686 place count 170 transition count 1663
Iterating global reduction 8 with 1 rules applied. Total rules applied 2687 place count 170 transition count 1663
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 8 with 1 rules applied. Total rules applied 2688 place count 170 transition count 1662
Applied a total of 2688 rules in 246 ms. Remains 170 /359 variables (removed 189) and now considering 1662/5638 (removed 3976) transitions.
[2025-06-07 02:22:57] [INFO ] Flow matrix only has 497 transitions (discarded 1165 similar events)
// Phase 1: matrix 497 rows 170 cols
[2025-06-07 02:22:57] [INFO ] Computed 1 invariants in 23 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-07 02:22:57] [INFO ] Implicit Places using invariants in 358 ms returned []
[2025-06-07 02:22:57] [INFO ] Flow matrix only has 497 transitions (discarded 1165 similar events)
[2025-06-07 02:22:57] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-07 02:22:57] [INFO ] State equation strengthened by 261 read => feed constraints.
[2025-06-07 02:22:57] [INFO ] Implicit Places using invariants and state equation in 450 ms returned []
Implicit Place search using SMT with State Equation took 839 ms to find 0 implicit places.
Running 1431 sub problems to find dead transitions.
[2025-06-07 02:22:58] [INFO ] Flow matrix only has 497 transitions (discarded 1165 similar events)
[2025-06-07 02:22:58] [INFO ] Invariant cache hit.
[2025-06-07 02:22:58] [INFO ] State equation strengthened by 261 read => feed constraints.
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/164 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 1431 unsolved
At refinement iteration 1 (OVERLAPS) 2/166 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 1431 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/166 variables, 0/1 constraints. Problems are: Problem set: 0 solved, 1431 unsolved
At refinement iteration 3 (OVERLAPS) 493/659 variables, 166/167 constraints. Problems are: Problem set: 0 solved, 1431 unsolved
SMT process timed out in 32126ms, After SMT, problems are : Problem set: 0 solved, 1431 unsolved
Search for dead transitions found 0 dead transitions in 32171ms
Starting structural reductions in LTL mode, iteration 1 : 170/359 places, 1662/5638 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 33283 ms. Remains : 170/359 places, 1662/5638 transitions.
Support contains 35 out of 170 places after structural reductions.
[2025-06-07 02:23:30] [INFO ] Initial state reduction rules for CTL removed 6 formulas.
[2025-06-07 02:23:30] [INFO ] Flatten gal took : 115 ms
FORMULA SemanticWebServices-PT-S256P09-CTLFireability-2023-14 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA SemanticWebServices-PT-S256P09-CTLFireability-2025-08 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA SemanticWebServices-PT-S256P09-CTLFireability-2025-07 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA SemanticWebServices-PT-S256P09-CTLFireability-2025-06 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA SemanticWebServices-PT-S256P09-CTLFireability-2025-03 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA SemanticWebServices-PT-S256P09-CTLFireability-2025-00 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2025-06-07 02:23:30] [INFO ] Flatten gal took : 84 ms
[2025-06-07 02:23:30] [INFO ] Input system was already deterministic with 1662 transitions.
Support contains 24 out of 170 places (down from 35) after GAL structural reductions.
FORMULA SemanticWebServices-PT-S256P09-CTLFireability-2025-04 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
RANDOM walk for 5412 steps (0 resets) in 461 ms. (11 steps per ms) remains 0/8 properties
[2025-06-07 02:23:31] [INFO ] Flatten gal took : 107 ms
[2025-06-07 02:23:31] [INFO ] Flatten gal took : 50 ms
[2025-06-07 02:23:31] [INFO ] Input system was already deterministic with 1662 transitions.
Starting structural reductions in LTL mode, iteration 0 : 170/170 places, 1662/1662 transitions.
Reduce places removed 3 places and 0 transitions.
Ensure Unique test removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 0 with 9 rules applied. Total rules applied 9 place count 167 transition count 1656
Discarding 1 places :
Symmetric choice reduction at 1 with 1 rule applications. Total rules 10 place count 166 transition count 1488
Iterating global reduction 1 with 1 rules applied. Total rules applied 11 place count 166 transition count 1488
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 12 place count 166 transition count 1487
Drop transitions (Redundant composition of simpler transitions.) removed 16 transitions
Redundant transition composition rules discarded 16 transitions
Iterating global reduction 2 with 16 rules applied. Total rules applied 28 place count 166 transition count 1471
Reduce places removed 3 places and 0 transitions.
Ensure Unique test removed 16 transitions
Reduce isomorphic transitions removed 16 transitions.
Iterating post reduction 2 with 19 rules applied. Total rules applied 47 place count 163 transition count 1455
Applied a total of 47 rules in 35 ms. Remains 163 /170 variables (removed 7) and now considering 1455/1662 (removed 207) transitions.
[2025-06-07 02:23:31] [INFO ] Flow matrix only has 474 transitions (discarded 981 similar events)
// Phase 1: matrix 474 rows 163 cols
[2025-06-07 02:23:31] [INFO ] Computed 1 invariants in 4 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-07 02:23:31] [INFO ] Implicit Places using invariants in 305 ms returned []
[2025-06-07 02:23:31] [INFO ] Flow matrix only has 474 transitions (discarded 981 similar events)
[2025-06-07 02:23:31] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-07 02:23:31] [INFO ] State equation strengthened by 255 read => feed constraints.
[2025-06-07 02:23:32] [INFO ] Implicit Places using invariants and state equation in 531 ms returned []
Implicit Place search using SMT with State Equation took 845 ms to find 0 implicit places.
Running 1241 sub problems to find dead transitions.
[2025-06-07 02:23:32] [INFO ] Flow matrix only has 474 transitions (discarded 981 similar events)
[2025-06-07 02:23:32] [INFO ] Invariant cache hit.
[2025-06-07 02:23:32] [INFO ] State equation strengthened by 255 read => feed constraints.
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/160 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 1241 unsolved
At refinement iteration 1 (OVERLAPS) 2/162 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 1241 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/162 variables, 0/1 constraints. Problems are: Problem set: 0 solved, 1241 unsolved
At refinement iteration 3 (OVERLAPS) 473/635 variables, 162/163 constraints. Problems are: Problem set: 0 solved, 1241 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/635 variables, 255/418 constraints. Problems are: Problem set: 0 solved, 1241 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 635/637 variables, and 418 constraints, problems are : Problem set: 0 solved, 1241 unsolved in 30025 ms.
Refiners :[Generalized P Invariants (flows): 1/1 constraints, State Equation: 162/163 constraints, ReadFeed: 255/255 constraints, PredecessorRefiner: 1241/1241 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 1241 unsolved
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/160 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 1241 unsolved
At refinement iteration 1 (OVERLAPS) 2/162 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 1241 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/162 variables, 0/1 constraints. Problems are: Problem set: 0 solved, 1241 unsolved
At refinement iteration 3 (OVERLAPS) 473/635 variables, 162/163 constraints. Problems are: Problem set: 0 solved, 1241 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/635 variables, 255/418 constraints. Problems are: Problem set: 0 solved, 1241 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/635 variables, 1237/1655 constraints. Problems are: Problem set: 0 solved, 1241 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 635/637 variables, and 1655 constraints, problems are : Problem set: 0 solved, 1241 unsolved in 30030 ms.
Refiners :[Generalized P Invariants (flows): 1/1 constraints, State Equation: 162/163 constraints, ReadFeed: 255/255 constraints, PredecessorRefiner: 1237/1241 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 61163ms problems are : Problem set: 0 solved, 1241 unsolved
Search for dead transitions found 0 dead transitions in 61169ms
Starting structural reductions in LTL mode, iteration 1 : 163/170 places, 1455/1662 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 62074 ms. Remains : 163/170 places, 1455/1662 transitions.
[2025-06-07 02:24:33] [INFO ] Flatten gal took : 48 ms
[2025-06-07 02:24:33] [INFO ] Flatten gal took : 36 ms
[2025-06-07 02:24:33] [INFO ] Input system was already deterministic with 1455 transitions.
[2025-06-07 02:24:33] [INFO ] Flatten gal took : 37 ms
[2025-06-07 02:24:33] [INFO ] Flatten gal took : 36 ms
[2025-06-07 02:24:33] [INFO ] Time to serialize gal into /tmp/CTLFireability11075632101290980117.gal : 26 ms
[2025-06-07 02:24:33] [INFO ] Time to serialize properties into /tmp/CTLFireability16096485243612642763.ctl : 3 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability11075632101290980117.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability16096485243612642763.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2025-06-07 02:25:03] [INFO ] Flatten gal took : 32 ms
[2025-06-07 02:25:03] [INFO ] Applying decomposition
[2025-06-07 02:25:04] [INFO ] Flatten gal took : 83 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph16865565664606345066.txt' '-o' '/tmp/graph16865565664606345066.bin' '-w' '/tmp/graph16865565664606345066.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph16865565664606345066.bin' '-l' '-1' '-v' '-w' '/tmp/graph16865565664606345066.weights' '-q' '0' '-e' '0.001'
[2025-06-07 02:25:04] [INFO ] Decomposing Gal with order
[2025-06-07 02:25:04] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-07 02:25:04] [INFO ] Removed a total of 975 redundant transitions.
[2025-06-07 02:25:04] [INFO ] Flatten gal took : 298 ms
[2025-06-07 02:25:04] [INFO ] Fuse similar labels procedure discarded/fused a total of 384 labels/synchronizations in 30 ms.
[2025-06-07 02:25:04] [INFO ] Time to serialize gal into /tmp/CTLFireability9911794398959890104.gal : 13 ms
[2025-06-07 02:25:04] [INFO ] Time to serialize properties into /tmp/CTLFireability2659431738844664999.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability9911794398959890104.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability2659431738844664999.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...262
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 170/170 places, 1662/1662 transitions.
Reduce places removed 4 places and 0 transitions.
Ensure Unique test removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 0 with 11 rules applied. Total rules applied 11 place count 166 transition count 1655
Discarding 7 places :
Symmetric choice reduction at 1 with 7 rule applications. Total rules 18 place count 159 transition count 1077
Iterating global reduction 1 with 7 rules applied. Total rules applied 25 place count 159 transition count 1077
Ensure Unique test removed 59 transitions
Reduce isomorphic transitions removed 59 transitions.
Iterating post reduction 1 with 59 rules applied. Total rules applied 84 place count 159 transition count 1018
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 85 place count 158 transition count 1006
Iterating global reduction 2 with 1 rules applied. Total rules applied 86 place count 158 transition count 1006
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 87 place count 158 transition count 1005
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 3 with 15 rules applied. Total rules applied 102 place count 158 transition count 990
Reduce places removed 3 places and 0 transitions.
Ensure Unique test removed 16 transitions
Reduce isomorphic transitions removed 16 transitions.
Iterating post reduction 3 with 19 rules applied. Total rules applied 121 place count 155 transition count 974
Discarding 1 places :
Symmetric choice reduction at 4 with 1 rule applications. Total rules 122 place count 154 transition count 973
Iterating global reduction 4 with 1 rules applied. Total rules applied 123 place count 154 transition count 973
Ensure Unique test removed 29 transitions
Reduce isomorphic transitions removed 29 transitions.
Iterating post reduction 4 with 29 rules applied. Total rules applied 152 place count 154 transition count 944
Applied a total of 152 rules in 23 ms. Remains 154 /170 variables (removed 16) and now considering 944/1662 (removed 718) transitions.
[2025-06-07 02:25:34] [INFO ] Flow matrix only has 419 transitions (discarded 525 similar events)
// Phase 1: matrix 419 rows 154 cols
[2025-06-07 02:25:34] [INFO ] Computed 1 invariants in 1 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-07 02:25:35] [INFO ] Implicit Places using invariants in 224 ms returned []
[2025-06-07 02:25:35] [INFO ] Flow matrix only has 419 transitions (discarded 525 similar events)
[2025-06-07 02:25:35] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-07 02:25:35] [INFO ] State equation strengthened by 213 read => feed constraints.
[2025-06-07 02:25:35] [INFO ] Implicit Places using invariants and state equation in 737 ms returned []
Implicit Place search using SMT with State Equation took 962 ms to find 0 implicit places.
Running 743 sub problems to find dead transitions.
[2025-06-07 02:25:35] [INFO ] Flow matrix only has 419 transitions (discarded 525 similar events)
[2025-06-07 02:25:35] [INFO ] Invariant cache hit.
[2025-06-07 02:25:35] [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 30020 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
Error getting values : (error "ParserException while parsing response: ((t0 0)
(t1 0)
(t2 1)
(t3 1)
(t4 0)
(t5 1)
(t6 1)
(t7 0)
(t8 1)
(t9 1)
(t10 0)
(t11 0)
(t12 1)
(t13 0)
(t14 2)
(t15 0)
(t16 0)
(t17 1)
(t18 0)
(t19 0)
(t20 1)
(t21 0)
(t22 0)
(t23 0)
(t24 1)
(t25 1)
(t26 1)
(t27 1)
(t28 0)
(t29 1)
(t30 0)
(t31 3)
(t32 0)
(t33 0)
(t34 0)
(t35 0)
(t36 0)
(t37 1)
(t38 1)
(t39 2)
(t40 4)
(t41 1)
(t42 2)
(t43 0)
(t44 1)
(t45 0)
(t46 1)
(t47 1)
(t48 0)
(t49 0)
(t50 0)
(t51 0)
(t52 1)
(t53 0)
(t54 1)
(t55 1)
(t56 1)
(t57 1)
(t58 0)
(t59 1)
(t60 0)
(t61 0)
(t62 0)
(t63 1)
(t64 0)
(t65 0)
(t66 0)
(t67 0)
(t68 0)
(t69 0)
(t70 0)
(t71 1)
(t72 0)
(t73 0)
(t74 0)
(t75 0)
(t76 1)
(t77 0)
(t78 1)
(t79 0)
(t80 1)
(t81 0)
(t82 0)
(t83 1)
(t84 0)
(t85 0)
(t86 0)
(t87 0)
(t88 0)
(t89 1)
(t90 2)
(t91 1)
(t92 1)
(t93 0)
(t94 1)
(t95 0)
(t96 0)
(t97 0)
(t98 1)
(t99 0)
(t100 1)
(t101 1)
(t102 0)
(t103 1)
(t104 0)
(t105 1)
(t106 0)
(t107 0)
(t108 0)
(t109 0)
(t110 0)
(t111 0)
(t112 0)
(t113 0)
(t114 2)
(t115 0)
(t116 1)
(t117 0)
(t118 1)
(t119 1)
(t120 0)
(t121 0)
(t122 0)
(t123 0)
(t124 0)
(t125 2)
(t126 2)
(t127 0)
(t128 1)
(t129 0)
(t130 0)
(t131 3)
(t132 0)
(t133 0)
(t134 0)
(t135 0)
(t136 0)
(t137 0)
(t138 0)
(t139 1)
(t140 0)
(t141 0)
(t142 0)
(t143 1)
(t144 1)
(t145 1)
(t146 0)
(t147 2)
(t148 1)
(t149 0)
(t150 0)
(t151 0)
(t152 0)
(t153 0)
(t154 0)
(t155 0)
(t156 0)
(t157 0)
(t158 0)
(t159 0)
(t160 0)
(t161 1)
(t162 0)
(t163 0)
(t164 0)
(t165 0)
(t166 0)
(t167 1)
(t168 0)
(t169 0)
(t170 0)
(t171 2)
(t172 0)
(t173 0)
(t174 2)
(t175 0)
(t176 1)
(t177 1)
(t178 0)
(t179 0)
(t180 0)
(t181 0)
(t182 1)
(t183 0)
(t184 0)
(t185 1)
(t186 1)
(t187 1)
(t188 1)
(t189 1)
(t190 1)
(t191 1)
(t192 1)
(t193 1)
(t194 0)
(t195 0)
(t196 0)
(t197 1)
(t198 0)
(t199 0)
(t200 0)
(t201 0)
(t202 0)
(t203 1)
(t204 1)
(t205 0)
(t206 1)
(t207 1)
(t208 0)
(t209 1)
(t210 1)
(t211 1)
(t212 0)
(t213 1)
(t214 0)
(t215 0)
(t216 0)
(t218 0)
(t219 1)
(t220 0)
(t221 2)
(t222 1)
(t223 1)
(t224 2)
(t225 0)
(t226 0)
(t227 0)
(t228 0)
(t229 3)
(t230 0)
(t231 0)
(t232 1)
(t233 0)
(t234 0)
(t235 1)
(t236 0)
(t237 0)
(t238 1)
(t239 0)
(t240 1)
(t241 8)
(t242 1)
(t243 0)
(t244 12)
(t245 0)
(t246 1)
(t247 0)
(t248 0)
(t249 0)
(t250 0)
(t251 0)
(t252 0)
(t253 1)
(t254 0)
(t255 0)
(t256 0)
(t257 0)
(t258 0)
(t259 0)
(t260 0)
(t261 0)
(t262 0)
(t263 0)
(t264 0)
(t265 0)
(t266 0)
(t267 0)
(t268 0)
(t269 0)
(t270 0)
(t271 0)
(t272 0)
(t273 0)
(t274 0)
(t275 0)
(t276 0)
(t277 0)
(t278 0)
(t279 0)
(t280 2)
(t281 2)
(t282 0)
(t283 0)
(t284 0)
(t285 1)
(t286 0)
(t287 0)
(t288 0)
(t289 1)
(t290 0)
(t291 2)
(t292 0)
(t293 0)
(t294 1)
(t295 1)
(t296 0)
(t297 0)
(t298 0)
(t299 1)
(t300 1)
(t301 0)
(t302 1)
(t303 0)
(t304 0)
(t305 0)
(t306 0)
(t307 0)
(t308 0)
(t309 1)
(t310 0)
(t311 0)
(t312 1)
(t313 3)
(t314 0)
(t315 0)
(t316 1)
(t317 0)
(t318 0)
(t319 0)
(t320 0)
(t321 1)
(t322 0)
(t323 0)
(t324 timeout
org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
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 30025 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 60330ms problems are : Problem set: 0 solved, 743 unsolved
Search for dead transitions found 0 dead transitions in 60332ms
Starting structural reductions in LTL mode, iteration 1 : 154/170 places, 944/1662 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 61318 ms. Remains : 154/170 places, 944/1662 transitions.
[2025-06-07 02:26:36] [INFO ] Flatten gal took : 51 ms
[2025-06-07 02:26:36] [INFO ] Flatten gal took : 36 ms
[2025-06-07 02:26:36] [INFO ] Input system was already deterministic with 944 transitions.
[2025-06-07 02:26:36] [INFO ] Flatten gal took : 35 ms
[2025-06-07 02:26:36] [INFO ] Flatten gal took : 35 ms
[2025-06-07 02:26:36] [INFO ] Time to serialize gal into /tmp/CTLFireability11596533984561715474.gal : 20 ms
[2025-06-07 02:26:36] [INFO ] Time to serialize properties into /tmp/CTLFireability15676847223822366618.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability11596533984561715474.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability15676847223822366618.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2025-06-07 02:27:06] [INFO ] Flatten gal took : 32 ms
[2025-06-07 02:27:06] [INFO ] Applying decomposition
[2025-06-07 02:27:06] [INFO ] Flatten gal took : 19 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph9001900117347736082.txt' '-o' '/tmp/graph9001900117347736082.bin' '-w' '/tmp/graph9001900117347736082.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph9001900117347736082.bin' '-l' '-1' '-v' '-w' '/tmp/graph9001900117347736082.weights' '-q' '0' '-e' '0.001'
[2025-06-07 02:27:06] [INFO ] Decomposing Gal with order
[2025-06-07 02:27:06] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-07 02:27:06] [INFO ] Removed a total of 846 redundant transitions.
[2025-06-07 02:27:06] [INFO ] Flatten gal took : 73 ms
[2025-06-07 02:27:06] [INFO ] Fuse similar labels procedure discarded/fused a total of 233 labels/synchronizations in 13 ms.
[2025-06-07 02:27:06] [INFO ] Time to serialize gal into /tmp/CTLFireability4126571780485201329.gal : 7 ms
[2025-06-07 02:27:06] [INFO ] Time to serialize properties into /tmp/CTLFireability16680863496326256439.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability4126571780485201329.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability16680863496326256439.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 170/170 places, 1662/1662 transitions.
Graph (complete) has 1520 edges and 170 vertex of which 163 are kept as prefixes of interest. Removing 7 places using SCC suffix rule.22 ms
Discarding 7 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 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 2 place count 162 transition count 1657
Discarding 5 places :
Symmetric choice reduction at 1 with 5 rule applications. Total rules 7 place count 157 transition count 1582
Iterating global reduction 1 with 5 rules applied. Total rules applied 12 place count 157 transition count 1582
Ensure Unique test removed 33 transitions
Reduce isomorphic transitions removed 33 transitions.
Iterating post reduction 1 with 33 rules applied. Total rules applied 45 place count 157 transition count 1549
Discarding 3 places :
Symmetric choice reduction at 2 with 3 rule applications. Total rules 48 place count 154 transition count 1535
Iterating global reduction 2 with 3 rules applied. Total rules applied 51 place count 154 transition count 1535
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 52 place count 154 transition count 1534
Discarding 4 places :
Symmetric choice reduction at 3 with 4 rule applications. Total rules 56 place count 150 transition count 1530
Iterating global reduction 3 with 4 rules applied. Total rules applied 60 place count 150 transition count 1530
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 3 with 4 rules applied. Total rules applied 64 place count 150 transition count 1526
Drop transitions (Redundant composition of simpler transitions.) removed 52 transitions
Redundant transition composition rules discarded 52 transitions
Iterating global reduction 4 with 52 rules applied. Total rules applied 116 place count 150 transition count 1474
Reduce places removed 1 places and 0 transitions.
Graph (complete) has 1361 edges and 149 vertex of which 148 are kept as prefixes of interest. Removing 1 places using SCC suffix rule.3 ms
Discarding 1 places :
Also discarding 1 output transitions
Drop transitions (Output transitions of discarded places.) removed 1 transitions
Iterating post reduction 4 with 2 rules applied. Total rules applied 118 place count 148 transition count 1473
Discarding 1 places :
Symmetric choice reduction at 5 with 1 rule applications. Total rules 119 place count 147 transition count 1472
Iterating global reduction 5 with 1 rules applied. Total rules applied 120 place count 147 transition count 1472
Ensure Unique test removed 29 transitions
Reduce isomorphic transitions removed 29 transitions.
Iterating post reduction 5 with 29 rules applied. Total rules applied 149 place count 147 transition count 1443
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 150 place count 147 transition count 1442
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 6 with 1 rules applied. Total rules applied 151 place count 146 transition count 1442
Discarding 1 places :
Symmetric choice reduction at 7 with 1 rule applications. Total rules 152 place count 145 transition count 1441
Iterating global reduction 7 with 1 rules applied. Total rules applied 153 place count 145 transition count 1441
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 7 with 1 rules applied. Total rules applied 154 place count 145 transition count 1440
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 155 place count 145 transition count 1439
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 8 with 1 rules applied. Total rules applied 156 place count 144 transition count 1439
Drop transitions (Redundant composition of simpler transitions.) removed 1 transitions
Redundant transition composition rules discarded 1 transitions
Iterating global reduction 9 with 1 rules applied. Total rules applied 157 place count 144 transition count 1438
Applied a total of 157 rules in 1194 ms. Remains 144 /170 variables (removed 26) and now considering 1438/1662 (removed 224) transitions.
[2025-06-07 02:27:38] [INFO ] Flow matrix only has 415 transitions (discarded 1023 similar events)
// Phase 1: matrix 415 rows 144 cols
[2025-06-07 02:27:38] [INFO ] Computed 0 invariants in 2 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-07 02:27:38] [INFO ] Implicit Places using invariants in 210 ms returned []
[2025-06-07 02:27:38] [INFO ] Flow matrix only has 415 transitions (discarded 1023 similar events)
[2025-06-07 02:27:38] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-07 02:27:38] [INFO ] State equation strengthened by 193 read => feed constraints.
[2025-06-07 02:27:38] [INFO ] Implicit Places using invariants and state equation in 520 ms returned []
Implicit Place search using SMT with State Equation took 733 ms to find 0 implicit places.
Starting Z3 with timeout 200.0 s and query timeout 20000.0 ms
[2025-06-07 02:27:41] [INFO ] Redundant transitions in 2646 ms returned [40, 43, 44, 48, 52, 65, 66, 71, 72, 73, 75, 76, 77, 82, 84, 85, 86, 90, 92, 93, 98, 99, 100, 104, 107, 108, 109, 111, 112, 115, 117, 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, 191, 193, 194, 195, 196, 197, 198, 200, 201, 202, 206, 208, 209, 212, 214, 217, 218, 219, 222, 223, 229, 231, 233, 241, 242, 243, 244, 245, 246, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 305, 308, 309, 312, 313, 315, 316, 317, 318, 319, 320, 323, 324, 325, 327, 329, 330, 331, 332, 333, 334, 336, 337, 338, 339, 340, 341, 347, 376, 377, 379, 381, 429, 437, 439, 440, 462, 464, 466, 468, 505, 507, 509, 548, 592, 593, 594, 595, 596, 597, 598, 599, 600, 601, 602, 603, 604, 605, 606, 607, 608, 609, 610, 611, 612, 613, 614, 615, 620, 624, 625, 626, 628, 629, 630, 631, 632, 633, 634, 635, 636, 637, 638, 639, 655, 659, 660, 662, 665, 666, 667, 669, 670, 671, 672, 673, 675, 676, 677, 678, 679, 680, 681, 682, 684, 685, 687, 688, 690, 691, 692, 693, 695, 696, 697, 698, 700, 701, 703, 704, 706, 707, 709, 710, 712, 713, 715, 716, 718, 719, 723, 724, 727, 728, 730, 731, 733, 734, 737, 747, 748, 750, 751, 753, 755, 758, 763, 768, 774, 776, 783, 784, 785, 786, 787, 789, 790, 792, 794, 797, 800, 802, 804, 807, 811, 813, 815, 818, 823, 827, 829, 831, 833, 835, 837, 838, 840, 842, 845, 850, 855, 861, 862, 863, 864, 865, 866, 867, 868, 869, 871, 872, 874, 876, 878, 879, 881, 882, 884, 886, 889, 892, 893, 895, 896, 898, 900, 903, 906, 908, 910, 913, 917, 918, 920, 921, 923, 925, 927, 928, 930, 932, 934, 935, 937, 939, 941, 943, 944, 945, 947, 948, 950, 952, 955, 958, 960, 962, 965, 969, 971, 973, 976, 981, 985, 987, 989, 991, 993, 995, 996, 997, 998, 999, 1000, 1001, 1002, 1003, 1004, 1006, 1007, 1008, 1009, 1011, 1012, 1014, 1016, 1018, 1019, 1020, 1022, 1023, 1025, 1027, 1029, 1030, 1032, 1033, 1035, 1037, 1040, 1043, 1044, 1045, 1047, 1048, 1050, 1052, 1053, 1054, 1056, 1057, 1059, 1061, 1063, 1064, 1065, 1067, 1068, 1070, 1072, 1074, 1075, 1077, 1079, 1081, 1082, 1083, 1084, 1086, 1087, 1089, 1091, 1093, 1094, 1096, 1097, 1099, 1101, 1104, 1107, 1108, 1110, 1111, 1113, 1115, 1118, 1121, 1123, 1125, 1128, 1132, 1133, 1135, 1136, 1138, 1140, 1142, 1143, 1145, 1147, 1149, 1150, 1152, 1154, 1156, 1158, 1159, 1160, 1161, 1162, 1163, 1164, 1165, 1166, 1167, 1169, 1170, 1171, 1172, 1174, 1175, 1176, 1177, 1179, 1180, 1182, 1184, 1186, 1187, 1188, 1190, 1191, 1192, 1193, 1195, 1196, 1198, 1200, 1201, 1202, 1203, 1205, 1206, 1208, 1210, 1211, 1212, 1214, 1215, 1217, 1219, 1221, 1222, 1223, 1224, 1226, 1227, 1228, 1229, 1231, 1232, 1234, 1236, 1238, 1239, 1240, 1242, 1243, 1245, 1247, 1249, 1250, 1252, 1253, 1255, 1257, 1260, 1263, 1264, 1265, 1267, 1268, 1270, 1272, 1273, 1274, 1276, 1277, 1279, 1281, 1283, 1284, 1285, 1287, 1288, 1290, 1292, 1294, 1295, 1297, 1299, 1301, 1302, 1303, 1304, 1305, 1306, 1307, 1308, 1309, 1311, 1312, 1313, 1314, 1315, 1317, 1318, 1319, 1320, 1322, 1323, 1324, 1325, 1327, 1328, 1330, 1332, 1333, 1334, 1335, 1336, 1338, 1339, 1340, 1341, 1343, 1344, 1345, 1346, 1348, 1349, 1351, 1353, 1355, 1356, 1357, 1359, 1360, 1361, 1362, 1364, 1365, 1367, 1369, 1370, 1371, 1372, 1374, 1375, 1377, 1379, 1380, 1381, 1383, 1384, 1386, 1388, 1390, 1391, 1392, 1393, 1394, 1395, 1396, 1397, 1399, 1400, 1401, 1402, 1403, 1404, 1406, 1407, 1408, 1409, 1410, 1412, 1413, 1414, 1415, 1417, 1418, 1419, 1420, 1422, 1423, 1425, 1427, 1428, 1429, 1430, 1431, 1432, 1433, 1434, 1436, 1437]
Found 665 redundant transitions using SMT.
Drop transitions (Redundant Transitions using SMT with State Equation) removed 665 transitions
Redundant transitions reduction (with SMT) removed 665 transitions.
Running 643 sub problems to find dead transitions.
[2025-06-07 02:27:41] [INFO ] Flow matrix only has 234 transitions (discarded 539 similar events)
// Phase 1: matrix 234 rows 144 cols
[2025-06-07 02:27:41] [INFO ] Computed 0 invariants in 1 ms
[2025-06-07 02:27:41] [INFO ] State equation strengthened by 104 read => feed constraints.
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/123 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 643 unsolved
At refinement iteration 1 (OVERLAPS) 214/337 variables, 123/123 constraints. Problems are: Problem set: 0 solved, 643 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/337 variables, 101/224 constraints. Problems are: Problem set: 0 solved, 643 unsolved
All remaining problems are real, not stopping.
At refinement iteration 3 (INCLUDED_ONLY) 0/337 variables, 0/224 constraints. Problems are: Problem set: 0 solved, 643 unsolved
At refinement iteration 4 (OVERLAPS) 12/349 variables, 7/231 constraints. Problems are: Problem set: 0 solved, 643 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/349 variables, 1/232 constraints. Problems are: Problem set: 0 solved, 643 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/349 variables, 0/232 constraints. Problems are: Problem set: 0 solved, 643 unsolved
At refinement iteration 7 (OVERLAPS) 2/351 variables, 2/234 constraints. Problems are: Problem set: 0 solved, 643 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/351 variables, 0/234 constraints. Problems are: Problem set: 0 solved, 643 unsolved
At refinement iteration 9 (OVERLAPS) 2/353 variables, 2/236 constraints. Problems are: Problem set: 0 solved, 643 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/353 variables, 0/236 constraints. Problems are: Problem set: 0 solved, 643 unsolved
At refinement iteration 11 (OVERLAPS) 0/353 variables, 0/236 constraints. Problems are: Problem set: 0 solved, 643 unsolved
No progress, stopping.
After SMT solving in domain Real declared 353/378 variables, and 236 constraints, problems are : Problem set: 0 solved, 643 unsolved in 27300 ms.
Refiners :[State Equation: 132/144 constraints, ReadFeed: 104/104 constraints, PredecessorRefiner: 643/643 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 643 unsolved
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/123 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 643 unsolved
At refinement iteration 1 (OVERLAPS) 214/337 variables, 123/123 constraints. Problems are: Problem set: 0 solved, 643 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/337 variables, 101/224 constraints. Problems are: Problem set: 0 solved, 643 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/337 variables, 311/535 constraints. Problems are: Problem set: 0 solved, 643 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/337 variables, 0/535 constraints. Problems are: Problem set: 0 solved, 643 unsolved
At refinement iteration 5 (OVERLAPS) 12/349 variables, 7/542 constraints. Problems are: Problem set: 0 solved, 643 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/349 variables, 1/543 constraints. Problems are: Problem set: 0 solved, 643 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/349 variables, 331/874 constraints. Problems are: Problem set: 0 solved, 643 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/349 variables, 0/874 constraints. Problems are: Problem set: 0 solved, 643 unsolved
SMT process timed out in 57661ms, After SMT, problems are : Problem set: 0 solved, 643 unsolved
Search for dead transitions found 0 dead transitions in 57662ms
Starting structural reductions in SI_CTL mode, iteration 1 : 144/170 places, 773/1662 transitions.
Graph (complete) has 1031 edges and 144 vertex of which 128 are kept as prefixes of interest. Removing 16 places using SCC suffix rule.2 ms
Discarding 16 places :
Also discarding 0 output transitions
Ensure Unique test removed 95 transitions
Reduce isomorphic transitions removed 95 transitions.
Iterating post reduction 0 with 95 rules applied. Total rules applied 96 place count 128 transition count 678
Discarding 5 places :
Symmetric choice reduction at 1 with 5 rule applications. Total rules 101 place count 123 transition count 609
Iterating global reduction 1 with 5 rules applied. Total rules applied 106 place count 123 transition count 609
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 1 with 4 rules applied. Total rules applied 110 place count 123 transition count 605
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 111 place count 122 transition count 599
Iterating global reduction 2 with 1 rules applied. Total rules applied 112 place count 122 transition count 599
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 113 place count 122 transition count 598
Drop transitions (Redundant composition of simpler transitions.) removed 62 transitions
Redundant transition composition rules discarded 62 transitions
Iterating global reduction 3 with 62 rules applied. Total rules applied 175 place count 122 transition count 536
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 3 with 1 rules applied. Total rules applied 176 place count 121 transition count 536
Discarding 1 places :
Symmetric choice reduction at 4 with 1 rule applications. Total rules 177 place count 120 transition count 522
Iterating global reduction 4 with 1 rules applied. Total rules applied 178 place count 120 transition count 522
Ensure Unique test removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 4 with 7 rules applied. Total rules applied 185 place count 120 transition count 515
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 192 place count 120 transition count 508
Applied a total of 192 rules in 105 ms. Remains 120 /144 variables (removed 24) and now considering 508/773 (removed 265) transitions.
[2025-06-07 02:28:39] [INFO ] Flow matrix only has 197 transitions (discarded 311 similar events)
// Phase 1: matrix 197 rows 120 cols
[2025-06-07 02:28:39] [INFO ] Computed 0 invariants in 1 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-07 02:28:39] [INFO ] Implicit Places using invariants in 129 ms returned []
[2025-06-07 02:28:39] [INFO ] Flow matrix only has 197 transitions (discarded 311 similar events)
[2025-06-07 02:28:39] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-07 02:28:39] [INFO ] State equation strengthened by 88 read => feed constraints.
[2025-06-07 02:28:40] [INFO ] Implicit Places using invariants and state equation in 997 ms returned []
Implicit Place search using SMT with State Equation took 1130 ms to find 0 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 120/170 places, 508/1662 transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 63495 ms. Remains : 120/170 places, 508/1662 transitions.
[2025-06-07 02:28:40] [INFO ] Flatten gal took : 11 ms
[2025-06-07 02:28:40] [INFO ] Flatten gal took : 10 ms
[2025-06-07 02:28:40] [INFO ] Input system was already deterministic with 508 transitions.
[2025-06-07 02:28:40] [INFO ] Flatten gal took : 10 ms
[2025-06-07 02:28:40] [INFO ] Flatten gal took : 10 ms
[2025-06-07 02:28:40] [INFO ] Time to serialize gal into /tmp/CTLFireability12058975161040566280.gal : 2 ms
[2025-06-07 02:28:40] [INFO ] Time to serialize properties into /tmp/CTLFireability2254543313229627020.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability12058975161040566280.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability2254543313229627020.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2025-06-07 02:29:10] [INFO ] Flatten gal took : 13 ms
[2025-06-07 02:29:10] [INFO ] Applying decomposition
[2025-06-07 02:29:10] [INFO ] Flatten gal took : 10 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph10171805705131474752.txt' '-o' '/tmp/graph10171805705131474752.bin' '-w' '/tmp/graph10171805705131474752.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph10171805705131474752.bin' '-l' '-1' '-v' '-w' '/tmp/graph10171805705131474752.weights' '-q' '0' '-e' '0.001'
[2025-06-07 02:29:10] [INFO ] Decomposing Gal with order
[2025-06-07 02:29:10] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-07 02:29:10] [INFO ] Removed a total of 233 redundant transitions.
[2025-06-07 02:29:10] [INFO ] Flatten gal took : 33 ms
[2025-06-07 02:29:10] [INFO ] Fuse similar labels procedure discarded/fused a total of 130 labels/synchronizations in 4 ms.
[2025-06-07 02:29:10] [INFO ] Time to serialize gal into /tmp/CTLFireability15538572381416985973.gal : 2 ms
[2025-06-07 02:29:10] [INFO ] Time to serialize properties into /tmp/CTLFireability4053214839576462067.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability15538572381416985973.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability4053214839576462067.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 170/170 places, 1662/1662 transitions.
Reduce places removed 4 places and 0 transitions.
Ensure Unique test removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 0 with 11 rules applied. Total rules applied 11 place count 166 transition count 1655
Discarding 5 places :
Symmetric choice reduction at 1 with 5 rule applications. Total rules 16 place count 161 transition count 1413
Iterating global reduction 1 with 5 rules applied. Total rules applied 21 place count 161 transition count 1413
Ensure Unique test removed 34 transitions
Reduce isomorphic transitions removed 34 transitions.
Iterating post reduction 1 with 34 rules applied. Total rules applied 55 place count 161 transition count 1379
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 56 place count 160 transition count 1367
Iterating global reduction 2 with 1 rules applied. Total rules applied 57 place count 160 transition count 1367
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 58 place count 160 transition count 1366
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 3 with 15 rules applied. Total rules applied 73 place count 160 transition count 1351
Reduce places removed 3 places and 0 transitions.
Ensure Unique test removed 16 transitions
Reduce isomorphic transitions removed 16 transitions.
Iterating post reduction 3 with 19 rules applied. Total rules applied 92 place count 157 transition count 1335
Discarding 1 places :
Symmetric choice reduction at 4 with 1 rule applications. Total rules 93 place count 156 transition count 1334
Iterating global reduction 4 with 1 rules applied. Total rules applied 94 place count 156 transition count 1334
Ensure Unique test removed 29 transitions
Reduce isomorphic transitions removed 29 transitions.
Iterating post reduction 4 with 29 rules applied. Total rules applied 123 place count 156 transition count 1305
Applied a total of 123 rules in 17 ms. Remains 156 /170 variables (removed 14) and now considering 1305/1662 (removed 357) transitions.
[2025-06-07 02:29:40] [INFO ] Flow matrix only has 444 transitions (discarded 861 similar events)
// Phase 1: matrix 444 rows 156 cols
[2025-06-07 02:29:40] [INFO ] Computed 1 invariants in 1 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-07 02:29:40] [INFO ] Implicit Places using invariants in 109 ms returned []
[2025-06-07 02:29:40] [INFO ] Flow matrix only has 444 transitions (discarded 861 similar events)
[2025-06-07 02:29:40] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-07 02:29:40] [INFO ] State equation strengthened by 235 read => feed constraints.
[2025-06-07 02:29:41] [INFO ] Implicit Places using invariants and state equation in 407 ms returned []
Implicit Place search using SMT with State Equation took 526 ms to find 0 implicit places.
Running 1101 sub problems to find dead transitions.
[2025-06-07 02:29:41] [INFO ] Flow matrix only has 444 transitions (discarded 861 similar events)
[2025-06-07 02:29:41] [INFO ] Invariant cache hit.
[2025-06-07 02:29:41] [INFO ] State equation strengthened by 235 read => feed constraints.
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/154 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 1101 unsolved
At refinement iteration 1 (OVERLAPS) 2/156 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 1101 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/156 variables, 0/1 constraints. Problems are: Problem set: 0 solved, 1101 unsolved
At refinement iteration 3 (OVERLAPS) 443/599 variables, 156/157 constraints. Problems are: Problem set: 0 solved, 1101 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/599 variables, 235/392 constraints. Problems are: Problem set: 0 solved, 1101 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 599/600 variables, and 392 constraints, problems are : Problem set: 0 solved, 1101 unsolved in 30024 ms.
Refiners :[Generalized P Invariants (flows): 1/1 constraints, State Equation: 156/156 constraints, ReadFeed: 235/235 constraints, PredecessorRefiner: 1101/1101 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 1101 unsolved
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/154 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 1101 unsolved
At refinement iteration 1 (OVERLAPS) 2/156 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 1101 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/156 variables, 0/1 constraints. Problems are: Problem set: 0 solved, 1101 unsolved
At refinement iteration 3 (OVERLAPS) 443/599 variables, 156/157 constraints. Problems are: Problem set: 0 solved, 1101 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/599 variables, 235/392 constraints. Problems are: Problem set: 0 solved, 1101 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/599 variables, 1101/1493 constraints. Problems are: Problem set: 0 solved, 1101 unsolved
(s110 1timeout
^^^^^^^^
(error "Invalid token: 1timeout")
Error getting values : (error "ParserException while parsing response: ((s0 0)
(s1 0)
(s2 0)
(s3 1)
(s4 0)
(s5 0)
(s6 1)
(s7 0)
(s8 1)
(s9 0)
(s10 3)
(s11 2)
(s12 1)
(s13 1)
(s14 1)
(s15 1)
(s16 2)
(s17 1)
(s18 1)
(s19 1)
(s20 1)
(s21 2)
(s22 2)
(s23 1)
(s24 1)
(s25 1)
(s26 1)
(s27 1)
(s28 1)
(s29 1)
(s30 1)
(s31 1)
(s32 2)
(s33 1)
(s34 2)
(s35 1)
(s36 0)
(s37 1)
(s38 1)
(s39 2)
(s40 1)
(s41 0)
(s42 1)
(s43 1)
(s44 1)
(s45 2)
(s46 1)
(s47 1)
(s48 1)
(s49 1)
(s50 2)
(s51 1)
(s52 1)
(s53 1)
(s54 1)
(s55 2)
(s56 1)
(s57 1)
(s58 2)
(s59 2)
(s60 1)
(s61 3)
(s62 1)
(s63 1)
(s64 2)
(s65 1)
(s66 1)
(s67 1)
(s68 1)
(s69 3)
(s70 1)
(s71 1)
(s72 1)
(s73 1)
(s74 1)
(s75 1)
(s76 1)
(s77 2)
(s78 2)
(s79 1)
(s80 3)
(s81 0)
(s82 0)
(s83 3)
(s84 1)
(s85 1)
(s86 0)
(s87 3)
(s88 2)
(s89 1)
(s90 2)
(s91 2)
(s92 1)
(s93 2)
(s94 2)
(s95 2)
(s96 0)
(s97 1)
(s98 3)
(s99 1)
(s100 1)
(s101 1)
(s102 1)
(s103 1)
(s104 1)
(s105 0)
(s106 1)
(s107 1)
(s108 1)
(s109 1)
(s110 1timeout
)
(s111 org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 599/600 variables, and 1493 constraints, problems are : Problem set: 0 solved, 1101 unsolved in 30030 ms.
Refiners :[Generalized P Invariants (flows): 1/1 constraints, State Equation: 156/156 constraints, ReadFeed: 235/235 constraints, PredecessorRefiner: 1101/1101 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 61030ms problems are : Problem set: 0 solved, 1101 unsolved
Search for dead transitions found 0 dead transitions in 61033ms
Starting structural reductions in LTL mode, iteration 1 : 156/170 places, 1305/1662 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 61578 ms. Remains : 156/170 places, 1305/1662 transitions.
[2025-06-07 02:30:42] [INFO ] Flatten gal took : 22 ms
[2025-06-07 02:30:42] [INFO ] Flatten gal took : 25 ms
[2025-06-07 02:30:42] [INFO ] Input system was already deterministic with 1305 transitions.
[2025-06-07 02:30:42] [INFO ] Flatten gal took : 24 ms
[2025-06-07 02:30:42] [INFO ] Flatten gal took : 25 ms
[2025-06-07 02:30:42] [INFO ] Time to serialize gal into /tmp/CTLFireability7710572095397154685.gal : 8 ms
[2025-06-07 02:30:42] [INFO ] Time to serialize properties into /tmp/CTLFireability8088661856441404639.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability7710572095397154685.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability8088661856441404639.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2025-06-07 02:31:12] [INFO ] Flatten gal took : 24 ms
[2025-06-07 02:31:12] [INFO ] Applying decomposition
[2025-06-07 02:31:12] [INFO ] Flatten gal took : 24 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph14093104432323056599.txt' '-o' '/tmp/graph14093104432323056599.bin' '-w' '/tmp/graph14093104432323056599.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph14093104432323056599.bin' '-l' '-1' '-v' '-w' '/tmp/graph14093104432323056599.weights' '-q' '0' '-e' '0.001'
[2025-06-07 02:31:12] [INFO ] Decomposing Gal with order
[2025-06-07 02:31:12] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-07 02:31:12] [INFO ] Removed a total of 821 redundant transitions.
[2025-06-07 02:31:12] [INFO ] Flatten gal took : 89 ms
[2025-06-07 02:31:12] [INFO ] Fuse similar labels procedure discarded/fused a total of 296 labels/synchronizations in 26 ms.
[2025-06-07 02:31:12] [INFO ] Time to serialize gal into /tmp/CTLFireability9694155312030374036.gal : 7 ms
[2025-06-07 02:31:12] [INFO ] Time to serialize properties into /tmp/CTLFireability12764093653733480948.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability9694155312030374036.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability12764093653733480948.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 170/170 places, 1662/1662 transitions.
Reduce places removed 4 places and 0 transitions.
Ensure Unique test removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 0 with 11 rules applied. Total rules applied 11 place count 166 transition count 1655
Discarding 7 places :
Symmetric choice reduction at 1 with 7 rule applications. Total rules 18 place count 159 transition count 1077
Iterating global reduction 1 with 7 rules applied. Total rules applied 25 place count 159 transition count 1077
Ensure Unique test removed 59 transitions
Reduce isomorphic transitions removed 59 transitions.
Iterating post reduction 1 with 59 rules applied. Total rules applied 84 place count 159 transition count 1018
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 85 place count 158 transition count 1006
Iterating global reduction 2 with 1 rules applied. Total rules applied 86 place count 158 transition count 1006
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 87 place count 158 transition count 1005
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 3 with 15 rules applied. Total rules applied 102 place count 158 transition count 990
Reduce places removed 3 places and 0 transitions.
Ensure Unique test removed 16 transitions
Reduce isomorphic transitions removed 16 transitions.
Iterating post reduction 3 with 19 rules applied. Total rules applied 121 place count 155 transition count 974
Discarding 1 places :
Symmetric choice reduction at 4 with 1 rule applications. Total rules 122 place count 154 transition count 973
Iterating global reduction 4 with 1 rules applied. Total rules applied 123 place count 154 transition count 973
Ensure Unique test removed 29 transitions
Reduce isomorphic transitions removed 29 transitions.
Iterating post reduction 4 with 29 rules applied. Total rules applied 152 place count 154 transition count 944
Applied a total of 152 rules in 15 ms. Remains 154 /170 variables (removed 16) and now considering 944/1662 (removed 718) transitions.
[2025-06-07 02:31:43] [INFO ] Flow matrix only has 419 transitions (discarded 525 similar events)
// Phase 1: matrix 419 rows 154 cols
[2025-06-07 02:31:43] [INFO ] Computed 1 invariants in 1 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-07 02:31:43] [INFO ] Implicit Places using invariants in 116 ms returned []
[2025-06-07 02:31:43] [INFO ] Flow matrix only has 419 transitions (discarded 525 similar events)
[2025-06-07 02:31:43] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-07 02:31:43] [INFO ] State equation strengthened by 213 read => feed constraints.
[2025-06-07 02:31:43] [INFO ] Implicit Places using invariants and state equation in 518 ms returned []
Implicit Place search using SMT with State Equation took 652 ms to find 0 implicit places.
Running 743 sub problems to find dead transitions.
[2025-06-07 02:31:43] [INFO ] Flow matrix only has 419 transitions (discarded 525 similar events)
[2025-06-07 02:31:43] [INFO ] Invariant cache hit.
[2025-06-07 02:31:43] [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 30060 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 30050 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 60349ms problems are : Problem set: 0 solved, 743 unsolved
Search for dead transitions found 0 dead transitions in 60351ms
Starting structural reductions in LTL mode, iteration 1 : 154/170 places, 944/1662 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 61019 ms. Remains : 154/170 places, 944/1662 transitions.
[2025-06-07 02:32:44] [INFO ] Flatten gal took : 15 ms
[2025-06-07 02:32:44] [INFO ] Flatten gal took : 17 ms
[2025-06-07 02:32:44] [INFO ] Input system was already deterministic with 944 transitions.
[2025-06-07 02:32:44] [INFO ] Flatten gal took : 16 ms
[2025-06-07 02:32:44] [INFO ] Flatten gal took : 18 ms
[2025-06-07 02:32:44] [INFO ] Time to serialize gal into /tmp/CTLFireability5121766412898321945.gal : 4 ms
[2025-06-07 02:32:44] [INFO ] Time to serialize properties into /tmp/CTLFireability3719434106745012824.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability5121766412898321945.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3719434106745012824.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2025-06-07 02:33:14] [INFO ] Flatten gal took : 22 ms
[2025-06-07 02:33:14] [INFO ] Applying decomposition
[2025-06-07 02:33:14] [INFO ] Flatten gal took : 17 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph625078491430810207.txt' '-o' '/tmp/graph625078491430810207.bin' '-w' '/tmp/graph625078491430810207.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph625078491430810207.bin' '-l' '-1' '-v' '-w' '/tmp/graph625078491430810207.weights' '-q' '0' '-e' '0.001'
[2025-06-07 02:33:14] [INFO ] Decomposing Gal with order
[2025-06-07 02:33:14] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-07 02:33:14] [INFO ] Removed a total of 782 redundant transitions.
[2025-06-07 02:33:14] [INFO ] Flatten gal took : 37 ms
[2025-06-07 02:33:14] [INFO ] Fuse similar labels procedure discarded/fused a total of 267 labels/synchronizations in 8 ms.
[2025-06-07 02:33:14] [INFO ] Time to serialize gal into /tmp/CTLFireability3895611345689606451.gal : 3 ms
[2025-06-07 02:33:14] [INFO ] Time to serialize properties into /tmp/CTLFireability762210891843769553.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability3895611345689606451.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability762210891843769553.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...261
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2025-06-07 02:33:44] [INFO ] Flatten gal took : 31 ms
[2025-06-07 02:33:44] [INFO ] Flatten gal took : 30 ms
[2025-06-07 02:33:44] [INFO ] Applying decomposition
[2025-06-07 02:33:44] [INFO ] Flatten gal took : 32 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph8530805196610667086.txt' '-o' '/tmp/graph8530805196610667086.bin' '-w' '/tmp/graph8530805196610667086.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph8530805196610667086.bin' '-l' '-1' '-v' '-w' '/tmp/graph8530805196610667086.weights' '-q' '0' '-e' '0.001'
[2025-06-07 02:33:44] [INFO ] Decomposing Gal with order
[2025-06-07 02:33:44] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-07 02:33:44] [INFO ] Removed a total of 1048 redundant transitions.
[2025-06-07 02:33:44] [INFO ] Flatten gal took : 84 ms
[2025-06-07 02:33:44] [INFO ] Fuse similar labels procedure discarded/fused a total of 397 labels/synchronizations in 10 ms.
[2025-06-07 02:33:44] [INFO ] Time to serialize gal into /tmp/CTLFireability1808805606273272804.gal : 10 ms
[2025-06-07 02:33:44] [INFO ] Time to serialize properties into /tmp/CTLFireability14777306978054269641.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability1808805606273272804.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability14777306978054269641.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 5 CTL formulae.
Detected timeout of ITS tools.
[2025-06-07 02:57:23] [INFO ] Flatten gal took : 218 ms
[2025-06-07 02:57:23] [INFO ] Time to serialize gal into /tmp/CTLFireability6350809273308497341.gal : 29 ms
[2025-06-07 02:57:23] [INFO ] Time to serialize properties into /tmp/CTLFireability10870016522142768361.ctl : 5 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability6350809273308497341.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability10870016522142768361.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 5 CTL formulae.
Detected timeout of ITS tools.
[2025-06-07 03:21:00] [INFO ] Flatten gal took : 324 ms
[2025-06-07 03:21:02] [INFO ] Input system was already deterministic with 1662 transitions.
[2025-06-07 03:21:02] [INFO ] Transformed 170 places.
[2025-06-07 03:21:02] [INFO ] Transformed 1662 transitions.
Running greatSPN : cd /home/mcc/execution;'/home/mcc/BenchKit/bin//../itstools/bin//..//greatspn//bin/pinvar' '/home/mcc/execution/gspn'
Run of greatSPN captured in /home/mcc/execution/outPut.txt
Running greatSPN : cd /home/mcc/execution;'/home/mcc/BenchKit/bin//../itstools/bin//..//greatspn//bin/RGMEDD2' '/home/mcc/execution/gspn' '-META' '-varord-only'
Run of greatSPN captured in /home/mcc/execution/outPut.txt
Using order generated by GreatSPN with heuristic : META
[2025-06-07 03:21:02] [INFO ] Time to serialize gal into /tmp/CTLFireability18006855371338477502.gal : 10 ms
[2025-06-07 03:21:02] [INFO ] Time to serialize properties into /tmp/CTLFireability11327571098898491623.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability18006855371338477502.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability11327571098898491623.ctl' '--load-order' '/home/mcc/execution/model.ord' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...330
Successfully loaded order from file /home/mcc/execution/model.ord
No direction supplied, using forward translation only.
Parsed 5 CTL formulae.
BK_TIME_CONFINEMENT_REACHED
--------------------
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
+ [[ CTLFireability = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution CTLFireability -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 CTLFireability -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="CTLFireability"
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 CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r184-tall-174889265100930"
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 [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;