About the Execution of ITS-Tools for DBSingleClientW-PT-d2m08
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16219.308 | 3600000.00 | 2705794.00 | 655276.10 | ??????F?????T??? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r101-tall-167814475200322.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool itstools
Input is DBSingleClientW-PT-d2m08, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r101-tall-167814475200322
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.0M
-rw-r--r-- 1 mcc users 8.4K Feb 26 15:29 CTLCardinality.txt
-rw-r--r-- 1 mcc users 94K Feb 26 15:29 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.6K Feb 26 15:28 CTLFireability.txt
-rw-r--r-- 1 mcc users 61K Feb 26 15:28 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 15:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Feb 25 15:49 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 15:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 15:49 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.6K Feb 26 15:31 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 97K Feb 26 15:31 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.1K Feb 26 15:30 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 57K Feb 26 15:30 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 1.6M Mar 5 18:22 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 DBSingleClientW-PT-d2m08-CTLFireability-00
FORMULA_NAME DBSingleClientW-PT-d2m08-CTLFireability-01
FORMULA_NAME DBSingleClientW-PT-d2m08-CTLFireability-02
FORMULA_NAME DBSingleClientW-PT-d2m08-CTLFireability-03
FORMULA_NAME DBSingleClientW-PT-d2m08-CTLFireability-04
FORMULA_NAME DBSingleClientW-PT-d2m08-CTLFireability-05
FORMULA_NAME DBSingleClientW-PT-d2m08-CTLFireability-06
FORMULA_NAME DBSingleClientW-PT-d2m08-CTLFireability-07
FORMULA_NAME DBSingleClientW-PT-d2m08-CTLFireability-08
FORMULA_NAME DBSingleClientW-PT-d2m08-CTLFireability-09
FORMULA_NAME DBSingleClientW-PT-d2m08-CTLFireability-10
FORMULA_NAME DBSingleClientW-PT-d2m08-CTLFireability-11
FORMULA_NAME DBSingleClientW-PT-d2m08-CTLFireability-12
FORMULA_NAME DBSingleClientW-PT-d2m08-CTLFireability-13
FORMULA_NAME DBSingleClientW-PT-d2m08-CTLFireability-14
FORMULA_NAME DBSingleClientW-PT-d2m08-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1678252209899
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=CTLFireability
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=DBSingleClientW-PT-d2m08
Not applying reductions.
Model is PT
CTLFireability PT
Running Version 202303021504
[2023-03-08 05:10:11] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLFireability, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2023-03-08 05:10:11] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-08 05:10:11] [INFO ] Load time of PNML (sax parser for PT used): 164 ms
[2023-03-08 05:10:11] [INFO ] Transformed 4763 places.
[2023-03-08 05:10:11] [INFO ] Transformed 2478 transitions.
[2023-03-08 05:10:11] [INFO ] Parsed PT model containing 4763 places and 2478 transitions and 9912 arcs in 249 ms.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 10 ms.
Deduced a syphon composed of 3580 places in 15 ms
Reduce places removed 3580 places and 0 transitions.
Support contains 112 out of 1183 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 1183/1183 places, 2478/2478 transitions.
Reduce places removed 46 places and 0 transitions.
Ensure Unique test removed 199 transitions
Reduce isomorphic transitions removed 199 transitions.
Iterating post reduction 0 with 245 rules applied. Total rules applied 245 place count 1137 transition count 2279
Discarding 329 places :
Symmetric choice reduction at 1 with 329 rule applications. Total rules 574 place count 808 transition count 1732
Iterating global reduction 1 with 329 rules applied. Total rules applied 903 place count 808 transition count 1732
Ensure Unique test removed 112 transitions
Reduce isomorphic transitions removed 112 transitions.
Iterating post reduction 1 with 112 rules applied. Total rules applied 1015 place count 808 transition count 1620
Discarding 251 places :
Symmetric choice reduction at 2 with 251 rule applications. Total rules 1266 place count 557 transition count 1369
Iterating global reduction 2 with 251 rules applied. Total rules applied 1517 place count 557 transition count 1369
Ensure Unique test removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 2 with 7 rules applied. Total rules applied 1524 place count 557 transition count 1362
Discarding 164 places :
Symmetric choice reduction at 3 with 164 rule applications. Total rules 1688 place count 393 transition count 1154
Iterating global reduction 3 with 164 rules applied. Total rules applied 1852 place count 393 transition count 1154
Ensure Unique test removed 223 transitions
Reduce isomorphic transitions removed 223 transitions.
Iterating post reduction 3 with 223 rules applied. Total rules applied 2075 place count 393 transition count 931
Discarding 6 places :
Symmetric choice reduction at 4 with 6 rule applications. Total rules 2081 place count 387 transition count 920
Iterating global reduction 4 with 6 rules applied. Total rules applied 2087 place count 387 transition count 920
Ensure Unique test removed 32 transitions
Reduce isomorphic transitions removed 32 transitions.
Iterating post reduction 4 with 32 rules applied. Total rules applied 2119 place count 387 transition count 888
Discarding 1 places :
Symmetric choice reduction at 5 with 1 rule applications. Total rules 2120 place count 386 transition count 887
Iterating global reduction 5 with 1 rules applied. Total rules applied 2121 place count 386 transition count 887
Discarding 1 places :
Symmetric choice reduction at 5 with 1 rule applications. Total rules 2122 place count 385 transition count 886
Iterating global reduction 5 with 1 rules applied. Total rules applied 2123 place count 385 transition count 886
Discarding 1 places :
Symmetric choice reduction at 5 with 1 rule applications. Total rules 2124 place count 384 transition count 884
Iterating global reduction 5 with 1 rules applied. Total rules applied 2125 place count 384 transition count 884
Applied a total of 2125 rules in 224 ms. Remains 384 /1183 variables (removed 799) and now considering 884/2478 (removed 1594) transitions.
// Phase 1: matrix 884 rows 384 cols
[2023-03-08 05:10:14] [INFO ] Computed 2 place invariants in 26 ms
[2023-03-08 05:10:14] [INFO ] Implicit Places using invariants in 345 ms returned []
[2023-03-08 05:10:14] [INFO ] Invariant cache hit.
[2023-03-08 05:10:15] [INFO ] State equation strengthened by 517 read => feed constraints.
[2023-03-08 05:10:16] [INFO ] Implicit Places using invariants and state equation in 1401 ms returned []
Implicit Place search using SMT with State Equation took 4516 ms to find 0 implicit places.
[2023-03-08 05:10:16] [INFO ] Invariant cache hit.
[2023-03-08 05:10:16] [INFO ] Dead Transitions using invariants and state equation in 285 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 384/1183 places, 884/2478 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 5029 ms. Remains : 384/1183 places, 884/2478 transitions.
Support contains 112 out of 384 places after structural reductions.
[2023-03-08 05:10:16] [INFO ] Flatten gal took : 83 ms
[2023-03-08 05:10:16] [INFO ] Flatten gal took : 55 ms
[2023-03-08 05:10:17] [INFO ] Input system was already deterministic with 884 transitions.
Incomplete random walk after 10000 steps, including 2323 resets, run finished after 563 ms. (steps per millisecond=17 ) properties (out of 93) seen :0
Incomplete Best-First random walk after 1001 steps, including 42 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 93) seen :0
Incomplete Best-First random walk after 1001 steps, including 96 resets, run finished after 20 ms. (steps per millisecond=50 ) properties (out of 93) seen :0
Incomplete Best-First random walk after 1000 steps, including 44 resets, run finished after 17 ms. (steps per millisecond=58 ) properties (out of 93) seen :0
Incomplete Best-First random walk after 1000 steps, including 43 resets, run finished after 16 ms. (steps per millisecond=62 ) properties (out of 93) seen :0
Incomplete Best-First random walk after 1001 steps, including 41 resets, run finished after 20 ms. (steps per millisecond=50 ) properties (out of 93) seen :0
Incomplete Best-First random walk after 1001 steps, including 37 resets, run finished after 13 ms. (steps per millisecond=77 ) properties (out of 93) seen :0
Incomplete Best-First random walk after 1001 steps, including 95 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 93) seen :1
Incomplete Best-First random walk after 1000 steps, including 47 resets, run finished after 16 ms. (steps per millisecond=62 ) properties (out of 92) seen :0
Incomplete Best-First random walk after 1001 steps, including 87 resets, run finished after 24 ms. (steps per millisecond=41 ) properties (out of 92) seen :0
Incomplete Best-First random walk after 1000 steps, including 39 resets, run finished after 12 ms. (steps per millisecond=83 ) properties (out of 92) seen :0
Incomplete Best-First random walk after 1001 steps, including 55 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 92) seen :0
Incomplete Best-First random walk after 1001 steps, including 47 resets, run finished after 17 ms. (steps per millisecond=58 ) properties (out of 92) seen :0
Incomplete Best-First random walk after 1001 steps, including 42 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 92) seen :0
Incomplete Best-First random walk after 1001 steps, including 46 resets, run finished after 12 ms. (steps per millisecond=83 ) properties (out of 92) seen :0
Incomplete Best-First random walk after 1001 steps, including 33 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 92) seen :0
Incomplete Best-First random walk after 1001 steps, including 54 resets, run finished after 13 ms. (steps per millisecond=77 ) properties (out of 92) seen :0
Incomplete Best-First random walk after 1001 steps, including 110 resets, run finished after 18 ms. (steps per millisecond=55 ) properties (out of 92) seen :0
Incomplete Best-First random walk after 1000 steps, including 43 resets, run finished after 12 ms. (steps per millisecond=83 ) properties (out of 92) seen :0
Incomplete Best-First random walk after 1001 steps, including 42 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 92) seen :0
Incomplete Best-First random walk after 1001 steps, including 51 resets, run finished after 12 ms. (steps per millisecond=83 ) properties (out of 92) seen :0
Incomplete Best-First random walk after 1001 steps, including 50 resets, run finished after 12 ms. (steps per millisecond=83 ) properties (out of 92) seen :0
Incomplete Best-First random walk after 1001 steps, including 93 resets, run finished after 17 ms. (steps per millisecond=58 ) properties (out of 92) seen :0
Incomplete Best-First random walk after 1001 steps, including 42 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 92) seen :0
Incomplete Best-First random walk after 1001 steps, including 45 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 92) seen :0
Incomplete Best-First random walk after 1001 steps, including 42 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 92) seen :0
Incomplete Best-First random walk after 1001 steps, including 53 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 92) seen :0
Incomplete Best-First random walk after 1001 steps, including 54 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 92) seen :0
Incomplete Best-First random walk after 1001 steps, including 112 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 92) seen :0
Incomplete Best-First random walk after 1000 steps, including 42 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 92) seen :0
Incomplete Best-First random walk after 1000 steps, including 36 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 92) seen :0
Incomplete Best-First random walk after 1001 steps, including 32 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 92) seen :0
Incomplete Best-First random walk after 1001 steps, including 49 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 92) seen :0
Incomplete Best-First random walk after 1001 steps, including 41 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 92) seen :0
Incomplete Best-First random walk after 1001 steps, including 42 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 92) seen :0
Incomplete Best-First random walk after 1000 steps, including 40 resets, run finished after 7 ms. (steps per millisecond=142 ) properties (out of 92) seen :0
Incomplete Best-First random walk after 1000 steps, including 43 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 92) seen :0
Incomplete Best-First random walk after 1001 steps, including 46 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 92) seen :0
Incomplete Best-First random walk after 1001 steps, including 39 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 92) seen :0
Incomplete Best-First random walk after 1001 steps, including 51 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 92) seen :0
Incomplete Best-First random walk after 1000 steps, including 96 resets, run finished after 11 ms. (steps per millisecond=90 ) properties (out of 92) seen :0
Incomplete Best-First random walk after 1001 steps, including 33 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 92) seen :0
Incomplete Best-First random walk after 1001 steps, including 47 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 92) seen :0
Incomplete Best-First random walk after 1000 steps, including 33 resets, run finished after 7 ms. (steps per millisecond=142 ) properties (out of 92) seen :0
Incomplete Best-First random walk after 1001 steps, including 44 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 92) seen :0
Incomplete Best-First random walk after 1001 steps, including 95 resets, run finished after 12 ms. (steps per millisecond=83 ) properties (out of 92) seen :0
Incomplete Best-First random walk after 1000 steps, including 49 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 92) seen :0
Incomplete Best-First random walk after 1000 steps, including 47 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 92) seen :0
Incomplete Best-First random walk after 1001 steps, including 43 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 92) seen :0
Incomplete Best-First random walk after 1000 steps, including 45 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 92) seen :0
Incomplete Best-First random walk after 1001 steps, including 58 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 92) seen :0
Incomplete Best-First random walk after 1001 steps, including 39 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 92) seen :0
Incomplete Best-First random walk after 1000 steps, including 45 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 92) seen :0
Incomplete Best-First random walk after 1000 steps, including 47 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 92) seen :0
Incomplete Best-First random walk after 1001 steps, including 39 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 92) seen :0
Incomplete Best-First random walk after 1001 steps, including 46 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 92) seen :0
Incomplete Best-First random walk after 1001 steps, including 97 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 92) seen :0
Interrupted probabilistic random walk after 272053 steps, run timeout after 3001 ms. (steps per millisecond=90 ) properties seen :{0=1, 1=1, 2=1, 3=1, 4=1, 5=1, 6=1, 7=1, 8=1, 9=1, 10=1, 11=1, 12=1, 14=1, 15=1, 16=1, 17=1, 18=1, 19=1, 20=1, 21=1, 22=1, 23=1, 24=1, 25=1, 26=1, 27=1, 28=1, 29=1, 30=1, 31=1, 33=1, 34=1, 35=1, 36=1, 38=1, 39=1, 40=1, 41=1, 42=1, 43=1, 44=1, 45=1, 46=1, 47=1, 48=1, 49=1, 51=1, 52=1, 53=1, 54=1, 55=1, 56=1, 58=1, 59=1, 62=1, 63=1, 64=1, 65=1, 66=1, 67=1, 68=1, 69=1, 70=1, 71=1, 72=1, 73=1, 77=1, 78=1, 79=1, 81=1, 82=1, 83=1, 84=1, 85=1, 86=1, 87=1, 89=1, 90=1, 91=1}
Probabilistic random walk after 272053 steps, saw 106102 distinct states, run finished after 3002 ms. (steps per millisecond=90 ) properties seen :80
Running SMT prover for 12 properties.
[2023-03-08 05:10:21] [INFO ] Invariant cache hit.
[2023-03-08 05:10:21] [INFO ] [Real]Absence check using 1 positive place invariants in 1 ms returned sat
[2023-03-08 05:10:21] [INFO ] [Real]Absence check using 1 positive and 1 generalized place invariants in 1 ms returned sat
[2023-03-08 05:10:21] [INFO ] After 214ms SMT Verify possible using all constraints in real domain returned unsat :2 sat :0 real:10
[2023-03-08 05:10:21] [INFO ] [Nat]Absence check using 1 positive place invariants in 2 ms returned sat
[2023-03-08 05:10:21] [INFO ] [Nat]Absence check using 1 positive and 1 generalized place invariants in 2 ms returned sat
[2023-03-08 05:10:23] [INFO ] After 1368ms SMT Verify possible using state equation in natural domain returned unsat :6 sat :6
[2023-03-08 05:10:23] [INFO ] State equation strengthened by 517 read => feed constraints.
[2023-03-08 05:10:25] [INFO ] After 2739ms SMT Verify possible using 517 Read/Feed constraints in natural domain returned unsat :6 sat :6
[2023-03-08 05:10:27] [INFO ] After 4731ms SMT Verify possible using trap constraints in natural domain returned unsat :6 sat :6
Attempting to minimize the solution found.
Minimization took 1877 ms.
[2023-03-08 05:10:29] [INFO ] After 8190ms SMT Verify possible using all constraints in natural domain returned unsat :6 sat :6
Fused 12 Parikh solutions to 6 different solutions.
Parikh walk visited 0 properties in 147 ms.
Support contains 17 out of 384 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 384/384 places, 884/884 transitions.
Graph (complete) has 1518 edges and 384 vertex of which 383 are kept as prefixes of interest. Removing 1 places using SCC suffix rule.5 ms
Discarding 1 places :
Also discarding 0 output transitions
Drop transitions removed 9 transitions
Reduce isomorphic transitions removed 9 transitions.
Iterating post reduction 0 with 9 rules applied. Total rules applied 10 place count 383 transition count 875
Discarding 75 places :
Symmetric choice reduction at 1 with 75 rule applications. Total rules 85 place count 308 transition count 608
Iterating global reduction 1 with 75 rules applied. Total rules applied 160 place count 308 transition count 608
Ensure Unique test removed 20 transitions
Reduce isomorphic transitions removed 20 transitions.
Iterating post reduction 1 with 20 rules applied. Total rules applied 180 place count 308 transition count 588
Discarding 59 places :
Symmetric choice reduction at 2 with 59 rule applications. Total rules 239 place count 249 transition count 517
Iterating global reduction 2 with 59 rules applied. Total rules applied 298 place count 249 transition count 517
Ensure Unique test removed 18 transitions
Reduce isomorphic transitions removed 18 transitions.
Iterating post reduction 2 with 18 rules applied. Total rules applied 316 place count 249 transition count 499
Discarding 42 places :
Symmetric choice reduction at 3 with 42 rule applications. Total rules 358 place count 207 transition count 428
Iterating global reduction 3 with 42 rules applied. Total rules applied 400 place count 207 transition count 428
Ensure Unique test removed 35 transitions
Reduce isomorphic transitions removed 35 transitions.
Iterating post reduction 3 with 35 rules applied. Total rules applied 435 place count 207 transition count 393
Discarding 12 places :
Symmetric choice reduction at 4 with 12 rule applications. Total rules 447 place count 195 transition count 379
Iterating global reduction 4 with 12 rules applied. Total rules applied 459 place count 195 transition count 379
Ensure Unique test removed 8 transitions
Reduce isomorphic transitions removed 8 transitions.
Iterating post reduction 4 with 8 rules applied. Total rules applied 467 place count 195 transition count 371
Discarding 8 places :
Symmetric choice reduction at 5 with 8 rule applications. Total rules 475 place count 187 transition count 363
Iterating global reduction 5 with 8 rules applied. Total rules applied 483 place count 187 transition count 363
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 5 with 4 rules applied. Total rules applied 487 place count 187 transition count 359
Discarding 5 places :
Symmetric choice reduction at 6 with 5 rule applications. Total rules 492 place count 182 transition count 354
Iterating global reduction 6 with 5 rules applied. Total rules applied 497 place count 182 transition count 354
Ensure Unique test removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 6 with 5 rules applied. Total rules applied 502 place count 182 transition count 349
Discarding 3 places :
Symmetric choice reduction at 7 with 3 rule applications. Total rules 505 place count 179 transition count 334
Iterating global reduction 7 with 3 rules applied. Total rules applied 508 place count 179 transition count 334
Applied a total of 508 rules in 115 ms. Remains 179 /384 variables (removed 205) and now considering 334/884 (removed 550) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 116 ms. Remains : 179/384 places, 334/884 transitions.
Incomplete random walk after 10000 steps, including 2278 resets, run finished after 251 ms. (steps per millisecond=39 ) properties (out of 6) seen :0
Incomplete Best-First random walk after 10001 steps, including 441 resets, run finished after 38 ms. (steps per millisecond=263 ) properties (out of 6) seen :0
Incomplete Best-First random walk after 10000 steps, including 456 resets, run finished after 37 ms. (steps per millisecond=270 ) properties (out of 6) seen :0
Incomplete Best-First random walk after 10001 steps, including 589 resets, run finished after 44 ms. (steps per millisecond=227 ) properties (out of 6) seen :0
Incomplete Best-First random walk after 10001 steps, including 425 resets, run finished after 36 ms. (steps per millisecond=277 ) properties (out of 6) seen :0
Incomplete Best-First random walk after 10000 steps, including 459 resets, run finished after 38 ms. (steps per millisecond=263 ) properties (out of 6) seen :0
Incomplete Best-First random walk after 10001 steps, including 440 resets, run finished after 36 ms. (steps per millisecond=277 ) properties (out of 6) seen :0
Interrupted probabilistic random walk after 667155 steps, run timeout after 3001 ms. (steps per millisecond=222 ) properties seen :{1=1, 3=1, 4=1, 5=1}
Probabilistic random walk after 667155 steps, saw 255689 distinct states, run finished after 3002 ms. (steps per millisecond=222 ) properties seen :4
Running SMT prover for 2 properties.
// Phase 1: matrix 334 rows 179 cols
[2023-03-08 05:10:33] [INFO ] Computed 2 place invariants in 9 ms
[2023-03-08 05:10:33] [INFO ] [Real]Absence check using 0 positive and 2 generalized place invariants in 1 ms returned sat
[2023-03-08 05:10:33] [INFO ] After 205ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:2
[2023-03-08 05:10:33] [INFO ] [Nat]Absence check using 0 positive and 2 generalized place invariants in 1 ms returned sat
[2023-03-08 05:10:33] [INFO ] After 193ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :2
[2023-03-08 05:10:33] [INFO ] State equation strengthened by 167 read => feed constraints.
[2023-03-08 05:10:34] [INFO ] After 172ms SMT Verify possible using 167 Read/Feed constraints in natural domain returned unsat :0 sat :2
[2023-03-08 05:10:34] [INFO ] After 382ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :2
Attempting to minimize the solution found.
Minimization took 195 ms.
[2023-03-08 05:10:34] [INFO ] After 826ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :2
Parikh walk visited 0 properties in 25 ms.
Support contains 8 out of 179 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 179/179 places, 334/334 transitions.
Discarding 9 places :
Symmetric choice reduction at 0 with 9 rule applications. Total rules 9 place count 170 transition count 278
Iterating global reduction 0 with 9 rules applied. Total rules applied 18 place count 170 transition count 278
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 19 place count 170 transition count 277
Discarding 7 places :
Symmetric choice reduction at 1 with 7 rule applications. Total rules 26 place count 163 transition count 270
Iterating global reduction 1 with 7 rules applied. Total rules applied 33 place count 163 transition count 270
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 1 with 2 rules applied. Total rules applied 35 place count 163 transition count 268
Discarding 7 places :
Symmetric choice reduction at 2 with 7 rule applications. Total rules 42 place count 156 transition count 259
Iterating global reduction 2 with 7 rules applied. Total rules applied 49 place count 156 transition count 259
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 2 with 2 rules applied. Total rules applied 51 place count 156 transition count 257
Discarding 4 places :
Symmetric choice reduction at 3 with 4 rule applications. Total rules 55 place count 152 transition count 252
Iterating global reduction 3 with 4 rules applied. Total rules applied 59 place count 152 transition count 252
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 3 with 2 rules applied. Total rules applied 61 place count 152 transition count 250
Discarding 2 places :
Symmetric choice reduction at 4 with 2 rule applications. Total rules 63 place count 150 transition count 248
Iterating global reduction 4 with 2 rules applied. Total rules applied 65 place count 150 transition count 248
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 4 with 1 rules applied. Total rules applied 66 place count 150 transition count 247
Discarding 1 places :
Symmetric choice reduction at 5 with 1 rule applications. Total rules 67 place count 149 transition count 246
Iterating global reduction 5 with 1 rules applied. Total rules applied 68 place count 149 transition count 246
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 5 with 1 rules applied. Total rules applied 69 place count 149 transition count 245
Applied a total of 69 rules in 41 ms. Remains 149 /179 variables (removed 30) and now considering 245/334 (removed 89) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 42 ms. Remains : 149/179 places, 245/334 transitions.
Incomplete random walk after 10000 steps, including 2304 resets, run finished after 67 ms. (steps per millisecond=149 ) properties (out of 2) seen :0
Incomplete Best-First random walk after 10001 steps, including 457 resets, run finished after 22 ms. (steps per millisecond=454 ) properties (out of 2) seen :0
Incomplete Best-First random walk after 10001 steps, including 600 resets, run finished after 23 ms. (steps per millisecond=434 ) properties (out of 2) seen :0
Interrupted probabilistic random walk after 1074463 steps, run timeout after 3001 ms. (steps per millisecond=358 ) properties seen :{}
Probabilistic random walk after 1074463 steps, saw 383790 distinct states, run finished after 3001 ms. (steps per millisecond=358 ) properties seen :0
Running SMT prover for 2 properties.
// Phase 1: matrix 245 rows 149 cols
[2023-03-08 05:10:37] [INFO ] Computed 2 place invariants in 7 ms
[2023-03-08 05:10:37] [INFO ] [Real]Absence check using 0 positive and 2 generalized place invariants in 1 ms returned sat
[2023-03-08 05:10:37] [INFO ] After 147ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:2
[2023-03-08 05:10:37] [INFO ] [Nat]Absence check using 0 positive and 2 generalized place invariants in 2 ms returned sat
[2023-03-08 05:10:38] [INFO ] After 111ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :2
[2023-03-08 05:10:38] [INFO ] State equation strengthened by 101 read => feed constraints.
[2023-03-08 05:10:38] [INFO ] After 99ms SMT Verify possible using 101 Read/Feed constraints in natural domain returned unsat :0 sat :2
[2023-03-08 05:10:38] [INFO ] After 200ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :2
Attempting to minimize the solution found.
Minimization took 88 ms.
[2023-03-08 05:10:38] [INFO ] After 470ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :2
Parikh walk visited 0 properties in 12 ms.
Support contains 8 out of 149 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 149/149 places, 245/245 transitions.
Applied a total of 0 rules in 8 ms. Remains 149 /149 variables (removed 0) and now considering 245/245 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 8 ms. Remains : 149/149 places, 245/245 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 149/149 places, 245/245 transitions.
Applied a total of 0 rules in 8 ms. Remains 149 /149 variables (removed 0) and now considering 245/245 (removed 0) transitions.
[2023-03-08 05:10:38] [INFO ] Invariant cache hit.
[2023-03-08 05:10:38] [INFO ] Implicit Places using invariants in 74 ms returned []
[2023-03-08 05:10:38] [INFO ] Invariant cache hit.
[2023-03-08 05:10:38] [INFO ] State equation strengthened by 101 read => feed constraints.
[2023-03-08 05:10:38] [INFO ] Implicit Places using invariants and state equation in 325 ms returned []
Implicit Place search using SMT with State Equation took 402 ms to find 0 implicit places.
[2023-03-08 05:10:38] [INFO ] Redundant transitions in 14 ms returned []
[2023-03-08 05:10:38] [INFO ] Invariant cache hit.
[2023-03-08 05:10:38] [INFO ] Dead Transitions using invariants and state equation in 84 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 514 ms. Remains : 149/149 places, 245/245 transitions.
Drop transitions removed 11 transitions
Reduce isomorphic transitions removed 11 transitions.
Drop transitions removed 3 transitions
Trivial Post-agglo rules discarded 3 transitions
Performed 3 trivial Post agglomeration. Transition count delta: 3
Iterating post reduction 0 with 14 rules applied. Total rules applied 14 place count 149 transition count 231
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 1 with 3 rules applied. Total rules applied 17 place count 146 transition count 231
Performed 11 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 11 Pre rules applied. Total rules applied 17 place count 146 transition count 220
Deduced a syphon composed of 11 places in 0 ms
Reduce places removed 11 places and 0 transitions.
Iterating global reduction 2 with 22 rules applied. Total rules applied 39 place count 135 transition count 220
Performed 6 Post agglomeration using F-continuation condition.Transition count delta: 6
Deduced a syphon composed of 6 places in 0 ms
Reduce places removed 6 places and 0 transitions.
Iterating global reduction 2 with 12 rules applied. Total rules applied 51 place count 129 transition count 214
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -28
Deduced a syphon composed of 4 places in 0 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 2 with 8 rules applied. Total rules applied 59 place count 125 transition count 242
Partial Free-agglomeration rule applied 11 times.
Drop transitions removed 11 transitions
Iterating global reduction 2 with 11 rules applied. Total rules applied 70 place count 125 transition count 242
Applied a total of 70 rules in 23 ms. Remains 125 /149 variables (removed 24) and now considering 242/245 (removed 3) transitions.
Running SMT prover for 2 properties.
// Phase 1: matrix 242 rows 125 cols
[2023-03-08 05:10:38] [INFO ] Computed 4 place invariants in 4 ms
[2023-03-08 05:10:38] [INFO ] [Real]Absence check using 1 positive place invariants in 1 ms returned sat
[2023-03-08 05:10:38] [INFO ] [Real]Absence check using 1 positive and 3 generalized place invariants in 2 ms returned sat
[2023-03-08 05:10:39] [INFO ] After 145ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:2
[2023-03-08 05:10:39] [INFO ] [Nat]Absence check using 1 positive place invariants in 0 ms returned sat
[2023-03-08 05:10:39] [INFO ] [Nat]Absence check using 1 positive and 3 generalized place invariants in 1 ms returned sat
[2023-03-08 05:10:39] [INFO ] After 108ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :2
[2023-03-08 05:10:39] [INFO ] After 200ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :2
Attempting to minimize the solution found.
Minimization took 65 ms.
[2023-03-08 05:10:39] [INFO ] After 306ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :2
Successfully simplified 6 atomic propositions for a total of 16 simplifications.
Initial state reduction rules removed 1 formulas.
FORMULA DBSingleClientW-PT-d2m08-CTLFireability-12 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2023-03-08 05:10:39] [INFO ] Flatten gal took : 37 ms
[2023-03-08 05:10:39] [INFO ] Flatten gal took : 37 ms
[2023-03-08 05:10:39] [INFO ] Input system was already deterministic with 884 transitions.
Support contains 92 out of 384 places (down from 94) after GAL structural reductions.
Computed a total of 5 stabilizing places and 46 stable transitions
Graph (complete) has 1646 edges and 384 vertex of which 383 are kept as prefixes of interest. Removing 1 places using SCC suffix rule.7 ms
Starting structural reductions in LTL mode, iteration 0 : 384/384 places, 884/884 transitions.
Discarding 86 places :
Symmetric choice reduction at 0 with 86 rule applications. Total rules 86 place count 298 transition count 550
Iterating global reduction 0 with 86 rules applied. Total rules applied 172 place count 298 transition count 550
Ensure Unique test removed 19 transitions
Reduce isomorphic transitions removed 19 transitions.
Iterating post reduction 0 with 19 rules applied. Total rules applied 191 place count 298 transition count 531
Discarding 68 places :
Symmetric choice reduction at 1 with 68 rule applications. Total rules 259 place count 230 transition count 452
Iterating global reduction 1 with 68 rules applied. Total rules applied 327 place count 230 transition count 452
Ensure Unique test removed 21 transitions
Reduce isomorphic transitions removed 21 transitions.
Iterating post reduction 1 with 21 rules applied. Total rules applied 348 place count 230 transition count 431
Discarding 52 places :
Symmetric choice reduction at 2 with 52 rule applications. Total rules 400 place count 178 transition count 350
Iterating global reduction 2 with 52 rules applied. Total rules applied 452 place count 178 transition count 350
Ensure Unique test removed 35 transitions
Reduce isomorphic transitions removed 35 transitions.
Iterating post reduction 2 with 35 rules applied. Total rules applied 487 place count 178 transition count 315
Discarding 18 places :
Symmetric choice reduction at 3 with 18 rule applications. Total rules 505 place count 160 transition count 282
Iterating global reduction 3 with 18 rules applied. Total rules applied 523 place count 160 transition count 282
Ensure Unique test removed 10 transitions
Reduce isomorphic transitions removed 10 transitions.
Iterating post reduction 3 with 10 rules applied. Total rules applied 533 place count 160 transition count 272
Discarding 10 places :
Symmetric choice reduction at 4 with 10 rule applications. Total rules 543 place count 150 transition count 262
Iterating global reduction 4 with 10 rules applied. Total rules applied 553 place count 150 transition count 262
Ensure Unique test removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 4 with 5 rules applied. Total rules applied 558 place count 150 transition count 257
Discarding 7 places :
Symmetric choice reduction at 5 with 7 rule applications. Total rules 565 place count 143 transition count 250
Iterating global reduction 5 with 7 rules applied. Total rules applied 572 place count 143 transition count 250
Ensure Unique test removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 5 with 7 rules applied. Total rules applied 579 place count 143 transition count 243
Discarding 4 places :
Symmetric choice reduction at 6 with 4 rule applications. Total rules 583 place count 139 transition count 219
Iterating global reduction 6 with 4 rules applied. Total rules applied 587 place count 139 transition count 219
Applied a total of 587 rules in 22 ms. Remains 139 /384 variables (removed 245) and now considering 219/884 (removed 665) transitions.
// Phase 1: matrix 219 rows 139 cols
[2023-03-08 05:10:39] [INFO ] Computed 2 place invariants in 2 ms
[2023-03-08 05:10:39] [INFO ] Implicit Places using invariants in 80 ms returned []
[2023-03-08 05:10:39] [INFO ] Invariant cache hit.
[2023-03-08 05:10:39] [INFO ] State equation strengthened by 86 read => feed constraints.
[2023-03-08 05:10:39] [INFO ] Implicit Places using invariants and state equation in 253 ms returned []
Implicit Place search using SMT with State Equation took 337 ms to find 0 implicit places.
[2023-03-08 05:10:39] [INFO ] Invariant cache hit.
[2023-03-08 05:10:40] [INFO ] Dead Transitions using invariants and state equation in 81 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 139/384 places, 219/884 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 441 ms. Remains : 139/384 places, 219/884 transitions.
[2023-03-08 05:10:40] [INFO ] Flatten gal took : 8 ms
[2023-03-08 05:10:40] [INFO ] Flatten gal took : 7 ms
[2023-03-08 05:10:40] [INFO ] Input system was already deterministic with 219 transitions.
[2023-03-08 05:10:40] [INFO ] Flatten gal took : 7 ms
[2023-03-08 05:10:40] [INFO ] Flatten gal took : 7 ms
[2023-03-08 05:10:42] [INFO ] Time to serialize gal into /tmp/CTLFireability10384004228153146293.gal : 5 ms
[2023-03-08 05:10:42] [INFO ] Time to serialize properties into /tmp/CTLFireability16032225094890704984.ctl : 2 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability10384004228153146293.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability16032225094890704984.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2023-03-08 05:11:12] [INFO ] Flatten gal took : 12 ms
[2023-03-08 05:11:12] [INFO ] Applying decomposition
[2023-03-08 05:11:12] [INFO ] Flatten gal took : 8 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph10216502369245001379.txt' '-o' '/tmp/graph10216502369245001379.bin' '-w' '/tmp/graph10216502369245001379.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph10216502369245001379.bin' '-l' '-1' '-v' '-w' '/tmp/graph10216502369245001379.weights' '-q' '0' '-e' '0.001'
[2023-03-08 05:11:12] [INFO ] Decomposing Gal with order
[2023-03-08 05:11:12] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-08 05:11:12] [INFO ] Removed a total of 218 redundant transitions.
[2023-03-08 05:11:12] [INFO ] Flatten gal took : 54 ms
[2023-03-08 05:11:12] [INFO ] Fuse similar labels procedure discarded/fused a total of 147 labels/synchronizations in 10 ms.
[2023-03-08 05:11:12] [INFO ] Time to serialize gal into /tmp/CTLFireability16567724606325637679.gal : 4 ms
[2023-03-08 05:11:12] [INFO ] Time to serialize properties into /tmp/CTLFireability17881395203453217957.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability16567724606325637679.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability17881395203453217957.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...264
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 384/384 places, 884/884 transitions.
Discarding 88 places :
Symmetric choice reduction at 0 with 88 rule applications. Total rules 88 place count 296 transition count 524
Iterating global reduction 0 with 88 rules applied. Total rules applied 176 place count 296 transition count 524
Ensure Unique test removed 16 transitions
Reduce isomorphic transitions removed 16 transitions.
Iterating post reduction 0 with 16 rules applied. Total rules applied 192 place count 296 transition count 508
Discarding 70 places :
Symmetric choice reduction at 1 with 70 rule applications. Total rules 262 place count 226 transition count 426
Iterating global reduction 1 with 70 rules applied. Total rules applied 332 place count 226 transition count 426
Ensure Unique test removed 20 transitions
Reduce isomorphic transitions removed 20 transitions.
Iterating post reduction 1 with 20 rules applied. Total rules applied 352 place count 226 transition count 406
Discarding 53 places :
Symmetric choice reduction at 2 with 53 rule applications. Total rules 405 place count 173 transition count 323
Iterating global reduction 2 with 53 rules applied. Total rules applied 458 place count 173 transition count 323
Ensure Unique test removed 31 transitions
Reduce isomorphic transitions removed 31 transitions.
Iterating post reduction 2 with 31 rules applied. Total rules applied 489 place count 173 transition count 292
Discarding 19 places :
Symmetric choice reduction at 3 with 19 rule applications. Total rules 508 place count 154 transition count 258
Iterating global reduction 3 with 19 rules applied. Total rules applied 527 place count 154 transition count 258
Ensure Unique test removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 3 with 6 rules applied. Total rules applied 533 place count 154 transition count 252
Discarding 12 places :
Symmetric choice reduction at 4 with 12 rule applications. Total rules 545 place count 142 transition count 240
Iterating global reduction 4 with 12 rules applied. Total rules applied 557 place count 142 transition count 240
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 4 with 4 rules applied. Total rules applied 561 place count 142 transition count 236
Discarding 8 places :
Symmetric choice reduction at 5 with 8 rule applications. Total rules 569 place count 134 transition count 228
Iterating global reduction 5 with 8 rules applied. Total rules applied 577 place count 134 transition count 228
Ensure Unique test removed 10 transitions
Reduce isomorphic transitions removed 10 transitions.
Iterating post reduction 5 with 10 rules applied. Total rules applied 587 place count 134 transition count 218
Discarding 6 places :
Symmetric choice reduction at 6 with 6 rule applications. Total rules 593 place count 128 transition count 184
Iterating global reduction 6 with 6 rules applied. Total rules applied 599 place count 128 transition count 184
Applied a total of 599 rules in 49 ms. Remains 128 /384 variables (removed 256) and now considering 184/884 (removed 700) transitions.
// Phase 1: matrix 184 rows 128 cols
[2023-03-08 05:11:42] [INFO ] Computed 2 place invariants in 2 ms
[2023-03-08 05:11:42] [INFO ] Implicit Places using invariants in 68 ms returned []
[2023-03-08 05:11:42] [INFO ] Invariant cache hit.
[2023-03-08 05:11:42] [INFO ] State equation strengthened by 62 read => feed constraints.
[2023-03-08 05:11:42] [INFO ] Implicit Places using invariants and state equation in 269 ms returned []
Implicit Place search using SMT with State Equation took 340 ms to find 0 implicit places.
[2023-03-08 05:11:42] [INFO ] Redundant transitions in 9 ms returned []
[2023-03-08 05:11:42] [INFO ] Invariant cache hit.
[2023-03-08 05:11:42] [INFO ] Dead Transitions using invariants and state equation in 76 ms found 0 transitions.
Starting structural reductions in SI_CTL mode, iteration 1 : 128/384 places, 184/884 transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 482 ms. Remains : 128/384 places, 184/884 transitions.
[2023-03-08 05:11:42] [INFO ] Flatten gal took : 6 ms
[2023-03-08 05:11:42] [INFO ] Flatten gal took : 6 ms
[2023-03-08 05:11:42] [INFO ] Input system was already deterministic with 184 transitions.
[2023-03-08 05:11:42] [INFO ] Flatten gal took : 8 ms
[2023-03-08 05:11:42] [INFO ] Flatten gal took : 6 ms
[2023-03-08 05:11:42] [INFO ] Time to serialize gal into /tmp/CTLFireability1112425134441249090.gal : 1 ms
[2023-03-08 05:11:42] [INFO ] Time to serialize properties into /tmp/CTLFireability10075373649313233651.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability1112425134441249090.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability10075373649313233651.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2023-03-08 05:12:12] [INFO ] Flatten gal took : 7 ms
[2023-03-08 05:12:12] [INFO ] Applying decomposition
[2023-03-08 05:12:12] [INFO ] Flatten gal took : 6 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph4180786692862730805.txt' '-o' '/tmp/graph4180786692862730805.bin' '-w' '/tmp/graph4180786692862730805.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph4180786692862730805.bin' '-l' '-1' '-v' '-w' '/tmp/graph4180786692862730805.weights' '-q' '0' '-e' '0.001'
[2023-03-08 05:12:12] [INFO ] Decomposing Gal with order
[2023-03-08 05:12:12] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-08 05:12:12] [INFO ] Removed a total of 201 redundant transitions.
[2023-03-08 05:12:12] [INFO ] Flatten gal took : 16 ms
[2023-03-08 05:12:12] [INFO ] Fuse similar labels procedure discarded/fused a total of 133 labels/synchronizations in 6 ms.
[2023-03-08 05:12:12] [INFO ] Time to serialize gal into /tmp/CTLFireability14640709947375634385.gal : 3 ms
[2023-03-08 05:12:12] [INFO ] Time to serialize properties into /tmp/CTLFireability997601959945590644.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability14640709947375634385.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability997601959945590644.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...262
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 384/384 places, 884/884 transitions.
Discarding 80 places :
Symmetric choice reduction at 0 with 80 rule applications. Total rules 80 place count 304 transition count 572
Iterating global reduction 0 with 80 rules applied. Total rules applied 160 place count 304 transition count 572
Ensure Unique test removed 16 transitions
Reduce isomorphic transitions removed 16 transitions.
Iterating post reduction 0 with 16 rules applied. Total rules applied 176 place count 304 transition count 556
Discarding 66 places :
Symmetric choice reduction at 1 with 66 rule applications. Total rules 242 place count 238 transition count 480
Iterating global reduction 1 with 66 rules applied. Total rules applied 308 place count 238 transition count 480
Ensure Unique test removed 20 transitions
Reduce isomorphic transitions removed 20 transitions.
Iterating post reduction 1 with 20 rules applied. Total rules applied 328 place count 238 transition count 460
Discarding 51 places :
Symmetric choice reduction at 2 with 51 rule applications. Total rules 379 place count 187 transition count 380
Iterating global reduction 2 with 51 rules applied. Total rules applied 430 place count 187 transition count 380
Ensure Unique test removed 34 transitions
Reduce isomorphic transitions removed 34 transitions.
Iterating post reduction 2 with 34 rules applied. Total rules applied 464 place count 187 transition count 346
Discarding 18 places :
Symmetric choice reduction at 3 with 18 rule applications. Total rules 482 place count 169 transition count 317
Iterating global reduction 3 with 18 rules applied. Total rules applied 500 place count 169 transition count 317
Ensure Unique test removed 14 transitions
Reduce isomorphic transitions removed 14 transitions.
Iterating post reduction 3 with 14 rules applied. Total rules applied 514 place count 169 transition count 303
Discarding 10 places :
Symmetric choice reduction at 4 with 10 rule applications. Total rules 524 place count 159 transition count 293
Iterating global reduction 4 with 10 rules applied. Total rules applied 534 place count 159 transition count 293
Ensure Unique test removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 4 with 5 rules applied. Total rules applied 539 place count 159 transition count 288
Discarding 6 places :
Symmetric choice reduction at 5 with 6 rule applications. Total rules 545 place count 153 transition count 282
Iterating global reduction 5 with 6 rules applied. Total rules applied 551 place count 153 transition count 282
Ensure Unique test removed 8 transitions
Reduce isomorphic transitions removed 8 transitions.
Iterating post reduction 5 with 8 rules applied. Total rules applied 559 place count 153 transition count 274
Discarding 3 places :
Symmetric choice reduction at 6 with 3 rule applications. Total rules 562 place count 150 transition count 262
Iterating global reduction 6 with 3 rules applied. Total rules applied 565 place count 150 transition count 262
Applied a total of 565 rules in 17 ms. Remains 150 /384 variables (removed 234) and now considering 262/884 (removed 622) transitions.
// Phase 1: matrix 262 rows 150 cols
[2023-03-08 05:12:43] [INFO ] Computed 2 place invariants in 5 ms
[2023-03-08 05:12:43] [INFO ] Implicit Places using invariants in 70 ms returned []
[2023-03-08 05:12:43] [INFO ] Invariant cache hit.
[2023-03-08 05:12:43] [INFO ] State equation strengthened by 118 read => feed constraints.
[2023-03-08 05:12:43] [INFO ] Implicit Places using invariants and state equation in 368 ms returned []
Implicit Place search using SMT with State Equation took 440 ms to find 0 implicit places.
[2023-03-08 05:12:43] [INFO ] Invariant cache hit.
[2023-03-08 05:12:43] [INFO ] Dead Transitions using invariants and state equation in 86 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 150/384 places, 262/884 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 545 ms. Remains : 150/384 places, 262/884 transitions.
[2023-03-08 05:12:43] [INFO ] Flatten gal took : 7 ms
[2023-03-08 05:12:43] [INFO ] Flatten gal took : 8 ms
[2023-03-08 05:12:43] [INFO ] Input system was already deterministic with 262 transitions.
[2023-03-08 05:12:43] [INFO ] Flatten gal took : 7 ms
[2023-03-08 05:12:43] [INFO ] Flatten gal took : 7 ms
[2023-03-08 05:12:43] [INFO ] Time to serialize gal into /tmp/CTLFireability84553072501240367.gal : 1 ms
[2023-03-08 05:12:43] [INFO ] Time to serialize properties into /tmp/CTLFireability11893760770041658956.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability84553072501240367.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability11893760770041658956.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...282
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2023-03-08 05:13:13] [INFO ] Flatten gal took : 17 ms
[2023-03-08 05:13:13] [INFO ] Applying decomposition
[2023-03-08 05:13:13] [INFO ] Flatten gal took : 7 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph194969830712822731.txt' '-o' '/tmp/graph194969830712822731.bin' '-w' '/tmp/graph194969830712822731.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph194969830712822731.bin' '-l' '-1' '-v' '-w' '/tmp/graph194969830712822731.weights' '-q' '0' '-e' '0.001'
[2023-03-08 05:13:13] [INFO ] Decomposing Gal with order
[2023-03-08 05:13:13] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-08 05:13:13] [INFO ] Removed a total of 284 redundant transitions.
[2023-03-08 05:13:13] [INFO ] Flatten gal took : 23 ms
[2023-03-08 05:13:13] [INFO ] Fuse similar labels procedure discarded/fused a total of 168 labels/synchronizations in 5 ms.
[2023-03-08 05:13:13] [INFO ] Time to serialize gal into /tmp/CTLFireability4544916775889098561.gal : 3 ms
[2023-03-08 05:13:13] [INFO ] Time to serialize properties into /tmp/CTLFireability3126624705633177462.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability4544916775889098561.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3126624705633177462.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...262
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 384/384 places, 884/884 transitions.
Discarding 82 places :
Symmetric choice reduction at 0 with 82 rule applications. Total rules 82 place count 302 transition count 559
Iterating global reduction 0 with 82 rules applied. Total rules applied 164 place count 302 transition count 559
Ensure Unique test removed 16 transitions
Reduce isomorphic transitions removed 16 transitions.
Iterating post reduction 0 with 16 rules applied. Total rules applied 180 place count 302 transition count 543
Discarding 67 places :
Symmetric choice reduction at 1 with 67 rule applications. Total rules 247 place count 235 transition count 464
Iterating global reduction 1 with 67 rules applied. Total rules applied 314 place count 235 transition count 464
Ensure Unique test removed 19 transitions
Reduce isomorphic transitions removed 19 transitions.
Iterating post reduction 1 with 19 rules applied. Total rules applied 333 place count 235 transition count 445
Discarding 49 places :
Symmetric choice reduction at 2 with 49 rule applications. Total rules 382 place count 186 transition count 368
Iterating global reduction 2 with 49 rules applied. Total rules applied 431 place count 186 transition count 368
Ensure Unique test removed 37 transitions
Reduce isomorphic transitions removed 37 transitions.
Iterating post reduction 2 with 37 rules applied. Total rules applied 468 place count 186 transition count 331
Discarding 15 places :
Symmetric choice reduction at 3 with 15 rule applications. Total rules 483 place count 171 transition count 304
Iterating global reduction 3 with 15 rules applied. Total rules applied 498 place count 171 transition count 304
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 3 with 4 rules applied. Total rules applied 502 place count 171 transition count 300
Discarding 10 places :
Symmetric choice reduction at 4 with 10 rule applications. Total rules 512 place count 161 transition count 290
Iterating global reduction 4 with 10 rules applied. Total rules applied 522 place count 161 transition count 290
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 4 with 4 rules applied. Total rules applied 526 place count 161 transition count 286
Discarding 6 places :
Symmetric choice reduction at 5 with 6 rule applications. Total rules 532 place count 155 transition count 280
Iterating global reduction 5 with 6 rules applied. Total rules applied 538 place count 155 transition count 280
Ensure Unique test removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 5 with 6 rules applied. Total rules applied 544 place count 155 transition count 274
Discarding 3 places :
Symmetric choice reduction at 6 with 3 rule applications. Total rules 547 place count 152 transition count 259
Iterating global reduction 6 with 3 rules applied. Total rules applied 550 place count 152 transition count 259
Applied a total of 550 rules in 28 ms. Remains 152 /384 variables (removed 232) and now considering 259/884 (removed 625) transitions.
// Phase 1: matrix 259 rows 152 cols
[2023-03-08 05:13:43] [INFO ] Computed 2 place invariants in 3 ms
[2023-03-08 05:13:43] [INFO ] Implicit Places using invariants in 76 ms returned []
[2023-03-08 05:13:43] [INFO ] Invariant cache hit.
[2023-03-08 05:13:44] [INFO ] State equation strengthened by 120 read => feed constraints.
[2023-03-08 05:13:44] [INFO ] Implicit Places using invariants and state equation in 383 ms returned []
Implicit Place search using SMT with State Equation took 461 ms to find 0 implicit places.
[2023-03-08 05:13:44] [INFO ] Invariant cache hit.
[2023-03-08 05:13:44] [INFO ] Dead Transitions using invariants and state equation in 97 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 152/384 places, 259/884 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 588 ms. Remains : 152/384 places, 259/884 transitions.
[2023-03-08 05:13:44] [INFO ] Flatten gal took : 6 ms
[2023-03-08 05:13:44] [INFO ] Flatten gal took : 7 ms
[2023-03-08 05:13:44] [INFO ] Input system was already deterministic with 259 transitions.
[2023-03-08 05:13:44] [INFO ] Flatten gal took : 7 ms
[2023-03-08 05:13:44] [INFO ] Flatten gal took : 6 ms
[2023-03-08 05:13:44] [INFO ] Time to serialize gal into /tmp/CTLFireability9162984523679347742.gal : 1 ms
[2023-03-08 05:13:44] [INFO ] Time to serialize properties into /tmp/CTLFireability9374940413596899232.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability9162984523679347742.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability9374940413596899232.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2023-03-08 05:14:14] [INFO ] Flatten gal took : 7 ms
[2023-03-08 05:14:14] [INFO ] Applying decomposition
[2023-03-08 05:14:14] [INFO ] Flatten gal took : 6 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph5164983474101379411.txt' '-o' '/tmp/graph5164983474101379411.bin' '-w' '/tmp/graph5164983474101379411.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph5164983474101379411.bin' '-l' '-1' '-v' '-w' '/tmp/graph5164983474101379411.weights' '-q' '0' '-e' '0.001'
[2023-03-08 05:14:14] [INFO ] Decomposing Gal with order
[2023-03-08 05:14:14] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-08 05:14:14] [INFO ] Removed a total of 272 redundant transitions.
[2023-03-08 05:14:14] [INFO ] Flatten gal took : 18 ms
[2023-03-08 05:14:14] [INFO ] Fuse similar labels procedure discarded/fused a total of 233 labels/synchronizations in 7 ms.
[2023-03-08 05:14:14] [INFO ] Time to serialize gal into /tmp/CTLFireability10912677520233674798.gal : 3 ms
[2023-03-08 05:14:14] [INFO ] Time to serialize properties into /tmp/CTLFireability13055922041191760117.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability10912677520233674798.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability13055922041191760117.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...264
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 384/384 places, 884/884 transitions.
Discarding 83 places :
Symmetric choice reduction at 0 with 83 rule applications. Total rules 83 place count 301 transition count 555
Iterating global reduction 0 with 83 rules applied. Total rules applied 166 place count 301 transition count 555
Ensure Unique test removed 18 transitions
Reduce isomorphic transitions removed 18 transitions.
Iterating post reduction 0 with 18 rules applied. Total rules applied 184 place count 301 transition count 537
Discarding 65 places :
Symmetric choice reduction at 1 with 65 rule applications. Total rules 249 place count 236 transition count 460
Iterating global reduction 1 with 65 rules applied. Total rules applied 314 place count 236 transition count 460
Ensure Unique test removed 17 transitions
Reduce isomorphic transitions removed 17 transitions.
Iterating post reduction 1 with 17 rules applied. Total rules applied 331 place count 236 transition count 443
Discarding 49 places :
Symmetric choice reduction at 2 with 49 rule applications. Total rules 380 place count 187 transition count 364
Iterating global reduction 2 with 49 rules applied. Total rules applied 429 place count 187 transition count 364
Ensure Unique test removed 31 transitions
Reduce isomorphic transitions removed 31 transitions.
Iterating post reduction 2 with 31 rules applied. Total rules applied 460 place count 187 transition count 333
Discarding 15 places :
Symmetric choice reduction at 3 with 15 rule applications. Total rules 475 place count 172 transition count 310
Iterating global reduction 3 with 15 rules applied. Total rules applied 490 place count 172 transition count 310
Ensure Unique test removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 3 with 6 rules applied. Total rules applied 496 place count 172 transition count 304
Discarding 10 places :
Symmetric choice reduction at 4 with 10 rule applications. Total rules 506 place count 162 transition count 294
Iterating global reduction 4 with 10 rules applied. Total rules applied 516 place count 162 transition count 294
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 4 with 4 rules applied. Total rules applied 520 place count 162 transition count 290
Discarding 6 places :
Symmetric choice reduction at 5 with 6 rule applications. Total rules 526 place count 156 transition count 284
Iterating global reduction 5 with 6 rules applied. Total rules applied 532 place count 156 transition count 284
Ensure Unique test removed 9 transitions
Reduce isomorphic transitions removed 9 transitions.
Iterating post reduction 5 with 9 rules applied. Total rules applied 541 place count 156 transition count 275
Discarding 5 places :
Symmetric choice reduction at 6 with 5 rule applications. Total rules 546 place count 151 transition count 248
Iterating global reduction 6 with 5 rules applied. Total rules applied 551 place count 151 transition count 248
Applied a total of 551 rules in 19 ms. Remains 151 /384 variables (removed 233) and now considering 248/884 (removed 636) transitions.
// Phase 1: matrix 248 rows 151 cols
[2023-03-08 05:14:44] [INFO ] Computed 2 place invariants in 2 ms
[2023-03-08 05:14:44] [INFO ] Implicit Places using invariants in 71 ms returned []
[2023-03-08 05:14:44] [INFO ] Invariant cache hit.
[2023-03-08 05:14:44] [INFO ] State equation strengthened by 106 read => feed constraints.
[2023-03-08 05:14:45] [INFO ] Implicit Places using invariants and state equation in 317 ms returned []
Implicit Place search using SMT with State Equation took 389 ms to find 0 implicit places.
[2023-03-08 05:14:45] [INFO ] Invariant cache hit.
[2023-03-08 05:14:45] [INFO ] Dead Transitions using invariants and state equation in 88 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 151/384 places, 248/884 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 497 ms. Remains : 151/384 places, 248/884 transitions.
[2023-03-08 05:14:45] [INFO ] Flatten gal took : 5 ms
[2023-03-08 05:14:45] [INFO ] Flatten gal took : 6 ms
[2023-03-08 05:14:45] [INFO ] Input system was already deterministic with 248 transitions.
[2023-03-08 05:14:45] [INFO ] Flatten gal took : 7 ms
[2023-03-08 05:14:45] [INFO ] Flatten gal took : 6 ms
[2023-03-08 05:14:45] [INFO ] Time to serialize gal into /tmp/CTLFireability4373498728218162047.gal : 1 ms
[2023-03-08 05:14:45] [INFO ] Time to serialize properties into /tmp/CTLFireability10249283816611295355.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability4373498728218162047.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability10249283816611295355.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2023-03-08 05:15:15] [INFO ] Flatten gal took : 6 ms
[2023-03-08 05:15:15] [INFO ] Applying decomposition
[2023-03-08 05:15:15] [INFO ] Flatten gal took : 6 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph6219118548800970604.txt' '-o' '/tmp/graph6219118548800970604.bin' '-w' '/tmp/graph6219118548800970604.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph6219118548800970604.bin' '-l' '-1' '-v' '-w' '/tmp/graph6219118548800970604.weights' '-q' '0' '-e' '0.001'
[2023-03-08 05:15:15] [INFO ] Decomposing Gal with order
[2023-03-08 05:15:15] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-08 05:15:15] [INFO ] Removed a total of 251 redundant transitions.
[2023-03-08 05:15:15] [INFO ] Flatten gal took : 16 ms
[2023-03-08 05:15:15] [INFO ] Fuse similar labels procedure discarded/fused a total of 211 labels/synchronizations in 3 ms.
[2023-03-08 05:15:15] [INFO ] Time to serialize gal into /tmp/CTLFireability7281920145705741937.gal : 2 ms
[2023-03-08 05:15:15] [INFO ] Time to serialize properties into /tmp/CTLFireability8568227092646284521.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability7281920145705741937.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability8568227092646284521.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...262
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 384/384 places, 884/884 transitions.
Discarding 86 places :
Symmetric choice reduction at 0 with 86 rule applications. Total rules 86 place count 298 transition count 550
Iterating global reduction 0 with 86 rules applied. Total rules applied 172 place count 298 transition count 550
Ensure Unique test removed 19 transitions
Reduce isomorphic transitions removed 19 transitions.
Iterating post reduction 0 with 19 rules applied. Total rules applied 191 place count 298 transition count 531
Discarding 68 places :
Symmetric choice reduction at 1 with 68 rule applications. Total rules 259 place count 230 transition count 451
Iterating global reduction 1 with 68 rules applied. Total rules applied 327 place count 230 transition count 451
Ensure Unique test removed 21 transitions
Reduce isomorphic transitions removed 21 transitions.
Iterating post reduction 1 with 21 rules applied. Total rules applied 348 place count 230 transition count 430
Discarding 51 places :
Symmetric choice reduction at 2 with 51 rule applications. Total rules 399 place count 179 transition count 352
Iterating global reduction 2 with 51 rules applied. Total rules applied 450 place count 179 transition count 352
Ensure Unique test removed 34 transitions
Reduce isomorphic transitions removed 34 transitions.
Iterating post reduction 2 with 34 rules applied. Total rules applied 484 place count 179 transition count 318
Discarding 18 places :
Symmetric choice reduction at 3 with 18 rule applications. Total rules 502 place count 161 transition count 285
Iterating global reduction 3 with 18 rules applied. Total rules applied 520 place count 161 transition count 285
Ensure Unique test removed 10 transitions
Reduce isomorphic transitions removed 10 transitions.
Iterating post reduction 3 with 10 rules applied. Total rules applied 530 place count 161 transition count 275
Discarding 10 places :
Symmetric choice reduction at 4 with 10 rule applications. Total rules 540 place count 151 transition count 265
Iterating global reduction 4 with 10 rules applied. Total rules applied 550 place count 151 transition count 265
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 4 with 4 rules applied. Total rules applied 554 place count 151 transition count 261
Discarding 6 places :
Symmetric choice reduction at 5 with 6 rule applications. Total rules 560 place count 145 transition count 255
Iterating global reduction 5 with 6 rules applied. Total rules applied 566 place count 145 transition count 255
Ensure Unique test removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 5 with 6 rules applied. Total rules applied 572 place count 145 transition count 249
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 573 place count 144 transition count 247
Iterating global reduction 6 with 1 rules applied. Total rules applied 574 place count 144 transition count 247
Applied a total of 574 rules in 37 ms. Remains 144 /384 variables (removed 240) and now considering 247/884 (removed 637) transitions.
// Phase 1: matrix 247 rows 144 cols
[2023-03-08 05:15:45] [INFO ] Computed 2 place invariants in 5 ms
[2023-03-08 05:15:45] [INFO ] Implicit Places using invariants in 75 ms returned []
[2023-03-08 05:15:45] [INFO ] Invariant cache hit.
[2023-03-08 05:15:45] [INFO ] State equation strengthened by 113 read => feed constraints.
[2023-03-08 05:15:45] [INFO ] Implicit Places using invariants and state equation in 436 ms returned []
Implicit Place search using SMT with State Equation took 513 ms to find 0 implicit places.
[2023-03-08 05:15:45] [INFO ] Redundant transitions in 4 ms returned []
[2023-03-08 05:15:46] [INFO ] Invariant cache hit.
[2023-03-08 05:15:46] [INFO ] Dead Transitions using invariants and state equation in 89 ms found 0 transitions.
Starting structural reductions in SI_CTL mode, iteration 1 : 144/384 places, 247/884 transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 657 ms. Remains : 144/384 places, 247/884 transitions.
[2023-03-08 05:15:46] [INFO ] Flatten gal took : 6 ms
[2023-03-08 05:15:46] [INFO ] Flatten gal took : 6 ms
[2023-03-08 05:15:46] [INFO ] Input system was already deterministic with 247 transitions.
[2023-03-08 05:15:46] [INFO ] Flatten gal took : 7 ms
[2023-03-08 05:15:46] [INFO ] Flatten gal took : 6 ms
[2023-03-08 05:15:46] [INFO ] Time to serialize gal into /tmp/CTLFireability873728828527283442.gal : 1 ms
[2023-03-08 05:15:46] [INFO ] Time to serialize properties into /tmp/CTLFireability11153318320714934467.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability873728828527283442.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability11153318320714934467.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2023-03-08 05:16:16] [INFO ] Flatten gal took : 6 ms
[2023-03-08 05:16:16] [INFO ] Applying decomposition
[2023-03-08 05:16:16] [INFO ] Flatten gal took : 5 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph16468346411175578790.txt' '-o' '/tmp/graph16468346411175578790.bin' '-w' '/tmp/graph16468346411175578790.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph16468346411175578790.bin' '-l' '-1' '-v' '-w' '/tmp/graph16468346411175578790.weights' '-q' '0' '-e' '0.001'
[2023-03-08 05:16:16] [INFO ] Decomposing Gal with order
[2023-03-08 05:16:16] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-08 05:16:16] [INFO ] Removed a total of 190 redundant transitions.
[2023-03-08 05:16:16] [INFO ] Flatten gal took : 17 ms
[2023-03-08 05:16:16] [INFO ] Fuse similar labels procedure discarded/fused a total of 139 labels/synchronizations in 5 ms.
[2023-03-08 05:16:16] [INFO ] Time to serialize gal into /tmp/CTLFireability17953057857209112956.gal : 2 ms
[2023-03-08 05:16:16] [INFO ] Time to serialize properties into /tmp/CTLFireability8545522662451392301.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability17953057857209112956.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability8545522662451392301.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 384/384 places, 884/884 transitions.
Discarding 87 places :
Symmetric choice reduction at 0 with 87 rule applications. Total rules 87 place count 297 transition count 549
Iterating global reduction 0 with 87 rules applied. Total rules applied 174 place count 297 transition count 549
Ensure Unique test removed 19 transitions
Reduce isomorphic transitions removed 19 transitions.
Iterating post reduction 0 with 19 rules applied. Total rules applied 193 place count 297 transition count 530
Discarding 70 places :
Symmetric choice reduction at 1 with 70 rule applications. Total rules 263 place count 227 transition count 448
Iterating global reduction 1 with 70 rules applied. Total rules applied 333 place count 227 transition count 448
Ensure Unique test removed 23 transitions
Reduce isomorphic transitions removed 23 transitions.
Iterating post reduction 1 with 23 rules applied. Total rules applied 356 place count 227 transition count 425
Discarding 53 places :
Symmetric choice reduction at 2 with 53 rule applications. Total rules 409 place count 174 transition count 342
Iterating global reduction 2 with 53 rules applied. Total rules applied 462 place count 174 transition count 342
Ensure Unique test removed 35 transitions
Reduce isomorphic transitions removed 35 transitions.
Iterating post reduction 2 with 35 rules applied. Total rules applied 497 place count 174 transition count 307
Discarding 18 places :
Symmetric choice reduction at 3 with 18 rule applications. Total rules 515 place count 156 transition count 274
Iterating global reduction 3 with 18 rules applied. Total rules applied 533 place count 156 transition count 274
Ensure Unique test removed 10 transitions
Reduce isomorphic transitions removed 10 transitions.
Iterating post reduction 3 with 10 rules applied. Total rules applied 543 place count 156 transition count 264
Discarding 11 places :
Symmetric choice reduction at 4 with 11 rule applications. Total rules 554 place count 145 transition count 253
Iterating global reduction 4 with 11 rules applied. Total rules applied 565 place count 145 transition count 253
Ensure Unique test removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 4 with 5 rules applied. Total rules applied 570 place count 145 transition count 248
Discarding 8 places :
Symmetric choice reduction at 5 with 8 rule applications. Total rules 578 place count 137 transition count 240
Iterating global reduction 5 with 8 rules applied. Total rules applied 586 place count 137 transition count 240
Ensure Unique test removed 9 transitions
Reduce isomorphic transitions removed 9 transitions.
Iterating post reduction 5 with 9 rules applied. Total rules applied 595 place count 137 transition count 231
Discarding 7 places :
Symmetric choice reduction at 6 with 7 rule applications. Total rules 602 place count 130 transition count 189
Iterating global reduction 6 with 7 rules applied. Total rules applied 609 place count 130 transition count 189
Applied a total of 609 rules in 37 ms. Remains 130 /384 variables (removed 254) and now considering 189/884 (removed 695) transitions.
// Phase 1: matrix 189 rows 130 cols
[2023-03-08 05:16:46] [INFO ] Computed 2 place invariants in 4 ms
[2023-03-08 05:16:46] [INFO ] Implicit Places using invariants in 66 ms returned []
[2023-03-08 05:16:46] [INFO ] Invariant cache hit.
[2023-03-08 05:16:46] [INFO ] State equation strengthened by 65 read => feed constraints.
[2023-03-08 05:16:46] [INFO ] Implicit Places using invariants and state equation in 223 ms returned []
Implicit Place search using SMT with State Equation took 290 ms to find 0 implicit places.
[2023-03-08 05:16:46] [INFO ] Redundant transitions in 2 ms returned []
[2023-03-08 05:16:46] [INFO ] Invariant cache hit.
[2023-03-08 05:16:46] [INFO ] Dead Transitions using invariants and state equation in 71 ms found 0 transitions.
Starting structural reductions in SI_CTL mode, iteration 1 : 130/384 places, 189/884 transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 406 ms. Remains : 130/384 places, 189/884 transitions.
[2023-03-08 05:16:46] [INFO ] Flatten gal took : 4 ms
[2023-03-08 05:16:46] [INFO ] Flatten gal took : 4 ms
[2023-03-08 05:16:46] [INFO ] Input system was already deterministic with 189 transitions.
[2023-03-08 05:16:46] [INFO ] Flatten gal took : 5 ms
[2023-03-08 05:16:46] [INFO ] Flatten gal took : 4 ms
[2023-03-08 05:16:46] [INFO ] Time to serialize gal into /tmp/CTLFireability3405379383315869473.gal : 1 ms
[2023-03-08 05:16:46] [INFO ] Time to serialize properties into /tmp/CTLFireability11950720788295294163.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability3405379383315869473.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability11950720788295294163.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2023-03-08 05:17:16] [INFO ] Flatten gal took : 10 ms
[2023-03-08 05:17:16] [INFO ] Applying decomposition
[2023-03-08 05:17:16] [INFO ] Flatten gal took : 9 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph13826245038306732805.txt' '-o' '/tmp/graph13826245038306732805.bin' '-w' '/tmp/graph13826245038306732805.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph13826245038306732805.bin' '-l' '-1' '-v' '-w' '/tmp/graph13826245038306732805.weights' '-q' '0' '-e' '0.001'
[2023-03-08 05:17:16] [INFO ] Decomposing Gal with order
[2023-03-08 05:17:16] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-08 05:17:16] [INFO ] Removed a total of 210 redundant transitions.
[2023-03-08 05:17:16] [INFO ] Flatten gal took : 13 ms
[2023-03-08 05:17:16] [INFO ] Fuse similar labels procedure discarded/fused a total of 123 labels/synchronizations in 4 ms.
[2023-03-08 05:17:16] [INFO ] Time to serialize gal into /tmp/CTLFireability14765557574420663067.gal : 2 ms
[2023-03-08 05:17:16] [INFO ] Time to serialize properties into /tmp/CTLFireability7705401863737114757.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability14765557574420663067.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability7705401863737114757.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
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,9.4798e+07,4.11974,128100,3829,1665,174846,13870,523,375734,202,265657,0
Converting to forward existential form...Done !
original formula: AG((EF(((i3.u4.s1>=1)&&(i8.u20.l4109>=1))) * ((i3.u4.s1<1)||(u0.l3089<1))))
=> equivalent forward existential formula: ([(FwdU(Init,TRUE) * !(E(TRUE U ((i3.u4.s1>=1)&&(i8.u20.l4109>=1)))))] = FALSE * [(FwdU(Init,TRUE) * !(((i3.u4.s...186
(forward)formula 0,0,4.19323,128100,1,0,174846,13870,530,375734,205,265657,3220
FORMULA DBSingleClientW-PT-d2m08-CTLFireability-06 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
Formula is FALSE !
***************************************
Starting structural reductions in LTL mode, iteration 0 : 384/384 places, 884/884 transitions.
Discarding 76 places :
Symmetric choice reduction at 0 with 76 rule applications. Total rules 76 place count 308 transition count 608
Iterating global reduction 0 with 76 rules applied. Total rules applied 152 place count 308 transition count 608
Ensure Unique test removed 23 transitions
Reduce isomorphic transitions removed 23 transitions.
Iterating post reduction 0 with 23 rules applied. Total rules applied 175 place count 308 transition count 585
Discarding 60 places :
Symmetric choice reduction at 1 with 60 rule applications. Total rules 235 place count 248 transition count 514
Iterating global reduction 1 with 60 rules applied. Total rules applied 295 place count 248 transition count 514
Ensure Unique test removed 20 transitions
Reduce isomorphic transitions removed 20 transitions.
Iterating post reduction 1 with 20 rules applied. Total rules applied 315 place count 248 transition count 494
Discarding 44 places :
Symmetric choice reduction at 2 with 44 rule applications. Total rules 359 place count 204 transition count 421
Iterating global reduction 2 with 44 rules applied. Total rules applied 403 place count 204 transition count 421
Ensure Unique test removed 34 transitions
Reduce isomorphic transitions removed 34 transitions.
Iterating post reduction 2 with 34 rules applied. Total rules applied 437 place count 204 transition count 387
Discarding 17 places :
Symmetric choice reduction at 3 with 17 rule applications. Total rules 454 place count 187 transition count 363
Iterating global reduction 3 with 17 rules applied. Total rules applied 471 place count 187 transition count 363
Ensure Unique test removed 14 transitions
Reduce isomorphic transitions removed 14 transitions.
Iterating post reduction 3 with 14 rules applied. Total rules applied 485 place count 187 transition count 349
Discarding 9 places :
Symmetric choice reduction at 4 with 9 rule applications. Total rules 494 place count 178 transition count 340
Iterating global reduction 4 with 9 rules applied. Total rules applied 503 place count 178 transition count 340
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 4 with 4 rules applied. Total rules applied 507 place count 178 transition count 336
Discarding 5 places :
Symmetric choice reduction at 5 with 5 rule applications. Total rules 512 place count 173 transition count 331
Iterating global reduction 5 with 5 rules applied. Total rules applied 517 place count 173 transition count 331
Ensure Unique test removed 10 transitions
Reduce isomorphic transitions removed 10 transitions.
Iterating post reduction 5 with 10 rules applied. Total rules applied 527 place count 173 transition count 321
Discarding 5 places :
Symmetric choice reduction at 6 with 5 rule applications. Total rules 532 place count 168 transition count 293
Iterating global reduction 6 with 5 rules applied. Total rules applied 537 place count 168 transition count 293
Applied a total of 537 rules in 21 ms. Remains 168 /384 variables (removed 216) and now considering 293/884 (removed 591) transitions.
// Phase 1: matrix 293 rows 168 cols
[2023-03-08 05:17:21] [INFO ] Computed 2 place invariants in 5 ms
[2023-03-08 05:17:21] [INFO ] Implicit Places using invariants in 78 ms returned []
[2023-03-08 05:17:21] [INFO ] Invariant cache hit.
[2023-03-08 05:17:21] [INFO ] State equation strengthened by 132 read => feed constraints.
[2023-03-08 05:17:21] [INFO ] Implicit Places using invariants and state equation in 430 ms returned []
Implicit Place search using SMT with State Equation took 510 ms to find 0 implicit places.
[2023-03-08 05:17:21] [INFO ] Invariant cache hit.
[2023-03-08 05:17:21] [INFO ] Dead Transitions using invariants and state equation in 98 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 168/384 places, 293/884 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 630 ms. Remains : 168/384 places, 293/884 transitions.
[2023-03-08 05:17:21] [INFO ] Flatten gal took : 6 ms
[2023-03-08 05:17:21] [INFO ] Flatten gal took : 7 ms
[2023-03-08 05:17:21] [INFO ] Input system was already deterministic with 293 transitions.
[2023-03-08 05:17:21] [INFO ] Flatten gal took : 6 ms
[2023-03-08 05:17:21] [INFO ] Flatten gal took : 7 ms
[2023-03-08 05:17:21] [INFO ] Time to serialize gal into /tmp/CTLFireability1081792512532730129.gal : 2 ms
[2023-03-08 05:17:21] [INFO ] Time to serialize properties into /tmp/CTLFireability637279141278945192.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability1081792512532730129.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability637279141278945192.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...282
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2023-03-08 05:17:51] [INFO ] Flatten gal took : 7 ms
[2023-03-08 05:17:51] [INFO ] Applying decomposition
[2023-03-08 05:17:51] [INFO ] Flatten gal took : 7 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph4443101518525132828.txt' '-o' '/tmp/graph4443101518525132828.bin' '-w' '/tmp/graph4443101518525132828.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph4443101518525132828.bin' '-l' '-1' '-v' '-w' '/tmp/graph4443101518525132828.weights' '-q' '0' '-e' '0.001'
[2023-03-08 05:17:51] [INFO ] Decomposing Gal with order
[2023-03-08 05:17:51] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-08 05:17:51] [INFO ] Removed a total of 312 redundant transitions.
[2023-03-08 05:17:51] [INFO ] Flatten gal took : 19 ms
[2023-03-08 05:17:51] [INFO ] Fuse similar labels procedure discarded/fused a total of 202 labels/synchronizations in 3 ms.
[2023-03-08 05:17:51] [INFO ] Time to serialize gal into /tmp/CTLFireability2580089598828468265.gal : 2 ms
[2023-03-08 05:17:51] [INFO ] Time to serialize properties into /tmp/CTLFireability11312155465073832942.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability2580089598828468265.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability11312155465073832942.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 384/384 places, 884/884 transitions.
Discarding 85 places :
Symmetric choice reduction at 0 with 85 rule applications. Total rules 85 place count 299 transition count 551
Iterating global reduction 0 with 85 rules applied. Total rules applied 170 place count 299 transition count 551
Ensure Unique test removed 19 transitions
Reduce isomorphic transitions removed 19 transitions.
Iterating post reduction 0 with 19 rules applied. Total rules applied 189 place count 299 transition count 532
Discarding 68 places :
Symmetric choice reduction at 1 with 68 rule applications. Total rules 257 place count 231 transition count 452
Iterating global reduction 1 with 68 rules applied. Total rules applied 325 place count 231 transition count 452
Ensure Unique test removed 21 transitions
Reduce isomorphic transitions removed 21 transitions.
Iterating post reduction 1 with 21 rules applied. Total rules applied 346 place count 231 transition count 431
Discarding 51 places :
Symmetric choice reduction at 2 with 51 rule applications. Total rules 397 place count 180 transition count 350
Iterating global reduction 2 with 51 rules applied. Total rules applied 448 place count 180 transition count 350
Ensure Unique test removed 34 transitions
Reduce isomorphic transitions removed 34 transitions.
Iterating post reduction 2 with 34 rules applied. Total rules applied 482 place count 180 transition count 316
Discarding 18 places :
Symmetric choice reduction at 3 with 18 rule applications. Total rules 500 place count 162 transition count 283
Iterating global reduction 3 with 18 rules applied. Total rules applied 518 place count 162 transition count 283
Ensure Unique test removed 10 transitions
Reduce isomorphic transitions removed 10 transitions.
Iterating post reduction 3 with 10 rules applied. Total rules applied 528 place count 162 transition count 273
Discarding 11 places :
Symmetric choice reduction at 4 with 11 rule applications. Total rules 539 place count 151 transition count 262
Iterating global reduction 4 with 11 rules applied. Total rules applied 550 place count 151 transition count 262
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 4 with 4 rules applied. Total rules applied 554 place count 151 transition count 258
Discarding 8 places :
Symmetric choice reduction at 5 with 8 rule applications. Total rules 562 place count 143 transition count 250
Iterating global reduction 5 with 8 rules applied. Total rules applied 570 place count 143 transition count 250
Ensure Unique test removed 10 transitions
Reduce isomorphic transitions removed 10 transitions.
Iterating post reduction 5 with 10 rules applied. Total rules applied 580 place count 143 transition count 240
Discarding 5 places :
Symmetric choice reduction at 6 with 5 rule applications. Total rules 585 place count 138 transition count 214
Iterating global reduction 6 with 5 rules applied. Total rules applied 590 place count 138 transition count 214
Applied a total of 590 rules in 35 ms. Remains 138 /384 variables (removed 246) and now considering 214/884 (removed 670) transitions.
// Phase 1: matrix 214 rows 138 cols
[2023-03-08 05:18:21] [INFO ] Computed 2 place invariants in 2 ms
[2023-03-08 05:18:22] [INFO ] Implicit Places using invariants in 64 ms returned []
[2023-03-08 05:18:22] [INFO ] Invariant cache hit.
[2023-03-08 05:18:22] [INFO ] State equation strengthened by 86 read => feed constraints.
[2023-03-08 05:18:22] [INFO ] Implicit Places using invariants and state equation in 281 ms returned []
Implicit Place search using SMT with State Equation took 349 ms to find 0 implicit places.
[2023-03-08 05:18:22] [INFO ] Redundant transitions in 2 ms returned []
[2023-03-08 05:18:22] [INFO ] Invariant cache hit.
[2023-03-08 05:18:22] [INFO ] Dead Transitions using invariants and state equation in 75 ms found 0 transitions.
Starting structural reductions in SI_CTL mode, iteration 1 : 138/384 places, 214/884 transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 467 ms. Remains : 138/384 places, 214/884 transitions.
[2023-03-08 05:18:22] [INFO ] Flatten gal took : 4 ms
[2023-03-08 05:18:22] [INFO ] Flatten gal took : 5 ms
[2023-03-08 05:18:22] [INFO ] Input system was already deterministic with 214 transitions.
[2023-03-08 05:18:22] [INFO ] Flatten gal took : 4 ms
[2023-03-08 05:18:22] [INFO ] Flatten gal took : 5 ms
[2023-03-08 05:18:22] [INFO ] Time to serialize gal into /tmp/CTLFireability11302194142007541042.gal : 2 ms
[2023-03-08 05:18:22] [INFO ] Time to serialize properties into /tmp/CTLFireability10179351370511238144.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability11302194142007541042.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability10179351370511238144.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2023-03-08 05:18:52] [INFO ] Flatten gal took : 8 ms
[2023-03-08 05:18:52] [INFO ] Applying decomposition
[2023-03-08 05:18:52] [INFO ] Flatten gal took : 5 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph7945810612844065682.txt' '-o' '/tmp/graph7945810612844065682.bin' '-w' '/tmp/graph7945810612844065682.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph7945810612844065682.bin' '-l' '-1' '-v' '-w' '/tmp/graph7945810612844065682.weights' '-q' '0' '-e' '0.001'
[2023-03-08 05:18:52] [INFO ] Decomposing Gal with order
[2023-03-08 05:18:52] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-08 05:18:52] [INFO ] Removed a total of 176 redundant transitions.
[2023-03-08 05:18:52] [INFO ] Flatten gal took : 13 ms
[2023-03-08 05:18:52] [INFO ] Fuse similar labels procedure discarded/fused a total of 154 labels/synchronizations in 3 ms.
[2023-03-08 05:18:52] [INFO ] Time to serialize gal into /tmp/CTLFireability12016163846961960373.gal : 2 ms
[2023-03-08 05:18:52] [INFO ] Time to serialize properties into /tmp/CTLFireability18220793232214514762.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability12016163846961960373.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability18220793232214514762.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...264
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 384/384 places, 884/884 transitions.
Discarding 85 places :
Symmetric choice reduction at 0 with 85 rule applications. Total rules 85 place count 299 transition count 561
Iterating global reduction 0 with 85 rules applied. Total rules applied 170 place count 299 transition count 561
Ensure Unique test removed 19 transitions
Reduce isomorphic transitions removed 19 transitions.
Iterating post reduction 0 with 19 rules applied. Total rules applied 189 place count 299 transition count 542
Discarding 69 places :
Symmetric choice reduction at 1 with 69 rule applications. Total rules 258 place count 230 transition count 461
Iterating global reduction 1 with 69 rules applied. Total rules applied 327 place count 230 transition count 461
Ensure Unique test removed 24 transitions
Reduce isomorphic transitions removed 24 transitions.
Iterating post reduction 1 with 24 rules applied. Total rules applied 351 place count 230 transition count 437
Discarding 52 places :
Symmetric choice reduction at 2 with 52 rule applications. Total rules 403 place count 178 transition count 354
Iterating global reduction 2 with 52 rules applied. Total rules applied 455 place count 178 transition count 354
Ensure Unique test removed 35 transitions
Reduce isomorphic transitions removed 35 transitions.
Iterating post reduction 2 with 35 rules applied. Total rules applied 490 place count 178 transition count 319
Discarding 18 places :
Symmetric choice reduction at 3 with 18 rule applications. Total rules 508 place count 160 transition count 287
Iterating global reduction 3 with 18 rules applied. Total rules applied 526 place count 160 transition count 287
Ensure Unique test removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 3 with 6 rules applied. Total rules applied 532 place count 160 transition count 281
Discarding 11 places :
Symmetric choice reduction at 4 with 11 rule applications. Total rules 543 place count 149 transition count 270
Iterating global reduction 4 with 11 rules applied. Total rules applied 554 place count 149 transition count 270
Ensure Unique test removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 4 with 5 rules applied. Total rules applied 559 place count 149 transition count 265
Discarding 7 places :
Symmetric choice reduction at 5 with 7 rule applications. Total rules 566 place count 142 transition count 258
Iterating global reduction 5 with 7 rules applied. Total rules applied 573 place count 142 transition count 258
Ensure Unique test removed 9 transitions
Reduce isomorphic transitions removed 9 transitions.
Iterating post reduction 5 with 9 rules applied. Total rules applied 582 place count 142 transition count 249
Discarding 6 places :
Symmetric choice reduction at 6 with 6 rule applications. Total rules 588 place count 136 transition count 215
Iterating global reduction 6 with 6 rules applied. Total rules applied 594 place count 136 transition count 215
Applied a total of 594 rules in 25 ms. Remains 136 /384 variables (removed 248) and now considering 215/884 (removed 669) transitions.
// Phase 1: matrix 215 rows 136 cols
[2023-03-08 05:19:22] [INFO ] Computed 2 place invariants in 4 ms
[2023-03-08 05:19:23] [INFO ] Implicit Places using invariants in 69 ms returned []
[2023-03-08 05:19:23] [INFO ] Invariant cache hit.
[2023-03-08 05:19:23] [INFO ] State equation strengthened by 88 read => feed constraints.
[2023-03-08 05:19:23] [INFO ] Implicit Places using invariants and state equation in 274 ms returned []
Implicit Place search using SMT with State Equation took 344 ms to find 0 implicit places.
[2023-03-08 05:19:23] [INFO ] Invariant cache hit.
[2023-03-08 05:19:23] [INFO ] Dead Transitions using invariants and state equation in 78 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 136/384 places, 215/884 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 448 ms. Remains : 136/384 places, 215/884 transitions.
[2023-03-08 05:19:23] [INFO ] Flatten gal took : 5 ms
[2023-03-08 05:19:23] [INFO ] Flatten gal took : 5 ms
[2023-03-08 05:19:23] [INFO ] Input system was already deterministic with 215 transitions.
[2023-03-08 05:19:23] [INFO ] Flatten gal took : 5 ms
[2023-03-08 05:19:23] [INFO ] Flatten gal took : 8 ms
[2023-03-08 05:19:23] [INFO ] Time to serialize gal into /tmp/CTLFireability14143635133481067837.gal : 2 ms
[2023-03-08 05:19:23] [INFO ] Time to serialize properties into /tmp/CTLFireability8588463130527354640.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability14143635133481067837.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability8588463130527354640.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2023-03-08 05:19:53] [INFO ] Flatten gal took : 8 ms
[2023-03-08 05:19:53] [INFO ] Applying decomposition
[2023-03-08 05:19:53] [INFO ] Flatten gal took : 5 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph14529245705575409404.txt' '-o' '/tmp/graph14529245705575409404.bin' '-w' '/tmp/graph14529245705575409404.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph14529245705575409404.bin' '-l' '-1' '-v' '-w' '/tmp/graph14529245705575409404.weights' '-q' '0' '-e' '0.001'
[2023-03-08 05:19:53] [INFO ] Decomposing Gal with order
[2023-03-08 05:19:53] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-08 05:19:53] [INFO ] Removed a total of 182 redundant transitions.
[2023-03-08 05:19:53] [INFO ] Flatten gal took : 13 ms
[2023-03-08 05:19:53] [INFO ] Fuse similar labels procedure discarded/fused a total of 171 labels/synchronizations in 4 ms.
[2023-03-08 05:19:53] [INFO ] Time to serialize gal into /tmp/CTLFireability8833028460571051775.gal : 2 ms
[2023-03-08 05:19:53] [INFO ] Time to serialize properties into /tmp/CTLFireability11230440079729988451.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability8833028460571051775.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability11230440079729988451.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 384/384 places, 884/884 transitions.
Discarding 75 places :
Symmetric choice reduction at 0 with 75 rule applications. Total rules 75 place count 309 transition count 604
Iterating global reduction 0 with 75 rules applied. Total rules applied 150 place count 309 transition count 604
Ensure Unique test removed 18 transitions
Reduce isomorphic transitions removed 18 transitions.
Iterating post reduction 0 with 18 rules applied. Total rules applied 168 place count 309 transition count 586
Discarding 62 places :
Symmetric choice reduction at 1 with 62 rule applications. Total rules 230 place count 247 transition count 513
Iterating global reduction 1 with 62 rules applied. Total rules applied 292 place count 247 transition count 513
Ensure Unique test removed 22 transitions
Reduce isomorphic transitions removed 22 transitions.
Iterating post reduction 1 with 22 rules applied. Total rules applied 314 place count 247 transition count 491
Discarding 47 places :
Symmetric choice reduction at 2 with 47 rule applications. Total rules 361 place count 200 transition count 415
Iterating global reduction 2 with 47 rules applied. Total rules applied 408 place count 200 transition count 415
Ensure Unique test removed 37 transitions
Reduce isomorphic transitions removed 37 transitions.
Iterating post reduction 2 with 37 rules applied. Total rules applied 445 place count 200 transition count 378
Discarding 16 places :
Symmetric choice reduction at 3 with 16 rule applications. Total rules 461 place count 184 transition count 351
Iterating global reduction 3 with 16 rules applied. Total rules applied 477 place count 184 transition count 351
Ensure Unique test removed 10 transitions
Reduce isomorphic transitions removed 10 transitions.
Iterating post reduction 3 with 10 rules applied. Total rules applied 487 place count 184 transition count 341
Discarding 10 places :
Symmetric choice reduction at 4 with 10 rule applications. Total rules 497 place count 174 transition count 331
Iterating global reduction 4 with 10 rules applied. Total rules applied 507 place count 174 transition count 331
Ensure Unique test removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 4 with 5 rules applied. Total rules applied 512 place count 174 transition count 326
Discarding 7 places :
Symmetric choice reduction at 5 with 7 rule applications. Total rules 519 place count 167 transition count 319
Iterating global reduction 5 with 7 rules applied. Total rules applied 526 place count 167 transition count 319
Ensure Unique test removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 5 with 7 rules applied. Total rules applied 533 place count 167 transition count 312
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 534 place count 166 transition count 310
Iterating global reduction 6 with 1 rules applied. Total rules applied 535 place count 166 transition count 310
Applied a total of 535 rules in 24 ms. Remains 166 /384 variables (removed 218) and now considering 310/884 (removed 574) transitions.
// Phase 1: matrix 310 rows 166 cols
[2023-03-08 05:20:23] [INFO ] Computed 2 place invariants in 5 ms
[2023-03-08 05:20:23] [INFO ] Implicit Places using invariants in 82 ms returned []
[2023-03-08 05:20:23] [INFO ] Invariant cache hit.
[2023-03-08 05:20:23] [INFO ] State equation strengthened by 149 read => feed constraints.
[2023-03-08 05:20:24] [INFO ] Implicit Places using invariants and state equation in 442 ms returned []
Implicit Place search using SMT with State Equation took 526 ms to find 0 implicit places.
[2023-03-08 05:20:24] [INFO ] Invariant cache hit.
[2023-03-08 05:20:24] [INFO ] Dead Transitions using invariants and state equation in 106 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 166/384 places, 310/884 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 657 ms. Remains : 166/384 places, 310/884 transitions.
[2023-03-08 05:20:24] [INFO ] Flatten gal took : 6 ms
[2023-03-08 05:20:24] [INFO ] Flatten gal took : 7 ms
[2023-03-08 05:20:24] [INFO ] Input system was already deterministic with 310 transitions.
[2023-03-08 05:20:24] [INFO ] Flatten gal took : 7 ms
[2023-03-08 05:20:24] [INFO ] Flatten gal took : 7 ms
[2023-03-08 05:20:24] [INFO ] Time to serialize gal into /tmp/CTLFireability17952910167001703370.gal : 2 ms
[2023-03-08 05:20:24] [INFO ] Time to serialize properties into /tmp/CTLFireability8096019989618489753.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability17952910167001703370.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability8096019989618489753.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2023-03-08 05:20:54] [INFO ] Flatten gal took : 10 ms
[2023-03-08 05:20:54] [INFO ] Applying decomposition
[2023-03-08 05:20:54] [INFO ] Flatten gal took : 7 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph3687307230415278468.txt' '-o' '/tmp/graph3687307230415278468.bin' '-w' '/tmp/graph3687307230415278468.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph3687307230415278468.bin' '-l' '-1' '-v' '-w' '/tmp/graph3687307230415278468.weights' '-q' '0' '-e' '0.001'
[2023-03-08 05:20:54] [INFO ] Decomposing Gal with order
[2023-03-08 05:20:54] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-08 05:20:54] [INFO ] Removed a total of 315 redundant transitions.
[2023-03-08 05:20:54] [INFO ] Flatten gal took : 24 ms
[2023-03-08 05:20:54] [INFO ] Fuse similar labels procedure discarded/fused a total of 240 labels/synchronizations in 4 ms.
[2023-03-08 05:20:54] [INFO ] Time to serialize gal into /tmp/CTLFireability6282355872290416301.gal : 2 ms
[2023-03-08 05:20:54] [INFO ] Time to serialize properties into /tmp/CTLFireability7454319672320041873.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability6282355872290416301.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability7454319672320041873.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...262
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 384/384 places, 884/884 transitions.
Discarding 80 places :
Symmetric choice reduction at 0 with 80 rule applications. Total rules 80 place count 304 transition count 558
Iterating global reduction 0 with 80 rules applied. Total rules applied 160 place count 304 transition count 558
Ensure Unique test removed 20 transitions
Reduce isomorphic transitions removed 20 transitions.
Iterating post reduction 0 with 20 rules applied. Total rules applied 180 place count 304 transition count 538
Discarding 63 places :
Symmetric choice reduction at 1 with 63 rule applications. Total rules 243 place count 241 transition count 463
Iterating global reduction 1 with 63 rules applied. Total rules applied 306 place count 241 transition count 463
Ensure Unique test removed 18 transitions
Reduce isomorphic transitions removed 18 transitions.
Iterating post reduction 1 with 18 rules applied. Total rules applied 324 place count 241 transition count 445
Discarding 49 places :
Symmetric choice reduction at 2 with 49 rule applications. Total rules 373 place count 192 transition count 375
Iterating global reduction 2 with 49 rules applied. Total rules applied 422 place count 192 transition count 375
Ensure Unique test removed 29 transitions
Reduce isomorphic transitions removed 29 transitions.
Iterating post reduction 2 with 29 rules applied. Total rules applied 451 place count 192 transition count 346
Discarding 16 places :
Symmetric choice reduction at 3 with 16 rule applications. Total rules 467 place count 176 transition count 315
Iterating global reduction 3 with 16 rules applied. Total rules applied 483 place count 176 transition count 315
Ensure Unique test removed 18 transitions
Reduce isomorphic transitions removed 18 transitions.
Iterating post reduction 3 with 18 rules applied. Total rules applied 501 place count 176 transition count 297
Discarding 7 places :
Symmetric choice reduction at 4 with 7 rule applications. Total rules 508 place count 169 transition count 290
Iterating global reduction 4 with 7 rules applied. Total rules applied 515 place count 169 transition count 290
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 4 with 3 rules applied. Total rules applied 518 place count 169 transition count 287
Discarding 5 places :
Symmetric choice reduction at 5 with 5 rule applications. Total rules 523 place count 164 transition count 282
Iterating global reduction 5 with 5 rules applied. Total rules applied 528 place count 164 transition count 282
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 5 with 3 rules applied. Total rules applied 531 place count 164 transition count 279
Discarding 3 places :
Symmetric choice reduction at 6 with 3 rule applications. Total rules 534 place count 161 transition count 264
Iterating global reduction 6 with 3 rules applied. Total rules applied 537 place count 161 transition count 264
Applied a total of 537 rules in 22 ms. Remains 161 /384 variables (removed 223) and now considering 264/884 (removed 620) transitions.
// Phase 1: matrix 264 rows 161 cols
[2023-03-08 05:21:24] [INFO ] Computed 2 place invariants in 2 ms
[2023-03-08 05:21:24] [INFO ] Implicit Places using invariants in 76 ms returned []
[2023-03-08 05:21:24] [INFO ] Invariant cache hit.
[2023-03-08 05:21:24] [INFO ] State equation strengthened by 105 read => feed constraints.
[2023-03-08 05:21:24] [INFO ] Implicit Places using invariants and state equation in 393 ms returned []
Implicit Place search using SMT with State Equation took 471 ms to find 0 implicit places.
[2023-03-08 05:21:24] [INFO ] Invariant cache hit.
[2023-03-08 05:21:25] [INFO ] Dead Transitions using invariants and state equation in 88 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 161/384 places, 264/884 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 584 ms. Remains : 161/384 places, 264/884 transitions.
[2023-03-08 05:21:25] [INFO ] Flatten gal took : 5 ms
[2023-03-08 05:21:25] [INFO ] Flatten gal took : 6 ms
[2023-03-08 05:21:25] [INFO ] Input system was already deterministic with 264 transitions.
[2023-03-08 05:21:25] [INFO ] Flatten gal took : 6 ms
[2023-03-08 05:21:25] [INFO ] Flatten gal took : 10 ms
[2023-03-08 05:21:25] [INFO ] Time to serialize gal into /tmp/CTLFireability3269565172328985683.gal : 1 ms
[2023-03-08 05:21:25] [INFO ] Time to serialize properties into /tmp/CTLFireability79951314467485291.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability3269565172328985683.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability79951314467485291.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...281
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2023-03-08 05:21:55] [INFO ] Flatten gal took : 11 ms
[2023-03-08 05:21:55] [INFO ] Applying decomposition
[2023-03-08 05:21:55] [INFO ] Flatten gal took : 7 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph8097043785475392985.txt' '-o' '/tmp/graph8097043785475392985.bin' '-w' '/tmp/graph8097043785475392985.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph8097043785475392985.bin' '-l' '-1' '-v' '-w' '/tmp/graph8097043785475392985.weights' '-q' '0' '-e' '0.001'
[2023-03-08 05:21:55] [INFO ] Decomposing Gal with order
[2023-03-08 05:21:55] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-08 05:21:55] [INFO ] Removed a total of 273 redundant transitions.
[2023-03-08 05:21:55] [INFO ] Flatten gal took : 15 ms
[2023-03-08 05:21:55] [INFO ] Fuse similar labels procedure discarded/fused a total of 245 labels/synchronizations in 4 ms.
[2023-03-08 05:21:55] [INFO ] Time to serialize gal into /tmp/CTLFireability4351364883880810382.gal : 2 ms
[2023-03-08 05:21:55] [INFO ] Time to serialize properties into /tmp/CTLFireability9568866779694194016.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability4351364883880810382.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability9568866779694194016.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...262
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 384/384 places, 884/884 transitions.
Discarding 81 places :
Symmetric choice reduction at 0 with 81 rule applications. Total rules 81 place count 303 transition count 576
Iterating global reduction 0 with 81 rules applied. Total rules applied 162 place count 303 transition count 576
Ensure Unique test removed 19 transitions
Reduce isomorphic transitions removed 19 transitions.
Iterating post reduction 0 with 19 rules applied. Total rules applied 181 place count 303 transition count 557
Discarding 66 places :
Symmetric choice reduction at 1 with 66 rule applications. Total rules 247 place count 237 transition count 479
Iterating global reduction 1 with 66 rules applied. Total rules applied 313 place count 237 transition count 479
Ensure Unique test removed 21 transitions
Reduce isomorphic transitions removed 21 transitions.
Iterating post reduction 1 with 21 rules applied. Total rules applied 334 place count 237 transition count 458
Discarding 49 places :
Symmetric choice reduction at 2 with 49 rule applications. Total rules 383 place count 188 transition count 383
Iterating global reduction 2 with 49 rules applied. Total rules applied 432 place count 188 transition count 383
Ensure Unique test removed 36 transitions
Reduce isomorphic transitions removed 36 transitions.
Iterating post reduction 2 with 36 rules applied. Total rules applied 468 place count 188 transition count 347
Discarding 15 places :
Symmetric choice reduction at 3 with 15 rule applications. Total rules 483 place count 173 transition count 322
Iterating global reduction 3 with 15 rules applied. Total rules applied 498 place count 173 transition count 322
Ensure Unique test removed 14 transitions
Reduce isomorphic transitions removed 14 transitions.
Iterating post reduction 3 with 14 rules applied. Total rules applied 512 place count 173 transition count 308
Discarding 7 places :
Symmetric choice reduction at 4 with 7 rule applications. Total rules 519 place count 166 transition count 301
Iterating global reduction 4 with 7 rules applied. Total rules applied 526 place count 166 transition count 301
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 4 with 4 rules applied. Total rules applied 530 place count 166 transition count 297
Discarding 4 places :
Symmetric choice reduction at 5 with 4 rule applications. Total rules 534 place count 162 transition count 293
Iterating global reduction 5 with 4 rules applied. Total rules applied 538 place count 162 transition count 293
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 5 with 4 rules applied. Total rules applied 542 place count 162 transition count 289
Discarding 4 places :
Symmetric choice reduction at 6 with 4 rule applications. Total rules 546 place count 158 transition count 267
Iterating global reduction 6 with 4 rules applied. Total rules applied 550 place count 158 transition count 267
Applied a total of 550 rules in 22 ms. Remains 158 /384 variables (removed 226) and now considering 267/884 (removed 617) transitions.
// Phase 1: matrix 267 rows 158 cols
[2023-03-08 05:22:25] [INFO ] Computed 2 place invariants in 3 ms
[2023-03-08 05:22:25] [INFO ] Implicit Places using invariants in 80 ms returned []
[2023-03-08 05:22:25] [INFO ] Invariant cache hit.
[2023-03-08 05:22:25] [INFO ] State equation strengthened by 115 read => feed constraints.
[2023-03-08 05:22:25] [INFO ] Implicit Places using invariants and state equation in 393 ms returned []
Implicit Place search using SMT with State Equation took 474 ms to find 0 implicit places.
[2023-03-08 05:22:25] [INFO ] Invariant cache hit.
[2023-03-08 05:22:25] [INFO ] Dead Transitions using invariants and state equation in 90 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 158/384 places, 267/884 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 587 ms. Remains : 158/384 places, 267/884 transitions.
[2023-03-08 05:22:25] [INFO ] Flatten gal took : 9 ms
[2023-03-08 05:22:25] [INFO ] Flatten gal took : 6 ms
[2023-03-08 05:22:25] [INFO ] Input system was already deterministic with 267 transitions.
[2023-03-08 05:22:25] [INFO ] Flatten gal took : 5 ms
[2023-03-08 05:22:25] [INFO ] Flatten gal took : 5 ms
[2023-03-08 05:22:25] [INFO ] Time to serialize gal into /tmp/CTLFireability7127855672172722517.gal : 1 ms
[2023-03-08 05:22:25] [INFO ] Time to serialize properties into /tmp/CTLFireability6412989639579232530.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability7127855672172722517.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability6412989639579232530.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2023-03-08 05:22:55] [INFO ] Flatten gal took : 14 ms
[2023-03-08 05:22:55] [INFO ] Applying decomposition
[2023-03-08 05:22:55] [INFO ] Flatten gal took : 6 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph11402459515333228916.txt' '-o' '/tmp/graph11402459515333228916.bin' '-w' '/tmp/graph11402459515333228916.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph11402459515333228916.bin' '-l' '-1' '-v' '-w' '/tmp/graph11402459515333228916.weights' '-q' '0' '-e' '0.001'
[2023-03-08 05:22:55] [INFO ] Decomposing Gal with order
[2023-03-08 05:22:55] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-08 05:22:55] [INFO ] Removed a total of 264 redundant transitions.
[2023-03-08 05:22:56] [INFO ] Flatten gal took : 21 ms
[2023-03-08 05:22:56] [INFO ] Fuse similar labels procedure discarded/fused a total of 187 labels/synchronizations in 3 ms.
[2023-03-08 05:22:56] [INFO ] Time to serialize gal into /tmp/CTLFireability10280271675714624248.gal : 2 ms
[2023-03-08 05:22:56] [INFO ] Time to serialize properties into /tmp/CTLFireability6662868533526656258.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability10280271675714624248.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability6662868533526656258.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 384/384 places, 884/884 transitions.
Discarding 81 places :
Symmetric choice reduction at 0 with 81 rule applications. Total rules 81 place count 303 transition count 554
Iterating global reduction 0 with 81 rules applied. Total rules applied 162 place count 303 transition count 554
Ensure Unique test removed 13 transitions
Reduce isomorphic transitions removed 13 transitions.
Iterating post reduction 0 with 13 rules applied. Total rules applied 175 place count 303 transition count 541
Discarding 66 places :
Symmetric choice reduction at 1 with 66 rule applications. Total rules 241 place count 237 transition count 463
Iterating global reduction 1 with 66 rules applied. Total rules applied 307 place count 237 transition count 463
Ensure Unique test removed 17 transitions
Reduce isomorphic transitions removed 17 transitions.
Iterating post reduction 1 with 17 rules applied. Total rules applied 324 place count 237 transition count 446
Discarding 51 places :
Symmetric choice reduction at 2 with 51 rule applications. Total rules 375 place count 186 transition count 367
Iterating global reduction 2 with 51 rules applied. Total rules applied 426 place count 186 transition count 367
Ensure Unique test removed 36 transitions
Reduce isomorphic transitions removed 36 transitions.
Iterating post reduction 2 with 36 rules applied. Total rules applied 462 place count 186 transition count 331
Discarding 17 places :
Symmetric choice reduction at 3 with 17 rule applications. Total rules 479 place count 169 transition count 303
Iterating global reduction 3 with 17 rules applied. Total rules applied 496 place count 169 transition count 303
Ensure Unique test removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 3 with 6 rules applied. Total rules applied 502 place count 169 transition count 297
Discarding 10 places :
Symmetric choice reduction at 4 with 10 rule applications. Total rules 512 place count 159 transition count 287
Iterating global reduction 4 with 10 rules applied. Total rules applied 522 place count 159 transition count 287
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 4 with 4 rules applied. Total rules applied 526 place count 159 transition count 283
Discarding 6 places :
Symmetric choice reduction at 5 with 6 rule applications. Total rules 532 place count 153 transition count 277
Iterating global reduction 5 with 6 rules applied. Total rules applied 538 place count 153 transition count 277
Ensure Unique test removed 11 transitions
Reduce isomorphic transitions removed 11 transitions.
Iterating post reduction 5 with 11 rules applied. Total rules applied 549 place count 153 transition count 266
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 550 place count 152 transition count 261
Iterating global reduction 6 with 1 rules applied. Total rules applied 551 place count 152 transition count 261
Applied a total of 551 rules in 13 ms. Remains 152 /384 variables (removed 232) and now considering 261/884 (removed 623) transitions.
// Phase 1: matrix 261 rows 152 cols
[2023-03-08 05:23:26] [INFO ] Computed 2 place invariants in 4 ms
[2023-03-08 05:23:26] [INFO ] Implicit Places using invariants in 72 ms returned []
[2023-03-08 05:23:26] [INFO ] Invariant cache hit.
[2023-03-08 05:23:26] [INFO ] State equation strengthened by 119 read => feed constraints.
[2023-03-08 05:23:26] [INFO ] Implicit Places using invariants and state equation in 333 ms returned []
Implicit Place search using SMT with State Equation took 405 ms to find 0 implicit places.
[2023-03-08 05:23:26] [INFO ] Invariant cache hit.
[2023-03-08 05:23:26] [INFO ] Dead Transitions using invariants and state equation in 89 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 152/384 places, 261/884 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 507 ms. Remains : 152/384 places, 261/884 transitions.
[2023-03-08 05:23:26] [INFO ] Flatten gal took : 5 ms
[2023-03-08 05:23:26] [INFO ] Flatten gal took : 6 ms
[2023-03-08 05:23:26] [INFO ] Input system was already deterministic with 261 transitions.
[2023-03-08 05:23:26] [INFO ] Flatten gal took : 6 ms
[2023-03-08 05:23:26] [INFO ] Flatten gal took : 9 ms
[2023-03-08 05:23:26] [INFO ] Time to serialize gal into /tmp/CTLFireability10445892043032282426.gal : 1 ms
[2023-03-08 05:23:26] [INFO ] Time to serialize properties into /tmp/CTLFireability4640393356264894743.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability10445892043032282426.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability4640393356264894743.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2023-03-08 05:23:56] [INFO ] Flatten gal took : 13 ms
[2023-03-08 05:23:56] [INFO ] Applying decomposition
[2023-03-08 05:23:56] [INFO ] Flatten gal took : 10 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph6613637275591526440.txt' '-o' '/tmp/graph6613637275591526440.bin' '-w' '/tmp/graph6613637275591526440.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph6613637275591526440.bin' '-l' '-1' '-v' '-w' '/tmp/graph6613637275591526440.weights' '-q' '0' '-e' '0.001'
[2023-03-08 05:23:56] [INFO ] Decomposing Gal with order
[2023-03-08 05:23:56] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-08 05:23:56] [INFO ] Removed a total of 211 redundant transitions.
[2023-03-08 05:23:56] [INFO ] Flatten gal took : 12 ms
[2023-03-08 05:23:56] [INFO ] Fuse similar labels procedure discarded/fused a total of 177 labels/synchronizations in 2 ms.
[2023-03-08 05:23:56] [INFO ] Time to serialize gal into /tmp/CTLFireability2806198072003622195.gal : 2 ms
[2023-03-08 05:23:56] [INFO ] Time to serialize properties into /tmp/CTLFireability15905034519265051781.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability2806198072003622195.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability15905034519265051781.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 384/384 places, 884/884 transitions.
Discarding 85 places :
Symmetric choice reduction at 0 with 85 rule applications. Total rules 85 place count 299 transition count 533
Iterating global reduction 0 with 85 rules applied. Total rules applied 170 place count 299 transition count 533
Ensure Unique test removed 16 transitions
Reduce isomorphic transitions removed 16 transitions.
Iterating post reduction 0 with 16 rules applied. Total rules applied 186 place count 299 transition count 517
Discarding 67 places :
Symmetric choice reduction at 1 with 67 rule applications. Total rules 253 place count 232 transition count 438
Iterating global reduction 1 with 67 rules applied. Total rules applied 320 place count 232 transition count 438
Ensure Unique test removed 20 transitions
Reduce isomorphic transitions removed 20 transitions.
Iterating post reduction 1 with 20 rules applied. Total rules applied 340 place count 232 transition count 418
Discarding 50 places :
Symmetric choice reduction at 2 with 50 rule applications. Total rules 390 place count 182 transition count 342
Iterating global reduction 2 with 50 rules applied. Total rules applied 440 place count 182 transition count 342
Ensure Unique test removed 30 transitions
Reduce isomorphic transitions removed 30 transitions.
Iterating post reduction 2 with 30 rules applied. Total rules applied 470 place count 182 transition count 312
Discarding 17 places :
Symmetric choice reduction at 3 with 17 rule applications. Total rules 487 place count 165 transition count 284
Iterating global reduction 3 with 17 rules applied. Total rules applied 504 place count 165 transition count 284
Ensure Unique test removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 3 with 6 rules applied. Total rules applied 510 place count 165 transition count 278
Discarding 10 places :
Symmetric choice reduction at 4 with 10 rule applications. Total rules 520 place count 155 transition count 268
Iterating global reduction 4 with 10 rules applied. Total rules applied 530 place count 155 transition count 268
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 4 with 3 rules applied. Total rules applied 533 place count 155 transition count 265
Discarding 7 places :
Symmetric choice reduction at 5 with 7 rule applications. Total rules 540 place count 148 transition count 258
Iterating global reduction 5 with 7 rules applied. Total rules applied 547 place count 148 transition count 258
Ensure Unique test removed 10 transitions
Reduce isomorphic transitions removed 10 transitions.
Iterating post reduction 5 with 10 rules applied. Total rules applied 557 place count 148 transition count 248
Discarding 5 places :
Symmetric choice reduction at 6 with 5 rule applications. Total rules 562 place count 143 transition count 221
Iterating global reduction 6 with 5 rules applied. Total rules applied 567 place count 143 transition count 221
Applied a total of 567 rules in 15 ms. Remains 143 /384 variables (removed 241) and now considering 221/884 (removed 663) transitions.
// Phase 1: matrix 221 rows 143 cols
[2023-03-08 05:24:26] [INFO ] Computed 2 place invariants in 4 ms
[2023-03-08 05:24:26] [INFO ] Implicit Places using invariants in 72 ms returned []
[2023-03-08 05:24:26] [INFO ] Invariant cache hit.
[2023-03-08 05:24:26] [INFO ] State equation strengthened by 82 read => feed constraints.
[2023-03-08 05:24:27] [INFO ] Implicit Places using invariants and state equation in 303 ms returned []
Implicit Place search using SMT with State Equation took 376 ms to find 0 implicit places.
[2023-03-08 05:24:27] [INFO ] Invariant cache hit.
[2023-03-08 05:24:27] [INFO ] Dead Transitions using invariants and state equation in 81 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 143/384 places, 221/884 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 472 ms. Remains : 143/384 places, 221/884 transitions.
[2023-03-08 05:24:27] [INFO ] Flatten gal took : 4 ms
[2023-03-08 05:24:27] [INFO ] Flatten gal took : 4 ms
[2023-03-08 05:24:27] [INFO ] Input system was already deterministic with 221 transitions.
[2023-03-08 05:24:27] [INFO ] Flatten gal took : 5 ms
[2023-03-08 05:24:27] [INFO ] Flatten gal took : 5 ms
[2023-03-08 05:24:27] [INFO ] Time to serialize gal into /tmp/CTLFireability18430993740435697250.gal : 2 ms
[2023-03-08 05:24:27] [INFO ] Time to serialize properties into /tmp/CTLFireability7186197058375769353.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability18430993740435697250.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability7186197058375769353.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2023-03-08 05:24:57] [INFO ] Flatten gal took : 11 ms
[2023-03-08 05:24:57] [INFO ] Applying decomposition
[2023-03-08 05:24:57] [INFO ] Flatten gal took : 5 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph1548360480412875275.txt' '-o' '/tmp/graph1548360480412875275.bin' '-w' '/tmp/graph1548360480412875275.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph1548360480412875275.bin' '-l' '-1' '-v' '-w' '/tmp/graph1548360480412875275.weights' '-q' '0' '-e' '0.001'
[2023-03-08 05:24:57] [INFO ] Decomposing Gal with order
[2023-03-08 05:24:57] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-08 05:24:57] [INFO ] Removed a total of 198 redundant transitions.
[2023-03-08 05:24:57] [INFO ] Flatten gal took : 12 ms
[2023-03-08 05:24:57] [INFO ] Fuse similar labels procedure discarded/fused a total of 213 labels/synchronizations in 3 ms.
[2023-03-08 05:24:57] [INFO ] Time to serialize gal into /tmp/CTLFireability3552181471358476648.gal : 2 ms
[2023-03-08 05:24:57] [INFO ] Time to serialize properties into /tmp/CTLFireability3422959404114333513.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability3552181471358476648.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3422959404114333513.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...262
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2023-03-08 05:25:27] [INFO ] Flatten gal took : 23 ms
[2023-03-08 05:25:27] [INFO ] Flatten gal took : 25 ms
[2023-03-08 05:25:27] [INFO ] Applying decomposition
[2023-03-08 05:25:27] [INFO ] Flatten gal took : 19 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph2732899536823382603.txt' '-o' '/tmp/graph2732899536823382603.bin' '-w' '/tmp/graph2732899536823382603.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph2732899536823382603.bin' '-l' '-1' '-v' '-w' '/tmp/graph2732899536823382603.weights' '-q' '0' '-e' '0.001'
[2023-03-08 05:25:27] [INFO ] Decomposing Gal with order
[2023-03-08 05:25:27] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-08 05:25:27] [INFO ] Removed a total of 770 redundant transitions.
[2023-03-08 05:25:27] [INFO ] Flatten gal took : 53 ms
[2023-03-08 05:25:27] [INFO ] Fuse similar labels procedure discarded/fused a total of 907 labels/synchronizations in 13 ms.
[2023-03-08 05:25:27] [INFO ] Time to serialize gal into /tmp/CTLFireability4758770948396254966.gal : 5 ms
[2023-03-08 05:25:27] [INFO ] Time to serialize properties into /tmp/CTLFireability8117891127712477241.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability4758770948396254966.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability8117891127712477241.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...262
No direction supplied, using forward translation only.
Parsed 14 CTL formulae.
Detected timeout of ITS tools.
[2023-03-08 05:50:55] [INFO ] Flatten gal took : 183 ms
[2023-03-08 05:50:55] [INFO ] Time to serialize gal into /tmp/CTLFireability17801892364918147342.gal : 31 ms
[2023-03-08 05:50:55] [INFO ] Time to serialize properties into /tmp/CTLFireability9595580755179157665.ctl : 17 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability17801892364918147342.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability9595580755179157665.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 14 CTL formulae.
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 135400 kB
After kill :
MemTotal: 16393216 kB
MemFree: 14281064 kB
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ CTLFireability = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution CTLFireability -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/its-tools -pnfolder /home/mcc/execution -examination CTLFireability -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DBSingleClientW-PT-d2m08"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool itstools"
echo " Input is DBSingleClientW-PT-d2m08, 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 r101-tall-167814475200322"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DBSingleClientW-PT-d2m08.tgz
mv DBSingleClientW-PT-d2m08 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 ;