About the Execution of ITS-Tools for Szymanski-PT-b10
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16213.867 | 3600000.00 | 3339786.00 | 218798.10 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2022-input.r312-tall-165472283101066.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2022-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itstools
Input is Szymanski-PT-b10, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r312-tall-165472283101066
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 4.1M
-rw-r--r-- 1 mcc users 6.0K Jun 7 17:07 CTLCardinality.txt
-rw-r--r-- 1 mcc users 64K Jun 7 17:07 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.4K Jun 7 17:06 CTLFireability.txt
-rw-r--r-- 1 mcc users 50K Jun 7 17:06 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Jun 6 15:33 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Jun 6 15:33 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Jun 6 15:33 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Jun 6 15:33 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 Jun 6 12:11 NewModel
-rw-r--r-- 1 mcc users 12K Jun 7 17:09 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 125K Jun 7 17:09 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 15K Jun 7 17:08 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 140K Jun 7 17:08 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Jun 6 15:33 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Jun 6 15:33 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jun 6 12:11 equiv_col
-rw-r--r-- 1 mcc users 4 Jun 6 12:11 instance
-rw-r--r-- 1 mcc users 6 Jun 6 12:11 iscolored
-rw-r--r-- 1 mcc users 3.7M Jun 6 12:11 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 Szymanski-PT-b10-CTLFireability-00
FORMULA_NAME Szymanski-PT-b10-CTLFireability-01
FORMULA_NAME Szymanski-PT-b10-CTLFireability-02
FORMULA_NAME Szymanski-PT-b10-CTLFireability-03
FORMULA_NAME Szymanski-PT-b10-CTLFireability-04
FORMULA_NAME Szymanski-PT-b10-CTLFireability-05
FORMULA_NAME Szymanski-PT-b10-CTLFireability-06
FORMULA_NAME Szymanski-PT-b10-CTLFireability-07
FORMULA_NAME Szymanski-PT-b10-CTLFireability-08
FORMULA_NAME Szymanski-PT-b10-CTLFireability-09
FORMULA_NAME Szymanski-PT-b10-CTLFireability-10
FORMULA_NAME Szymanski-PT-b10-CTLFireability-11
FORMULA_NAME Szymanski-PT-b10-CTLFireability-12
FORMULA_NAME Szymanski-PT-b10-CTLFireability-13
FORMULA_NAME Szymanski-PT-b10-CTLFireability-14
FORMULA_NAME Szymanski-PT-b10-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1654983844598
Running Version 202205111006
[2022-06-11 21:44:05] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLFireability, -spotpath, /home/mcc/BenchKit/bin//..//ltlfilt, -z3path, /home/mcc/BenchKit/bin//..//z3/bin/z3, -yices2path, /home/mcc/BenchKit/bin//..//yices/bin/yices, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2022-06-11 21:44:05] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2022-06-11 21:44:06] [INFO ] Load time of PNML (sax parser for PT used): 355 ms
[2022-06-11 21:44:06] [INFO ] Transformed 568 places.
[2022-06-11 21:44:06] [INFO ] Transformed 8320 transitions.
[2022-06-11 21:44:06] [INFO ] Parsed PT model containing 568 places and 8320 transitions in 495 ms.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 14 ms.
Deduced a syphon composed of 260 places in 32 ms
Reduce places removed 260 places and 256 transitions.
Support contains 123 out of 308 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 308/308 places, 8064/8064 transitions.
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 0 with 2 rules applied. Total rules applied 2 place count 306 transition count 8064
Applied a total of 2 rules in 117 ms. Remains 306 /308 variables (removed 2) and now considering 8064/8064 (removed 0) transitions.
[2022-06-11 21:44:06] [INFO ] Flow matrix only has 2733 transitions (discarded 5331 similar events)
// Phase 1: matrix 2733 rows 306 cols
[2022-06-11 21:44:06] [INFO ] Computed 1 place invariants in 53 ms
[2022-06-11 21:44:06] [INFO ] Implicit Places using invariants in 434 ms returned []
[2022-06-11 21:44:07] [INFO ] Flow matrix only has 2733 transitions (discarded 5331 similar events)
// Phase 1: matrix 2733 rows 306 cols
[2022-06-11 21:44:07] [INFO ] Computed 1 place invariants in 31 ms
[2022-06-11 21:44:07] [INFO ] State equation strengthened by 147 read => feed constraints.
[2022-06-11 21:44:09] [INFO ] Implicit Places using invariants and state equation in 2015 ms returned []
Implicit Place search using SMT with State Equation took 2480 ms to find 0 implicit places.
[2022-06-11 21:44:09] [INFO ] Flow matrix only has 2733 transitions (discarded 5331 similar events)
// Phase 1: matrix 2733 rows 306 cols
[2022-06-11 21:44:09] [INFO ] Computed 1 place invariants in 22 ms
[2022-06-11 21:44:11] [INFO ] Dead Transitions using invariants and state equation in 2212 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 306/308 places, 8064/8064 transitions.
Finished structural reductions, in 1 iterations. Remains : 306/308 places, 8064/8064 transitions.
Support contains 123 out of 306 places after structural reductions.
[2022-06-11 21:44:11] [INFO ] Flatten gal took : 452 ms
[2022-06-11 21:44:12] [INFO ] Flatten gal took : 318 ms
[2022-06-11 21:44:12] [INFO ] Input system was already deterministic with 8064 transitions.
Support contains 121 out of 306 places (down from 123) after GAL structural reductions.
Incomplete random walk after 10001 steps, including 2 resets, run finished after 344 ms. (steps per millisecond=29 ) properties (out of 80) seen :9
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 71) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 69) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 65) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 64) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 61) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 61) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 60) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 60) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 60) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 58) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 58) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 58) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 58) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 58) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 12 ms. (steps per millisecond=83 ) properties (out of 58) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 12 ms. (steps per millisecond=83 ) properties (out of 58) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 57) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 55) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 55) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 53) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 53) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 52) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 52) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 52) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 52) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 52) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 52) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 52) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 51) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 51) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 50) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 50) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 50) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 50) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 49) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 49) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 48) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 48) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 48) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 48) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 47) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 46) seen :0
Running SMT prover for 46 properties.
[2022-06-11 21:44:13] [INFO ] Flow matrix only has 2733 transitions (discarded 5331 similar events)
// Phase 1: matrix 2733 rows 306 cols
[2022-06-11 21:44:13] [INFO ] Computed 1 place invariants in 24 ms
[2022-06-11 21:44:14] [INFO ] [Real]Absence check using 0 positive and 1 generalized place invariants in 4 ms returned sat
[2022-06-11 21:44:14] [INFO ] After 471ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:46
[2022-06-11 21:44:14] [INFO ] [Nat]Absence check using 0 positive and 1 generalized place invariants in 2 ms returned sat
[2022-06-11 21:44:35] [INFO ] After 20832ms SMT Verify possible using state equation in natural domain returned unsat :6 sat :40
[2022-06-11 21:44:35] [INFO ] State equation strengthened by 147 read => feed constraints.
[2022-06-11 21:44:39] [INFO ] After 3603ms SMT Verify possible using 147 Read/Feed constraints in natural domain returned unsat :6 sat :39
[2022-06-11 21:44:39] [INFO ] After 3604ms SMT Verify possible using trap constraints in natural domain returned unsat :6 sat :39
Attempting to minimize the solution found.
Minimization took 2 ms.
[2022-06-11 21:44:39] [INFO ] After 25015ms SMT Verify possible using all constraints in natural domain returned unsat :6 sat :39
Fused 46 Parikh solutions to 40 different solutions.
Parikh walk visited 0 properties in 1296 ms.
Support contains 72 out of 306 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 306/306 places, 8064/8064 transitions.
Drop transitions removed 40 transitions
Reduce isomorphic transitions removed 40 transitions.
Iterating post reduction 0 with 40 rules applied. Total rules applied 40 place count 306 transition count 8024
Applied a total of 40 rules in 399 ms. Remains 306 /306 variables (removed 0) and now considering 8024/8064 (removed 40) transitions.
Finished structural reductions, in 1 iterations. Remains : 306/306 places, 8024/8064 transitions.
Incomplete random walk after 10009 steps, including 4 resets, run finished after 113 ms. (steps per millisecond=88 ) properties (out of 40) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 39) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 39) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 38) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 38) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 38) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 38) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 38) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 38) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 38) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 38) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 38) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 38) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 38) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 38) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 38) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 38) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 38) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 38) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 38) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 38) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 38) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 38) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 37) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 37) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 37) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 37) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 37) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 37) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 37) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 37) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 37) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 37) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 37) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 37) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 37) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 37) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 37) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 37) seen :0
Interrupted probabilistic random walk after 79653 steps, run timeout after 3001 ms. (steps per millisecond=26 ) properties seen :{3=1, 12=1, 21=1, 26=1}
Probabilistic random walk after 79653 steps, saw 61548 distinct states, run finished after 3001 ms. (steps per millisecond=26 ) properties seen :4
Running SMT prover for 33 properties.
[2022-06-11 21:44:44] [INFO ] Flow matrix only has 2693 transitions (discarded 5331 similar events)
// Phase 1: matrix 2693 rows 306 cols
[2022-06-11 21:44:44] [INFO ] Computed 1 place invariants in 17 ms
[2022-06-11 21:44:44] [INFO ] [Real]Absence check using 0 positive and 1 generalized place invariants in 3 ms returned sat
[2022-06-11 21:44:45] [INFO ] After 330ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:33
[2022-06-11 21:44:45] [INFO ] [Nat]Absence check using 0 positive and 1 generalized place invariants in 2 ms returned sat
[2022-06-11 21:45:03] [INFO ] After 18406ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :33
[2022-06-11 21:45:03] [INFO ] State equation strengthened by 147 read => feed constraints.
[2022-06-11 21:45:10] [INFO ] After 6227ms SMT Verify possible using 147 Read/Feed constraints in natural domain returned unsat :0 sat :32
[2022-06-11 21:45:10] [INFO ] After 6229ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :32
Attempting to minimize the solution found.
Minimization took 3 ms.
[2022-06-11 21:45:10] [INFO ] After 25026ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :32
Parikh walk visited 0 properties in 619 ms.
Support contains 61 out of 306 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 306/306 places, 8024/8024 transitions.
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 0 with 5 rules applied. Total rules applied 5 place count 306 transition count 8019
Applied a total of 5 rules in 244 ms. Remains 306 /306 variables (removed 0) and now considering 8019/8024 (removed 5) transitions.
Finished structural reductions, in 1 iterations. Remains : 306/306 places, 8019/8024 transitions.
Incomplete random walk after 10009 steps, including 4 resets, run finished after 141 ms. (steps per millisecond=70 ) properties (out of 33) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 33) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 33) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 33) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 33) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 33) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 33) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 33) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 33) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 33) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 33) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 33) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 33) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 33) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 33) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 33) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 33) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 33) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 33) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 33) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 33) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 33) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 33) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 33) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 33) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 33) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 33) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 33) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 33) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 33) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 33) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 33) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 33) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 33) seen :0
Interrupted probabilistic random walk after 80522 steps, run timeout after 3001 ms. (steps per millisecond=26 ) properties seen :{}
Probabilistic random walk after 80522 steps, saw 62150 distinct states, run finished after 3002 ms. (steps per millisecond=26 ) properties seen :0
Running SMT prover for 33 properties.
[2022-06-11 21:45:14] [INFO ] Flow matrix only has 2688 transitions (discarded 5331 similar events)
// Phase 1: matrix 2688 rows 306 cols
[2022-06-11 21:45:14] [INFO ] Computed 1 place invariants in 15 ms
[2022-06-11 21:45:14] [INFO ] [Real]Absence check using 0 positive and 1 generalized place invariants in 3 ms returned sat
[2022-06-11 21:45:14] [INFO ] After 312ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:33
[2022-06-11 21:45:14] [INFO ] [Nat]Absence check using 0 positive and 1 generalized place invariants in 3 ms returned sat
[2022-06-11 21:45:29] [INFO ] After 14142ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :33
[2022-06-11 21:45:29] [INFO ] State equation strengthened by 147 read => feed constraints.
[2022-06-11 21:45:39] [INFO ] After 10496ms SMT Verify possible using 147 Read/Feed constraints in natural domain returned unsat :0 sat :32
[2022-06-11 21:45:39] [INFO ] After 10499ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :32
Attempting to minimize the solution found.
Minimization took 2 ms.
[2022-06-11 21:45:39] [INFO ] After 25016ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :32
Parikh walk visited 0 properties in 805 ms.
Support contains 61 out of 306 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 306/306 places, 8019/8019 transitions.
Applied a total of 0 rules in 311 ms. Remains 306 /306 variables (removed 0) and now considering 8019/8019 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 306/306 places, 8019/8019 transitions.
Starting structural reductions in SAFETY mode, iteration 0 : 306/306 places, 8019/8019 transitions.
Applied a total of 0 rules in 202 ms. Remains 306 /306 variables (removed 0) and now considering 8019/8019 (removed 0) transitions.
[2022-06-11 21:45:41] [INFO ] Flow matrix only has 2688 transitions (discarded 5331 similar events)
// Phase 1: matrix 2688 rows 306 cols
[2022-06-11 21:45:41] [INFO ] Computed 1 place invariants in 19 ms
[2022-06-11 21:45:41] [INFO ] Implicit Places using invariants in 364 ms returned []
[2022-06-11 21:45:41] [INFO ] Flow matrix only has 2688 transitions (discarded 5331 similar events)
// Phase 1: matrix 2688 rows 306 cols
[2022-06-11 21:45:41] [INFO ] Computed 1 place invariants in 18 ms
[2022-06-11 21:45:42] [INFO ] State equation strengthened by 147 read => feed constraints.
[2022-06-11 21:45:45] [INFO ] Implicit Places using invariants and state equation in 4578 ms returned []
Implicit Place search using SMT with State Equation took 4944 ms to find 0 implicit places.
[2022-06-11 21:45:46] [INFO ] Redundant transitions in 966 ms returned []
[2022-06-11 21:45:46] [INFO ] Flow matrix only has 2688 transitions (discarded 5331 similar events)
// Phase 1: matrix 2688 rows 306 cols
[2022-06-11 21:45:46] [INFO ] Computed 1 place invariants in 21 ms
[2022-06-11 21:45:49] [INFO ] Dead Transitions using invariants and state equation in 2169 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 306/306 places, 8019/8019 transitions.
Graph (trivial) has 1168 edges and 306 vertex of which 2 / 306 are part of one of the 1 SCC in 8 ms
Free SCC test removed 1 places
Drop transitions removed 192 transitions
Ensure Unique test removed 5141 transitions
Reduce isomorphic transitions removed 5333 transitions.
Drop transitions removed 2 transitions
Redundant transition composition rules discarded 2 transitions
Iterating global reduction 0 with 2 rules applied. Total rules applied 3 place count 305 transition count 2684
Partial Free-agglomeration rule applied 1 times.
Drop transitions removed 1 transitions
Iterating global reduction 0 with 1 rules applied. Total rules applied 4 place count 305 transition count 2684
Applied a total of 4 rules in 198 ms. Remains 305 /306 variables (removed 1) and now considering 2684/8019 (removed 5335) transitions.
Running SMT prover for 33 properties.
// Phase 1: matrix 2684 rows 305 cols
[2022-06-11 21:45:49] [INFO ] Computed 1 place invariants in 12 ms
[2022-06-11 21:45:49] [INFO ] [Real]Absence check using 0 positive and 1 generalized place invariants in 2 ms returned sat
[2022-06-11 21:45:49] [INFO ] After 411ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:33
[2022-06-11 21:45:50] [INFO ] [Nat]Absence check using 0 positive and 1 generalized place invariants in 2 ms returned sat
[2022-06-11 21:46:01] [INFO ] After 10898ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :33
[2022-06-11 21:46:12] [INFO ] After 22504ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :33
Attempting to minimize the solution found.
Minimization took 11517 ms.
[2022-06-11 21:46:24] [INFO ] After 34371ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :33
Successfully simplified 6 atomic propositions for a total of 16 simplifications.
[2022-06-11 21:46:24] [INFO ] Flatten gal took : 231 ms
[2022-06-11 21:46:24] [INFO ] Flatten gal took : 258 ms
[2022-06-11 21:46:25] [INFO ] Input system was already deterministic with 8064 transitions.
Support contains 108 out of 306 places (down from 109) after GAL structural reductions.
Computed a total of 12 stabilizing places and 2432 stable transitions
Starting structural reductions in LTL mode, iteration 0 : 306/306 places, 8064/8064 transitions.
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 1 place count 305 transition count 7936
Iterating global reduction 0 with 1 rules applied. Total rules applied 2 place count 305 transition count 7936
Applied a total of 2 rules in 118 ms. Remains 305 /306 variables (removed 1) and now considering 7936/8064 (removed 128) transitions.
[2022-06-11 21:46:25] [INFO ] Flow matrix only has 2732 transitions (discarded 5204 similar events)
// Phase 1: matrix 2732 rows 305 cols
[2022-06-11 21:46:25] [INFO ] Computed 1 place invariants in 27 ms
[2022-06-11 21:46:25] [INFO ] Implicit Places using invariants in 455 ms returned []
[2022-06-11 21:46:25] [INFO ] Flow matrix only has 2732 transitions (discarded 5204 similar events)
// Phase 1: matrix 2732 rows 305 cols
[2022-06-11 21:46:25] [INFO ] Computed 1 place invariants in 21 ms
[2022-06-11 21:46:26] [INFO ] State equation strengthened by 147 read => feed constraints.
[2022-06-11 21:46:33] [INFO ] Implicit Places using invariants and state equation in 8145 ms returned []
Implicit Place search using SMT with State Equation took 8606 ms to find 0 implicit places.
[2022-06-11 21:46:34] [INFO ] Flow matrix only has 2732 transitions (discarded 5204 similar events)
// Phase 1: matrix 2732 rows 305 cols
[2022-06-11 21:46:34] [INFO ] Computed 1 place invariants in 21 ms
[2022-06-11 21:46:36] [INFO ] Dead Transitions using invariants and state equation in 2082 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 305/306 places, 7936/8064 transitions.
Finished structural reductions, in 1 iterations. Remains : 305/306 places, 7936/8064 transitions.
[2022-06-11 21:46:36] [INFO ] Flatten gal took : 210 ms
[2022-06-11 21:46:36] [INFO ] Flatten gal took : 232 ms
[2022-06-11 21:46:36] [INFO ] Input system was already deterministic with 7936 transitions.
[2022-06-11 21:46:37] [INFO ] Flatten gal took : 221 ms
[2022-06-11 21:46:37] [INFO ] Flatten gal took : 210 ms
[2022-06-11 21:46:37] [INFO ] Time to serialize gal into /tmp/CTLFireability1336424701083343669.gal : 117 ms
[2022-06-11 21:46:37] [INFO ] Time to serialize properties into /tmp/CTLFireability14355038773456982703.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability1336424701083343669.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability14355038773456982703.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...275
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-06-11 21:47:07] [INFO ] Flatten gal took : 221 ms
[2022-06-11 21:47:07] [INFO ] Applying decomposition
[2022-06-11 21:47:08] [INFO ] Flatten gal took : 230 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph13527022623820088430.txt' '-o' '/tmp/graph13527022623820088430.bin' '-w' '/tmp/graph13527022623820088430.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph13527022623820088430.bin' '-l' '-1' '-v' '-w' '/tmp/graph13527022623820088430.weights' '-q' '0' '-e' '0.001'
[2022-06-11 21:47:08] [INFO ] Decomposing Gal with order
[2022-06-11 21:47:08] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-11 21:47:09] [INFO ] Removed a total of 18142 redundant transitions.
[2022-06-11 21:47:09] [INFO ] Flatten gal took : 829 ms
[2022-06-11 21:47:10] [INFO ] Fuse similar labels procedure discarded/fused a total of 1082 labels/synchronizations in 341 ms.
[2022-06-11 21:47:10] [INFO ] Time to serialize gal into /tmp/CTLFireability8997317727193110638.gal : 35 ms
[2022-06-11 21:47:10] [INFO ] Time to serialize properties into /tmp/CTLFireability4260205862299829106.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability8997317727193110638.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability4260205862299829106.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...253
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 306/306 places, 8064/8064 transitions.
Applied a total of 0 rules in 35 ms. Remains 306 /306 variables (removed 0) and now considering 8064/8064 (removed 0) transitions.
[2022-06-11 21:47:40] [INFO ] Flow matrix only has 2733 transitions (discarded 5331 similar events)
// Phase 1: matrix 2733 rows 306 cols
[2022-06-11 21:47:40] [INFO ] Computed 1 place invariants in 23 ms
[2022-06-11 21:47:40] [INFO ] Implicit Places using invariants in 432 ms returned []
[2022-06-11 21:47:40] [INFO ] Flow matrix only has 2733 transitions (discarded 5331 similar events)
// Phase 1: matrix 2733 rows 306 cols
[2022-06-11 21:47:40] [INFO ] Computed 1 place invariants in 16 ms
[2022-06-11 21:47:41] [INFO ] State equation strengthened by 147 read => feed constraints.
[2022-06-11 21:47:46] [INFO ] Implicit Places using invariants and state equation in 5229 ms returned []
Implicit Place search using SMT with State Equation took 5664 ms to find 0 implicit places.
[2022-06-11 21:47:46] [INFO ] Flow matrix only has 2733 transitions (discarded 5331 similar events)
// Phase 1: matrix 2733 rows 306 cols
[2022-06-11 21:47:46] [INFO ] Computed 1 place invariants in 17 ms
[2022-06-11 21:47:48] [INFO ] Dead Transitions using invariants and state equation in 2117 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 306/306 places, 8064/8064 transitions.
[2022-06-11 21:47:48] [INFO ] Flatten gal took : 203 ms
[2022-06-11 21:47:48] [INFO ] Flatten gal took : 229 ms
[2022-06-11 21:47:49] [INFO ] Input system was already deterministic with 8064 transitions.
[2022-06-11 21:47:49] [INFO ] Flatten gal took : 218 ms
[2022-06-11 21:47:49] [INFO ] Flatten gal took : 221 ms
[2022-06-11 21:47:49] [INFO ] Time to serialize gal into /tmp/CTLFireability5034272851486687141.gal : 19 ms
[2022-06-11 21:47:49] [INFO ] Time to serialize properties into /tmp/CTLFireability13121922943337128441.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability5034272851486687141.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability13121922943337128441.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...275
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-06-11 21:48:19] [INFO ] Flatten gal took : 241 ms
[2022-06-11 21:48:19] [INFO ] Applying decomposition
[2022-06-11 21:48:20] [INFO ] Flatten gal took : 308 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph16652451101679979790.txt' '-o' '/tmp/graph16652451101679979790.bin' '-w' '/tmp/graph16652451101679979790.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph16652451101679979790.bin' '-l' '-1' '-v' '-w' '/tmp/graph16652451101679979790.weights' '-q' '0' '-e' '0.001'
[2022-06-11 21:48:20] [INFO ] Decomposing Gal with order
[2022-06-11 21:48:20] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-11 21:48:21] [INFO ] Removed a total of 18619 redundant transitions.
[2022-06-11 21:48:21] [INFO ] Flatten gal took : 481 ms
[2022-06-11 21:48:21] [INFO ] Fuse similar labels procedure discarded/fused a total of 1073 labels/synchronizations in 196 ms.
[2022-06-11 21:48:21] [INFO ] Time to serialize gal into /tmp/CTLFireability2697389670183087776.gal : 46 ms
[2022-06-11 21:48:21] [INFO ] Time to serialize properties into /tmp/CTLFireability14701683030851096072.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability2697389670183087776.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability14701683030851096072.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...254
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 306/306 places, 8064/8064 transitions.
Applied a total of 0 rules in 30 ms. Remains 306 /306 variables (removed 0) and now considering 8064/8064 (removed 0) transitions.
[2022-06-11 21:48:51] [INFO ] Flow matrix only has 2733 transitions (discarded 5331 similar events)
// Phase 1: matrix 2733 rows 306 cols
[2022-06-11 21:48:51] [INFO ] Computed 1 place invariants in 18 ms
[2022-06-11 21:48:52] [INFO ] Implicit Places using invariants in 443 ms returned []
[2022-06-11 21:48:52] [INFO ] Flow matrix only has 2733 transitions (discarded 5331 similar events)
// Phase 1: matrix 2733 rows 306 cols
[2022-06-11 21:48:52] [INFO ] Computed 1 place invariants in 22 ms
[2022-06-11 21:48:52] [INFO ] State equation strengthened by 147 read => feed constraints.
[2022-06-11 21:48:56] [INFO ] Implicit Places using invariants and state equation in 4127 ms returned []
Implicit Place search using SMT with State Equation took 4577 ms to find 0 implicit places.
[2022-06-11 21:48:56] [INFO ] Flow matrix only has 2733 transitions (discarded 5331 similar events)
// Phase 1: matrix 2733 rows 306 cols
[2022-06-11 21:48:56] [INFO ] Computed 1 place invariants in 25 ms
[2022-06-11 21:48:58] [INFO ] Dead Transitions using invariants and state equation in 2174 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 306/306 places, 8064/8064 transitions.
[2022-06-11 21:48:58] [INFO ] Flatten gal took : 238 ms
[2022-06-11 21:48:59] [INFO ] Flatten gal took : 217 ms
[2022-06-11 21:48:59] [INFO ] Input system was already deterministic with 8064 transitions.
[2022-06-11 21:48:59] [INFO ] Flatten gal took : 240 ms
[2022-06-11 21:48:59] [INFO ] Flatten gal took : 213 ms
[2022-06-11 21:48:59] [INFO ] Time to serialize gal into /tmp/CTLFireability15281364546951523836.gal : 20 ms
[2022-06-11 21:48:59] [INFO ] Time to serialize properties into /tmp/CTLFireability4515374622994472935.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability15281364546951523836.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability4515374622994472935.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...275
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-06-11 21:49:30] [INFO ] Flatten gal took : 220 ms
[2022-06-11 21:49:30] [INFO ] Applying decomposition
[2022-06-11 21:49:30] [INFO ] Flatten gal took : 228 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph7257105653198974564.txt' '-o' '/tmp/graph7257105653198974564.bin' '-w' '/tmp/graph7257105653198974564.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph7257105653198974564.bin' '-l' '-1' '-v' '-w' '/tmp/graph7257105653198974564.weights' '-q' '0' '-e' '0.001'
[2022-06-11 21:49:30] [INFO ] Decomposing Gal with order
[2022-06-11 21:49:30] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-11 21:49:31] [INFO ] Removed a total of 18619 redundant transitions.
[2022-06-11 21:49:31] [INFO ] Flatten gal took : 395 ms
[2022-06-11 21:49:31] [INFO ] Fuse similar labels procedure discarded/fused a total of 1049 labels/synchronizations in 178 ms.
[2022-06-11 21:49:31] [INFO ] Time to serialize gal into /tmp/CTLFireability10177202665613673656.gal : 17 ms
[2022-06-11 21:49:31] [INFO ] Time to serialize properties into /tmp/CTLFireability2387703144294624683.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability10177202665613673656.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability2387703144294624683.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...254
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 306/306 places, 8064/8064 transitions.
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 1 place count 305 transition count 7936
Iterating global reduction 0 with 1 rules applied. Total rules applied 2 place count 305 transition count 7936
Applied a total of 2 rules in 526 ms. Remains 305 /306 variables (removed 1) and now considering 7936/8064 (removed 128) transitions.
[2022-06-11 21:50:02] [INFO ] Flow matrix only has 2732 transitions (discarded 5204 similar events)
// Phase 1: matrix 2732 rows 305 cols
[2022-06-11 21:50:02] [INFO ] Computed 1 place invariants in 21 ms
[2022-06-11 21:50:02] [INFO ] Implicit Places using invariants in 459 ms returned []
[2022-06-11 21:50:02] [INFO ] Flow matrix only has 2732 transitions (discarded 5204 similar events)
// Phase 1: matrix 2732 rows 305 cols
[2022-06-11 21:50:02] [INFO ] Computed 1 place invariants in 23 ms
[2022-06-11 21:50:03] [INFO ] State equation strengthened by 147 read => feed constraints.
[2022-06-11 21:50:09] [INFO ] Implicit Places using invariants and state equation in 6884 ms returned []
Implicit Place search using SMT with State Equation took 7347 ms to find 0 implicit places.
[2022-06-11 21:50:10] [INFO ] Redundant transitions in 958 ms returned []
[2022-06-11 21:50:10] [INFO ] Flow matrix only has 2732 transitions (discarded 5204 similar events)
// Phase 1: matrix 2732 rows 305 cols
[2022-06-11 21:50:10] [INFO ] Computed 1 place invariants in 18 ms
[2022-06-11 21:50:12] [INFO ] Dead Transitions using invariants and state equation in 2112 ms found 0 transitions.
Starting structural reductions in SI_CTL mode, iteration 1 : 305/306 places, 7936/8064 transitions.
Finished structural reductions, in 1 iterations. Remains : 305/306 places, 7936/8064 transitions.
[2022-06-11 21:50:12] [INFO ] Flatten gal took : 219 ms
[2022-06-11 21:50:13] [INFO ] Flatten gal took : 260 ms
[2022-06-11 21:50:13] [INFO ] Input system was already deterministic with 7936 transitions.
[2022-06-11 21:50:13] [INFO ] Flatten gal took : 249 ms
[2022-06-11 21:50:14] [INFO ] Flatten gal took : 255 ms
[2022-06-11 21:50:14] [INFO ] Time to serialize gal into /tmp/CTLFireability11145459871768042208.gal : 20 ms
[2022-06-11 21:50:14] [INFO ] Time to serialize properties into /tmp/CTLFireability9770744578427584819.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability11145459871768042208.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability9770744578427584819.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...275
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-06-11 21:50:44] [INFO ] Flatten gal took : 224 ms
[2022-06-11 21:50:44] [INFO ] Applying decomposition
[2022-06-11 21:50:44] [INFO ] Flatten gal took : 240 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph7557900720704032392.txt' '-o' '/tmp/graph7557900720704032392.bin' '-w' '/tmp/graph7557900720704032392.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph7557900720704032392.bin' '-l' '-1' '-v' '-w' '/tmp/graph7557900720704032392.weights' '-q' '0' '-e' '0.001'
[2022-06-11 21:50:45] [INFO ] Decomposing Gal with order
[2022-06-11 21:50:45] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-11 21:50:45] [INFO ] Removed a total of 17872 redundant transitions.
[2022-06-11 21:50:45] [INFO ] Flatten gal took : 380 ms
[2022-06-11 21:50:45] [INFO ] Fuse similar labels procedure discarded/fused a total of 1110 labels/synchronizations in 187 ms.
[2022-06-11 21:50:45] [INFO ] Time to serialize gal into /tmp/CTLFireability3679598164886900765.gal : 17 ms
[2022-06-11 21:50:45] [INFO ] Time to serialize properties into /tmp/CTLFireability7116727943467985407.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability3679598164886900765.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability7116727943467985407.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...253
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 306/306 places, 8064/8064 transitions.
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 1 place count 305 transition count 7936
Iterating global reduction 0 with 1 rules applied. Total rules applied 2 place count 305 transition count 7936
Applied a total of 2 rules in 73 ms. Remains 305 /306 variables (removed 1) and now considering 7936/8064 (removed 128) transitions.
[2022-06-11 21:51:16] [INFO ] Flow matrix only has 2732 transitions (discarded 5204 similar events)
// Phase 1: matrix 2732 rows 305 cols
[2022-06-11 21:51:16] [INFO ] Computed 1 place invariants in 20 ms
[2022-06-11 21:51:16] [INFO ] Implicit Places using invariants in 492 ms returned []
[2022-06-11 21:51:16] [INFO ] Flow matrix only has 2732 transitions (discarded 5204 similar events)
// Phase 1: matrix 2732 rows 305 cols
[2022-06-11 21:51:16] [INFO ] Computed 1 place invariants in 21 ms
[2022-06-11 21:51:17] [INFO ] State equation strengthened by 147 read => feed constraints.
[2022-06-11 21:51:24] [INFO ] Implicit Places using invariants and state equation in 7603 ms returned []
Implicit Place search using SMT with State Equation took 8099 ms to find 0 implicit places.
[2022-06-11 21:51:24] [INFO ] Flow matrix only has 2732 transitions (discarded 5204 similar events)
// Phase 1: matrix 2732 rows 305 cols
[2022-06-11 21:51:24] [INFO ] Computed 1 place invariants in 20 ms
[2022-06-11 21:51:26] [INFO ] Dead Transitions using invariants and state equation in 2136 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 305/306 places, 7936/8064 transitions.
Finished structural reductions, in 1 iterations. Remains : 305/306 places, 7936/8064 transitions.
[2022-06-11 21:51:26] [INFO ] Flatten gal took : 200 ms
[2022-06-11 21:51:26] [INFO ] Flatten gal took : 241 ms
[2022-06-11 21:51:27] [INFO ] Input system was already deterministic with 7936 transitions.
[2022-06-11 21:51:27] [INFO ] Flatten gal took : 216 ms
[2022-06-11 21:51:27] [INFO ] Flatten gal took : 230 ms
[2022-06-11 21:51:27] [INFO ] Time to serialize gal into /tmp/CTLFireability6736442648082584395.gal : 25 ms
[2022-06-11 21:51:27] [INFO ] Time to serialize properties into /tmp/CTLFireability17360814226126581807.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability6736442648082584395.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability17360814226126581807.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...275
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-06-11 21:51:57] [INFO ] Flatten gal took : 219 ms
[2022-06-11 21:51:57] [INFO ] Applying decomposition
[2022-06-11 21:51:58] [INFO ] Flatten gal took : 231 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph14573746930960826500.txt' '-o' '/tmp/graph14573746930960826500.bin' '-w' '/tmp/graph14573746930960826500.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph14573746930960826500.bin' '-l' '-1' '-v' '-w' '/tmp/graph14573746930960826500.weights' '-q' '0' '-e' '0.001'
[2022-06-11 21:51:58] [INFO ] Decomposing Gal with order
[2022-06-11 21:51:58] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-11 21:51:59] [INFO ] Removed a total of 18142 redundant transitions.
[2022-06-11 21:51:59] [INFO ] Flatten gal took : 405 ms
[2022-06-11 21:51:59] [INFO ] Fuse similar labels procedure discarded/fused a total of 1213 labels/synchronizations in 189 ms.
[2022-06-11 21:51:59] [INFO ] Time to serialize gal into /tmp/CTLFireability7827731518427501719.gal : 18 ms
[2022-06-11 21:51:59] [INFO ] Time to serialize properties into /tmp/CTLFireability15361035860445905815.ctl : 2 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability7827731518427501719.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability15361035860445905815.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...254
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 306/306 places, 8064/8064 transitions.
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 1 place count 305 transition count 7936
Iterating global reduction 0 with 1 rules applied. Total rules applied 2 place count 305 transition count 7936
Applied a total of 2 rules in 57 ms. Remains 305 /306 variables (removed 1) and now considering 7936/8064 (removed 128) transitions.
[2022-06-11 21:52:29] [INFO ] Flow matrix only has 2732 transitions (discarded 5204 similar events)
// Phase 1: matrix 2732 rows 305 cols
[2022-06-11 21:52:29] [INFO ] Computed 1 place invariants in 23 ms
[2022-06-11 21:52:29] [INFO ] Implicit Places using invariants in 488 ms returned []
[2022-06-11 21:52:29] [INFO ] Flow matrix only has 2732 transitions (discarded 5204 similar events)
// Phase 1: matrix 2732 rows 305 cols
[2022-06-11 21:52:30] [INFO ] Computed 1 place invariants in 18 ms
[2022-06-11 21:52:30] [INFO ] State equation strengthened by 147 read => feed constraints.
[2022-06-11 21:52:37] [INFO ] Implicit Places using invariants and state equation in 7432 ms returned []
Implicit Place search using SMT with State Equation took 7928 ms to find 0 implicit places.
[2022-06-11 21:52:37] [INFO ] Flow matrix only has 2732 transitions (discarded 5204 similar events)
// Phase 1: matrix 2732 rows 305 cols
[2022-06-11 21:52:37] [INFO ] Computed 1 place invariants in 19 ms
[2022-06-11 21:52:39] [INFO ] Dead Transitions using invariants and state equation in 2000 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 305/306 places, 7936/8064 transitions.
Finished structural reductions, in 1 iterations. Remains : 305/306 places, 7936/8064 transitions.
[2022-06-11 21:52:39] [INFO ] Flatten gal took : 197 ms
[2022-06-11 21:52:39] [INFO ] Flatten gal took : 229 ms
[2022-06-11 21:52:40] [INFO ] Input system was already deterministic with 7936 transitions.
[2022-06-11 21:52:40] [INFO ] Flatten gal took : 213 ms
[2022-06-11 21:52:40] [INFO ] Flatten gal took : 225 ms
[2022-06-11 21:52:40] [INFO ] Time to serialize gal into /tmp/CTLFireability3602442563061659454.gal : 18 ms
[2022-06-11 21:52:40] [INFO ] Time to serialize properties into /tmp/CTLFireability14340132599544613689.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability3602442563061659454.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability14340132599544613689.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...275
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-06-11 21:53:11] [INFO ] Flatten gal took : 254 ms
[2022-06-11 21:53:11] [INFO ] Applying decomposition
[2022-06-11 21:53:11] [INFO ] Flatten gal took : 216 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph7543455020439795551.txt' '-o' '/tmp/graph7543455020439795551.bin' '-w' '/tmp/graph7543455020439795551.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph7543455020439795551.bin' '-l' '-1' '-v' '-w' '/tmp/graph7543455020439795551.weights' '-q' '0' '-e' '0.001'
[2022-06-11 21:53:11] [INFO ] Decomposing Gal with order
[2022-06-11 21:53:11] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-11 21:53:12] [INFO ] Removed a total of 18142 redundant transitions.
[2022-06-11 21:53:12] [INFO ] Flatten gal took : 408 ms
[2022-06-11 21:53:12] [INFO ] Fuse similar labels procedure discarded/fused a total of 1088 labels/synchronizations in 181 ms.
[2022-06-11 21:53:12] [INFO ] Time to serialize gal into /tmp/CTLFireability13762445888219015515.gal : 15 ms
[2022-06-11 21:53:12] [INFO ] Time to serialize properties into /tmp/CTLFireability15512068753422508255.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability13762445888219015515.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability15512068753422508255.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...255
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 306/306 places, 8064/8064 transitions.
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 1 place count 305 transition count 7936
Iterating global reduction 0 with 1 rules applied. Total rules applied 2 place count 305 transition count 7936
Applied a total of 2 rules in 54 ms. Remains 305 /306 variables (removed 1) and now considering 7936/8064 (removed 128) transitions.
[2022-06-11 21:53:42] [INFO ] Flow matrix only has 2732 transitions (discarded 5204 similar events)
// Phase 1: matrix 2732 rows 305 cols
[2022-06-11 21:53:42] [INFO ] Computed 1 place invariants in 21 ms
[2022-06-11 21:53:42] [INFO ] Implicit Places using invariants in 397 ms returned []
[2022-06-11 21:53:43] [INFO ] Flow matrix only has 2732 transitions (discarded 5204 similar events)
// Phase 1: matrix 2732 rows 305 cols
[2022-06-11 21:53:43] [INFO ] Computed 1 place invariants in 16 ms
[2022-06-11 21:53:43] [INFO ] State equation strengthened by 147 read => feed constraints.
[2022-06-11 21:53:49] [INFO ] Implicit Places using invariants and state equation in 6210 ms returned []
Implicit Place search using SMT with State Equation took 6608 ms to find 0 implicit places.
[2022-06-11 21:53:49] [INFO ] Flow matrix only has 2732 transitions (discarded 5204 similar events)
// Phase 1: matrix 2732 rows 305 cols
[2022-06-11 21:53:49] [INFO ] Computed 1 place invariants in 18 ms
[2022-06-11 21:53:51] [INFO ] Dead Transitions using invariants and state equation in 2125 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 305/306 places, 7936/8064 transitions.
Finished structural reductions, in 1 iterations. Remains : 305/306 places, 7936/8064 transitions.
[2022-06-11 21:53:51] [INFO ] Flatten gal took : 221 ms
[2022-06-11 21:53:51] [INFO ] Flatten gal took : 224 ms
[2022-06-11 21:53:52] [INFO ] Input system was already deterministic with 7936 transitions.
[2022-06-11 21:53:52] [INFO ] Flatten gal took : 234 ms
[2022-06-11 21:53:52] [INFO ] Flatten gal took : 216 ms
[2022-06-11 21:53:52] [INFO ] Time to serialize gal into /tmp/CTLFireability10402120106750258304.gal : 18 ms
[2022-06-11 21:53:52] [INFO ] Time to serialize properties into /tmp/CTLFireability147631825347894496.ctl : 11 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability10402120106750258304.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability147631825347894496.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...274
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-06-11 21:54:22] [INFO ] Flatten gal took : 235 ms
[2022-06-11 21:54:22] [INFO ] Applying decomposition
[2022-06-11 21:54:23] [INFO ] Flatten gal took : 253 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph6616935882760927219.txt' '-o' '/tmp/graph6616935882760927219.bin' '-w' '/tmp/graph6616935882760927219.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph6616935882760927219.bin' '-l' '-1' '-v' '-w' '/tmp/graph6616935882760927219.weights' '-q' '0' '-e' '0.001'
[2022-06-11 21:54:23] [INFO ] Decomposing Gal with order
[2022-06-11 21:54:23] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-11 21:54:24] [INFO ] Removed a total of 18365 redundant transitions.
[2022-06-11 21:54:24] [INFO ] Flatten gal took : 418 ms
[2022-06-11 21:54:24] [INFO ] Fuse similar labels procedure discarded/fused a total of 1030 labels/synchronizations in 208 ms.
[2022-06-11 21:54:24] [INFO ] Time to serialize gal into /tmp/CTLFireability218310143163178314.gal : 21 ms
[2022-06-11 21:54:24] [INFO ] Time to serialize properties into /tmp/CTLFireability7458767900085225822.ctl : 2 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability218310143163178314.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability7458767900085225822.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...252
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 306/306 places, 8064/8064 transitions.
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 1 place count 305 transition count 7936
Iterating global reduction 0 with 1 rules applied. Total rules applied 2 place count 305 transition count 7936
Applied a total of 2 rules in 56 ms. Remains 305 /306 variables (removed 1) and now considering 7936/8064 (removed 128) transitions.
[2022-06-11 21:54:54] [INFO ] Flow matrix only has 2732 transitions (discarded 5204 similar events)
// Phase 1: matrix 2732 rows 305 cols
[2022-06-11 21:54:54] [INFO ] Computed 1 place invariants in 19 ms
[2022-06-11 21:54:55] [INFO ] Implicit Places using invariants in 427 ms returned []
[2022-06-11 21:54:55] [INFO ] Flow matrix only has 2732 transitions (discarded 5204 similar events)
// Phase 1: matrix 2732 rows 305 cols
[2022-06-11 21:54:55] [INFO ] Computed 1 place invariants in 15 ms
[2022-06-11 21:54:55] [INFO ] State equation strengthened by 147 read => feed constraints.
[2022-06-11 21:55:02] [INFO ] Implicit Places using invariants and state equation in 7798 ms returned []
Implicit Place search using SMT with State Equation took 8230 ms to find 0 implicit places.
[2022-06-11 21:55:02] [INFO ] Flow matrix only has 2732 transitions (discarded 5204 similar events)
// Phase 1: matrix 2732 rows 305 cols
[2022-06-11 21:55:02] [INFO ] Computed 1 place invariants in 20 ms
[2022-06-11 21:55:04] [INFO ] Dead Transitions using invariants and state equation in 1962 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 305/306 places, 7936/8064 transitions.
Finished structural reductions, in 1 iterations. Remains : 305/306 places, 7936/8064 transitions.
[2022-06-11 21:55:05] [INFO ] Flatten gal took : 194 ms
[2022-06-11 21:55:05] [INFO ] Flatten gal took : 226 ms
[2022-06-11 21:55:05] [INFO ] Input system was already deterministic with 7936 transitions.
[2022-06-11 21:55:05] [INFO ] Flatten gal took : 217 ms
[2022-06-11 21:55:06] [INFO ] Flatten gal took : 223 ms
[2022-06-11 21:55:06] [INFO ] Time to serialize gal into /tmp/CTLFireability7303767180362693911.gal : 18 ms
[2022-06-11 21:55:06] [INFO ] Time to serialize properties into /tmp/CTLFireability4967001145822302414.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability7303767180362693911.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability4967001145822302414.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...274
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-06-11 21:55:36] [INFO ] Flatten gal took : 217 ms
[2022-06-11 21:55:36] [INFO ] Applying decomposition
[2022-06-11 21:55:36] [INFO ] Flatten gal took : 247 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph1413832640056774537.txt' '-o' '/tmp/graph1413832640056774537.bin' '-w' '/tmp/graph1413832640056774537.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph1413832640056774537.bin' '-l' '-1' '-v' '-w' '/tmp/graph1413832640056774537.weights' '-q' '0' '-e' '0.001'
[2022-06-11 21:55:37] [INFO ] Decomposing Gal with order
[2022-06-11 21:55:37] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-11 21:55:37] [INFO ] Removed a total of 18365 redundant transitions.
[2022-06-11 21:55:37] [INFO ] Flatten gal took : 432 ms
[2022-06-11 21:55:37] [INFO ] Fuse similar labels procedure discarded/fused a total of 1120 labels/synchronizations in 187 ms.
[2022-06-11 21:55:38] [INFO ] Time to serialize gal into /tmp/CTLFireability5644821213929652969.gal : 26 ms
[2022-06-11 21:55:38] [INFO ] Time to serialize properties into /tmp/CTLFireability15408622380553277530.ctl : 2 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability5644821213929652969.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability15408622380553277530.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...254
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 306/306 places, 8064/8064 transitions.
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 1 place count 305 transition count 7936
Iterating global reduction 0 with 1 rules applied. Total rules applied 2 place count 305 transition count 7936
Applied a total of 2 rules in 260 ms. Remains 305 /306 variables (removed 1) and now considering 7936/8064 (removed 128) transitions.
[2022-06-11 21:56:08] [INFO ] Flow matrix only has 2732 transitions (discarded 5204 similar events)
// Phase 1: matrix 2732 rows 305 cols
[2022-06-11 21:56:08] [INFO ] Computed 1 place invariants in 14 ms
[2022-06-11 21:56:08] [INFO ] Implicit Places using invariants in 457 ms returned []
[2022-06-11 21:56:08] [INFO ] Flow matrix only has 2732 transitions (discarded 5204 similar events)
// Phase 1: matrix 2732 rows 305 cols
[2022-06-11 21:56:08] [INFO ] Computed 1 place invariants in 14 ms
[2022-06-11 21:56:09] [INFO ] State equation strengthened by 147 read => feed constraints.
[2022-06-11 21:56:16] [INFO ] Implicit Places using invariants and state equation in 7281 ms returned []
Implicit Place search using SMT with State Equation took 7740 ms to find 0 implicit places.
[2022-06-11 21:56:16] [INFO ] Redundant transitions in 714 ms returned []
[2022-06-11 21:56:16] [INFO ] Flow matrix only has 2732 transitions (discarded 5204 similar events)
// Phase 1: matrix 2732 rows 305 cols
[2022-06-11 21:56:16] [INFO ] Computed 1 place invariants in 18 ms
[2022-06-11 21:56:18] [INFO ] Dead Transitions using invariants and state equation in 2103 ms found 0 transitions.
Starting structural reductions in SI_CTL mode, iteration 1 : 305/306 places, 7936/8064 transitions.
Finished structural reductions, in 1 iterations. Remains : 305/306 places, 7936/8064 transitions.
[2022-06-11 21:56:19] [INFO ] Flatten gal took : 209 ms
[2022-06-11 21:56:19] [INFO ] Flatten gal took : 256 ms
[2022-06-11 21:56:19] [INFO ] Input system was already deterministic with 7936 transitions.
[2022-06-11 21:56:20] [INFO ] Flatten gal took : 240 ms
[2022-06-11 21:56:20] [INFO ] Flatten gal took : 253 ms
[2022-06-11 21:56:20] [INFO ] Time to serialize gal into /tmp/CTLFireability4726895486191304732.gal : 66 ms
[2022-06-11 21:56:20] [INFO ] Time to serialize properties into /tmp/CTLFireability6874240961179684760.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability4726895486191304732.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability6874240961179684760.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...274
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-06-11 21:56:50] [INFO ] Flatten gal took : 215 ms
[2022-06-11 21:56:50] [INFO ] Applying decomposition
[2022-06-11 21:56:50] [INFO ] Flatten gal took : 239 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph4545620102043127609.txt' '-o' '/tmp/graph4545620102043127609.bin' '-w' '/tmp/graph4545620102043127609.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph4545620102043127609.bin' '-l' '-1' '-v' '-w' '/tmp/graph4545620102043127609.weights' '-q' '0' '-e' '0.001'
[2022-06-11 21:56:51] [INFO ] Decomposing Gal with order
[2022-06-11 21:56:51] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-11 21:56:51] [INFO ] Removed a total of 18365 redundant transitions.
[2022-06-11 21:56:51] [INFO ] Flatten gal took : 391 ms
[2022-06-11 21:56:52] [INFO ] Fuse similar labels procedure discarded/fused a total of 1129 labels/synchronizations in 166 ms.
[2022-06-11 21:56:52] [INFO ] Time to serialize gal into /tmp/CTLFireability7936347656750043874.gal : 14 ms
[2022-06-11 21:56:52] [INFO ] Time to serialize properties into /tmp/CTLFireability18411989897633405874.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability7936347656750043874.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability18411989897633405874.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...254
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 306/306 places, 8064/8064 transitions.
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 1 place count 305 transition count 7936
Iterating global reduction 0 with 1 rules applied. Total rules applied 2 place count 305 transition count 7936
Applied a total of 2 rules in 57 ms. Remains 305 /306 variables (removed 1) and now considering 7936/8064 (removed 128) transitions.
[2022-06-11 21:57:22] [INFO ] Flow matrix only has 2732 transitions (discarded 5204 similar events)
// Phase 1: matrix 2732 rows 305 cols
[2022-06-11 21:57:22] [INFO ] Computed 1 place invariants in 19 ms
[2022-06-11 21:57:22] [INFO ] Implicit Places using invariants in 457 ms returned []
[2022-06-11 21:57:22] [INFO ] Flow matrix only has 2732 transitions (discarded 5204 similar events)
// Phase 1: matrix 2732 rows 305 cols
[2022-06-11 21:57:22] [INFO ] Computed 1 place invariants in 19 ms
[2022-06-11 21:57:23] [INFO ] State equation strengthened by 147 read => feed constraints.
[2022-06-11 21:57:30] [INFO ] Implicit Places using invariants and state equation in 7863 ms returned []
Implicit Place search using SMT with State Equation took 8324 ms to find 0 implicit places.
[2022-06-11 21:57:30] [INFO ] Flow matrix only has 2732 transitions (discarded 5204 similar events)
// Phase 1: matrix 2732 rows 305 cols
[2022-06-11 21:57:30] [INFO ] Computed 1 place invariants in 17 ms
[2022-06-11 21:57:32] [INFO ] Dead Transitions using invariants and state equation in 2071 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 305/306 places, 7936/8064 transitions.
Finished structural reductions, in 1 iterations. Remains : 305/306 places, 7936/8064 transitions.
[2022-06-11 21:57:32] [INFO ] Flatten gal took : 197 ms
[2022-06-11 21:57:33] [INFO ] Flatten gal took : 222 ms
[2022-06-11 21:57:33] [INFO ] Input system was already deterministic with 7936 transitions.
[2022-06-11 21:57:33] [INFO ] Flatten gal took : 213 ms
[2022-06-11 21:57:33] [INFO ] Flatten gal took : 216 ms
[2022-06-11 21:57:33] [INFO ] Time to serialize gal into /tmp/CTLFireability9349866810201342444.gal : 18 ms
[2022-06-11 21:57:33] [INFO ] Time to serialize properties into /tmp/CTLFireability4472854698346041283.ctl : 2 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability9349866810201342444.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability4472854698346041283.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...274
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-06-11 21:58:04] [INFO ] Flatten gal took : 212 ms
[2022-06-11 21:58:04] [INFO ] Applying decomposition
[2022-06-11 21:58:04] [INFO ] Flatten gal took : 252 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph15530190009165868993.txt' '-o' '/tmp/graph15530190009165868993.bin' '-w' '/tmp/graph15530190009165868993.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph15530190009165868993.bin' '-l' '-1' '-v' '-w' '/tmp/graph15530190009165868993.weights' '-q' '0' '-e' '0.001'
[2022-06-11 21:58:04] [INFO ] Decomposing Gal with order
[2022-06-11 21:58:04] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-11 21:58:05] [INFO ] Removed a total of 18062 redundant transitions.
[2022-06-11 21:58:05] [INFO ] Flatten gal took : 342 ms
[2022-06-11 21:58:05] [INFO ] Fuse similar labels procedure discarded/fused a total of 939 labels/synchronizations in 158 ms.
[2022-06-11 21:58:05] [INFO ] Time to serialize gal into /tmp/CTLFireability9890900612062010870.gal : 14 ms
[2022-06-11 21:58:05] [INFO ] Time to serialize properties into /tmp/CTLFireability15441616402452401580.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability9890900612062010870.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability15441616402452401580.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...254
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 306/306 places, 8064/8064 transitions.
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 1 place count 305 transition count 7936
Iterating global reduction 0 with 1 rules applied. Total rules applied 2 place count 305 transition count 7936
Applied a total of 2 rules in 54 ms. Remains 305 /306 variables (removed 1) and now considering 7936/8064 (removed 128) transitions.
[2022-06-11 21:58:35] [INFO ] Flow matrix only has 2732 transitions (discarded 5204 similar events)
// Phase 1: matrix 2732 rows 305 cols
[2022-06-11 21:58:35] [INFO ] Computed 1 place invariants in 21 ms
[2022-06-11 21:58:35] [INFO ] Implicit Places using invariants in 403 ms returned []
[2022-06-11 21:58:35] [INFO ] Flow matrix only has 2732 transitions (discarded 5204 similar events)
// Phase 1: matrix 2732 rows 305 cols
[2022-06-11 21:58:36] [INFO ] Computed 1 place invariants in 14 ms
[2022-06-11 21:58:36] [INFO ] State equation strengthened by 147 read => feed constraints.
[2022-06-11 21:58:43] [INFO ] Implicit Places using invariants and state equation in 7141 ms returned []
Implicit Place search using SMT with State Equation took 7556 ms to find 0 implicit places.
[2022-06-11 21:58:43] [INFO ] Flow matrix only has 2732 transitions (discarded 5204 similar events)
// Phase 1: matrix 2732 rows 305 cols
[2022-06-11 21:58:43] [INFO ] Computed 1 place invariants in 17 ms
[2022-06-11 21:58:45] [INFO ] Dead Transitions using invariants and state equation in 2190 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 305/306 places, 7936/8064 transitions.
Finished structural reductions, in 1 iterations. Remains : 305/306 places, 7936/8064 transitions.
[2022-06-11 21:58:45] [INFO ] Flatten gal took : 206 ms
[2022-06-11 21:58:45] [INFO ] Flatten gal took : 248 ms
[2022-06-11 21:58:46] [INFO ] Input system was already deterministic with 7936 transitions.
[2022-06-11 21:58:46] [INFO ] Flatten gal took : 233 ms
[2022-06-11 21:58:46] [INFO ] Flatten gal took : 241 ms
[2022-06-11 21:58:46] [INFO ] Time to serialize gal into /tmp/CTLFireability16941945872184047386.gal : 18 ms
[2022-06-11 21:58:46] [INFO ] Time to serialize properties into /tmp/CTLFireability7249899432720306545.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability16941945872184047386.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability7249899432720306545.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...275
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-06-11 21:59:17] [INFO ] Flatten gal took : 289 ms
[2022-06-11 21:59:17] [INFO ] Applying decomposition
[2022-06-11 21:59:17] [INFO ] Flatten gal took : 234 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph11626885633978027647.txt' '-o' '/tmp/graph11626885633978027647.bin' '-w' '/tmp/graph11626885633978027647.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph11626885633978027647.bin' '-l' '-1' '-v' '-w' '/tmp/graph11626885633978027647.weights' '-q' '0' '-e' '0.001'
[2022-06-11 21:59:17] [INFO ] Decomposing Gal with order
[2022-06-11 21:59:17] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-11 21:59:18] [INFO ] Removed a total of 18174 redundant transitions.
[2022-06-11 21:59:18] [INFO ] Flatten gal took : 414 ms
[2022-06-11 21:59:18] [INFO ] Fuse similar labels procedure discarded/fused a total of 1045 labels/synchronizations in 178 ms.
[2022-06-11 21:59:18] [INFO ] Time to serialize gal into /tmp/CTLFireability9198417190833059801.gal : 19 ms
[2022-06-11 21:59:18] [INFO ] Time to serialize properties into /tmp/CTLFireability14733790683762494419.ctl : 2 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability9198417190833059801.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability14733790683762494419.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...254
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 306/306 places, 8064/8064 transitions.
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 1 place count 305 transition count 7936
Iterating global reduction 0 with 1 rules applied. Total rules applied 2 place count 305 transition count 7936
Applied a total of 2 rules in 54 ms. Remains 305 /306 variables (removed 1) and now considering 7936/8064 (removed 128) transitions.
[2022-06-11 21:59:48] [INFO ] Flow matrix only has 2732 transitions (discarded 5204 similar events)
// Phase 1: matrix 2732 rows 305 cols
[2022-06-11 21:59:48] [INFO ] Computed 1 place invariants in 19 ms
[2022-06-11 21:59:49] [INFO ] Implicit Places using invariants in 467 ms returned []
[2022-06-11 21:59:49] [INFO ] Flow matrix only has 2732 transitions (discarded 5204 similar events)
// Phase 1: matrix 2732 rows 305 cols
[2022-06-11 21:59:49] [INFO ] Computed 1 place invariants in 15 ms
[2022-06-11 21:59:49] [INFO ] State equation strengthened by 147 read => feed constraints.
[2022-06-11 21:59:56] [INFO ] Implicit Places using invariants and state equation in 6640 ms returned []
Implicit Place search using SMT with State Equation took 7124 ms to find 0 implicit places.
[2022-06-11 21:59:56] [INFO ] Flow matrix only has 2732 transitions (discarded 5204 similar events)
// Phase 1: matrix 2732 rows 305 cols
[2022-06-11 21:59:56] [INFO ] Computed 1 place invariants in 14 ms
[2022-06-11 21:59:58] [INFO ] Dead Transitions using invariants and state equation in 2078 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 305/306 places, 7936/8064 transitions.
Finished structural reductions, in 1 iterations. Remains : 305/306 places, 7936/8064 transitions.
[2022-06-11 21:59:58] [INFO ] Flatten gal took : 215 ms
[2022-06-11 21:59:58] [INFO ] Flatten gal took : 275 ms
[2022-06-11 21:59:59] [INFO ] Input system was already deterministic with 7936 transitions.
[2022-06-11 21:59:59] [INFO ] Flatten gal took : 222 ms
[2022-06-11 21:59:59] [INFO ] Flatten gal took : 246 ms
[2022-06-11 21:59:59] [INFO ] Time to serialize gal into /tmp/CTLFireability13343696333153187423.gal : 19 ms
[2022-06-11 21:59:59] [INFO ] Time to serialize properties into /tmp/CTLFireability3882663163336808474.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability13343696333153187423.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3882663163336808474.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...275
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-06-11 22:00:30] [INFO ] Flatten gal took : 217 ms
[2022-06-11 22:00:30] [INFO ] Applying decomposition
[2022-06-11 22:00:30] [INFO ] Flatten gal took : 226 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph10309251246292757072.txt' '-o' '/tmp/graph10309251246292757072.bin' '-w' '/tmp/graph10309251246292757072.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph10309251246292757072.bin' '-l' '-1' '-v' '-w' '/tmp/graph10309251246292757072.weights' '-q' '0' '-e' '0.001'
[2022-06-11 22:00:30] [INFO ] Decomposing Gal with order
[2022-06-11 22:00:30] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-11 22:00:31] [INFO ] Removed a total of 18365 redundant transitions.
[2022-06-11 22:00:31] [INFO ] Flatten gal took : 375 ms
[2022-06-11 22:00:31] [INFO ] Fuse similar labels procedure discarded/fused a total of 1139 labels/synchronizations in 174 ms.
[2022-06-11 22:00:31] [INFO ] Time to serialize gal into /tmp/CTLFireability9068112072297119245.gal : 15 ms
[2022-06-11 22:00:31] [INFO ] Time to serialize properties into /tmp/CTLFireability12107335818869720772.ctl : 2 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability9068112072297119245.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability12107335818869720772.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...254
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 306/306 places, 8064/8064 transitions.
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 1 place count 305 transition count 7936
Iterating global reduction 0 with 1 rules applied. Total rules applied 2 place count 305 transition count 7936
Applied a total of 2 rules in 54 ms. Remains 305 /306 variables (removed 1) and now considering 7936/8064 (removed 128) transitions.
[2022-06-11 22:01:01] [INFO ] Flow matrix only has 2732 transitions (discarded 5204 similar events)
// Phase 1: matrix 2732 rows 305 cols
[2022-06-11 22:01:01] [INFO ] Computed 1 place invariants in 22 ms
[2022-06-11 22:01:01] [INFO ] Implicit Places using invariants in 448 ms returned []
[2022-06-11 22:01:01] [INFO ] Flow matrix only has 2732 transitions (discarded 5204 similar events)
// Phase 1: matrix 2732 rows 305 cols
[2022-06-11 22:01:01] [INFO ] Computed 1 place invariants in 21 ms
[2022-06-11 22:01:02] [INFO ] State equation strengthened by 147 read => feed constraints.
[2022-06-11 22:01:09] [INFO ] Implicit Places using invariants and state equation in 7735 ms returned []
Implicit Place search using SMT with State Equation took 8186 ms to find 0 implicit places.
[2022-06-11 22:01:09] [INFO ] Flow matrix only has 2732 transitions (discarded 5204 similar events)
// Phase 1: matrix 2732 rows 305 cols
[2022-06-11 22:01:09] [INFO ] Computed 1 place invariants in 23 ms
[2022-06-11 22:01:11] [INFO ] Dead Transitions using invariants and state equation in 2064 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 305/306 places, 7936/8064 transitions.
Finished structural reductions, in 1 iterations. Remains : 305/306 places, 7936/8064 transitions.
[2022-06-11 22:01:11] [INFO ] Flatten gal took : 197 ms
[2022-06-11 22:01:12] [INFO ] Flatten gal took : 236 ms
[2022-06-11 22:01:12] [INFO ] Input system was already deterministic with 7936 transitions.
[2022-06-11 22:01:12] [INFO ] Flatten gal took : 221 ms
[2022-06-11 22:01:13] [INFO ] Flatten gal took : 226 ms
[2022-06-11 22:01:13] [INFO ] Time to serialize gal into /tmp/CTLFireability15133327354116718917.gal : 17 ms
[2022-06-11 22:01:13] [INFO ] Time to serialize properties into /tmp/CTLFireability3643930844672726708.ctl : 2 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability15133327354116718917.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3643930844672726708.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...275
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-06-11 22:01:43] [INFO ] Flatten gal took : 216 ms
[2022-06-11 22:01:43] [INFO ] Applying decomposition
[2022-06-11 22:01:43] [INFO ] Flatten gal took : 229 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph15622860612841231619.txt' '-o' '/tmp/graph15622860612841231619.bin' '-w' '/tmp/graph15622860612841231619.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph15622860612841231619.bin' '-l' '-1' '-v' '-w' '/tmp/graph15622860612841231619.weights' '-q' '0' '-e' '0.001'
[2022-06-11 22:01:44] [INFO ] Decomposing Gal with order
[2022-06-11 22:01:44] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-11 22:01:44] [INFO ] Removed a total of 18174 redundant transitions.
[2022-06-11 22:01:44] [INFO ] Flatten gal took : 377 ms
[2022-06-11 22:01:44] [INFO ] Fuse similar labels procedure discarded/fused a total of 1114 labels/synchronizations in 159 ms.
[2022-06-11 22:01:44] [INFO ] Time to serialize gal into /tmp/CTLFireability10274339592935024413.gal : 15 ms
[2022-06-11 22:01:44] [INFO ] Time to serialize properties into /tmp/CTLFireability8302233759216202815.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability10274339592935024413.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability8302233759216202815.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...254
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 306/306 places, 8064/8064 transitions.
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 1 place count 305 transition count 7936
Iterating global reduction 0 with 1 rules applied. Total rules applied 2 place count 305 transition count 7936
Applied a total of 2 rules in 289 ms. Remains 305 /306 variables (removed 1) and now considering 7936/8064 (removed 128) transitions.
[2022-06-11 22:02:15] [INFO ] Flow matrix only has 2732 transitions (discarded 5204 similar events)
// Phase 1: matrix 2732 rows 305 cols
[2022-06-11 22:02:15] [INFO ] Computed 1 place invariants in 21 ms
[2022-06-11 22:02:15] [INFO ] Implicit Places using invariants in 402 ms returned []
[2022-06-11 22:02:15] [INFO ] Flow matrix only has 2732 transitions (discarded 5204 similar events)
// Phase 1: matrix 2732 rows 305 cols
[2022-06-11 22:02:15] [INFO ] Computed 1 place invariants in 19 ms
[2022-06-11 22:02:16] [INFO ] State equation strengthened by 147 read => feed constraints.
[2022-06-11 22:02:22] [INFO ] Implicit Places using invariants and state equation in 6926 ms returned []
Implicit Place search using SMT with State Equation took 7329 ms to find 0 implicit places.
[2022-06-11 22:02:23] [INFO ] Redundant transitions in 685 ms returned []
[2022-06-11 22:02:23] [INFO ] Flow matrix only has 2732 transitions (discarded 5204 similar events)
// Phase 1: matrix 2732 rows 305 cols
[2022-06-11 22:02:23] [INFO ] Computed 1 place invariants in 21 ms
[2022-06-11 22:02:25] [INFO ] Dead Transitions using invariants and state equation in 2090 ms found 0 transitions.
Starting structural reductions in SI_CTL mode, iteration 1 : 305/306 places, 7936/8064 transitions.
Finished structural reductions, in 1 iterations. Remains : 305/306 places, 7936/8064 transitions.
[2022-06-11 22:02:25] [INFO ] Flatten gal took : 190 ms
[2022-06-11 22:02:25] [INFO ] Flatten gal took : 223 ms
[2022-06-11 22:02:25] [INFO ] Input system was already deterministic with 7936 transitions.
[2022-06-11 22:02:26] [INFO ] Flatten gal took : 210 ms
[2022-06-11 22:02:26] [INFO ] Flatten gal took : 215 ms
[2022-06-11 22:02:26] [INFO ] Time to serialize gal into /tmp/CTLFireability13060221784564477167.gal : 17 ms
[2022-06-11 22:02:26] [INFO ] Time to serialize properties into /tmp/CTLFireability186313203426734950.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability13060221784564477167.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability186313203426734950.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...274
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-06-11 22:02:56] [INFO ] Flatten gal took : 218 ms
[2022-06-11 22:02:56] [INFO ] Applying decomposition
[2022-06-11 22:02:56] [INFO ] Flatten gal took : 223 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph18134713215856401319.txt' '-o' '/tmp/graph18134713215856401319.bin' '-w' '/tmp/graph18134713215856401319.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph18134713215856401319.bin' '-l' '-1' '-v' '-w' '/tmp/graph18134713215856401319.weights' '-q' '0' '-e' '0.001'
[2022-06-11 22:02:57] [INFO ] Decomposing Gal with order
[2022-06-11 22:02:57] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-11 22:02:57] [INFO ] Removed a total of 18142 redundant transitions.
[2022-06-11 22:02:57] [INFO ] Flatten gal took : 409 ms
[2022-06-11 22:02:58] [INFO ] Fuse similar labels procedure discarded/fused a total of 1029 labels/synchronizations in 162 ms.
[2022-06-11 22:02:58] [INFO ] Time to serialize gal into /tmp/CTLFireability11475843915889315784.gal : 14 ms
[2022-06-11 22:02:58] [INFO ] Time to serialize properties into /tmp/CTLFireability10424073467789542696.ctl : 131 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability11475843915889315784.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability10424073467789542696.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...255
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 306/306 places, 8064/8064 transitions.
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 1 place count 305 transition count 7936
Iterating global reduction 0 with 1 rules applied. Total rules applied 2 place count 305 transition count 7936
Applied a total of 2 rules in 59 ms. Remains 305 /306 variables (removed 1) and now considering 7936/8064 (removed 128) transitions.
[2022-06-11 22:03:28] [INFO ] Flow matrix only has 2732 transitions (discarded 5204 similar events)
// Phase 1: matrix 2732 rows 305 cols
[2022-06-11 22:03:28] [INFO ] Computed 1 place invariants in 22 ms
[2022-06-11 22:03:28] [INFO ] Implicit Places using invariants in 437 ms returned []
[2022-06-11 22:03:28] [INFO ] Flow matrix only has 2732 transitions (discarded 5204 similar events)
// Phase 1: matrix 2732 rows 305 cols
[2022-06-11 22:03:28] [INFO ] Computed 1 place invariants in 18 ms
[2022-06-11 22:03:29] [INFO ] State equation strengthened by 147 read => feed constraints.
[2022-06-11 22:03:35] [INFO ] Implicit Places using invariants and state equation in 6664 ms returned []
Implicit Place search using SMT with State Equation took 7104 ms to find 0 implicit places.
[2022-06-11 22:03:35] [INFO ] Flow matrix only has 2732 transitions (discarded 5204 similar events)
// Phase 1: matrix 2732 rows 305 cols
[2022-06-11 22:03:35] [INFO ] Computed 1 place invariants in 18 ms
[2022-06-11 22:03:37] [INFO ] Dead Transitions using invariants and state equation in 2036 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 305/306 places, 7936/8064 transitions.
Finished structural reductions, in 1 iterations. Remains : 305/306 places, 7936/8064 transitions.
[2022-06-11 22:03:37] [INFO ] Flatten gal took : 211 ms
[2022-06-11 22:03:38] [INFO ] Flatten gal took : 247 ms
[2022-06-11 22:03:38] [INFO ] Input system was already deterministic with 7936 transitions.
[2022-06-11 22:03:38] [INFO ] Flatten gal took : 215 ms
[2022-06-11 22:03:38] [INFO ] Flatten gal took : 221 ms
[2022-06-11 22:03:38] [INFO ] Time to serialize gal into /tmp/CTLFireability17253619074947008502.gal : 16 ms
[2022-06-11 22:03:38] [INFO ] Time to serialize properties into /tmp/CTLFireability6887426095491231167.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability17253619074947008502.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability6887426095491231167.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...275
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-06-11 22:04:09] [INFO ] Flatten gal took : 218 ms
[2022-06-11 22:04:09] [INFO ] Applying decomposition
[2022-06-11 22:04:09] [INFO ] Flatten gal took : 227 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph5059431157256404187.txt' '-o' '/tmp/graph5059431157256404187.bin' '-w' '/tmp/graph5059431157256404187.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph5059431157256404187.bin' '-l' '-1' '-v' '-w' '/tmp/graph5059431157256404187.weights' '-q' '0' '-e' '0.001'
[2022-06-11 22:04:09] [INFO ] Decomposing Gal with order
[2022-06-11 22:04:09] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-11 22:04:10] [INFO ] Removed a total of 17839 redundant transitions.
[2022-06-11 22:04:10] [INFO ] Flatten gal took : 395 ms
[2022-06-11 22:04:10] [INFO ] Fuse similar labels procedure discarded/fused a total of 1019 labels/synchronizations in 172 ms.
[2022-06-11 22:04:10] [INFO ] Time to serialize gal into /tmp/CTLFireability15539452427542391854.gal : 15 ms
[2022-06-11 22:04:10] [INFO ] Time to serialize properties into /tmp/CTLFireability647849500761613281.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability15539452427542391854.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability647849500761613281.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...253
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 306/306 places, 8064/8064 transitions.
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 1 place count 305 transition count 7936
Iterating global reduction 0 with 1 rules applied. Total rules applied 2 place count 305 transition count 7936
Applied a total of 2 rules in 296 ms. Remains 305 /306 variables (removed 1) and now considering 7936/8064 (removed 128) transitions.
[2022-06-11 22:04:40] [INFO ] Flow matrix only has 2732 transitions (discarded 5204 similar events)
// Phase 1: matrix 2732 rows 305 cols
[2022-06-11 22:04:40] [INFO ] Computed 1 place invariants in 17 ms
[2022-06-11 22:04:41] [INFO ] Implicit Places using invariants in 371 ms returned []
[2022-06-11 22:04:41] [INFO ] Flow matrix only has 2732 transitions (discarded 5204 similar events)
// Phase 1: matrix 2732 rows 305 cols
[2022-06-11 22:04:41] [INFO ] Computed 1 place invariants in 18 ms
[2022-06-11 22:04:41] [INFO ] State equation strengthened by 147 read => feed constraints.
[2022-06-11 22:04:48] [INFO ] Implicit Places using invariants and state equation in 6846 ms returned []
Implicit Place search using SMT with State Equation took 7218 ms to find 0 implicit places.
[2022-06-11 22:04:48] [INFO ] Redundant transitions in 700 ms returned []
[2022-06-11 22:04:48] [INFO ] Flow matrix only has 2732 transitions (discarded 5204 similar events)
// Phase 1: matrix 2732 rows 305 cols
[2022-06-11 22:04:48] [INFO ] Computed 1 place invariants in 21 ms
[2022-06-11 22:04:50] [INFO ] Dead Transitions using invariants and state equation in 1969 ms found 0 transitions.
Starting structural reductions in SI_CTL mode, iteration 1 : 305/306 places, 7936/8064 transitions.
Finished structural reductions, in 1 iterations. Remains : 305/306 places, 7936/8064 transitions.
[2022-06-11 22:04:51] [INFO ] Flatten gal took : 194 ms
[2022-06-11 22:04:51] [INFO ] Flatten gal took : 239 ms
[2022-06-11 22:04:51] [INFO ] Input system was already deterministic with 7936 transitions.
[2022-06-11 22:04:51] [INFO ] Flatten gal took : 225 ms
[2022-06-11 22:04:52] [INFO ] Flatten gal took : 244 ms
[2022-06-11 22:04:52] [INFO ] Time to serialize gal into /tmp/CTLFireability3728741857120603819.gal : 16 ms
[2022-06-11 22:04:52] [INFO ] Time to serialize properties into /tmp/CTLFireability1934074316247462470.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability3728741857120603819.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability1934074316247462470.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...274
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-06-11 22:05:22] [INFO ] Flatten gal took : 223 ms
[2022-06-11 22:05:22] [INFO ] Applying decomposition
[2022-06-11 22:05:22] [INFO ] Flatten gal took : 225 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph4062523028271850996.txt' '-o' '/tmp/graph4062523028271850996.bin' '-w' '/tmp/graph4062523028271850996.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph4062523028271850996.bin' '-l' '-1' '-v' '-w' '/tmp/graph4062523028271850996.weights' '-q' '0' '-e' '0.001'
[2022-06-11 22:05:23] [INFO ] Decomposing Gal with order
[2022-06-11 22:05:23] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-11 22:05:23] [INFO ] Removed a total of 18062 redundant transitions.
[2022-06-11 22:05:23] [INFO ] Flatten gal took : 393 ms
[2022-06-11 22:05:23] [INFO ] Fuse similar labels procedure discarded/fused a total of 900 labels/synchronizations in 174 ms.
[2022-06-11 22:05:23] [INFO ] Time to serialize gal into /tmp/CTLFireability9545035762412559004.gal : 16 ms
[2022-06-11 22:05:23] [INFO ] Time to serialize properties into /tmp/CTLFireability14027431578346847064.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability9545035762412559004.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability14027431578346847064.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...254
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-06-11 22:05:54] [INFO ] Flatten gal took : 214 ms
[2022-06-11 22:05:54] [INFO ] Flatten gal took : 220 ms
[2022-06-11 22:05:54] [INFO ] Applying decomposition
[2022-06-11 22:05:54] [INFO ] Flatten gal took : 275 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph4633111798372228163.txt' '-o' '/tmp/graph4633111798372228163.bin' '-w' '/tmp/graph4633111798372228163.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph4633111798372228163.bin' '-l' '-1' '-v' '-w' '/tmp/graph4633111798372228163.weights' '-q' '0' '-e' '0.001'
[2022-06-11 22:05:55] [INFO ] Decomposing Gal with order
[2022-06-11 22:05:55] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-11 22:05:55] [INFO ] Removed a total of 18316 redundant transitions.
[2022-06-11 22:05:55] [INFO ] Flatten gal took : 440 ms
[2022-06-11 22:05:55] [INFO ] Fuse similar labels procedure discarded/fused a total of 895 labels/synchronizations in 153 ms.
[2022-06-11 22:05:55] [INFO ] Time to serialize gal into /tmp/CTLFireability5495323451842333321.gal : 14 ms
[2022-06-11 22:05:55] [INFO ] Time to serialize properties into /tmp/CTLFireability14676789347126659471.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability5495323451842333321.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability14676789347126659471.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...254
No direction supplied, using forward translation only.
Parsed 16 CTL formulae.
Detected timeout of ITS tools.
[2022-06-11 22:33:25] [INFO ] Flatten gal took : 1003 ms
[2022-06-11 22:33:25] [INFO ] Time to serialize gal into /tmp/CTLFireability14229446951217946281.gal : 69 ms
[2022-06-11 22:33:25] [INFO ] Time to serialize properties into /tmp/CTLFireability5373288803441751252.ctl : 8 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability14229446951217946281.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability5373288803441751252.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...275
No direction supplied, using forward translation only.
Parsed 16 CTL formulae.
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export LANG=C
+ LANG=C
+ export BINDIR=/home/mcc/BenchKit/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ CTLFireability = StateSpace ]]
+ /home/mcc/BenchKit/bin//..//runeclipse.sh /home/mcc/execution CTLFireability -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ export PYTHONPATH=/usr/lib/python3.9/site-packages/
+ PYTHONPATH=/usr/lib/python3.9/site-packages/
+ export LD_LIBRARY_PATH=/usr/local/lib:
+ LD_LIBRARY_PATH=/usr/local/lib:
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202205111006.jar
+ VERSION=202205111006
+ echo 'Running Version 202205111006'
+ /home/mcc/BenchKit/bin//..//itstools/its-tools -data @none -pnfolder /home/mcc/execution -examination CTLFireability -spotpath /home/mcc/BenchKit/bin//..//ltlfilt -z3path /home/mcc/BenchKit/bin//..//z3/bin/z3 -yices2path /home/mcc/BenchKit/bin//..//yices/bin/yices -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600 -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=@none -Xss128m -Xms40m -Xmx8192m
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="Szymanski-PT-b10"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool itstools"
echo " Input is Szymanski-PT-b10, 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 r312-tall-165472283101066"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Szymanski-PT-b10.tgz
mv Szymanski-PT-b10 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 ;