About the Execution of ITS-Tools for SemanticWebServices-PT-S256P06
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15071.088 | 3600000.00 | 3672708.00 | 10918.30 | F??TT?TT??F?TF?F | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r357-smll-167891806400418.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool itstools
Input is SemanticWebServices-PT-S256P06, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r357-smll-167891806400418
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 16M
-rw-r--r-- 1 mcc users 6.8K Feb 26 10:17 CTLCardinality.txt
-rw-r--r-- 1 mcc users 68K Feb 26 10:17 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.2K Feb 26 10:16 CTLFireability.txt
-rw-r--r-- 1 mcc users 42K Feb 26 10:16 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 16:51 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 16:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 16:51 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.2K Feb 26 10:19 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 79K Feb 26 10:19 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.6K Feb 26 10:18 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 82K Feb 26 10:18 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 16:51 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:51 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 8 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 16M Mar 5 18:23 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME SemanticWebServices-PT-S256P06-CTLFireability-00
FORMULA_NAME SemanticWebServices-PT-S256P06-CTLFireability-01
FORMULA_NAME SemanticWebServices-PT-S256P06-CTLFireability-02
FORMULA_NAME SemanticWebServices-PT-S256P06-CTLFireability-03
FORMULA_NAME SemanticWebServices-PT-S256P06-CTLFireability-04
FORMULA_NAME SemanticWebServices-PT-S256P06-CTLFireability-05
FORMULA_NAME SemanticWebServices-PT-S256P06-CTLFireability-06
FORMULA_NAME SemanticWebServices-PT-S256P06-CTLFireability-07
FORMULA_NAME SemanticWebServices-PT-S256P06-CTLFireability-08
FORMULA_NAME SemanticWebServices-PT-S256P06-CTLFireability-09
FORMULA_NAME SemanticWebServices-PT-S256P06-CTLFireability-10
FORMULA_NAME SemanticWebServices-PT-S256P06-CTLFireability-11
FORMULA_NAME SemanticWebServices-PT-S256P06-CTLFireability-12
FORMULA_NAME SemanticWebServices-PT-S256P06-CTLFireability-13
FORMULA_NAME SemanticWebServices-PT-S256P06-CTLFireability-14
FORMULA_NAME SemanticWebServices-PT-S256P06-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1679212716695
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=CTLFireability
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=SemanticWebServices-PT-S256P06
Not applying reductions.
Model is PT
CTLFireability PT
Running Version 202303021504
[2023-03-19 07:58:40] [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]
[2023-03-19 07:58:40] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-19 07:58:41] [INFO ] Load time of PNML (sax parser for PT used): 1200 ms
[2023-03-19 07:58:41] [INFO ] Transformed 439 places.
[2023-03-19 07:58:41] [INFO ] Transformed 14102 transitions.
[2023-03-19 07:58:41] [INFO ] Parsed PT model containing 439 places and 14102 transitions and 130267 arcs in 1441 ms.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 27 ms.
Deduced a syphon composed of 65 places in 39 ms
Reduce places removed 65 places and 7242 transitions.
Ensure Unique test removed 2131 transitions
Reduce redundant transitions removed 2131 transitions.
FORMULA SemanticWebServices-PT-S256P06-CTLFireability-03 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA SemanticWebServices-PT-S256P06-CTLFireability-04 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA SemanticWebServices-PT-S256P06-CTLFireability-07 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA SemanticWebServices-PT-S256P06-CTLFireability-10 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA SemanticWebServices-PT-S256P06-CTLFireability-12 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA SemanticWebServices-PT-S256P06-CTLFireability-15 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Support contains 59 out of 374 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 374/374 places, 4729/4729 transitions.
Ensure Unique test removed 12 places
Reduce places removed 100 places and 0 transitions.
Ensure Unique test removed 1404 transitions
Reduce isomorphic transitions removed 1404 transitions.
Iterating post reduction 0 with 1504 rules applied. Total rules applied 1504 place count 274 transition count 3325
Discarding 45 places :
Symmetric choice reduction at 1 with 45 rule applications. Total rules 1549 place count 229 transition count 2612
Iterating global reduction 1 with 45 rules applied. Total rules applied 1594 place count 229 transition count 2612
Ensure Unique test removed 623 transitions
Reduce isomorphic transitions removed 623 transitions.
Iterating post reduction 1 with 623 rules applied. Total rules applied 2217 place count 229 transition count 1989
Discarding 6 places :
Symmetric choice reduction at 2 with 6 rule applications. Total rules 2223 place count 223 transition count 1983
Iterating global reduction 2 with 6 rules applied. Total rules applied 2229 place count 223 transition count 1983
Ensure Unique test removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 2 with 6 rules applied. Total rules applied 2235 place count 223 transition count 1977
Drop transitions removed 265 transitions
Redundant transition composition rules discarded 265 transitions
Iterating global reduction 3 with 265 rules applied. Total rules applied 2500 place count 223 transition count 1712
Reduce places removed 22 places and 0 transitions.
Ensure Unique test removed 50 transitions
Reduce isomorphic transitions removed 50 transitions.
Iterating post reduction 3 with 72 rules applied. Total rules applied 2572 place count 201 transition count 1662
Discarding 7 places :
Symmetric choice reduction at 4 with 7 rule applications. Total rules 2579 place count 194 transition count 1612
Iterating global reduction 4 with 7 rules applied. Total rules applied 2586 place count 194 transition count 1612
Ensure Unique test removed 222 transitions
Reduce isomorphic transitions removed 222 transitions.
Iterating post reduction 4 with 222 rules applied. Total rules applied 2808 place count 194 transition count 1390
Discarding 1 places :
Symmetric choice reduction at 5 with 1 rule applications. Total rules 2809 place count 193 transition count 1374
Iterating global reduction 5 with 1 rules applied. Total rules applied 2810 place count 193 transition count 1374
Ensure Unique test removed 8 transitions
Reduce isomorphic transitions removed 8 transitions.
Iterating post reduction 5 with 8 rules applied. Total rules applied 2818 place count 193 transition count 1366
Drop transitions removed 64 transitions
Redundant transition composition rules discarded 64 transitions
Iterating global reduction 6 with 64 rules applied. Total rules applied 2882 place count 193 transition count 1302
Applied a total of 2882 rules in 212 ms. Remains 193 /374 variables (removed 181) and now considering 1302/4729 (removed 3427) transitions.
[2023-03-19 07:58:42] [INFO ] Flow matrix only has 408 transitions (discarded 894 similar events)
Normalized transition count is 407 out of 408 initially.
// Phase 1: matrix 407 rows 193 cols
[2023-03-19 07:58:42] [INFO ] Computed 3 place invariants in 27 ms
[2023-03-19 07:58:42] [INFO ] SMT solver returned unknown. Retrying;
[2023-03-19 07:58:43] [INFO ] Dead Transitions using invariants and state equation in 1200 ms found 0 transitions.
[2023-03-19 07:58:43] [INFO ] Flow matrix only has 408 transitions (discarded 894 similar events)
[2023-03-19 07:58:43] [INFO ] Invariant cache hit.
[2023-03-19 07:58:43] [INFO ] Implicit Places using invariants in 323 ms returned []
[2023-03-19 07:58:43] [INFO ] Flow matrix only has 408 transitions (discarded 894 similar events)
[2023-03-19 07:58:43] [INFO ] Invariant cache hit.
[2023-03-19 07:58:43] [INFO ] State equation strengthened by 190 read => feed constraints.
[2023-03-19 07:58:44] [INFO ] Implicit Places using invariants and state equation in 947 ms returned []
Implicit Place search using SMT with State Equation took 1273 ms to find 0 implicit places.
[2023-03-19 07:58:44] [INFO ] Flow matrix only has 408 transitions (discarded 894 similar events)
[2023-03-19 07:58:44] [INFO ] Invariant cache hit.
[2023-03-19 07:58:45] [INFO ] Dead Transitions using invariants and state equation in 966 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 193/374 places, 1302/4729 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 3695 ms. Remains : 193/374 places, 1302/4729 transitions.
Support contains 59 out of 193 places after structural reductions.
[2023-03-19 07:58:45] [INFO ] Initial state reduction rules for CTL removed 2 formulas.
[2023-03-19 07:58:46] [INFO ] Flatten gal took : 153 ms
[2023-03-19 07:58:46] [INFO ] Initial state reduction rules for CTL removed 1 formulas.
FORMULA SemanticWebServices-PT-S256P06-CTLFireability-13 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA SemanticWebServices-PT-S256P06-CTLFireability-06 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA SemanticWebServices-PT-S256P06-CTLFireability-00 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2023-03-19 07:58:46] [INFO ] Flatten gal took : 107 ms
[2023-03-19 07:58:46] [INFO ] Input system was already deterministic with 1302 transitions.
Support contains 38 out of 193 places (down from 59) after GAL structural reductions.
Finished random walk after 4371 steps, including 1 resets, run visited all 10 properties in 359 ms. (steps per millisecond=12 )
[2023-03-19 07:58:46] [INFO ] Flatten gal took : 58 ms
[2023-03-19 07:58:46] [INFO ] Flatten gal took : 61 ms
[2023-03-19 07:58:46] [INFO ] Input system was already deterministic with 1302 transitions.
Starting structural reductions in SI_CTL mode, iteration 0 : 193/193 places, 1302/1302 transitions.
Graph (complete) has 1811 edges and 193 vertex of which 186 are kept as prefixes of interest. Removing 7 places using SCC suffix rule.19 ms
Discarding 7 places :
Also discarding 3 output transitions
Drop transitions removed 3 transitions
Ensure Unique test removed 1 places
Reduce places removed 2 places and 1 transitions.
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 0 with 3 rules applied. Total rules applied 4 place count 184 transition count 1295
Discarding 11 places :
Symmetric choice reduction at 1 with 11 rule applications. Total rules 15 place count 173 transition count 1130
Iterating global reduction 1 with 11 rules applied. Total rules applied 26 place count 173 transition count 1130
Ensure Unique test removed 142 transitions
Reduce isomorphic transitions removed 142 transitions.
Iterating post reduction 1 with 142 rules applied. Total rules applied 168 place count 173 transition count 988
Discarding 2 places :
Symmetric choice reduction at 2 with 2 rule applications. Total rules 170 place count 171 transition count 983
Iterating global reduction 2 with 2 rules applied. Total rules applied 172 place count 171 transition count 983
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 2 with 2 rules applied. Total rules applied 174 place count 171 transition count 981
Drop transitions removed 52 transitions
Redundant transition composition rules discarded 52 transitions
Iterating global reduction 3 with 52 rules applied. Total rules applied 226 place count 171 transition count 929
Reduce places removed 6 places and 0 transitions.
Ensure Unique test removed 26 transitions
Reduce isomorphic transitions removed 26 transitions.
Graph (complete) has 1473 edges and 165 vertex of which 164 are kept as prefixes of interest. Removing 1 places using SCC suffix rule.5 ms
Discarding 1 places :
Also discarding 1 output transitions
Drop transitions removed 1 transitions
Iterating post reduction 3 with 33 rules applied. Total rules applied 259 place count 164 transition count 902
Discarding 3 places :
Symmetric choice reduction at 4 with 3 rule applications. Total rules 262 place count 161 transition count 876
Iterating global reduction 4 with 3 rules applied. Total rules applied 265 place count 161 transition count 876
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 4 with 4 rules applied. Total rules applied 269 place count 161 transition count 872
Drop transitions removed 1 transitions
Redundant transition composition rules discarded 1 transitions
Iterating global reduction 5 with 1 rules applied. Total rules applied 270 place count 161 transition count 871
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 5 with 1 rules applied. Total rules applied 271 place count 160 transition count 871
Drop transitions removed 1 transitions
Redundant transition composition rules discarded 1 transitions
Iterating global reduction 6 with 1 rules applied. Total rules applied 272 place count 160 transition count 870
Applied a total of 272 rules in 361 ms. Remains 160 /193 variables (removed 33) and now considering 870/1302 (removed 432) transitions.
[2023-03-19 07:58:47] [INFO ] Flow matrix only has 340 transitions (discarded 530 similar events)
Normalized transition count is 339 out of 340 initially.
// Phase 1: matrix 339 rows 160 cols
[2023-03-19 07:58:47] [INFO ] Computed 1 place invariants in 8 ms
[2023-03-19 07:58:47] [INFO ] Dead Transitions using invariants and state equation in 504 ms found 0 transitions.
[2023-03-19 07:58:47] [INFO ] Flow matrix only has 340 transitions (discarded 530 similar events)
[2023-03-19 07:58:47] [INFO ] Invariant cache hit.
[2023-03-19 07:58:48] [INFO ] Implicit Places using invariants in 330 ms returned []
[2023-03-19 07:58:48] [INFO ] Flow matrix only has 340 transitions (discarded 530 similar events)
[2023-03-19 07:58:48] [INFO ] Invariant cache hit.
[2023-03-19 07:58:48] [INFO ] State equation strengthened by 153 read => feed constraints.
[2023-03-19 07:58:49] [INFO ] Implicit Places using invariants and state equation in 881 ms returned []
Implicit Place search using SMT with State Equation took 1226 ms to find 0 implicit places.
[2023-03-19 07:58:50] [INFO ] Redundant transitions in 1564 ms returned [52, 54, 79, 84, 87, 95, 96, 99, 104, 106, 108, 111, 114, 117, 120, 122, 123, 124, 125, 126, 129, 131, 132, 135, 137, 140, 141, 142, 144, 145, 146, 147, 150, 152, 153, 155, 156, 158, 160, 162, 163, 164, 165, 166, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 182, 183, 193, 196, 224, 231, 320, 333, 334, 335, 336, 338, 339, 340, 341, 344, 346, 347, 353, 375, 377, 380, 385, 408, 423, 424, 425, 430, 431, 440, 441, 442, 446, 447, 448, 449, 450, 451, 457, 460, 461, 462, 463, 464, 465, 468, 470, 471, 472, 473, 475, 494, 507, 508, 516, 517, 520, 521, 522, 551, 552, 554, 556, 558, 560, 561, 563, 564, 566, 568, 577, 578, 579, 581, 609, 772, 776, 777, 779, 781, 783, 785, 787, 789, 790, 792, 793, 795, 797, 798, 800, 802, 804, 805, 807, 809, 811, 812, 813, 815, 816, 817, 819, 820, 822, 823, 825, 826, 828, 829, 831, 832, 834, 836, 837, 839, 841, 842, 843, 844, 846, 847, 848, 849, 851, 852, 853, 855, 856, 858, 859, 861, 862, 863, 864, 865, 867, 868, 869]
Found 196 redundant transitions using SMT.
Drop transitions removed 196 transitions
Redundant transitions reduction (with SMT) removed 196 transitions.
[2023-03-19 07:58:50] [INFO ] Flow matrix only has 245 transitions (discarded 429 similar events)
Normalized transition count is 244 out of 245 initially.
// Phase 1: matrix 244 rows 160 cols
[2023-03-19 07:58:50] [INFO ] Computed 1 place invariants in 2 ms
[2023-03-19 07:58:50] [INFO ] Dead Transitions using invariants and state equation in 312 ms found 0 transitions.
Starting structural reductions in SI_CTL mode, iteration 1 : 160/193 places, 674/1302 transitions.
Graph (complete) has 1318 edges and 160 vertex of which 157 are kept as prefixes of interest. Removing 3 places using SCC suffix rule.2 ms
Discarding 3 places :
Also discarding 0 output transitions
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 0 with 2 rules applied. Total rules applied 3 place count 157 transition count 672
Discarding 1 places :
Symmetric choice reduction at 1 with 1 rule applications. Total rules 4 place count 156 transition count 670
Iterating global reduction 1 with 1 rules applied. Total rules applied 5 place count 156 transition count 670
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 6 place count 156 transition count 669
Drop transitions removed 6 transitions
Redundant transition composition rules discarded 6 transitions
Iterating global reduction 2 with 6 rules applied. Total rules applied 12 place count 156 transition count 663
Applied a total of 12 rules in 54 ms. Remains 156 /160 variables (removed 4) and now considering 663/674 (removed 11) transitions.
[2023-03-19 07:58:51] [INFO ] Flow matrix only has 238 transitions (discarded 425 similar events)
Normalized transition count is 237 out of 238 initially.
// Phase 1: matrix 237 rows 156 cols
[2023-03-19 07:58:51] [INFO ] Computed 1 place invariants in 2 ms
[2023-03-19 07:58:51] [INFO ] Implicit Places using invariants in 161 ms returned []
[2023-03-19 07:58:51] [INFO ] Flow matrix only has 238 transitions (discarded 425 similar events)
[2023-03-19 07:58:51] [INFO ] Invariant cache hit.
[2023-03-19 07:58:51] [INFO ] State equation strengthened by 113 read => feed constraints.
[2023-03-19 07:58:51] [INFO ] Implicit Places using invariants and state equation in 473 ms returned []
Implicit Place search using SMT with State Equation took 659 ms to find 0 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 156/193 places, 663/1302 transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 4707 ms. Remains : 156/193 places, 663/1302 transitions.
[2023-03-19 07:58:51] [INFO ] Flatten gal took : 26 ms
[2023-03-19 07:58:51] [INFO ] Flatten gal took : 28 ms
[2023-03-19 07:58:51] [INFO ] Input system was already deterministic with 663 transitions.
[2023-03-19 07:58:51] [INFO ] Flatten gal took : 28 ms
[2023-03-19 07:58:51] [INFO ] Flatten gal took : 30 ms
[2023-03-19 07:58:51] [INFO ] Time to serialize gal into /tmp/CTLFireability12732652887403872581.gal : 17 ms
[2023-03-19 07:58:51] [INFO ] Time to serialize properties into /tmp/CTLFireability6392815969160139969.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.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability12732652887403872581.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability6392815969160139969.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/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.
[2023-03-19 07:59:22] [INFO ] Flatten gal took : 27 ms
[2023-03-19 07:59:22] [INFO ] Applying decomposition
[2023-03-19 07:59:22] [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.202303021504/bin/convert-linux64' '-i' '/tmp/graph15866515150704680715.txt' '-o' '/tmp/graph15866515150704680715.bin' '-w' '/tmp/graph15866515150704680715.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph15866515150704680715.bin' '-l' '-1' '-v' '-w' '/tmp/graph15866515150704680715.weights' '-q' '0' '-e' '0.001'
[2023-03-19 07:59:22] [INFO ] Decomposing Gal with order
[2023-03-19 07:59:22] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-19 07:59:22] [INFO ] Removed a total of 489 redundant transitions.
[2023-03-19 07:59:22] [INFO ] Flatten gal took : 102 ms
[2023-03-19 07:59:22] [INFO ] Fuse similar labels procedure discarded/fused a total of 310 labels/synchronizations in 24 ms.
[2023-03-19 07:59:22] [INFO ] Time to serialize gal into /tmp/CTLFireability8883664999606851968.gal : 10 ms
[2023-03-19 07:59:22] [INFO ] Time to serialize properties into /tmp/CTLFireability8466532827582152189.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.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability8883664999606851968.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability8466532827582152189.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/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 SI_CTL mode, iteration 0 : 193/193 places, 1302/1302 transitions.
Graph (complete) has 1811 edges and 193 vertex of which 186 are kept as prefixes of interest. Removing 7 places using SCC suffix rule.4 ms
Discarding 7 places :
Also discarding 3 output transitions
Drop transitions removed 3 transitions
Ensure Unique test removed 1 places
Reduce places removed 2 places and 1 transitions.
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 0 with 3 rules applied. Total rules applied 4 place count 184 transition count 1295
Discarding 11 places :
Symmetric choice reduction at 1 with 11 rule applications. Total rules 15 place count 173 transition count 1130
Iterating global reduction 1 with 11 rules applied. Total rules applied 26 place count 173 transition count 1130
Ensure Unique test removed 142 transitions
Reduce isomorphic transitions removed 142 transitions.
Iterating post reduction 1 with 142 rules applied. Total rules applied 168 place count 173 transition count 988
Discarding 2 places :
Symmetric choice reduction at 2 with 2 rule applications. Total rules 170 place count 171 transition count 983
Iterating global reduction 2 with 2 rules applied. Total rules applied 172 place count 171 transition count 983
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 2 with 2 rules applied. Total rules applied 174 place count 171 transition count 981
Drop transitions removed 52 transitions
Redundant transition composition rules discarded 52 transitions
Iterating global reduction 3 with 52 rules applied. Total rules applied 226 place count 171 transition count 929
Reduce places removed 6 places and 0 transitions.
Ensure Unique test removed 26 transitions
Reduce isomorphic transitions removed 26 transitions.
Graph (complete) has 1473 edges and 165 vertex of which 164 are kept as prefixes of interest. Removing 1 places using SCC suffix rule.2 ms
Discarding 1 places :
Also discarding 1 output transitions
Drop transitions removed 1 transitions
Iterating post reduction 3 with 33 rules applied. Total rules applied 259 place count 164 transition count 902
Discarding 3 places :
Symmetric choice reduction at 4 with 3 rule applications. Total rules 262 place count 161 transition count 876
Iterating global reduction 4 with 3 rules applied. Total rules applied 265 place count 161 transition count 876
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 4 with 4 rules applied. Total rules applied 269 place count 161 transition count 872
Drop transitions removed 1 transitions
Redundant transition composition rules discarded 1 transitions
Iterating global reduction 5 with 1 rules applied. Total rules applied 270 place count 161 transition count 871
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 5 with 1 rules applied. Total rules applied 271 place count 160 transition count 871
Drop transitions removed 1 transitions
Redundant transition composition rules discarded 1 transitions
Iterating global reduction 6 with 1 rules applied. Total rules applied 272 place count 160 transition count 870
Applied a total of 272 rules in 132 ms. Remains 160 /193 variables (removed 33) and now considering 870/1302 (removed 432) transitions.
[2023-03-19 07:59:52] [INFO ] Flow matrix only has 340 transitions (discarded 530 similar events)
Normalized transition count is 339 out of 340 initially.
// Phase 1: matrix 339 rows 160 cols
[2023-03-19 07:59:52] [INFO ] Computed 1 place invariants in 2 ms
[2023-03-19 07:59:53] [INFO ] Dead Transitions using invariants and state equation in 412 ms found 0 transitions.
[2023-03-19 07:59:53] [INFO ] Flow matrix only has 340 transitions (discarded 530 similar events)
[2023-03-19 07:59:53] [INFO ] Invariant cache hit.
[2023-03-19 07:59:53] [INFO ] Implicit Places using invariants in 303 ms returned []
[2023-03-19 07:59:53] [INFO ] Flow matrix only has 340 transitions (discarded 530 similar events)
[2023-03-19 07:59:53] [INFO ] Invariant cache hit.
[2023-03-19 07:59:53] [INFO ] State equation strengthened by 153 read => feed constraints.
[2023-03-19 07:59:54] [INFO ] Implicit Places using invariants and state equation in 633 ms returned []
Implicit Place search using SMT with State Equation took 940 ms to find 0 implicit places.
[2023-03-19 07:59:55] [INFO ] Redundant transitions in 1144 ms returned [52, 54, 79, 84, 87, 95, 96, 99, 104, 106, 108, 111, 114, 117, 120, 122, 123, 124, 125, 126, 129, 131, 132, 135, 137, 140, 141, 142, 144, 145, 146, 147, 150, 152, 153, 155, 156, 158, 160, 162, 163, 164, 165, 166, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 182, 183, 193, 196, 224, 231, 320, 333, 334, 335, 336, 338, 339, 340, 341, 344, 346, 347, 353, 375, 377, 380, 385, 408, 423, 424, 425, 430, 431, 440, 441, 442, 446, 447, 448, 449, 450, 451, 457, 460, 461, 462, 463, 464, 465, 468, 470, 471, 472, 473, 475, 494, 507, 508, 516, 517, 520, 521, 522, 551, 552, 554, 556, 558, 560, 561, 563, 564, 566, 568, 577, 578, 579, 581, 609, 772, 776, 777, 779, 781, 783, 785, 787, 789, 790, 792, 793, 795, 797, 798, 800, 802, 804, 805, 807, 809, 811, 812, 813, 815, 816, 817, 819, 820, 822, 823, 825, 826, 828, 829, 831, 832, 834, 836, 837, 839, 841, 842, 843, 844, 846, 847, 848, 849, 851, 852, 853, 855, 856, 858, 859, 861, 862, 863, 864, 865, 867, 868, 869]
Found 196 redundant transitions using SMT.
Drop transitions removed 196 transitions
Redundant transitions reduction (with SMT) removed 196 transitions.
[2023-03-19 07:59:55] [INFO ] Flow matrix only has 245 transitions (discarded 429 similar events)
Normalized transition count is 244 out of 245 initially.
// Phase 1: matrix 244 rows 160 cols
[2023-03-19 07:59:55] [INFO ] Computed 1 place invariants in 2 ms
[2023-03-19 07:59:55] [INFO ] Dead Transitions using invariants and state equation in 317 ms found 0 transitions.
Starting structural reductions in SI_CTL mode, iteration 1 : 160/193 places, 674/1302 transitions.
Graph (complete) has 1318 edges and 160 vertex of which 157 are kept as prefixes of interest. Removing 3 places using SCC suffix rule.3 ms
Discarding 3 places :
Also discarding 0 output transitions
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 0 with 2 rules applied. Total rules applied 3 place count 157 transition count 672
Discarding 1 places :
Symmetric choice reduction at 1 with 1 rule applications. Total rules 4 place count 156 transition count 670
Iterating global reduction 1 with 1 rules applied. Total rules applied 5 place count 156 transition count 670
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 6 place count 156 transition count 669
Drop transitions removed 6 transitions
Redundant transition composition rules discarded 6 transitions
Iterating global reduction 2 with 6 rules applied. Total rules applied 12 place count 156 transition count 663
Applied a total of 12 rules in 63 ms. Remains 156 /160 variables (removed 4) and now considering 663/674 (removed 11) transitions.
[2023-03-19 07:59:55] [INFO ] Flow matrix only has 238 transitions (discarded 425 similar events)
Normalized transition count is 237 out of 238 initially.
// Phase 1: matrix 237 rows 156 cols
[2023-03-19 07:59:55] [INFO ] Computed 1 place invariants in 1 ms
[2023-03-19 07:59:55] [INFO ] Implicit Places using invariants in 209 ms returned []
[2023-03-19 07:59:55] [INFO ] Flow matrix only has 238 transitions (discarded 425 similar events)
[2023-03-19 07:59:55] [INFO ] Invariant cache hit.
[2023-03-19 07:59:55] [INFO ] State equation strengthened by 113 read => feed constraints.
[2023-03-19 07:59:56] [INFO ] Implicit Places using invariants and state equation in 598 ms returned []
Implicit Place search using SMT with State Equation took 814 ms to find 0 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 156/193 places, 663/1302 transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 3854 ms. Remains : 156/193 places, 663/1302 transitions.
[2023-03-19 07:59:56] [INFO ] Flatten gal took : 28 ms
[2023-03-19 07:59:56] [INFO ] Flatten gal took : 35 ms
[2023-03-19 07:59:56] [INFO ] Input system was already deterministic with 663 transitions.
[2023-03-19 07:59:56] [INFO ] Flatten gal took : 36 ms
[2023-03-19 07:59:56] [INFO ] Flatten gal took : 37 ms
[2023-03-19 07:59:56] [INFO ] Time to serialize gal into /tmp/CTLFireability14827131413753188610.gal : 6 ms
[2023-03-19 07:59:56] [INFO ] Time to serialize properties into /tmp/CTLFireability12255623922292218352.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.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability14827131413753188610.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability12255623922292218352.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/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.
[2023-03-19 08:00:26] [INFO ] Flatten gal took : 19 ms
[2023-03-19 08:00:26] [INFO ] Applying decomposition
[2023-03-19 08:00:26] [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.202303021504/bin/convert-linux64' '-i' '/tmp/graph14403792778779907885.txt' '-o' '/tmp/graph14403792778779907885.bin' '-w' '/tmp/graph14403792778779907885.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph14403792778779907885.bin' '-l' '-1' '-v' '-w' '/tmp/graph14403792778779907885.weights' '-q' '0' '-e' '0.001'
[2023-03-19 08:00:26] [INFO ] Decomposing Gal with order
[2023-03-19 08:00:26] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-19 08:00:26] [INFO ] Removed a total of 481 redundant transitions.
[2023-03-19 08:00:26] [INFO ] Flatten gal took : 43 ms
[2023-03-19 08:00:26] [INFO ] Fuse similar labels procedure discarded/fused a total of 228 labels/synchronizations in 11 ms.
[2023-03-19 08:00:26] [INFO ] Time to serialize gal into /tmp/CTLFireability13805928692887681024.gal : 7 ms
[2023-03-19 08:00:26] [INFO ] Time to serialize properties into /tmp/CTLFireability9980275908874642794.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.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability13805928692887681024.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability9980275908874642794.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/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 : 193/193 places, 1302/1302 transitions.
Ensure Unique test removed 1 places
Iterating post reduction 0 with 1 rules applied. Total rules applied 1 place count 192 transition count 1302
Discarding 7 places :
Symmetric choice reduction at 1 with 7 rule applications. Total rules 8 place count 185 transition count 1158
Iterating global reduction 1 with 7 rules applied. Total rules applied 15 place count 185 transition count 1158
Ensure Unique test removed 123 transitions
Reduce isomorphic transitions removed 123 transitions.
Iterating post reduction 1 with 123 rules applied. Total rules applied 138 place count 185 transition count 1035
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 139 place count 184 transition count 1031
Iterating global reduction 2 with 1 rules applied. Total rules applied 140 place count 184 transition count 1031
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 141 place count 184 transition count 1030
Drop transitions removed 2 transitions
Redundant transition composition rules discarded 2 transitions
Iterating global reduction 3 with 2 rules applied. Total rules applied 143 place count 184 transition count 1028
Applied a total of 143 rules in 31 ms. Remains 184 /193 variables (removed 9) and now considering 1028/1302 (removed 274) transitions.
[2023-03-19 08:00:57] [INFO ] Flow matrix only has 387 transitions (discarded 641 similar events)
Normalized transition count is 386 out of 387 initially.
// Phase 1: matrix 386 rows 184 cols
[2023-03-19 08:00:57] [INFO ] Computed 2 place invariants in 2 ms
[2023-03-19 08:00:57] [INFO ] Dead Transitions using invariants and state equation in 698 ms found 0 transitions.
[2023-03-19 08:00:57] [INFO ] Flow matrix only has 387 transitions (discarded 641 similar events)
[2023-03-19 08:00:57] [INFO ] Invariant cache hit.
[2023-03-19 08:00:58] [INFO ] Implicit Places using invariants in 345 ms returned []
[2023-03-19 08:00:58] [INFO ] Flow matrix only has 387 transitions (discarded 641 similar events)
[2023-03-19 08:00:58] [INFO ] Invariant cache hit.
[2023-03-19 08:00:58] [INFO ] State equation strengthened by 176 read => feed constraints.
[2023-03-19 08:00:59] [INFO ] Implicit Places using invariants and state equation in 941 ms returned []
Implicit Place search using SMT with State Equation took 1297 ms to find 0 implicit places.
[2023-03-19 08:00:59] [INFO ] Flow matrix only has 387 transitions (discarded 641 similar events)
[2023-03-19 08:00:59] [INFO ] Invariant cache hit.
[2023-03-19 08:00:59] [INFO ] Dead Transitions using invariants and state equation in 720 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 184/193 places, 1028/1302 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 2749 ms. Remains : 184/193 places, 1028/1302 transitions.
[2023-03-19 08:00:59] [INFO ] Flatten gal took : 35 ms
[2023-03-19 08:00:59] [INFO ] Flatten gal took : 26 ms
[2023-03-19 08:00:59] [INFO ] Input system was already deterministic with 1028 transitions.
[2023-03-19 08:00:59] [INFO ] Flatten gal took : 24 ms
[2023-03-19 08:01:00] [INFO ] Flatten gal took : 25 ms
[2023-03-19 08:01:00] [INFO ] Time to serialize gal into /tmp/CTLFireability4882785945091813213.gal : 7 ms
[2023-03-19 08:01:00] [INFO ] Time to serialize properties into /tmp/CTLFireability1641631487781978995.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.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability4882785945091813213.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability1641631487781978995.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/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.
[2023-03-19 08:01:30] [INFO ] Flatten gal took : 33 ms
[2023-03-19 08:01:30] [INFO ] Applying decomposition
[2023-03-19 08:01:30] [INFO ] Flatten gal took : 23 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph16811079677594924774.txt' '-o' '/tmp/graph16811079677594924774.bin' '-w' '/tmp/graph16811079677594924774.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph16811079677594924774.bin' '-l' '-1' '-v' '-w' '/tmp/graph16811079677594924774.weights' '-q' '0' '-e' '0.001'
[2023-03-19 08:01:30] [INFO ] Decomposing Gal with order
[2023-03-19 08:01:30] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-19 08:01:30] [INFO ] Removed a total of 958 redundant transitions.
[2023-03-19 08:01:30] [INFO ] Flatten gal took : 90 ms
[2023-03-19 08:01:30] [INFO ] Fuse similar labels procedure discarded/fused a total of 420 labels/synchronizations in 18 ms.
[2023-03-19 08:01:30] [INFO ] Time to serialize gal into /tmp/CTLFireability15931663240181486532.gal : 6 ms
[2023-03-19 08:01:30] [INFO ] Time to serialize properties into /tmp/CTLFireability3980542353583529536.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.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability15931663240181486532.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3980542353583529536.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/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 : 193/193 places, 1302/1302 transitions.
Reduce places removed 1 places and 0 transitions.
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 0 with 4 rules applied. Total rules applied 4 place count 192 transition count 1299
Discarding 8 places :
Symmetric choice reduction at 1 with 8 rule applications. Total rules 12 place count 184 transition count 1172
Iterating global reduction 1 with 8 rules applied. Total rules applied 20 place count 184 transition count 1172
Ensure Unique test removed 132 transitions
Reduce isomorphic transitions removed 132 transitions.
Iterating post reduction 1 with 132 rules applied. Total rules applied 152 place count 184 transition count 1040
Drop transitions removed 50 transitions
Redundant transition composition rules discarded 50 transitions
Iterating global reduction 2 with 50 rules applied. Total rules applied 202 place count 184 transition count 990
Reduce places removed 2 places and 0 transitions.
Ensure Unique test removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 2 with 9 rules applied. Total rules applied 211 place count 182 transition count 983
Discarding 1 places :
Symmetric choice reduction at 3 with 1 rule applications. Total rules 212 place count 181 transition count 959
Iterating global reduction 3 with 1 rules applied. Total rules applied 213 place count 181 transition count 959
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 3 with 2 rules applied. Total rules applied 215 place count 181 transition count 957
Applied a total of 215 rules in 35 ms. Remains 181 /193 variables (removed 12) and now considering 957/1302 (removed 345) transitions.
[2023-03-19 08:02:00] [INFO ] Flow matrix only has 369 transitions (discarded 588 similar events)
Normalized transition count is 368 out of 369 initially.
// Phase 1: matrix 368 rows 181 cols
[2023-03-19 08:02:00] [INFO ] Computed 3 place invariants in 1 ms
[2023-03-19 08:02:01] [INFO ] Dead Transitions using invariants and state equation in 525 ms found 0 transitions.
[2023-03-19 08:02:01] [INFO ] Flow matrix only has 369 transitions (discarded 588 similar events)
[2023-03-19 08:02:01] [INFO ] Invariant cache hit.
[2023-03-19 08:02:01] [INFO ] Implicit Places using invariants in 198 ms returned []
[2023-03-19 08:02:01] [INFO ] Flow matrix only has 369 transitions (discarded 588 similar events)
[2023-03-19 08:02:01] [INFO ] Invariant cache hit.
[2023-03-19 08:02:01] [INFO ] State equation strengthened by 168 read => feed constraints.
[2023-03-19 08:02:01] [INFO ] Implicit Places using invariants and state equation in 680 ms returned []
Implicit Place search using SMT with State Equation took 882 ms to find 0 implicit places.
[2023-03-19 08:02:01] [INFO ] Flow matrix only has 369 transitions (discarded 588 similar events)
[2023-03-19 08:02:01] [INFO ] Invariant cache hit.
[2023-03-19 08:02:02] [INFO ] Dead Transitions using invariants and state equation in 650 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 181/193 places, 957/1302 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 2096 ms. Remains : 181/193 places, 957/1302 transitions.
[2023-03-19 08:02:02] [INFO ] Flatten gal took : 20 ms
[2023-03-19 08:02:02] [INFO ] Flatten gal took : 25 ms
[2023-03-19 08:02:02] [INFO ] Input system was already deterministic with 957 transitions.
[2023-03-19 08:02:02] [INFO ] Flatten gal took : 24 ms
[2023-03-19 08:02:02] [INFO ] Flatten gal took : 26 ms
[2023-03-19 08:02:02] [INFO ] Time to serialize gal into /tmp/CTLFireability8675649578633198965.gal : 5 ms
[2023-03-19 08:02:02] [INFO ] Time to serialize properties into /tmp/CTLFireability7948049371817875963.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.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability8675649578633198965.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability7948049371817875963.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/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.
[2023-03-19 08:02:32] [INFO ] Flatten gal took : 21 ms
[2023-03-19 08:02:32] [INFO ] Applying decomposition
[2023-03-19 08:02:32] [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.202303021504/bin/convert-linux64' '-i' '/tmp/graph13587059230920052779.txt' '-o' '/tmp/graph13587059230920052779.bin' '-w' '/tmp/graph13587059230920052779.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph13587059230920052779.bin' '-l' '-1' '-v' '-w' '/tmp/graph13587059230920052779.weights' '-q' '0' '-e' '0.001'
[2023-03-19 08:02:32] [INFO ] Decomposing Gal with order
[2023-03-19 08:02:32] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-19 08:02:33] [INFO ] Removed a total of 872 redundant transitions.
[2023-03-19 08:02:33] [INFO ] Flatten gal took : 83 ms
[2023-03-19 08:02:33] [INFO ] Fuse similar labels procedure discarded/fused a total of 369 labels/synchronizations in 44 ms.
[2023-03-19 08:02:33] [INFO ] Time to serialize gal into /tmp/CTLFireability15675840877499503240.gal : 20 ms
[2023-03-19 08:02:33] [INFO ] Time to serialize properties into /tmp/CTLFireability16991150901338272419.ctl : 2 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.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability15675840877499503240.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability16991150901338272419.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...264
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 193/193 places, 1302/1302 transitions.
Ensure Unique test removed 1 places
Reduce places removed 2 places and 0 transitions.
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 0 with 5 rules applied. Total rules applied 5 place count 191 transition count 1299
Discarding 10 places :
Symmetric choice reduction at 1 with 10 rule applications. Total rules 15 place count 181 transition count 1135
Iterating global reduction 1 with 10 rules applied. Total rules applied 25 place count 181 transition count 1135
Ensure Unique test removed 142 transitions
Reduce isomorphic transitions removed 142 transitions.
Iterating post reduction 1 with 142 rules applied. Total rules applied 167 place count 181 transition count 993
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 168 place count 180 transition count 989
Iterating global reduction 2 with 1 rules applied. Total rules applied 169 place count 180 transition count 989
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 170 place count 180 transition count 988
Drop transitions removed 50 transitions
Redundant transition composition rules discarded 50 transitions
Iterating global reduction 3 with 50 rules applied. Total rules applied 220 place count 180 transition count 938
Reduce places removed 5 places and 0 transitions.
Ensure Unique test removed 26 transitions
Reduce isomorphic transitions removed 26 transitions.
Iterating post reduction 3 with 31 rules applied. Total rules applied 251 place count 175 transition count 912
Discarding 2 places :
Symmetric choice reduction at 4 with 2 rule applications. Total rules 253 place count 173 transition count 887
Iterating global reduction 4 with 2 rules applied. Total rules applied 255 place count 173 transition count 887
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 4 with 3 rules applied. Total rules applied 258 place count 173 transition count 884
Applied a total of 258 rules in 24 ms. Remains 173 /193 variables (removed 20) and now considering 884/1302 (removed 418) transitions.
[2023-03-19 08:03:03] [INFO ] Flow matrix only has 352 transitions (discarded 532 similar events)
Normalized transition count is 351 out of 352 initially.
// Phase 1: matrix 351 rows 173 cols
[2023-03-19 08:03:03] [INFO ] Computed 2 place invariants in 2 ms
[2023-03-19 08:03:03] [INFO ] Dead Transitions using invariants and state equation in 421 ms found 0 transitions.
[2023-03-19 08:03:03] [INFO ] Flow matrix only has 352 transitions (discarded 532 similar events)
[2023-03-19 08:03:03] [INFO ] Invariant cache hit.
[2023-03-19 08:03:03] [INFO ] Implicit Places using invariants in 248 ms returned []
[2023-03-19 08:03:03] [INFO ] Flow matrix only has 352 transitions (discarded 532 similar events)
[2023-03-19 08:03:03] [INFO ] Invariant cache hit.
[2023-03-19 08:03:04] [INFO ] State equation strengthened by 161 read => feed constraints.
[2023-03-19 08:03:04] [INFO ] Implicit Places using invariants and state equation in 888 ms returned []
Implicit Place search using SMT with State Equation took 1143 ms to find 0 implicit places.
[2023-03-19 08:03:04] [INFO ] Flow matrix only has 352 transitions (discarded 532 similar events)
[2023-03-19 08:03:04] [INFO ] Invariant cache hit.
[2023-03-19 08:03:05] [INFO ] Dead Transitions using invariants and state equation in 659 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 173/193 places, 884/1302 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 2273 ms. Remains : 173/193 places, 884/1302 transitions.
[2023-03-19 08:03:05] [INFO ] Flatten gal took : 27 ms
[2023-03-19 08:03:05] [INFO ] Flatten gal took : 19 ms
[2023-03-19 08:03:05] [INFO ] Input system was already deterministic with 884 transitions.
[2023-03-19 08:03:05] [INFO ] Flatten gal took : 28 ms
[2023-03-19 08:03:05] [INFO ] Flatten gal took : 19 ms
[2023-03-19 08:03:05] [INFO ] Time to serialize gal into /tmp/CTLFireability3436597304818993934.gal : 5 ms
[2023-03-19 08:03:05] [INFO ] Time to serialize properties into /tmp/CTLFireability1944280483984113117.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.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability3436597304818993934.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability1944280483984113117.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/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.
[2023-03-19 08:03:35] [INFO ] Flatten gal took : 21 ms
[2023-03-19 08:03:35] [INFO ] Applying decomposition
[2023-03-19 08:03:35] [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.202303021504/bin/convert-linux64' '-i' '/tmp/graph3478667103342890972.txt' '-o' '/tmp/graph3478667103342890972.bin' '-w' '/tmp/graph3478667103342890972.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph3478667103342890972.bin' '-l' '-1' '-v' '-w' '/tmp/graph3478667103342890972.weights' '-q' '0' '-e' '0.001'
[2023-03-19 08:03:35] [INFO ] Decomposing Gal with order
[2023-03-19 08:03:35] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-19 08:03:35] [INFO ] Removed a total of 681 redundant transitions.
[2023-03-19 08:03:35] [INFO ] Flatten gal took : 44 ms
[2023-03-19 08:03:35] [INFO ] Fuse similar labels procedure discarded/fused a total of 334 labels/synchronizations in 10 ms.
[2023-03-19 08:03:35] [INFO ] Time to serialize gal into /tmp/CTLFireability7611578378208198941.gal : 7 ms
[2023-03-19 08:03:35] [INFO ] Time to serialize properties into /tmp/CTLFireability4928001921023387263.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.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability7611578378208198941.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability4928001921023387263.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/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 SI_CTL mode, iteration 0 : 193/193 places, 1302/1302 transitions.
Graph (complete) has 1811 edges and 193 vertex of which 186 are kept as prefixes of interest. Removing 7 places using SCC suffix rule.3 ms
Discarding 7 places :
Also discarding 3 output transitions
Drop transitions removed 3 transitions
Ensure Unique test removed 1 places
Reduce places removed 2 places and 1 transitions.
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 0 with 3 rules applied. Total rules applied 4 place count 184 transition count 1295
Discarding 10 places :
Symmetric choice reduction at 1 with 10 rule applications. Total rules 14 place count 174 transition count 1138
Iterating global reduction 1 with 10 rules applied. Total rules applied 24 place count 174 transition count 1138
Ensure Unique test removed 46 transitions
Reduce isomorphic transitions removed 46 transitions.
Iterating post reduction 1 with 46 rules applied. Total rules applied 70 place count 174 transition count 1092
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 71 place count 173 transition count 1091
Iterating global reduction 2 with 1 rules applied. Total rules applied 72 place count 173 transition count 1091
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 73 place count 173 transition count 1090
Drop transitions removed 52 transitions
Redundant transition composition rules discarded 52 transitions
Iterating global reduction 3 with 52 rules applied. Total rules applied 125 place count 173 transition count 1038
Reduce places removed 6 places and 0 transitions.
Ensure Unique test removed 26 transitions
Reduce isomorphic transitions removed 26 transitions.
Graph (complete) has 1507 edges and 167 vertex of which 166 are kept as prefixes of interest. Removing 1 places using SCC suffix rule.2 ms
Discarding 1 places :
Also discarding 1 output transitions
Drop transitions removed 1 transitions
Iterating post reduction 3 with 33 rules applied. Total rules applied 158 place count 166 transition count 1011
Discarding 3 places :
Symmetric choice reduction at 4 with 3 rule applications. Total rules 161 place count 163 transition count 985
Iterating global reduction 4 with 3 rules applied. Total rules applied 164 place count 163 transition count 985
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 4 with 4 rules applied. Total rules applied 168 place count 163 transition count 981
Drop transitions removed 1 transitions
Redundant transition composition rules discarded 1 transitions
Iterating global reduction 5 with 1 rules applied. Total rules applied 169 place count 163 transition count 980
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 5 with 1 rules applied. Total rules applied 170 place count 162 transition count 980
Drop transitions removed 1 transitions
Redundant transition composition rules discarded 1 transitions
Iterating global reduction 6 with 1 rules applied. Total rules applied 171 place count 162 transition count 979
Applied a total of 171 rules in 195 ms. Remains 162 /193 variables (removed 31) and now considering 979/1302 (removed 323) transitions.
[2023-03-19 08:04:06] [INFO ] Flow matrix only has 347 transitions (discarded 632 similar events)
Normalized transition count is 346 out of 347 initially.
// Phase 1: matrix 346 rows 162 cols
[2023-03-19 08:04:06] [INFO ] Computed 1 place invariants in 1 ms
[2023-03-19 08:04:06] [INFO ] Dead Transitions using invariants and state equation in 539 ms found 0 transitions.
[2023-03-19 08:04:06] [INFO ] Flow matrix only has 347 transitions (discarded 632 similar events)
[2023-03-19 08:04:06] [INFO ] Invariant cache hit.
[2023-03-19 08:04:07] [INFO ] Implicit Places using invariants in 283 ms returned []
[2023-03-19 08:04:07] [INFO ] Flow matrix only has 347 transitions (discarded 632 similar events)
[2023-03-19 08:04:07] [INFO ] Invariant cache hit.
[2023-03-19 08:04:07] [INFO ] State equation strengthened by 159 read => feed constraints.
[2023-03-19 08:04:07] [INFO ] Implicit Places using invariants and state equation in 751 ms returned []
Implicit Place search using SMT with State Equation took 1046 ms to find 0 implicit places.
[2023-03-19 08:04:09] [INFO ] Redundant transitions in 1430 ms returned [53, 55, 80, 85, 88, 96, 97, 100, 105, 107, 109, 112, 115, 118, 121, 123, 124, 125, 126, 127, 130, 132, 133, 136, 138, 141, 142, 143, 145, 146, 147, 148, 151, 153, 154, 156, 157, 159, 161, 163, 164, 165, 166, 167, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 183, 184, 194, 197, 225, 232, 321, 334, 335, 336, 337, 339, 340, 341, 342, 345, 347, 348, 354, 376, 378, 381, 386, 409, 424, 425, 426, 432, 433, 442, 443, 444, 450, 451, 452, 453, 454, 455, 461, 465, 466, 467, 468, 469, 470, 473, 475, 476, 477, 478, 480, 500, 516, 517, 528, 529, 533, 534, 535, 564, 565, 567, 569, 571, 573, 574, 576, 577, 579, 581, 590, 591, 592, 594, 622, 783, 787, 788, 790, 792, 794, 796, 798, 801, 803, 804, 806, 807, 809, 811, 812, 814, 816, 818, 819, 821, 823, 825, 827, 828, 830, 832, 834, 836, 838, 839, 841, 842, 843, 845, 846, 848, 849, 851, 852, 854, 855, 857, 858, 860, 862, 863, 865, 867, 868, 870, 871, 873, 874, 876, 878, 879, 881, 883, 885, 886, 888, 890, 892, 893, 894, 895, 897, 898, 899, 900, 902, 903, 904, 906, 907, 909, 910, 912, 913, 914, 916, 917, 918, 920, 921, 923, 924, 926, 927, 929, 930, 932, 933, 935, 937, 938, 940, 942, 943, 944, 945, 946, 948, 949, 950, 951, 952, 954, 955, 956, 957, 959, 960, 961, 963, 964, 966, 967, 969, 970, 971, 972, 973, 974, 976, 977, 978]
Found 260 redundant transitions using SMT.
Drop transitions removed 260 transitions
Redundant transitions reduction (with SMT) removed 260 transitions.
[2023-03-19 08:04:09] [INFO ] Flow matrix only has 248 transitions (discarded 471 similar events)
Normalized transition count is 247 out of 248 initially.
// Phase 1: matrix 247 rows 162 cols
[2023-03-19 08:04:09] [INFO ] Computed 1 place invariants in 1 ms
[2023-03-19 08:04:09] [INFO ] Dead Transitions using invariants and state equation in 372 ms found 0 transitions.
Starting structural reductions in SI_CTL mode, iteration 1 : 162/193 places, 719/1302 transitions.
Graph (complete) has 1352 edges and 162 vertex of which 159 are kept as prefixes of interest. Removing 3 places using SCC suffix rule.1 ms
Discarding 3 places :
Also discarding 0 output transitions
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 0 with 2 rules applied. Total rules applied 3 place count 159 transition count 717
Discarding 1 places :
Symmetric choice reduction at 1 with 1 rule applications. Total rules 4 place count 158 transition count 715
Iterating global reduction 1 with 1 rules applied. Total rules applied 5 place count 158 transition count 715
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 6 place count 158 transition count 714
Drop transitions removed 6 transitions
Redundant transition composition rules discarded 6 transitions
Iterating global reduction 2 with 6 rules applied. Total rules applied 12 place count 158 transition count 708
Applied a total of 12 rules in 42 ms. Remains 158 /162 variables (removed 4) and now considering 708/719 (removed 11) transitions.
[2023-03-19 08:04:09] [INFO ] Flow matrix only has 241 transitions (discarded 467 similar events)
Normalized transition count is 240 out of 241 initially.
// Phase 1: matrix 240 rows 158 cols
[2023-03-19 08:04:09] [INFO ] Computed 1 place invariants in 2 ms
[2023-03-19 08:04:09] [INFO ] Implicit Places using invariants in 272 ms returned []
[2023-03-19 08:04:09] [INFO ] Flow matrix only has 241 transitions (discarded 467 similar events)
[2023-03-19 08:04:09] [INFO ] Invariant cache hit.
[2023-03-19 08:04:10] [INFO ] State equation strengthened by 115 read => feed constraints.
[2023-03-19 08:04:10] [INFO ] Implicit Places using invariants and state equation in 684 ms returned []
Implicit Place search using SMT with State Equation took 959 ms to find 0 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 158/193 places, 708/1302 transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 4595 ms. Remains : 158/193 places, 708/1302 transitions.
[2023-03-19 08:04:10] [INFO ] Flatten gal took : 14 ms
[2023-03-19 08:04:10] [INFO ] Flatten gal took : 16 ms
[2023-03-19 08:04:10] [INFO ] Input system was already deterministic with 708 transitions.
[2023-03-19 08:04:10] [INFO ] Flatten gal took : 15 ms
[2023-03-19 08:04:10] [INFO ] Flatten gal took : 16 ms
[2023-03-19 08:04:10] [INFO ] Time to serialize gal into /tmp/CTLFireability1393123422964012036.gal : 3 ms
[2023-03-19 08:04:10] [INFO ] Time to serialize properties into /tmp/CTLFireability4729659506112394625.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.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability1393123422964012036.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability4729659506112394625.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/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.
[2023-03-19 08:04:40] [INFO ] Flatten gal took : 15 ms
[2023-03-19 08:04:40] [INFO ] Applying decomposition
[2023-03-19 08:04:40] [INFO ] Flatten gal took : 15 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph5315797909832789230.txt' '-o' '/tmp/graph5315797909832789230.bin' '-w' '/tmp/graph5315797909832789230.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph5315797909832789230.bin' '-l' '-1' '-v' '-w' '/tmp/graph5315797909832789230.weights' '-q' '0' '-e' '0.001'
[2023-03-19 08:04:40] [INFO ] Decomposing Gal with order
[2023-03-19 08:04:40] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-19 08:04:40] [INFO ] Removed a total of 531 redundant transitions.
[2023-03-19 08:04:40] [INFO ] Flatten gal took : 32 ms
[2023-03-19 08:04:40] [INFO ] Fuse similar labels procedure discarded/fused a total of 284 labels/synchronizations in 7 ms.
[2023-03-19 08:04:40] [INFO ] Time to serialize gal into /tmp/CTLFireability5749348699306554093.gal : 4 ms
[2023-03-19 08:04:40] [INFO ] Time to serialize properties into /tmp/CTLFireability17610772331845532838.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.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability5749348699306554093.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability17610772331845532838.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/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 : 193/193 places, 1302/1302 transitions.
Ensure Unique test removed 1 places
Reduce places removed 2 places and 0 transitions.
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 0 with 5 rules applied. Total rules applied 5 place count 191 transition count 1299
Discarding 8 places :
Symmetric choice reduction at 1 with 8 rule applications. Total rules 13 place count 183 transition count 1195
Iterating global reduction 1 with 8 rules applied. Total rules applied 21 place count 183 transition count 1195
Ensure Unique test removed 129 transitions
Reduce isomorphic transitions removed 129 transitions.
Iterating post reduction 1 with 129 rules applied. Total rules applied 150 place count 183 transition count 1066
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 151 place count 182 transition count 1062
Iterating global reduction 2 with 1 rules applied. Total rules applied 152 place count 182 transition count 1062
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 153 place count 182 transition count 1061
Drop transitions removed 50 transitions
Redundant transition composition rules discarded 50 transitions
Iterating global reduction 3 with 50 rules applied. Total rules applied 203 place count 182 transition count 1011
Reduce places removed 5 places and 0 transitions.
Ensure Unique test removed 26 transitions
Reduce isomorphic transitions removed 26 transitions.
Iterating post reduction 3 with 31 rules applied. Total rules applied 234 place count 177 transition count 985
Discarding 2 places :
Symmetric choice reduction at 4 with 2 rule applications. Total rules 236 place count 175 transition count 960
Iterating global reduction 4 with 2 rules applied. Total rules applied 238 place count 175 transition count 960
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 4 with 3 rules applied. Total rules applied 241 place count 175 transition count 957
Applied a total of 241 rules in 22 ms. Remains 175 /193 variables (removed 18) and now considering 957/1302 (removed 345) transitions.
[2023-03-19 08:05:11] [INFO ] Flow matrix only has 360 transitions (discarded 597 similar events)
Normalized transition count is 359 out of 360 initially.
// Phase 1: matrix 359 rows 175 cols
[2023-03-19 08:05:11] [INFO ] Computed 2 place invariants in 2 ms
[2023-03-19 08:05:11] [INFO ] Dead Transitions using invariants and state equation in 431 ms found 0 transitions.
[2023-03-19 08:05:11] [INFO ] Flow matrix only has 360 transitions (discarded 597 similar events)
[2023-03-19 08:05:11] [INFO ] Invariant cache hit.
[2023-03-19 08:05:11] [INFO ] Implicit Places using invariants in 208 ms returned []
[2023-03-19 08:05:11] [INFO ] Flow matrix only has 360 transitions (discarded 597 similar events)
[2023-03-19 08:05:11] [INFO ] Invariant cache hit.
[2023-03-19 08:05:11] [INFO ] State equation strengthened by 164 read => feed constraints.
[2023-03-19 08:05:12] [INFO ] Implicit Places using invariants and state equation in 573 ms returned []
Implicit Place search using SMT with State Equation took 786 ms to find 0 implicit places.
[2023-03-19 08:05:12] [INFO ] Flow matrix only has 360 transitions (discarded 597 similar events)
[2023-03-19 08:05:12] [INFO ] Invariant cache hit.
[2023-03-19 08:05:12] [INFO ] Dead Transitions using invariants and state equation in 427 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 175/193 places, 957/1302 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 1681 ms. Remains : 175/193 places, 957/1302 transitions.
[2023-03-19 08:05:12] [INFO ] Flatten gal took : 21 ms
[2023-03-19 08:05:12] [INFO ] Flatten gal took : 24 ms
[2023-03-19 08:05:12] [INFO ] Input system was already deterministic with 957 transitions.
[2023-03-19 08:05:12] [INFO ] Flatten gal took : 23 ms
[2023-03-19 08:05:12] [INFO ] Flatten gal took : 30 ms
[2023-03-19 08:05:12] [INFO ] Time to serialize gal into /tmp/CTLFireability4113653004119382610.gal : 4 ms
[2023-03-19 08:05:12] [INFO ] Time to serialize properties into /tmp/CTLFireability16821425643196761770.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.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability4113653004119382610.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability16821425643196761770.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/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.
[2023-03-19 08:05:42] [INFO ] Flatten gal took : 21 ms
[2023-03-19 08:05:42] [INFO ] Applying decomposition
[2023-03-19 08:05:42] [INFO ] Flatten gal took : 22 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph11364612686318195331.txt' '-o' '/tmp/graph11364612686318195331.bin' '-w' '/tmp/graph11364612686318195331.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph11364612686318195331.bin' '-l' '-1' '-v' '-w' '/tmp/graph11364612686318195331.weights' '-q' '0' '-e' '0.001'
[2023-03-19 08:05:42] [INFO ] Decomposing Gal with order
[2023-03-19 08:05:42] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-19 08:05:43] [INFO ] Removed a total of 815 redundant transitions.
[2023-03-19 08:05:43] [INFO ] Flatten gal took : 86 ms
[2023-03-19 08:05:43] [INFO ] Fuse similar labels procedure discarded/fused a total of 351 labels/synchronizations in 42 ms.
[2023-03-19 08:05:43] [INFO ] Time to serialize gal into /tmp/CTLFireability4214772650460369993.gal : 8 ms
[2023-03-19 08:05:43] [INFO ] Time to serialize properties into /tmp/CTLFireability14038010277719184759.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.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability4214772650460369993.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability14038010277719184759.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/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.
[2023-03-19 08:06:13] [INFO ] Flatten gal took : 29 ms
[2023-03-19 08:06:13] [INFO ] Flatten gal took : 30 ms
[2023-03-19 08:06:13] [INFO ] Applying decomposition
[2023-03-19 08:06:13] [INFO ] Flatten gal took : 30 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph6055794397414441847.txt' '-o' '/tmp/graph6055794397414441847.bin' '-w' '/tmp/graph6055794397414441847.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph6055794397414441847.bin' '-l' '-1' '-v' '-w' '/tmp/graph6055794397414441847.weights' '-q' '0' '-e' '0.001'
[2023-03-19 08:06:13] [INFO ] Decomposing Gal with order
[2023-03-19 08:06:13] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-19 08:06:13] [INFO ] Removed a total of 1176 redundant transitions.
[2023-03-19 08:06:13] [INFO ] Flatten gal took : 65 ms
[2023-03-19 08:06:13] [INFO ] Fuse similar labels procedure discarded/fused a total of 477 labels/synchronizations in 10 ms.
[2023-03-19 08:06:13] [INFO ] Time to serialize gal into /tmp/CTLFireability6303566662561205617.gal : 7 ms
[2023-03-19 08:06:13] [INFO ] Time to serialize properties into /tmp/CTLFireability2202030040239877347.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.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability6303566662561205617.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability2202030040239877347.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...262
No direction supplied, using forward translation only.
Parsed 7 CTL formulae.
Detected timeout of ITS tools.
[2023-03-19 08:28:45] [INFO ] Flatten gal took : 30 ms
[2023-03-19 08:28:45] [INFO ] Time to serialize gal into /tmp/CTLFireability17684028380526974622.gal : 5 ms
[2023-03-19 08:28:45] [INFO ] Time to serialize properties into /tmp/CTLFireability10917835737488212006.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.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability17684028380526974622.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability10917835737488212006.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 7 CTL formulae.
Detected timeout of ITS tools.
[2023-03-19 08:51:17] [INFO ] Flatten gal took : 31 ms
[2023-03-19 08:51:17] [INFO ] Input system was already deterministic with 1302 transitions.
[2023-03-19 08:51:17] [INFO ] Transformed 193 places.
[2023-03-19 08:51:17] [INFO ] Transformed 1302 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
[2023-03-19 08:51:17] [INFO ] Time to serialize gal into /tmp/CTLFireability17121238353367062253.gal : 5 ms
[2023-03-19 08:51:17] [INFO ] Time to serialize properties into /tmp/CTLFireability16124321840749977667.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.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability17121238353367062253.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability16124321840749977667.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.202303021504/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 7 CTL formulae.
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 10976460 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16082580 kB
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
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /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-S256P06"
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-5348"
echo " Executing tool itstools"
echo " Input is SemanticWebServices-PT-S256P06, 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 r357-smll-167891806400418"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/SemanticWebServices-PT-S256P06.tgz
mv SemanticWebServices-PT-S256P06 execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;