About the Execution of ITS-Tools for UtilityControlRoom-PT-Z4T4N10
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16216.535 | 3600000.00 | 3170769.00 | 189330.50 | ???F??TTTT???F?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/mcc2022-input.r276-smll-165307353200274.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2022-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itstools
Input is UtilityControlRoom-PT-Z4T4N10, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r276-smll-165307353200274
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.5M
-rw-r--r-- 1 mcc users 57K Apr 29 18:07 CTLCardinality.txt
-rw-r--r-- 1 mcc users 303K Apr 29 18:07 CTLCardinality.xml
-rw-r--r-- 1 mcc users 89K Apr 29 18:04 CTLFireability.txt
-rw-r--r-- 1 mcc users 342K Apr 29 18:04 CTLFireability.xml
-rw-r--r-- 1 mcc users 34K May 9 09:21 LTLCardinality.txt
-rw-r--r-- 1 mcc users 112K May 9 09:21 LTLCardinality.xml
-rw-r--r-- 1 mcc users 47K May 9 09:21 LTLFireability.txt
-rw-r--r-- 1 mcc users 131K May 9 09:21 LTLFireability.xml
-rw-r--r-- 1 mcc users 6.5K May 9 09:21 UpperBounds.txt
-rw-r--r-- 1 mcc users 15K May 9 09:21 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 10 09:34 equiv_col
-rw-r--r-- 1 mcc users 8 May 10 09:34 instance
-rw-r--r-- 1 mcc users 6 May 10 09:34 iscolored
-rw-r--r-- 1 mcc users 319K May 10 09:34 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 UtilityControlRoom-PT-Z4T4N10-CTLFireability-00
FORMULA_NAME UtilityControlRoom-PT-Z4T4N10-CTLFireability-01
FORMULA_NAME UtilityControlRoom-PT-Z4T4N10-CTLFireability-02
FORMULA_NAME UtilityControlRoom-PT-Z4T4N10-CTLFireability-03
FORMULA_NAME UtilityControlRoom-PT-Z4T4N10-CTLFireability-04
FORMULA_NAME UtilityControlRoom-PT-Z4T4N10-CTLFireability-05
FORMULA_NAME UtilityControlRoom-PT-Z4T4N10-CTLFireability-06
FORMULA_NAME UtilityControlRoom-PT-Z4T4N10-CTLFireability-07
FORMULA_NAME UtilityControlRoom-PT-Z4T4N10-CTLFireability-08
FORMULA_NAME UtilityControlRoom-PT-Z4T4N10-CTLFireability-09
FORMULA_NAME UtilityControlRoom-PT-Z4T4N10-CTLFireability-10
FORMULA_NAME UtilityControlRoom-PT-Z4T4N10-CTLFireability-11
FORMULA_NAME UtilityControlRoom-PT-Z4T4N10-CTLFireability-12
FORMULA_NAME UtilityControlRoom-PT-Z4T4N10-CTLFireability-13
FORMULA_NAME UtilityControlRoom-PT-Z4T4N10-CTLFireability-14
FORMULA_NAME UtilityControlRoom-PT-Z4T4N10-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1653170413611
Running Version 202205111006
[2022-05-21 22:00:15] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLFireability, -spotpath, /home/mcc/BenchKit/bin//..//ltlfilt, -z3path, /home/mcc/BenchKit/bin//..//z3/bin/z3, -yices2path, /home/mcc/BenchKit/bin//..//yices/bin/yices, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2022-05-21 22:00:15] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2022-05-21 22:00:16] [INFO ] Load time of PNML (sax parser for PT used): 286 ms
[2022-05-21 22:00:16] [INFO ] Transformed 376 places.
[2022-05-21 22:00:16] [INFO ] Transformed 750 transitions.
[2022-05-21 22:00:16] [INFO ] Parsed PT model containing 376 places and 750 transitions in 543 ms.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 85 ms.
[2022-05-21 22:00:16] [INFO ] Reduced 30 identical enabling conditions.
[2022-05-21 22:00:16] [INFO ] Reduced 30 identical enabling conditions.
[2022-05-21 22:00:16] [INFO ] Reduced 30 identical enabling conditions.
Ensure Unique test removed 160 transitions
Reduce redundant transitions removed 160 transitions.
Support contains 376 out of 376 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 376/376 places, 590/590 transitions.
Applied a total of 0 rules in 32 ms. Remains 376 /376 variables (removed 0) and now considering 590/590 (removed 0) transitions.
// Phase 1: matrix 590 rows 376 cols
[2022-05-21 22:00:16] [INFO ] Computed 23 place invariants in 54 ms
[2022-05-21 22:00:17] [INFO ] Implicit Places using invariants in 593 ms returned []
// Phase 1: matrix 590 rows 376 cols
[2022-05-21 22:00:17] [INFO ] Computed 23 place invariants in 31 ms
[2022-05-21 22:00:17] [INFO ] Implicit Places using invariants and state equation in 550 ms returned []
Implicit Place search using SMT with State Equation took 1206 ms to find 0 implicit places.
// Phase 1: matrix 590 rows 376 cols
[2022-05-21 22:00:17] [INFO ] Computed 23 place invariants in 9 ms
[2022-05-21 22:00:18] [INFO ] Dead Transitions using invariants and state equation in 784 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 376/376 places, 590/590 transitions.
Support contains 376 out of 376 places after structural reductions.
[2022-05-21 22:00:19] [INFO ] Flatten gal took : 152 ms
[2022-05-21 22:00:19] [INFO ] Flatten gal took : 118 ms
[2022-05-21 22:00:20] [INFO ] Input system was already deterministic with 590 transitions.
Incomplete random walk after 10000 steps, including 2 resets, run finished after 630 ms. (steps per millisecond=15 ) properties (out of 71) seen :70
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 29 ms. (steps per millisecond=344 ) properties (out of 1) seen :0
Running SMT prover for 1 properties.
// Phase 1: matrix 590 rows 376 cols
[2022-05-21 22:00:20] [INFO ] Computed 23 place invariants in 11 ms
[2022-05-21 22:00:21] [INFO ] [Real]Absence check using 23 positive place invariants in 26 ms returned sat
[2022-05-21 22:00:21] [INFO ] After 386ms SMT Verify possible using state equation in real domain returned unsat :0 sat :1
[2022-05-21 22:00:21] [INFO ] After 461ms SMT Verify possible using trap constraints in real domain returned unsat :0 sat :1
Attempting to minimize the solution found.
Minimization took 41 ms.
[2022-05-21 22:00:21] [INFO ] After 719ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :1
Finished Parikh walk after 26 steps, including 0 resets, run visited all 1 properties in 2 ms. (steps per millisecond=13 )
Parikh walk visited 1 properties in 3 ms.
[2022-05-21 22:00:21] [INFO ] Flatten gal took : 56 ms
[2022-05-21 22:00:22] [INFO ] Flatten gal took : 69 ms
[2022-05-21 22:00:22] [INFO ] Input system was already deterministic with 590 transitions.
Computed a total of 0 stabilizing places and 0 stable transitions
Starting structural reductions in LTL mode, iteration 0 : 376/376 places, 590/590 transitions.
Applied a total of 0 rules in 7 ms. Remains 376 /376 variables (removed 0) and now considering 590/590 (removed 0) transitions.
// Phase 1: matrix 590 rows 376 cols
[2022-05-21 22:00:22] [INFO ] Computed 23 place invariants in 9 ms
[2022-05-21 22:00:22] [INFO ] Implicit Places using invariants in 199 ms returned []
// Phase 1: matrix 590 rows 376 cols
[2022-05-21 22:00:22] [INFO ] Computed 23 place invariants in 7 ms
[2022-05-21 22:00:23] [INFO ] Implicit Places using invariants and state equation in 458 ms returned []
Implicit Place search using SMT with State Equation took 658 ms to find 0 implicit places.
// Phase 1: matrix 590 rows 376 cols
[2022-05-21 22:00:23] [INFO ] Computed 23 place invariants in 8 ms
[2022-05-21 22:00:23] [INFO ] Dead Transitions using invariants and state equation in 589 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 376/376 places, 590/590 transitions.
[2022-05-21 22:00:23] [INFO ] Flatten gal took : 39 ms
[2022-05-21 22:00:23] [INFO ] Flatten gal took : 39 ms
[2022-05-21 22:00:23] [INFO ] Input system was already deterministic with 590 transitions.
[2022-05-21 22:00:23] [INFO ] Flatten gal took : 36 ms
[2022-05-21 22:00:23] [INFO ] Flatten gal took : 36 ms
[2022-05-21 22:00:23] [INFO ] Time to serialize gal into /tmp/CTLFireability2524010428263685510.gal : 20 ms
[2022-05-21 22:00:23] [INFO ] Time to serialize properties into /tmp/CTLFireability12810033869213905613.ctl : 8 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability2524010428263685510.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability12810033869213905613.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...275
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-05-21 22:00:54] [INFO ] Flatten gal took : 43 ms
[2022-05-21 22:00:54] [INFO ] Applying decomposition
[2022-05-21 22:00:54] [INFO ] Flatten gal took : 46 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph1760147181448692704.txt' '-o' '/tmp/graph1760147181448692704.bin' '-w' '/tmp/graph1760147181448692704.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph1760147181448692704.bin' '-l' '-1' '-v' '-w' '/tmp/graph1760147181448692704.weights' '-q' '0' '-e' '0.001'
[2022-05-21 22:00:54] [INFO ] Decomposing Gal with order
[2022-05-21 22:00:54] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-21 22:00:54] [INFO ] Removed a total of 511 redundant transitions.
[2022-05-21 22:00:54] [INFO ] Flatten gal took : 221 ms
[2022-05-21 22:00:55] [INFO ] Fuse similar labels procedure discarded/fused a total of 443 labels/synchronizations in 51 ms.
[2022-05-21 22:00:55] [INFO ] Time to serialize gal into /tmp/CTLFireability18314528110421828358.gal : 14 ms
[2022-05-21 22:00:55] [INFO ] Time to serialize properties into /tmp/CTLFireability3593235120757030035.ctl : 9 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability18314528110421828358.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3593235120757030035.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...254
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 376/376 places, 590/590 transitions.
Applied a total of 0 rules in 9 ms. Remains 376 /376 variables (removed 0) and now considering 590/590 (removed 0) transitions.
// Phase 1: matrix 590 rows 376 cols
[2022-05-21 22:01:25] [INFO ] Computed 23 place invariants in 8 ms
[2022-05-21 22:01:25] [INFO ] Implicit Places using invariants in 185 ms returned []
// Phase 1: matrix 590 rows 376 cols
[2022-05-21 22:01:25] [INFO ] Computed 23 place invariants in 8 ms
[2022-05-21 22:01:25] [INFO ] Implicit Places using invariants and state equation in 474 ms returned []
Implicit Place search using SMT with State Equation took 683 ms to find 0 implicit places.
// Phase 1: matrix 590 rows 376 cols
[2022-05-21 22:01:25] [INFO ] Computed 23 place invariants in 9 ms
[2022-05-21 22:01:26] [INFO ] Dead Transitions using invariants and state equation in 687 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 376/376 places, 590/590 transitions.
[2022-05-21 22:01:26] [INFO ] Flatten gal took : 28 ms
[2022-05-21 22:01:26] [INFO ] Flatten gal took : 34 ms
[2022-05-21 22:01:26] [INFO ] Input system was already deterministic with 590 transitions.
[2022-05-21 22:01:26] [INFO ] Flatten gal took : 30 ms
[2022-05-21 22:01:26] [INFO ] Flatten gal took : 29 ms
[2022-05-21 22:01:26] [INFO ] Time to serialize gal into /tmp/CTLFireability15195562814410876309.gal : 5 ms
[2022-05-21 22:01:26] [INFO ] Time to serialize properties into /tmp/CTLFireability11303664041819206131.ctl : 4 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability15195562814410876309.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability11303664041819206131.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...276
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-05-21 22:01:56] [INFO ] Flatten gal took : 30 ms
[2022-05-21 22:01:56] [INFO ] Applying decomposition
[2022-05-21 22:01:56] [INFO ] Flatten gal took : 29 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph13763349192830762645.txt' '-o' '/tmp/graph13763349192830762645.bin' '-w' '/tmp/graph13763349192830762645.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph13763349192830762645.bin' '-l' '-1' '-v' '-w' '/tmp/graph13763349192830762645.weights' '-q' '0' '-e' '0.001'
[2022-05-21 22:01:57] [INFO ] Decomposing Gal with order
[2022-05-21 22:01:57] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-21 22:01:57] [INFO ] Removed a total of 522 redundant transitions.
[2022-05-21 22:01:57] [INFO ] Flatten gal took : 117 ms
[2022-05-21 22:01:57] [INFO ] Fuse similar labels procedure discarded/fused a total of 428 labels/synchronizations in 24 ms.
[2022-05-21 22:01:57] [INFO ] Time to serialize gal into /tmp/CTLFireability310906441906003661.gal : 10 ms
[2022-05-21 22:01:57] [INFO ] Time to serialize properties into /tmp/CTLFireability15863666435850962769.ctl : 11 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability310906441906003661.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability15863666435850962769.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...253
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 376/376 places, 590/590 transitions.
Discarding 120 places :
Symmetric choice reduction at 0 with 120 rule applications. Total rules 120 place count 256 transition count 470
Iterating global reduction 0 with 120 rules applied. Total rules applied 240 place count 256 transition count 470
Applied a total of 240 rules in 20 ms. Remains 256 /376 variables (removed 120) and now considering 470/590 (removed 120) transitions.
// Phase 1: matrix 470 rows 256 cols
[2022-05-21 22:02:27] [INFO ] Computed 23 place invariants in 3 ms
[2022-05-21 22:02:27] [INFO ] Implicit Places using invariants in 85 ms returned []
// Phase 1: matrix 470 rows 256 cols
[2022-05-21 22:02:27] [INFO ] Computed 23 place invariants in 8 ms
[2022-05-21 22:02:28] [INFO ] Implicit Places using invariants and state equation in 237 ms returned []
Implicit Place search using SMT with State Equation took 326 ms to find 0 implicit places.
// Phase 1: matrix 470 rows 256 cols
[2022-05-21 22:02:28] [INFO ] Computed 23 place invariants in 4 ms
[2022-05-21 22:02:28] [INFO ] Dead Transitions using invariants and state equation in 408 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 256/376 places, 470/590 transitions.
Finished structural reductions, in 1 iterations. Remains : 256/376 places, 470/590 transitions.
[2022-05-21 22:02:28] [INFO ] Flatten gal took : 27 ms
[2022-05-21 22:02:28] [INFO ] Flatten gal took : 55 ms
[2022-05-21 22:02:28] [INFO ] Input system was already deterministic with 470 transitions.
[2022-05-21 22:02:28] [INFO ] Flatten gal took : 49 ms
[2022-05-21 22:02:28] [INFO ] Flatten gal took : 48 ms
[2022-05-21 22:02:28] [INFO ] Time to serialize gal into /tmp/CTLFireability11723789306952148612.gal : 5 ms
[2022-05-21 22:02:28] [INFO ] Time to serialize properties into /tmp/CTLFireability7497092664653055339.ctl : 5 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability11723789306952148612.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability7497092664653055339.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...275
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-05-21 22:02:58] [INFO ] Flatten gal took : 31 ms
[2022-05-21 22:02:58] [INFO ] Applying decomposition
[2022-05-21 22:02:58] [INFO ] Flatten gal took : 22 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph16956830440413510505.txt' '-o' '/tmp/graph16956830440413510505.bin' '-w' '/tmp/graph16956830440413510505.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph16956830440413510505.bin' '-l' '-1' '-v' '-w' '/tmp/graph16956830440413510505.weights' '-q' '0' '-e' '0.001'
[2022-05-21 22:02:58] [INFO ] Decomposing Gal with order
[2022-05-21 22:02:58] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-21 22:02:59] [INFO ] Removed a total of 661 redundant transitions.
[2022-05-21 22:02:59] [INFO ] Flatten gal took : 84 ms
[2022-05-21 22:02:59] [INFO ] Fuse similar labels procedure discarded/fused a total of 88 labels/synchronizations in 21 ms.
[2022-05-21 22:02:59] [INFO ] Time to serialize gal into /tmp/CTLFireability9840346900232748578.gal : 7 ms
[2022-05-21 22:02:59] [INFO ] Time to serialize properties into /tmp/CTLFireability14045851867931172966.ctl : 9 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability9840346900232748578.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability14045851867931172966.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...254
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 : 376/376 places, 590/590 transitions.
Performed 160 Post agglomeration using F-continuation condition.Transition count delta: 160
Iterating post reduction 0 with 160 rules applied. Total rules applied 160 place count 376 transition count 430
Reduce places removed 160 places and 0 transitions.
Ensure Unique test removed 40 transitions
Reduce isomorphic transitions removed 40 transitions.
Iterating post reduction 1 with 200 rules applied. Total rules applied 360 place count 216 transition count 390
Applied a total of 360 rules in 57 ms. Remains 216 /376 variables (removed 160) and now considering 390/590 (removed 200) transitions.
// Phase 1: matrix 390 rows 216 cols
[2022-05-21 22:03:29] [INFO ] Computed 23 place invariants in 3 ms
[2022-05-21 22:03:29] [INFO ] Implicit Places using invariants in 129 ms returned [145]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 133 ms to find 1 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 215/376 places, 390/590 transitions.
Applied a total of 0 rules in 26 ms. Remains 215 /215 variables (removed 0) and now considering 390/390 (removed 0) transitions.
Finished structural reductions, in 2 iterations. Remains : 215/376 places, 390/590 transitions.
[2022-05-21 22:03:29] [INFO ] Flatten gal took : 16 ms
[2022-05-21 22:03:29] [INFO ] Flatten gal took : 25 ms
[2022-05-21 22:03:29] [INFO ] Input system was already deterministic with 390 transitions.
[2022-05-21 22:03:29] [INFO ] Flatten gal took : 20 ms
[2022-05-21 22:03:29] [INFO ] Flatten gal took : 19 ms
[2022-05-21 22:03:29] [INFO ] Time to serialize gal into /tmp/CTLFireability3501887468308614853.gal : 3 ms
[2022-05-21 22:03:29] [INFO ] Time to serialize properties into /tmp/CTLFireability13253144417877632974.ctl : 2 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability3501887468308614853.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability13253144417877632974.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...275
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,2.80265e+14,11.8184,264844,2,73016,5,1.48773e+06,6,0,1253,872544,0
Converting to forward existential form...Done !
original formula: EG(AF(((EG((((((((((((IdleTechs_2>=1)&&(OpenRequests_6_2>=1))&&(Idles>=1))||(((IdleTechs_0>=1)&&(OpenRequests_3_0>=1))&&(Idles>=1)))||(((...11808
=> equivalent forward existential formula: [FwdG(Init,!(EG(!(((EG((((((((((((IdleTechs_2>=1)&&(OpenRequests_6_2>=1))&&(Idles>=1))||(((IdleTechs_0>=1)&&(Ope...8671
Detected timeout of ITS tools.
java.io.IOException: Stream closed
at java.base/java.io.BufferedInputStream.getBufIfOpen(BufferedInputStream.java:176)
at java.base/java.io.BufferedInputStream.read(BufferedInputStream.java:342)
at java.base/sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284)
at java.base/sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326)
at java.base/sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178)
at java.base/java.io.InputStreamReader.read(InputStreamReader.java:181)
at java.base/java.io.BufferedReader.fill(BufferedReader.java:161)
at java.base/java.io.BufferedReader.readLine(BufferedReader.java:326)
at java.base/java.io.BufferedReader.readLine(BufferedReader.java:392)
at fr.lip6.move.gal.application.runner.its.ITSRunner$ITSInterpreter.run(ITSRunner.java:186)
at java.base/java.lang.Thread.run(Thread.java:829)
[2022-05-21 22:03:59] [INFO ] Flatten gal took : 15 ms
[2022-05-21 22:03:59] [INFO ] Applying decomposition
[2022-05-21 22:03:59] [INFO ] Flatten gal took : 13 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph5541800398255056507.txt' '-o' '/tmp/graph5541800398255056507.bin' '-w' '/tmp/graph5541800398255056507.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph5541800398255056507.bin' '-l' '-1' '-v' '-w' '/tmp/graph5541800398255056507.weights' '-q' '0' '-e' '0.001'
[2022-05-21 22:03:59] [INFO ] Decomposing Gal with order
[2022-05-21 22:03:59] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-21 22:04:00] [INFO ] Removed a total of 593 redundant transitions.
[2022-05-21 22:04:00] [INFO ] Flatten gal took : 36 ms
[2022-05-21 22:04:00] [INFO ] Fuse similar labels procedure discarded/fused a total of 72 labels/synchronizations in 7 ms.
[2022-05-21 22:04:00] [INFO ] Time to serialize gal into /tmp/CTLFireability658901667485209444.gal : 3 ms
[2022-05-21 22:04:00] [INFO ] Time to serialize properties into /tmp/CTLFireability1636116269908906902.ctl : 2 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability658901667485209444.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability1636116269908906902.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...252
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,2.80265e+14,0.475521,14420,801,103,19696,1005,634,35408,79,3175,0
Converting to forward existential form...Done !
original formula: EG(AF(((EG((((((((((((i4.u28.IdleTechs_2>=1)&&(i6.u34.OpenRequests_6_2>=1))&&(i5.i1.u6.Idles>=1))||(((i2.u7.IdleTechs_0>=1)&&(i0.i1.u10.O...16170
=> equivalent forward existential formula: [FwdG(Init,!(EG(!(((EG((((((((((((i4.u28.IdleTechs_2>=1)&&(i6.u34.OpenRequests_6_2>=1))&&(i5.i1.u6.Idles>=1))||(...16219
Reverse transition relation is exact ! Faster fixpoint algorithm enabled.
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Fast SCC detection found an SCC at level 6
Fast SCC detection found an SCC at level 7
Fast SCC detection found an SCC at level 8
Fast SCC detection found an SCC at level 9
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Fast SCC detection found an SCC at level 6
Fast SCC detection found an SCC at level 7
Fast SCC detection found an SCC at level 8
Fast SCC detection found an SCC at level 9
(forward)formula 0,0,3.25236,70036,1,0,131242,3155,3858,236231,315,12884,155446
FORMULA UtilityControlRoom-PT-Z4T4N10-CTLFireability-03 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
Formula is FALSE !
***************************************
Starting structural reductions in LTL mode, iteration 0 : 376/376 places, 590/590 transitions.
Discarding 120 places :
Symmetric choice reduction at 0 with 120 rule applications. Total rules 120 place count 256 transition count 470
Iterating global reduction 0 with 120 rules applied. Total rules applied 240 place count 256 transition count 470
Applied a total of 240 rules in 12 ms. Remains 256 /376 variables (removed 120) and now considering 470/590 (removed 120) transitions.
// Phase 1: matrix 470 rows 256 cols
[2022-05-21 22:04:03] [INFO ] Computed 23 place invariants in 3 ms
[2022-05-21 22:04:03] [INFO ] Implicit Places using invariants in 79 ms returned []
// Phase 1: matrix 470 rows 256 cols
[2022-05-21 22:04:03] [INFO ] Computed 23 place invariants in 3 ms
[2022-05-21 22:04:03] [INFO ] Implicit Places using invariants and state equation in 238 ms returned []
Implicit Place search using SMT with State Equation took 319 ms to find 0 implicit places.
// Phase 1: matrix 470 rows 256 cols
[2022-05-21 22:04:03] [INFO ] Computed 23 place invariants in 4 ms
[2022-05-21 22:04:04] [INFO ] Dead Transitions using invariants and state equation in 579 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 256/376 places, 470/590 transitions.
Finished structural reductions, in 1 iterations. Remains : 256/376 places, 470/590 transitions.
[2022-05-21 22:04:04] [INFO ] Flatten gal took : 23 ms
[2022-05-21 22:04:04] [INFO ] Flatten gal took : 22 ms
[2022-05-21 22:04:04] [INFO ] Input system was already deterministic with 470 transitions.
[2022-05-21 22:04:04] [INFO ] Flatten gal took : 22 ms
[2022-05-21 22:04:04] [INFO ] Flatten gal took : 22 ms
[2022-05-21 22:04:04] [INFO ] Time to serialize gal into /tmp/CTLFireability6329612817313216607.gal : 3 ms
[2022-05-21 22:04:04] [INFO ] Time to serialize properties into /tmp/CTLFireability13114003939578087142.ctl : 4 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability6329612817313216607.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability13114003939578087142.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...275
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-05-21 22:04:34] [INFO ] Flatten gal took : 23 ms
[2022-05-21 22:04:34] [INFO ] Applying decomposition
[2022-05-21 22:04:34] [INFO ] Flatten gal took : 21 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph7296994752540950853.txt' '-o' '/tmp/graph7296994752540950853.bin' '-w' '/tmp/graph7296994752540950853.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph7296994752540950853.bin' '-l' '-1' '-v' '-w' '/tmp/graph7296994752540950853.weights' '-q' '0' '-e' '0.001'
[2022-05-21 22:04:34] [INFO ] Decomposing Gal with order
[2022-05-21 22:04:34] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-21 22:04:34] [INFO ] Removed a total of 661 redundant transitions.
[2022-05-21 22:04:34] [INFO ] Flatten gal took : 60 ms
[2022-05-21 22:04:34] [INFO ] Fuse similar labels procedure discarded/fused a total of 93 labels/synchronizations in 10 ms.
[2022-05-21 22:04:34] [INFO ] Time to serialize gal into /tmp/CTLFireability3334973781605380398.gal : 4 ms
[2022-05-21 22:04:34] [INFO ] Time to serialize properties into /tmp/CTLFireability8370434528959882667.ctl : 17 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability3334973781605380398.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability8370434528959882667.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...253
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 376/376 places, 590/590 transitions.
Discarding 120 places :
Symmetric choice reduction at 0 with 120 rule applications. Total rules 120 place count 256 transition count 470
Iterating global reduction 0 with 120 rules applied. Total rules applied 240 place count 256 transition count 470
Applied a total of 240 rules in 30 ms. Remains 256 /376 variables (removed 120) and now considering 470/590 (removed 120) transitions.
// Phase 1: matrix 470 rows 256 cols
[2022-05-21 22:05:05] [INFO ] Computed 23 place invariants in 2 ms
[2022-05-21 22:05:05] [INFO ] Implicit Places using invariants in 136 ms returned []
// Phase 1: matrix 470 rows 256 cols
[2022-05-21 22:05:05] [INFO ] Computed 23 place invariants in 3 ms
[2022-05-21 22:05:05] [INFO ] Implicit Places using invariants and state equation in 308 ms returned []
Implicit Place search using SMT with State Equation took 460 ms to find 0 implicit places.
// Phase 1: matrix 470 rows 256 cols
[2022-05-21 22:05:05] [INFO ] Computed 23 place invariants in 2 ms
[2022-05-21 22:05:05] [INFO ] Dead Transitions using invariants and state equation in 396 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 256/376 places, 470/590 transitions.
Finished structural reductions, in 1 iterations. Remains : 256/376 places, 470/590 transitions.
[2022-05-21 22:05:05] [INFO ] Flatten gal took : 18 ms
[2022-05-21 22:05:05] [INFO ] Flatten gal took : 18 ms
[2022-05-21 22:05:05] [INFO ] Input system was already deterministic with 470 transitions.
[2022-05-21 22:05:05] [INFO ] Flatten gal took : 18 ms
[2022-05-21 22:05:06] [INFO ] Flatten gal took : 17 ms
[2022-05-21 22:05:06] [INFO ] Time to serialize gal into /tmp/CTLFireability15863413589283618521.gal : 3 ms
[2022-05-21 22:05:06] [INFO ] Time to serialize properties into /tmp/CTLFireability8006228754799866247.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability15863413589283618521.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability8006228754799866247.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...275
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-05-21 22:05:36] [INFO ] Flatten gal took : 17 ms
[2022-05-21 22:05:36] [INFO ] Applying decomposition
[2022-05-21 22:05:36] [INFO ] Flatten gal took : 21 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph2896555798836649199.txt' '-o' '/tmp/graph2896555798836649199.bin' '-w' '/tmp/graph2896555798836649199.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph2896555798836649199.bin' '-l' '-1' '-v' '-w' '/tmp/graph2896555798836649199.weights' '-q' '0' '-e' '0.001'
[2022-05-21 22:05:36] [INFO ] Decomposing Gal with order
[2022-05-21 22:05:36] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-21 22:05:36] [INFO ] Removed a total of 661 redundant transitions.
[2022-05-21 22:05:36] [INFO ] Flatten gal took : 54 ms
[2022-05-21 22:05:36] [INFO ] Fuse similar labels procedure discarded/fused a total of 91 labels/synchronizations in 21 ms.
[2022-05-21 22:05:36] [INFO ] Time to serialize gal into /tmp/CTLFireability3027463727852074775.gal : 5 ms
[2022-05-21 22:05:36] [INFO ] Time to serialize properties into /tmp/CTLFireability2173987201041730294.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability3027463727852074775.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability2173987201041730294.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...253
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 : 376/376 places, 590/590 transitions.
Drop transitions removed 160 transitions
Trivial Post-agglo rules discarded 160 transitions
Performed 160 trivial Post agglomeration. Transition count delta: 160
Iterating post reduction 0 with 160 rules applied. Total rules applied 160 place count 376 transition count 430
Reduce places removed 160 places and 0 transitions.
Ensure Unique test removed 40 transitions
Reduce isomorphic transitions removed 40 transitions.
Iterating post reduction 1 with 200 rules applied. Total rules applied 360 place count 216 transition count 390
Performed 40 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 40 Pre rules applied. Total rules applied 360 place count 216 transition count 350
Deduced a syphon composed of 40 places in 1 ms
Reduce places removed 40 places and 0 transitions.
Iterating global reduction 2 with 80 rules applied. Total rules applied 440 place count 176 transition count 350
Discarding 3 places :
Symmetric choice reduction at 2 with 3 rule applications. Total rules 443 place count 173 transition count 230
Iterating global reduction 2 with 3 rules applied. Total rules applied 446 place count 173 transition count 230
Discarding 30 places :
Symmetric choice reduction at 2 with 30 rule applications. Total rules 476 place count 143 transition count 200
Iterating global reduction 2 with 30 rules applied. Total rules applied 506 place count 143 transition count 200
Discarding 30 places :
Symmetric choice reduction at 2 with 30 rule applications. Total rules 536 place count 113 transition count 140
Iterating global reduction 2 with 30 rules applied. Total rules applied 566 place count 113 transition count 140
Discarding 30 places :
Symmetric choice reduction at 2 with 30 rule applications. Total rules 596 place count 83 transition count 110
Iterating global reduction 2 with 30 rules applied. Total rules applied 626 place count 83 transition count 110
Ensure Unique test removed 30 transitions
Reduce isomorphic transitions removed 30 transitions.
Iterating post reduction 2 with 30 rules applied. Total rules applied 656 place count 83 transition count 80
Performed 10 Post agglomeration using F-continuation condition.Transition count delta: 10
Deduced a syphon composed of 10 places in 0 ms
Ensure Unique test removed 1 places
Reduce places removed 11 places and 0 transitions.
Iterating global reduction 3 with 21 rules applied. Total rules applied 677 place count 72 transition count 70
Applied a total of 677 rules in 41 ms. Remains 72 /376 variables (removed 304) and now considering 70/590 (removed 520) transitions.
// Phase 1: matrix 70 rows 72 cols
[2022-05-21 22:06:06] [INFO ] Computed 22 place invariants in 0 ms
[2022-05-21 22:06:06] [INFO ] Implicit Places using invariants in 60 ms returned [41]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 61 ms to find 1 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 71/376 places, 70/590 transitions.
Performed 10 Post agglomeration using F-continuation condition.Transition count delta: 10
Deduced a syphon composed of 10 places in 0 ms
Reduce places removed 10 places and 0 transitions.
Iterating global reduction 0 with 20 rules applied. Total rules applied 20 place count 61 transition count 60
Applied a total of 20 rules in 9 ms. Remains 61 /71 variables (removed 10) and now considering 60/70 (removed 10) transitions.
// Phase 1: matrix 60 rows 61 cols
[2022-05-21 22:06:06] [INFO ] Computed 21 place invariants in 0 ms
[2022-05-21 22:06:06] [INFO ] Implicit Places using invariants in 72 ms returned []
// Phase 1: matrix 60 rows 61 cols
[2022-05-21 22:06:06] [INFO ] Computed 21 place invariants in 1 ms
[2022-05-21 22:06:06] [INFO ] Implicit Places using invariants and state equation in 92 ms returned []
Implicit Place search using SMT with State Equation took 166 ms to find 0 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 61/376 places, 60/590 transitions.
Finished structural reductions, in 2 iterations. Remains : 61/376 places, 60/590 transitions.
[2022-05-21 22:06:06] [INFO ] Flatten gal took : 4 ms
[2022-05-21 22:06:06] [INFO ] Flatten gal took : 3 ms
[2022-05-21 22:06:06] [INFO ] Input system was already deterministic with 60 transitions.
[2022-05-21 22:06:06] [INFO ] Flatten gal took : 2 ms
[2022-05-21 22:06:06] [INFO ] Flatten gal took : 2 ms
[2022-05-21 22:06:06] [INFO ] Time to serialize gal into /tmp/CTLFireability5811427267081731466.gal : 1 ms
[2022-05-21 22:06:06] [INFO ] Time to serialize properties into /tmp/CTLFireability4016225374072772262.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability5811427267081731466.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability4016225374072772262.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...274
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,2.46641e+08,0.023549,4952,2,531,5,2884,6,0,307,1812,0
Converting to forward existential form...Done !
original formula: AG(EF((((((ControlRoomDispatch_0>=1)||(ControlRoomDispatch_1>=1))||((ControlRoomDispatch_6>=1)||(ControlRoomDispatch_7>=1)))||(((ControlR...322
=> equivalent forward existential formula: [(FwdU(Init,TRUE) * !(E(TRUE U (((((ControlRoomDispatch_0>=1)||(ControlRoomDispatch_1>=1))||((ControlRoomDispatc...382
Reverse transition relation is exact ! Faster fixpoint algorithm enabled.
(forward)formula 0,1,0.108154,7764,1,0,6,20804,14,0,1383,4727,5
FORMULA UtilityControlRoom-PT-Z4T4N10-CTLFireability-06 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Formula is TRUE !
***************************************
Starting structural reductions in LTL mode, iteration 0 : 376/376 places, 590/590 transitions.
Discarding 120 places :
Symmetric choice reduction at 0 with 120 rule applications. Total rules 120 place count 256 transition count 470
Iterating global reduction 0 with 120 rules applied. Total rules applied 240 place count 256 transition count 470
Applied a total of 240 rules in 18 ms. Remains 256 /376 variables (removed 120) and now considering 470/590 (removed 120) transitions.
// Phase 1: matrix 470 rows 256 cols
[2022-05-21 22:06:06] [INFO ] Computed 23 place invariants in 3 ms
[2022-05-21 22:06:07] [INFO ] Implicit Places using invariants in 192 ms returned [185]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 196 ms to find 1 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 255/376 places, 470/590 transitions.
Applied a total of 0 rules in 6 ms. Remains 255 /255 variables (removed 0) and now considering 470/470 (removed 0) transitions.
Finished structural reductions, in 2 iterations. Remains : 255/376 places, 470/590 transitions.
[2022-05-21 22:06:07] [INFO ] Flatten gal took : 37 ms
[2022-05-21 22:06:07] [INFO ] Flatten gal took : 21 ms
[2022-05-21 22:06:07] [INFO ] Input system was already deterministic with 470 transitions.
[2022-05-21 22:06:07] [INFO ] Flatten gal took : 15 ms
[2022-05-21 22:06:07] [INFO ] Flatten gal took : 15 ms
[2022-05-21 22:06:07] [INFO ] Time to serialize gal into /tmp/CTLFireability13888328758589447355.gal : 3 ms
[2022-05-21 22:06:07] [INFO ] Time to serialize properties into /tmp/CTLFireability15319803649080539723.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability13888328758589447355.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability15319803649080539723.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...276
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,7.43735e+14,21.3569,473884,2,98968,5,2.44173e+06,6,0,1493,1.79775e+06,0
Converting to forward existential form...Done !
original formula: EX(!(E((((((Clients_0>=1)||(Clients_1>=1))||((Clients_2>=1)||(Clients_3>=1)))||(((Clients_4>=1)||(Clients_5>=1))||((Clients_6>=1)||(Clien...2886
=> equivalent forward existential formula: [(EY(Init) * !(E((((((Clients_0>=1)||(Clients_1>=1))||((Clients_2>=1)||(Clients_3>=1)))||(((Clients_4>=1)||(Clie...1209
Detected timeout of ITS tools.
java.io.IOException: Stream closed
at java.base/java.io.BufferedInputStream.getBufIfOpen(BufferedInputStream.java:176)
at java.base/java.io.BufferedInputStream.read(BufferedInputStream.java:342)
at java.base/sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284)
at java.base/sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326)
at java.base/sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178)
at java.base/java.io.InputStreamReader.read(InputStreamReader.java:181)
at java.base/java.io.BufferedReader.fill(BufferedReader.java:161)
at java.base/java.io.BufferedReader.readLine(BufferedReader.java:326)
at java.base/java.io.BufferedReader.readLine(BufferedReader.java:392)
at fr.lip6.move.gal.application.runner.its.ITSRunner$ITSInterpreter.run(ITSRunner.java:186)
at java.base/java.lang.Thread.run(Thread.java:829)
[2022-05-21 22:06:37] [INFO ] Flatten gal took : 15 ms
[2022-05-21 22:06:37] [INFO ] Applying decomposition
[2022-05-21 22:06:37] [INFO ] Flatten gal took : 22 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph12685508134848844221.txt' '-o' '/tmp/graph12685508134848844221.bin' '-w' '/tmp/graph12685508134848844221.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph12685508134848844221.bin' '-l' '-1' '-v' '-w' '/tmp/graph12685508134848844221.weights' '-q' '0' '-e' '0.001'
[2022-05-21 22:06:37] [INFO ] Decomposing Gal with order
[2022-05-21 22:06:37] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-21 22:06:37] [INFO ] Removed a total of 693 redundant transitions.
[2022-05-21 22:06:37] [INFO ] Flatten gal took : 32 ms
[2022-05-21 22:06:37] [INFO ] Fuse similar labels procedure discarded/fused a total of 70 labels/synchronizations in 8 ms.
[2022-05-21 22:06:37] [INFO ] Time to serialize gal into /tmp/CTLFireability4077942802672354295.gal : 4 ms
[2022-05-21 22:06:37] [INFO ] Time to serialize properties into /tmp/CTLFireability10092158972370883145.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability4077942802672354295.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability10092158972370883145.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...254
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,7.43735e+14,0.29449,12904,1011,55,15562,426,691,27040,35,1585,0
Converting to forward existential form...Done !
original formula: EX(!(E((((((i0.i1.u0.Clients_0>=1)||(i2.u1.Clients_1>=1))||((i1.i1.u2.Clients_2>=1)||(i4.u70.Clients_3>=1)))||(((i5.u3.Clients_4>=1)||(i8...3774
=> equivalent forward existential formula: [(EY(Init) * !(E((((((i0.i1.u0.Clients_0>=1)||(i2.u1.Clients_1>=1))||((i1.i1.u2.Clients_2>=1)||(i4.u70.Clients_3...3825
Reverse transition relation is exact ! Faster fixpoint algorithm enabled.
(forward)formula 0,1,1.03729,27540,1,0,36721,841,3915,119066,146,3748,85207
FORMULA UtilityControlRoom-PT-Z4T4N10-CTLFireability-07 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
Formula is TRUE !
***************************************
ITS tools runner thread asked to quit. Dying gracefully.
Starting structural reductions in SI_CTL mode, iteration 0 : 376/376 places, 590/590 transitions.
Drop transitions removed 159 transitions
Trivial Post-agglo rules discarded 159 transitions
Performed 159 trivial Post agglomeration. Transition count delta: 159
Iterating post reduction 0 with 159 rules applied. Total rules applied 159 place count 376 transition count 431
Reduce places removed 159 places and 0 transitions.
Ensure Unique test removed 40 transitions
Reduce isomorphic transitions removed 40 transitions.
Iterating post reduction 1 with 199 rules applied. Total rules applied 358 place count 217 transition count 391
Performed 40 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 40 Pre rules applied. Total rules applied 358 place count 217 transition count 351
Deduced a syphon composed of 40 places in 1 ms
Reduce places removed 40 places and 0 transitions.
Iterating global reduction 2 with 80 rules applied. Total rules applied 438 place count 177 transition count 351
Discarding 2 places :
Symmetric choice reduction at 2 with 2 rule applications. Total rules 440 place count 175 transition count 271
Iterating global reduction 2 with 2 rules applied. Total rules applied 442 place count 175 transition count 271
Discarding 20 places :
Symmetric choice reduction at 2 with 20 rule applications. Total rules 462 place count 155 transition count 251
Iterating global reduction 2 with 20 rules applied. Total rules applied 482 place count 155 transition count 251
Discarding 20 places :
Symmetric choice reduction at 2 with 20 rule applications. Total rules 502 place count 135 transition count 211
Iterating global reduction 2 with 20 rules applied. Total rules applied 522 place count 135 transition count 211
Discarding 19 places :
Symmetric choice reduction at 2 with 19 rule applications. Total rules 541 place count 116 transition count 173
Iterating global reduction 2 with 19 rules applied. Total rules applied 560 place count 116 transition count 173
Ensure Unique test removed 19 transitions
Reduce isomorphic transitions removed 19 transitions.
Iterating post reduction 2 with 19 rules applied. Total rules applied 579 place count 116 transition count 154
Performed 10 Post agglomeration using F-continuation condition.Transition count delta: 10
Deduced a syphon composed of 10 places in 0 ms
Reduce places removed 10 places and 0 transitions.
Iterating global reduction 3 with 20 rules applied. Total rules applied 599 place count 106 transition count 144
Performed 10 Post agglomeration using F-continuation condition.Transition count delta: 10
Deduced a syphon composed of 10 places in 0 ms
Reduce places removed 11 places and 0 transitions.
Iterating global reduction 3 with 21 rules applied. Total rules applied 620 place count 95 transition count 134
Performed 20 Post agglomeration using F-continuation condition.Transition count delta: 20
Deduced a syphon composed of 20 places in 0 ms
Reduce places removed 20 places and 0 transitions.
Iterating global reduction 3 with 40 rules applied. Total rules applied 660 place count 75 transition count 114
Applied a total of 660 rules in 53 ms. Remains 75 /376 variables (removed 301) and now considering 114/590 (removed 476) transitions.
// Phase 1: matrix 114 rows 75 cols
[2022-05-21 22:06:38] [INFO ] Computed 22 place invariants in 0 ms
[2022-05-21 22:06:38] [INFO ] Implicit Places using invariants in 83 ms returned [54]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 98 ms to find 1 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 74/376 places, 114/590 transitions.
Applied a total of 0 rules in 8 ms. Remains 74 /74 variables (removed 0) and now considering 114/114 (removed 0) transitions.
Finished structural reductions, in 2 iterations. Remains : 74/376 places, 114/590 transitions.
[2022-05-21 22:06:38] [INFO ] Flatten gal took : 5 ms
[2022-05-21 22:06:38] [INFO ] Flatten gal took : 6 ms
[2022-05-21 22:06:38] [INFO ] Input system was already deterministic with 114 transitions.
[2022-05-21 22:06:38] [INFO ] Flatten gal took : 7 ms
[2022-05-21 22:06:38] [INFO ] Flatten gal took : 6 ms
[2022-05-21 22:06:38] [INFO ] Time to serialize gal into /tmp/CTLFireability11570322986844378841.gal : 2 ms
[2022-05-21 22:06:38] [INFO ] Time to serialize properties into /tmp/CTLFireability9697738878362151343.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability11570322986844378841.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability9697738878362151343.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...275
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,1.69977e+10,0.057121,5156,2,487,5,4226,6,0,413,2462,0
Converting to forward existential form...Done !
original formula: EF(EG((MovetoZ_5_3_2<1)))
=> equivalent forward existential formula: [FwdG(FwdU(Init,TRUE),(MovetoZ_5_3_2<1))] != FALSE
Hit Full ! (commute/partial/dont) 112/0/2
(forward)formula 0,1,0.215284,8880,1,0,6,25441,19,0,2119,7911,8
FORMULA UtilityControlRoom-PT-Z4T4N10-CTLFireability-08 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Formula is TRUE !
***************************************
Starting structural reductions in SI_CTL mode, iteration 0 : 376/376 places, 590/590 transitions.
Performed 158 Post agglomeration using F-continuation condition.Transition count delta: 158
Iterating post reduction 0 with 158 rules applied. Total rules applied 158 place count 376 transition count 432
Reduce places removed 158 places and 0 transitions.
Ensure Unique test removed 38 transitions
Reduce isomorphic transitions removed 38 transitions.
Iterating post reduction 1 with 196 rules applied. Total rules applied 354 place count 218 transition count 394
Performed 40 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 40 Pre rules applied. Total rules applied 354 place count 218 transition count 354
Deduced a syphon composed of 40 places in 0 ms
Reduce places removed 40 places and 0 transitions.
Iterating global reduction 2 with 80 rules applied. Total rules applied 434 place count 178 transition count 354
Performed 9 Post agglomeration using F-continuation condition.Transition count delta: 9
Deduced a syphon composed of 9 places in 1 ms
Reduce places removed 9 places and 0 transitions.
Iterating global reduction 2 with 18 rules applied. Total rules applied 452 place count 169 transition count 345
Applied a total of 452 rules in 34 ms. Remains 169 /376 variables (removed 207) and now considering 345/590 (removed 245) transitions.
// Phase 1: matrix 345 rows 169 cols
[2022-05-21 22:06:38] [INFO ] Computed 23 place invariants in 1 ms
[2022-05-21 22:06:39] [INFO ] Implicit Places using invariants in 178 ms returned [98]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 179 ms to find 1 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 168/376 places, 345/590 transitions.
Performed 30 Post agglomeration using F-continuation condition.Transition count delta: 30
Deduced a syphon composed of 30 places in 1 ms
Reduce places removed 30 places and 0 transitions.
Iterating global reduction 0 with 60 rules applied. Total rules applied 60 place count 138 transition count 315
Applied a total of 60 rules in 19 ms. Remains 138 /168 variables (removed 30) and now considering 315/345 (removed 30) transitions.
// Phase 1: matrix 315 rows 138 cols
[2022-05-21 22:06:39] [INFO ] Computed 22 place invariants in 1 ms
[2022-05-21 22:06:39] [INFO ] Implicit Places using invariants in 105 ms returned []
// Phase 1: matrix 315 rows 138 cols
[2022-05-21 22:06:39] [INFO ] Computed 22 place invariants in 2 ms
[2022-05-21 22:06:39] [INFO ] Implicit Places using invariants and state equation in 199 ms returned []
Implicit Place search using SMT with State Equation took 308 ms to find 0 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 138/376 places, 315/590 transitions.
Finished structural reductions, in 2 iterations. Remains : 138/376 places, 315/590 transitions.
[2022-05-21 22:06:39] [INFO ] Flatten gal took : 11 ms
[2022-05-21 22:06:39] [INFO ] Flatten gal took : 11 ms
[2022-05-21 22:06:39] [INFO ] Input system was already deterministic with 315 transitions.
[2022-05-21 22:06:39] [INFO ] Flatten gal took : 11 ms
[2022-05-21 22:06:39] [INFO ] Flatten gal took : 11 ms
[2022-05-21 22:06:39] [INFO ] Time to serialize gal into /tmp/CTLFireability8985142699727760772.gal : 4 ms
[2022-05-21 22:06:39] [INFO ] Time to serialize properties into /tmp/CTLFireability3805842849277280716.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability8985142699727760772.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3805842849277280716.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...274
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,2.35039e+13,1.37433,36656,2,15040,5,181358,6,0,870,106798,0
Converting to forward existential form...Done !
original formula: EG(EF((E(A((ControlRoomDispatch_7>=1) U (MovetoZ_2_1_1>=1)) U AF((((IdleTechs_2>=1)&&(OpenRequests_0_2>=1))&&(Idles>=1)))) + AG(AF((Movet...172
=> equivalent forward existential formula: [FwdG(Init,E(TRUE U (E(!((E(!((MovetoZ_2_1_1>=1)) U (!((ControlRoomDispatch_7>=1)) * !((MovetoZ_2_1_1>=1)))) + E...310
Reverse transition relation is exact ! Faster fixpoint algorithm enabled.
Hit Full ! (commute/partial/dont) 313/0/2
Detected timeout of ITS tools.
[2022-05-21 22:07:09] [INFO ] Flatten gal took : 11 ms
[2022-05-21 22:07:09] [INFO ] Applying decomposition
[2022-05-21 22:07:09] [INFO ] Flatten gal took : 10 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph8455609769125787123.txt' '-o' '/tmp/graph8455609769125787123.bin' '-w' '/tmp/graph8455609769125787123.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph8455609769125787123.bin' '-l' '-1' '-v' '-w' '/tmp/graph8455609769125787123.weights' '-q' '0' '-e' '0.001'
[2022-05-21 22:07:09] [INFO ] Decomposing Gal with order
[2022-05-21 22:07:09] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-21 22:07:09] [INFO ] Removed a total of 594 redundant transitions.
[2022-05-21 22:07:09] [INFO ] Flatten gal took : 23 ms
[2022-05-21 22:07:09] [INFO ] Fuse similar labels procedure discarded/fused a total of 94 labels/synchronizations in 5 ms.
[2022-05-21 22:07:09] [INFO ] Time to serialize gal into /tmp/CTLFireability273431151190770002.gal : 2 ms
[2022-05-21 22:07:09] [INFO ] Time to serialize properties into /tmp/CTLFireability14525838655423386461.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability273431151190770002.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability14525838655423386461.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...253
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,2.35039e+13,0.131468,7960,443,82,6121,341,432,9530,50,1264,0
Converting to forward existential form...Done !
original formula: EG(EF((E(A((i8.u14.ControlRoomDispatch_7>=1) U (i1.u27.MovetoZ_2_1_1>=1)) U AF((((i7.u9.IdleTechs_2>=1)&&(i5.u23.OpenRequests_0_2>=1))&&(...213
=> equivalent forward existential formula: [FwdG(Init,E(TRUE U (E(!((E(!((i1.u27.MovetoZ_2_1_1>=1)) U (!((i8.u14.ControlRoomDispatch_7>=1)) * !((i1.u27.Mov...365
Reverse transition relation is exact ! Faster fixpoint algorithm enabled.
Fast SCC detection found an SCC at level 5
Fast SCC detection found an SCC at level 6
Fast SCC detection found an SCC at level 7
Fast SCC detection found an SCC at level 8
Fast SCC detection found an SCC at level 9
(forward)formula 0,1,3.99542,88980,1,0,151427,988,2427,273855,205,3963,193545
FORMULA UtilityControlRoom-PT-Z4T4N10-CTLFireability-09 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
Formula is TRUE !
***************************************
Starting structural reductions in LTL mode, iteration 0 : 376/376 places, 590/590 transitions.
Discarding 116 places :
Symmetric choice reduction at 0 with 116 rule applications. Total rules 116 place count 260 transition count 474
Iterating global reduction 0 with 116 rules applied. Total rules applied 232 place count 260 transition count 474
Applied a total of 232 rules in 8 ms. Remains 260 /376 variables (removed 116) and now considering 474/590 (removed 116) transitions.
// Phase 1: matrix 474 rows 260 cols
[2022-05-21 22:07:13] [INFO ] Computed 23 place invariants in 2 ms
[2022-05-21 22:07:13] [INFO ] Implicit Places using invariants in 180 ms returned [189]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 181 ms to find 1 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 259/376 places, 474/590 transitions.
Applied a total of 0 rules in 3 ms. Remains 259 /259 variables (removed 0) and now considering 474/474 (removed 0) transitions.
Finished structural reductions, in 2 iterations. Remains : 259/376 places, 474/590 transitions.
[2022-05-21 22:07:13] [INFO ] Flatten gal took : 14 ms
[2022-05-21 22:07:13] [INFO ] Flatten gal took : 16 ms
[2022-05-21 22:07:13] [INFO ] Input system was already deterministic with 474 transitions.
[2022-05-21 22:07:14] [INFO ] Flatten gal took : 28 ms
[2022-05-21 22:07:14] [INFO ] Flatten gal took : 15 ms
[2022-05-21 22:07:14] [INFO ] Time to serialize gal into /tmp/CTLFireability2977627162253671512.gal : 3 ms
[2022-05-21 22:07:14] [INFO ] Time to serialize properties into /tmp/CTLFireability14228888431879401442.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability2977627162253671512.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability14228888431879401442.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...275
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,8.09396e+14,23.0226,505684,2,100511,5,2.59043e+06,6,0,1513,1.97177e+06,0
Converting to forward existential form...Done !
Detected timeout of ITS tools.
[2022-05-21 22:07:44] [INFO ] Flatten gal took : 14 ms
[2022-05-21 22:07:44] [INFO ] Applying decomposition
[2022-05-21 22:07:44] [INFO ] Flatten gal took : 14 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph11317922655283916237.txt' '-o' '/tmp/graph11317922655283916237.bin' '-w' '/tmp/graph11317922655283916237.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph11317922655283916237.bin' '-l' '-1' '-v' '-w' '/tmp/graph11317922655283916237.weights' '-q' '0' '-e' '0.001'
[2022-05-21 22:07:44] [INFO ] Decomposing Gal with order
[2022-05-21 22:07:44] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-21 22:07:44] [INFO ] Removed a total of 686 redundant transitions.
[2022-05-21 22:07:44] [INFO ] Flatten gal took : 56 ms
[2022-05-21 22:07:44] [INFO ] Fuse similar labels procedure discarded/fused a total of 82 labels/synchronizations in 11 ms.
[2022-05-21 22:07:44] [INFO ] Time to serialize gal into /tmp/CTLFireability3351553747754801060.gal : 4 ms
[2022-05-21 22:07:44] [INFO ] Time to serialize properties into /tmp/CTLFireability5576226862440697256.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability3351553747754801060.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability5576226862440697256.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...253
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,8.09396e+14,0.361267,11596,945,59,13197,384,706,22184,43,1295,0
Converting to forward existential form...Done !
original formula: AX(AF(((E(!(((i6.u22.MovetoZ_7_3_3>=1)||(((i7.u7.IdleTechs_3>=1)&&(i8.u14.OpenRequests_4_0>=1))&&(i1.i0.u35.Idles>=1)))) U EF((i7.u5.Move...424
=> equivalent forward existential formula: [FwdG(EY(Init),!(((E(!(((i6.u22.MovetoZ_7_3_3>=1)||(((i7.u7.IdleTechs_3>=1)&&(i8.u14.OpenRequests_4_0>=1))&&(i1....481
Reverse transition relation is exact ! Faster fixpoint algorithm enabled.
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Fast SCC detection found an SCC at level 4
Fast SCC detection found an SCC at level 5
Fast SCC detection found an SCC at level 6
Fast SCC detection found an SCC at level 7
Fast SCC detection found an SCC at level 8
Fast SCC detection found an SCC at level 9
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 376/376 places, 590/590 transitions.
Discarding 118 places :
Symmetric choice reduction at 0 with 118 rule applications. Total rules 118 place count 258 transition count 472
Iterating global reduction 0 with 118 rules applied. Total rules applied 236 place count 258 transition count 472
Applied a total of 236 rules in 6 ms. Remains 258 /376 variables (removed 118) and now considering 472/590 (removed 118) transitions.
// Phase 1: matrix 472 rows 258 cols
[2022-05-21 22:08:14] [INFO ] Computed 23 place invariants in 3 ms
[2022-05-21 22:08:14] [INFO ] Implicit Places using invariants in 149 ms returned []
// Phase 1: matrix 472 rows 258 cols
[2022-05-21 22:08:14] [INFO ] Computed 23 place invariants in 5 ms
[2022-05-21 22:08:14] [INFO ] Implicit Places using invariants and state equation in 370 ms returned []
Implicit Place search using SMT with State Equation took 533 ms to find 0 implicit places.
// Phase 1: matrix 472 rows 258 cols
[2022-05-21 22:08:14] [INFO ] Computed 23 place invariants in 6 ms
[2022-05-21 22:08:15] [INFO ] Dead Transitions using invariants and state equation in 468 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 258/376 places, 472/590 transitions.
Finished structural reductions, in 1 iterations. Remains : 258/376 places, 472/590 transitions.
[2022-05-21 22:08:15] [INFO ] Flatten gal took : 17 ms
[2022-05-21 22:08:15] [INFO ] Flatten gal took : 19 ms
[2022-05-21 22:08:15] [INFO ] Input system was already deterministic with 472 transitions.
[2022-05-21 22:08:15] [INFO ] Flatten gal took : 19 ms
[2022-05-21 22:08:15] [INFO ] Flatten gal took : 23 ms
[2022-05-21 22:08:15] [INFO ] Time to serialize gal into /tmp/CTLFireability385274469526117468.gal : 3 ms
[2022-05-21 22:08:15] [INFO ] Time to serialize properties into /tmp/CTLFireability12405765699685536466.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability385274469526117468.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability12405765699685536466.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...274
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-05-21 22:08:45] [INFO ] Flatten gal took : 15 ms
[2022-05-21 22:08:45] [INFO ] Applying decomposition
[2022-05-21 22:08:45] [INFO ] Flatten gal took : 15 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph6427906488375703352.txt' '-o' '/tmp/graph6427906488375703352.bin' '-w' '/tmp/graph6427906488375703352.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph6427906488375703352.bin' '-l' '-1' '-v' '-w' '/tmp/graph6427906488375703352.weights' '-q' '0' '-e' '0.001'
[2022-05-21 22:08:45] [INFO ] Decomposing Gal with order
[2022-05-21 22:08:45] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-21 22:08:45] [INFO ] Removed a total of 659 redundant transitions.
[2022-05-21 22:08:45] [INFO ] Flatten gal took : 70 ms
[2022-05-21 22:08:45] [INFO ] Fuse similar labels procedure discarded/fused a total of 92 labels/synchronizations in 8 ms.
[2022-05-21 22:08:45] [INFO ] Time to serialize gal into /tmp/CTLFireability12751603287368069219.gal : 4 ms
[2022-05-21 22:08:45] [INFO ] Time to serialize properties into /tmp/CTLFireability6316432215549396137.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability12751603287368069219.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability6316432215549396137.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...254
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 376/376 places, 590/590 transitions.
Discarding 117 places :
Symmetric choice reduction at 0 with 117 rule applications. Total rules 117 place count 259 transition count 473
Iterating global reduction 0 with 117 rules applied. Total rules applied 234 place count 259 transition count 473
Applied a total of 234 rules in 6 ms. Remains 259 /376 variables (removed 117) and now considering 473/590 (removed 117) transitions.
// Phase 1: matrix 473 rows 259 cols
[2022-05-21 22:09:15] [INFO ] Computed 23 place invariants in 3 ms
[2022-05-21 22:09:15] [INFO ] Implicit Places using invariants in 185 ms returned [188]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 189 ms to find 1 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 258/376 places, 473/590 transitions.
Applied a total of 0 rules in 3 ms. Remains 258 /258 variables (removed 0) and now considering 473/473 (removed 0) transitions.
Finished structural reductions, in 2 iterations. Remains : 258/376 places, 473/590 transitions.
[2022-05-21 22:09:15] [INFO ] Flatten gal took : 13 ms
[2022-05-21 22:09:15] [INFO ] Flatten gal took : 15 ms
[2022-05-21 22:09:16] [INFO ] Input system was already deterministic with 473 transitions.
[2022-05-21 22:09:16] [INFO ] Flatten gal took : 14 ms
[2022-05-21 22:09:16] [INFO ] Flatten gal took : 13 ms
[2022-05-21 22:09:16] [INFO ] Time to serialize gal into /tmp/CTLFireability8684186009227445453.gal : 2 ms
[2022-05-21 22:09:16] [INFO ] Time to serialize properties into /tmp/CTLFireability8830357941299909849.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability8684186009227445453.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability8830357941299909849.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...274
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,7.92474e+14,23.5628,502884,2,101782,5,2.58383e+06,6,0,1508,1.95295e+06,0
Converting to forward existential form...Done !
Detected timeout of ITS tools.
[2022-05-21 22:09:46] [INFO ] Flatten gal took : 17 ms
[2022-05-21 22:09:46] [INFO ] Applying decomposition
[2022-05-21 22:09:46] [INFO ] Flatten gal took : 22 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph1129854920358355938.txt' '-o' '/tmp/graph1129854920358355938.bin' '-w' '/tmp/graph1129854920358355938.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph1129854920358355938.bin' '-l' '-1' '-v' '-w' '/tmp/graph1129854920358355938.weights' '-q' '0' '-e' '0.001'
[2022-05-21 22:09:46] [INFO ] Decomposing Gal with order
[2022-05-21 22:09:46] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-21 22:09:46] [INFO ] Removed a total of 684 redundant transitions.
[2022-05-21 22:09:46] [INFO ] Flatten gal took : 44 ms
[2022-05-21 22:09:46] [INFO ] Fuse similar labels procedure discarded/fused a total of 72 labels/synchronizations in 9 ms.
[2022-05-21 22:09:46] [INFO ] Time to serialize gal into /tmp/CTLFireability5511303559542194512.gal : 5 ms
[2022-05-21 22:09:46] [INFO ] Time to serialize properties into /tmp/CTLFireability6138893437441643042.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability5511303559542194512.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability6138893437441643042.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...253
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,7.92474e+14,0.358949,11824,898,59,14076,337,706,24963,43,1227,0
Converting to forward existential form...Done !
original formula: !(A(A((((i3.i1.u42.IdleTechs_0>=1)&&(i0.u10.OpenRequests_2_3>=1))&&(i1.i0.u32.Idles>=1)) U AF(AX((i8.u25.MovetoZ_0_0_1>=1)))) U (((i1.i1....593
=> equivalent forward existential formula: (([((FwdU(Init,!((((i1.i1.u33.IdleTechs_2>=1)&&(i9.u18.OpenRequests_7_2>=1)) * ((i1.i0.u32.Idles>=1) * ((!(EX(!(...4023
Reverse transition relation is exact ! Faster fixpoint algorithm enabled.
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Fast SCC detection found a local SCC at level 4
Fast SCC detection found an SCC at level 5
Fast SCC detection found an SCC at level 6
Fast SCC detection found an SCC at level 7
Fast SCC detection found an SCC at level 8
Fast SCC detection found an SCC at level 9
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 376/376 places, 590/590 transitions.
Discarding 114 places :
Symmetric choice reduction at 0 with 114 rule applications. Total rules 114 place count 262 transition count 476
Iterating global reduction 0 with 114 rules applied. Total rules applied 228 place count 262 transition count 476
Applied a total of 228 rules in 6 ms. Remains 262 /376 variables (removed 114) and now considering 476/590 (removed 114) transitions.
// Phase 1: matrix 476 rows 262 cols
[2022-05-21 22:10:16] [INFO ] Computed 23 place invariants in 2 ms
[2022-05-21 22:10:16] [INFO ] Implicit Places using invariants in 186 ms returned [191]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 201 ms to find 1 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 261/376 places, 476/590 transitions.
Applied a total of 0 rules in 2 ms. Remains 261 /261 variables (removed 0) and now considering 476/476 (removed 0) transitions.
Finished structural reductions, in 2 iterations. Remains : 261/376 places, 476/590 transitions.
[2022-05-21 22:10:16] [INFO ] Flatten gal took : 13 ms
[2022-05-21 22:10:16] [INFO ] Flatten gal took : 19 ms
[2022-05-21 22:10:16] [INFO ] Input system was already deterministic with 476 transitions.
[2022-05-21 22:10:16] [INFO ] Flatten gal took : 18 ms
[2022-05-21 22:10:16] [INFO ] Flatten gal took : 20 ms
[2022-05-21 22:10:16] [INFO ] Time to serialize gal into /tmp/CTLFireability10170860091603747089.gal : 3 ms
[2022-05-21 22:10:16] [INFO ] Time to serialize properties into /tmp/CTLFireability1585609287833385865.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability10170860091603747089.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability1585609287833385865.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...275
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,8.43838e+14,26.6433,572428,2,113920,5,2.99524e+06,6,0,1523,2.1555e+06,0
Converting to forward existential form...Done !
Detected timeout of ITS tools.
[2022-05-21 22:10:46] [INFO ] Flatten gal took : 14 ms
[2022-05-21 22:10:46] [INFO ] Applying decomposition
[2022-05-21 22:10:46] [INFO ] Flatten gal took : 14 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph12028705643561143005.txt' '-o' '/tmp/graph12028705643561143005.bin' '-w' '/tmp/graph12028705643561143005.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph12028705643561143005.bin' '-l' '-1' '-v' '-w' '/tmp/graph12028705643561143005.weights' '-q' '0' '-e' '0.001'
[2022-05-21 22:10:46] [INFO ] Decomposing Gal with order
[2022-05-21 22:10:46] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-21 22:10:46] [INFO ] Removed a total of 681 redundant transitions.
[2022-05-21 22:10:46] [INFO ] Flatten gal took : 29 ms
[2022-05-21 22:10:46] [INFO ] Fuse similar labels procedure discarded/fused a total of 77 labels/synchronizations in 6 ms.
[2022-05-21 22:10:46] [INFO ] Time to serialize gal into /tmp/CTLFireability8174260162599069318.gal : 4 ms
[2022-05-21 22:10:46] [INFO ] Time to serialize properties into /tmp/CTLFireability16117373522789495046.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability8174260162599069318.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability16117373522789495046.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...254
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,8.43838e+14,0.344023,14204,953,60,18477,398,742,34296,53,1484,0
Converting to forward existential form...Done !
original formula: (AG(A(EX(AX((i5.u27.MovetoZ_8_0_0>=1))) U !((((E((i8.u43.MovetoZ_7_1_3>=1) U (i8.u44.MovetoZ_7_0_2>=1)) * (i9.u45.IdleTechs_0>=1)) * ((i4...727
=> equivalent forward existential formula: ((([(FwdU((((FwdU(FwdU(Init,TRUE),!(!((((E((i8.u43.MovetoZ_7_1_3>=1) U (i8.u44.MovetoZ_7_0_2>=1)) * (i9.u45.Idle...1861
Reverse transition relation is exact ! Faster fixpoint algorithm enabled.
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Fast SCC detection found a local SCC at level 4
Fast SCC detection found an SCC at level 5
Fast SCC detection found an SCC at level 6
Fast SCC detection found an SCC at level 7
Fast SCC detection found an SCC at level 8
Fast SCC detection found an SCC at level 9
(forward)formula 0,0,29.6911,454200,1,0,635602,958,3854,2.04058e+06,219,4259,855468
FORMULA UtilityControlRoom-PT-Z4T4N10-CTLFireability-13 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
Formula is FALSE !
***************************************
Starting structural reductions in LTL mode, iteration 0 : 376/376 places, 590/590 transitions.
Discarding 120 places :
Symmetric choice reduction at 0 with 120 rule applications. Total rules 120 place count 256 transition count 470
Iterating global reduction 0 with 120 rules applied. Total rules applied 240 place count 256 transition count 470
Applied a total of 240 rules in 6 ms. Remains 256 /376 variables (removed 120) and now considering 470/590 (removed 120) transitions.
// Phase 1: matrix 470 rows 256 cols
[2022-05-21 22:11:16] [INFO ] Computed 23 place invariants in 3 ms
[2022-05-21 22:11:16] [INFO ] Implicit Places using invariants in 259 ms returned [185]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 260 ms to find 1 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 255/376 places, 470/590 transitions.
Applied a total of 0 rules in 2 ms. Remains 255 /255 variables (removed 0) and now considering 470/470 (removed 0) transitions.
Finished structural reductions, in 2 iterations. Remains : 255/376 places, 470/590 transitions.
[2022-05-21 22:11:16] [INFO ] Flatten gal took : 13 ms
[2022-05-21 22:11:16] [INFO ] Flatten gal took : 14 ms
[2022-05-21 22:11:16] [INFO ] Input system was already deterministic with 470 transitions.
[2022-05-21 22:11:16] [INFO ] Flatten gal took : 14 ms
[2022-05-21 22:11:16] [INFO ] Flatten gal took : 14 ms
[2022-05-21 22:11:16] [INFO ] Time to serialize gal into /tmp/CTLFireability5390669206183124759.gal : 2 ms
[2022-05-21 22:11:16] [INFO ] Time to serialize properties into /tmp/CTLFireability15241749829849918072.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability5390669206183124759.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability15241749829849918072.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...275
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,7.43735e+14,23.3893,473684,2,98968,5,2.44173e+06,6,0,1493,1.79775e+06,0
Converting to forward existential form...Done !
Detected timeout of ITS tools.
[2022-05-21 22:11:47] [INFO ] Flatten gal took : 20 ms
[2022-05-21 22:11:47] [INFO ] Applying decomposition
[2022-05-21 22:11:47] [INFO ] Flatten gal took : 14 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph1093270777971582448.txt' '-o' '/tmp/graph1093270777971582448.bin' '-w' '/tmp/graph1093270777971582448.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph1093270777971582448.bin' '-l' '-1' '-v' '-w' '/tmp/graph1093270777971582448.weights' '-q' '0' '-e' '0.001'
[2022-05-21 22:11:47] [INFO ] Decomposing Gal with order
[2022-05-21 22:11:47] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-21 22:11:47] [INFO ] Removed a total of 684 redundant transitions.
[2022-05-21 22:11:47] [INFO ] Flatten gal took : 41 ms
[2022-05-21 22:11:47] [INFO ] Fuse similar labels procedure discarded/fused a total of 76 labels/synchronizations in 9 ms.
[2022-05-21 22:11:47] [INFO ] Time to serialize gal into /tmp/CTLFireability2429762578277509837.gal : 5 ms
[2022-05-21 22:11:47] [INFO ] Time to serialize properties into /tmp/CTLFireability10039913535665690380.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability2429762578277509837.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability10039913535665690380.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...254
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,7.43735e+14,0.268076,9976,745,58,9651,315,738,14023,42,1250,0
Converting to forward existential form...Done !
original formula: AF((((i8.i1.u36.IdleTechs_0>=1)&&(i0.i1.u23.OpenRequests_0_0>=1)) * ((i0.i1.u23.Idles>=1) * EF(!(E(((((i8.i1.u36.IdleTechs_0>=1)&&(i5.i0....337
=> equivalent forward existential formula: [FwdG(Init,!((((i8.i1.u36.IdleTechs_0>=1)&&(i0.i1.u23.OpenRequests_0_0>=1)) * ((i0.i1.u23.Idles>=1) * E(TRUE U !...388
Reverse transition relation is exact ! Faster fixpoint algorithm enabled.
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Fast SCC detection found an SCC at level 5
Fast SCC detection found an SCC at level 6
Fast SCC detection found an SCC at level 7
Fast SCC detection found an SCC at level 8
Fast SCC detection found an SCC at level 9
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 376/376 places, 590/590 transitions.
Discarding 119 places :
Symmetric choice reduction at 0 with 119 rule applications. Total rules 119 place count 257 transition count 471
Iterating global reduction 0 with 119 rules applied. Total rules applied 238 place count 257 transition count 471
Applied a total of 238 rules in 6 ms. Remains 257 /376 variables (removed 119) and now considering 471/590 (removed 119) transitions.
// Phase 1: matrix 471 rows 257 cols
[2022-05-21 22:12:17] [INFO ] Computed 23 place invariants in 2 ms
[2022-05-21 22:12:17] [INFO ] Implicit Places using invariants in 191 ms returned [186]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 194 ms to find 1 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 256/376 places, 471/590 transitions.
Applied a total of 0 rules in 2 ms. Remains 256 /256 variables (removed 0) and now considering 471/471 (removed 0) transitions.
Finished structural reductions, in 2 iterations. Remains : 256/376 places, 471/590 transitions.
[2022-05-21 22:12:17] [INFO ] Flatten gal took : 12 ms
[2022-05-21 22:12:17] [INFO ] Flatten gal took : 14 ms
[2022-05-21 22:12:17] [INFO ] Input system was already deterministic with 471 transitions.
[2022-05-21 22:12:17] [INFO ] Flatten gal took : 20 ms
[2022-05-21 22:12:17] [INFO ] Flatten gal took : 13 ms
[2022-05-21 22:12:17] [INFO ] Time to serialize gal into /tmp/CTLFireability4100627179364570452.gal : 2 ms
[2022-05-21 22:12:17] [INFO ] Time to serialize properties into /tmp/CTLFireability17770037428954026582.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability4100627179364570452.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability17770037428954026582.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...275
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,7.5979e+14,28.865,593020,2,122763,5,3.14083e+06,6,0,1498,2.25427e+06,0
Converting to forward existential form...Done !
Detected timeout of ITS tools.
[2022-05-21 22:12:47] [INFO ] Flatten gal took : 15 ms
[2022-05-21 22:12:47] [INFO ] Applying decomposition
[2022-05-21 22:12:47] [INFO ] Flatten gal took : 17 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph4723466740658663547.txt' '-o' '/tmp/graph4723466740658663547.bin' '-w' '/tmp/graph4723466740658663547.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph4723466740658663547.bin' '-l' '-1' '-v' '-w' '/tmp/graph4723466740658663547.weights' '-q' '0' '-e' '0.001'
[2022-05-21 22:12:47] [INFO ] Decomposing Gal with order
[2022-05-21 22:12:47] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-21 22:12:47] [INFO ] Removed a total of 689 redundant transitions.
[2022-05-21 22:12:47] [INFO ] Flatten gal took : 51 ms
[2022-05-21 22:12:47] [INFO ] Fuse similar labels procedure discarded/fused a total of 84 labels/synchronizations in 9 ms.
[2022-05-21 22:12:47] [INFO ] Time to serialize gal into /tmp/CTLFireability7050376929066840060.gal : 5 ms
[2022-05-21 22:12:47] [INFO ] Time to serialize properties into /tmp/CTLFireability6175056290068559499.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability7050376929066840060.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability6175056290068559499.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...253
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,7.5979e+14,0.301163,10500,739,54,10723,504,662,18624,38,1710,0
Converting to forward existential form...Done !
original formula: A(!(AX(AX(!(((((i5.u94.StartSecuring_6_0>=1)&&(i5.u79.ClientsTimeout_6>=1))&&((i3.i0.u9.IdleTechs_3>=1)&&(i6.u27.OpenRequests_9_3>=1)))&&...460
=> equivalent forward existential formula: [((Init * !(EG(!(E(TRUE U (!(E(TRUE U (i4.u11.Assigned_3_3>=1))) * (E((((i3.i0.u9.IdleTechs_3>=1)&&(i0.i1.u29.Op...1137
Reverse transition relation is exact ! Faster fixpoint algorithm enabled.
(forward)formula 0,0,5.25235,118860,1,0,210689,840,2933,375418,159,2939,359488
FORMULA UtilityControlRoom-PT-Z4T4N10-CTLFireability-15 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
Formula is FALSE !
***************************************
[2022-05-21 22:12:53] [INFO ] Flatten gal took : 55 ms
[2022-05-21 22:12:53] [INFO ] Flatten gal took : 77 ms
[2022-05-21 22:12:53] [INFO ] Applying decomposition
[2022-05-21 22:12:53] [INFO ] Flatten gal took : 71 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph746262096701038602.txt' '-o' '/tmp/graph746262096701038602.bin' '-w' '/tmp/graph746262096701038602.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph746262096701038602.bin' '-l' '-1' '-v' '-w' '/tmp/graph746262096701038602.weights' '-q' '0' '-e' '0.001'
[2022-05-21 22:12:53] [INFO ] Decomposing Gal with order
[2022-05-21 22:12:53] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-21 22:12:53] [INFO ] Removed a total of 510 redundant transitions.
[2022-05-21 22:12:53] [INFO ] Flatten gal took : 118 ms
[2022-05-21 22:12:54] [INFO ] Fuse similar labels procedure discarded/fused a total of 441 labels/synchronizations in 16 ms.
[2022-05-21 22:12:54] [INFO ] Time to serialize gal into /tmp/CTLFireability1785307295614763213.gal : 6 ms
[2022-05-21 22:12:54] [INFO ] Time to serialize properties into /tmp/CTLFireability8056832699421352129.ctl : 24 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability1785307295614763213.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability8056832699421352129.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...253
No direction supplied, using forward translation only.
Parsed 9 CTL formulae.
Detected timeout of ITS tools.
[2022-05-21 22:37:16] [INFO ] Flatten gal took : 572 ms
[2022-05-21 22:37:17] [INFO ] Time to serialize gal into /tmp/CTLFireability2364376779748070084.gal : 88 ms
[2022-05-21 22:37:17] [INFO ] Time to serialize properties into /tmp/CTLFireability14532380534378434219.ctl : 508 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability2364376779748070084.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability14532380534378434219.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...275
No direction supplied, using forward translation only.
Parsed 9 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,5.43879e+15,1206.84,13667432,2,1.39582e+06,5,9.01968e+07,6,0,2097,3.51007e+07,0
Converting to forward existential form...Done !
original formula: EG((E((((((((((MovetoZ_2_1_1>=1)||(MovetoZ_6_0_2>=1))||((MovetoZ_2_2_1>=1)||(MovetoZ_6_1_2>=1)))||(((MovetoZ_2_3_1>=1)||(MovetoZ_6_2_2>=1...27131
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export LANG=C
+ LANG=C
+ export BINDIR=/home/mcc/BenchKit/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ CTLFireability = StateSpace ]]
+ /home/mcc/BenchKit/bin//..//runeclipse.sh /home/mcc/execution CTLFireability -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ export PYTHONPATH=/usr/lib/python3.9/site-packages/
+ PYTHONPATH=/usr/lib/python3.9/site-packages/
+ export LD_LIBRARY_PATH=/usr/local/lib:
+ LD_LIBRARY_PATH=/usr/local/lib:
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202205111006.jar
+ VERSION=202205111006
+ echo 'Running Version 202205111006'
+ /home/mcc/BenchKit/bin//..//itstools/its-tools -data @none -pnfolder /home/mcc/execution -examination CTLFireability -spotpath /home/mcc/BenchKit/bin//..//ltlfilt -z3path /home/mcc/BenchKit/bin//..//z3/bin/z3 -yices2path /home/mcc/BenchKit/bin//..//yices/bin/yices -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600 -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=@none -Xss128m -Xms40m -Xmx8192m
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="UtilityControlRoom-PT-Z4T4N10"
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-4028"
echo " Executing tool itstools"
echo " Input is UtilityControlRoom-PT-Z4T4N10, 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 r276-smll-165307353200274"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/UtilityControlRoom-PT-Z4T4N10.tgz
mv UtilityControlRoom-PT-Z4T4N10 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 ;