About the Execution of ITS-Tools for DatabaseWithMutex-PT-20
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16215.336 | 3600000.00 | 2964086.00 | 549482.20 | [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.r060-tall-165254772200578.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 DatabaseWithMutex-PT-20, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r060-tall-165254772200578
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 7.7M
-rw-r--r-- 1 mcc users 214K Apr 30 06:13 CTLCardinality.txt
-rw-r--r-- 1 mcc users 905K Apr 30 06:13 CTLCardinality.xml
-rw-r--r-- 1 mcc users 381K Apr 30 05:47 CTLFireability.txt
-rw-r--r-- 1 mcc users 1.9M Apr 30 05:47 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 10 09:33 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.7K May 10 09:33 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 214K May 9 07:35 LTLCardinality.txt
-rw-r--r-- 1 mcc users 663K May 9 07:35 LTLCardinality.xml
-rw-r--r-- 1 mcc users 164K May 9 07:35 LTLFireability.txt
-rw-r--r-- 1 mcc users 595K May 9 07:35 LTLFireability.xml
-rw-r--r-- 1 mcc users 28K May 9 07:35 UpperBounds.txt
-rw-r--r-- 1 mcc users 64K May 9 07:35 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 10 09:33 equiv_col
-rw-r--r-- 1 mcc users 3 May 10 09:33 instance
-rw-r--r-- 1 mcc users 6 May 10 09:33 iscolored
-rw-r--r-- 1 mcc users 2.7M May 10 09:33 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 DatabaseWithMutex-PT-20-CTLFireability-00
FORMULA_NAME DatabaseWithMutex-PT-20-CTLFireability-01
FORMULA_NAME DatabaseWithMutex-PT-20-CTLFireability-02
FORMULA_NAME DatabaseWithMutex-PT-20-CTLFireability-03
FORMULA_NAME DatabaseWithMutex-PT-20-CTLFireability-04
FORMULA_NAME DatabaseWithMutex-PT-20-CTLFireability-05
FORMULA_NAME DatabaseWithMutex-PT-20-CTLFireability-06
FORMULA_NAME DatabaseWithMutex-PT-20-CTLFireability-07
FORMULA_NAME DatabaseWithMutex-PT-20-CTLFireability-08
FORMULA_NAME DatabaseWithMutex-PT-20-CTLFireability-09
FORMULA_NAME DatabaseWithMutex-PT-20-CTLFireability-10
FORMULA_NAME DatabaseWithMutex-PT-20-CTLFireability-11
FORMULA_NAME DatabaseWithMutex-PT-20-CTLFireability-12
FORMULA_NAME DatabaseWithMutex-PT-20-CTLFireability-13
FORMULA_NAME DatabaseWithMutex-PT-20-CTLFireability-14
FORMULA_NAME DatabaseWithMutex-PT-20-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1652625583955
Running Version 202205111006
[2022-05-15 14:39:45] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLFireability, -spotpath, /home/mcc/BenchKit/bin//..//ltlfilt, -z3path, /home/mcc/BenchKit/bin//..//z3/bin/z3, -yices2path, /home/mcc/BenchKit/bin//..//yices/bin/yices, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2022-05-15 14:39:45] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2022-05-15 14:39:45] [INFO ] Load time of PNML (sax parser for PT used): 271 ms
[2022-05-15 14:39:45] [INFO ] Transformed 3260 places.
[2022-05-15 14:39:45] [INFO ] Transformed 3200 transitions.
[2022-05-15 14:39:45] [INFO ] Parsed PT model containing 3260 places and 3200 transitions in 405 ms.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 668 ms.
[2022-05-15 14:39:46] [INFO ] Reduced 380 identical enabling conditions.
[2022-05-15 14:39:46] [INFO ] Reduced 380 identical enabling conditions.
[2022-05-15 14:39:46] [INFO ] Reduced 380 identical enabling conditions.
[2022-05-15 14:39:46] [INFO ] Reduced 380 identical enabling conditions.
Support contains 3260 out of 3260 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 3260/3260 places, 3200/3200 transitions.
Applied a total of 0 rules in 35 ms. Remains 3260 /3260 variables (removed 0) and now considering 3200/3200 (removed 0) transitions.
// Phase 1: matrix 3200 rows 3260 cols
[2022-05-15 14:39:47] [INFO ] Computed 460 place invariants in 206 ms
[2022-05-15 14:39:48] [INFO ] Implicit Places using invariants in 1109 ms returned []
// Phase 1: matrix 3200 rows 3260 cols
[2022-05-15 14:39:48] [INFO ] Computed 460 place invariants in 76 ms
[2022-05-15 14:39:50] [INFO ] Implicit Places using invariants and state equation in 1935 ms returned []
Implicit Place search using SMT with State Equation took 3084 ms to find 0 implicit places.
// Phase 1: matrix 3200 rows 3260 cols
[2022-05-15 14:39:50] [INFO ] Computed 460 place invariants in 52 ms
[2022-05-15 14:39:55] [INFO ] Dead Transitions using invariants and state equation in 5539 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 3260/3260 places, 3200/3200 transitions.
Support contains 3260 out of 3260 places after structural reductions.
[2022-05-15 14:39:58] [INFO ] Flatten gal took : 2204 ms
[2022-05-15 14:40:01] [INFO ] Flatten gal took : 612 ms
[2022-05-15 14:40:05] [INFO ] Input system was already deterministic with 3200 transitions.
Incomplete random walk after 10000 steps, including 2 resets, run finished after 816 ms. (steps per millisecond=12 ) properties (out of 68) seen :59
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 29 ms. (steps per millisecond=344 ) properties (out of 9) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 20 ms. (steps per millisecond=500 ) properties (out of 9) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=625 ) properties (out of 9) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=625 ) properties (out of 9) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 15 ms. (steps per millisecond=666 ) properties (out of 9) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 18 ms. (steps per millisecond=555 ) properties (out of 9) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 13 ms. (steps per millisecond=769 ) properties (out of 9) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 37 ms. (steps per millisecond=270 ) properties (out of 9) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 13 ms. (steps per millisecond=769 ) properties (out of 9) seen :0
Running SMT prover for 9 properties.
// Phase 1: matrix 3200 rows 3260 cols
[2022-05-15 14:40:08] [INFO ] Computed 460 place invariants in 48 ms
[2022-05-15 14:40:09] [INFO ] [Real]Absence check using 78 positive place invariants in 38 ms returned sat
[2022-05-15 14:40:09] [INFO ] [Real]Absence check using 78 positive and 382 generalized place invariants in 252 ms returned sat
[2022-05-15 14:40:13] [INFO ] After 3482ms SMT Verify possible using state equation in real domain returned unsat :0 sat :5 real:4
[2022-05-15 14:40:15] [INFO ] After 5102ms SMT Verify possible using trap constraints in real domain returned unsat :0 sat :2 real:7
Attempting to minimize the solution found.
Minimization took 266 ms.
[2022-05-15 14:40:15] [INFO ] After 6919ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:9
[2022-05-15 14:40:16] [INFO ] [Nat]Absence check using 78 positive place invariants in 40 ms returned sat
[2022-05-15 14:40:16] [INFO ] [Nat]Absence check using 78 positive and 382 generalized place invariants in 234 ms returned sat
[2022-05-15 14:40:20] [INFO ] After 3365ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :9
[2022-05-15 14:40:22] [INFO ] After 5488ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :9
Attempting to minimize the solution found.
Minimization took 1464 ms.
[2022-05-15 14:40:24] [INFO ] After 8551ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :9
Finished Parikh walk after 15 steps, including 0 resets, run visited all 1 properties in 2 ms. (steps per millisecond=7 )
Parikh walk visited 9 properties in 986 ms.
[2022-05-15 14:40:25] [INFO ] Flatten gal took : 411 ms
[2022-05-15 14:40:29] [INFO ] Flatten gal took : 568 ms
[2022-05-15 14:40:32] [INFO ] Input system was already deterministic with 3200 transitions.
Computed a total of 0 stabilizing places and 0 stable transitions
Starting structural reductions in LTL mode, iteration 0 : 3260/3260 places, 3200/3200 transitions.
Applied a total of 0 rules in 166 ms. Remains 3260 /3260 variables (removed 0) and now considering 3200/3200 (removed 0) transitions.
// Phase 1: matrix 3200 rows 3260 cols
[2022-05-15 14:40:32] [INFO ] Computed 460 place invariants in 50 ms
[2022-05-15 14:40:33] [INFO ] Implicit Places using invariants in 580 ms returned []
// Phase 1: matrix 3200 rows 3260 cols
[2022-05-15 14:40:33] [INFO ] Computed 460 place invariants in 46 ms
[2022-05-15 14:40:35] [INFO ] Implicit Places using invariants and state equation in 2060 ms returned []
Implicit Place search using SMT with State Equation took 2644 ms to find 0 implicit places.
// Phase 1: matrix 3200 rows 3260 cols
[2022-05-15 14:40:35] [INFO ] Computed 460 place invariants in 42 ms
[2022-05-15 14:40:40] [INFO ] Dead Transitions using invariants and state equation in 5431 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 3260/3260 places, 3200/3200 transitions.
[2022-05-15 14:40:41] [INFO ] Flatten gal took : 284 ms
[2022-05-15 14:40:41] [INFO ] Flatten gal took : 282 ms
[2022-05-15 14:40:41] [INFO ] Input system was already deterministic with 3200 transitions.
[2022-05-15 14:40:42] [INFO ] Flatten gal took : 286 ms
[2022-05-15 14:40:42] [INFO ] Flatten gal took : 279 ms
[2022-05-15 14:40:42] [INFO ] Time to serialize gal into /tmp/CTLFireability3843008030885872204.gal : 62 ms
[2022-05-15 14:40:42] [INFO ] Time to serialize properties into /tmp/CTLFireability3490834406353817314.ctl : 40 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/CTLFireability3843008030885872204.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3490834406353817314.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...274
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-05-15 14:41:13] [INFO ] Flatten gal took : 303 ms
[2022-05-15 14:41:13] [INFO ] Applying decomposition
[2022-05-15 14:41:13] [INFO ] Flatten gal took : 298 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/graph15347201283903489305.txt' '-o' '/tmp/graph15347201283903489305.bin' '-w' '/tmp/graph15347201283903489305.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph15347201283903489305.bin' '-l' '-1' '-v' '-w' '/tmp/graph15347201283903489305.weights' '-q' '0' '-e' '0.001'
[2022-05-15 14:41:15] [INFO ] Decomposing Gal with order
[2022-05-15 14:41:16] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-15 14:41:17] [INFO ] Removed a total of 14780 redundant transitions.
[2022-05-15 14:41:18] [INFO ] Flatten gal took : 1441 ms
[2022-05-15 14:41:19] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 231 ms.
[2022-05-15 14:41:20] [INFO ] Time to serialize gal into /tmp/CTLFireability10049891285295093284.gal : 124 ms
[2022-05-15 14:41:20] [INFO ] Time to serialize properties into /tmp/CTLFireability10959535869601038204.ctl : 91 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/CTLFireability10049891285295093284.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability10959535869601038204.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 SI_CTL mode, iteration 0 : 3260/3260 places, 3200/3200 transitions.
Applied a total of 0 rules in 144 ms. Remains 3260 /3260 variables (removed 0) and now considering 3200/3200 (removed 0) transitions.
// Phase 1: matrix 3200 rows 3260 cols
[2022-05-15 14:41:50] [INFO ] Computed 460 place invariants in 50 ms
[2022-05-15 14:41:51] [INFO ] Implicit Places using invariants in 1105 ms returned []
// Phase 1: matrix 3200 rows 3260 cols
[2022-05-15 14:41:51] [INFO ] Computed 460 place invariants in 44 ms
[2022-05-15 14:41:54] [INFO ] Implicit Places using invariants and state equation in 3028 ms returned []
Implicit Place search using SMT with State Equation took 4166 ms to find 0 implicit places.
[2022-05-15 14:41:54] [INFO ] Redundant transitions in 261 ms returned []
// Phase 1: matrix 3200 rows 3260 cols
[2022-05-15 14:41:54] [INFO ] Computed 460 place invariants in 44 ms
[2022-05-15 14:42:00] [INFO ] Dead Transitions using invariants and state equation in 5552 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 3260/3260 places, 3200/3200 transitions.
[2022-05-15 14:42:00] [INFO ] Flatten gal took : 293 ms
[2022-05-15 14:42:01] [INFO ] Flatten gal took : 311 ms
[2022-05-15 14:42:01] [INFO ] Input system was already deterministic with 3200 transitions.
[2022-05-15 14:42:02] [INFO ] Flatten gal took : 316 ms
[2022-05-15 14:42:02] [INFO ] Flatten gal took : 277 ms
[2022-05-15 14:42:02] [INFO ] Time to serialize gal into /tmp/CTLFireability5915145068353963000.gal : 19 ms
[2022-05-15 14:42:02] [INFO ] Time to serialize properties into /tmp/CTLFireability13063893281992754261.ctl : 22 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/CTLFireability5915145068353963000.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability13063893281992754261.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...275
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-05-15 14:42:32] [INFO ] Flatten gal took : 312 ms
[2022-05-15 14:42:32] [INFO ] Applying decomposition
[2022-05-15 14:42:33] [INFO ] Flatten gal took : 280 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/graph12381586264125949221.txt' '-o' '/tmp/graph12381586264125949221.bin' '-w' '/tmp/graph12381586264125949221.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph12381586264125949221.bin' '-l' '-1' '-v' '-w' '/tmp/graph12381586264125949221.weights' '-q' '0' '-e' '0.001'
[2022-05-15 14:42:34] [INFO ] Decomposing Gal with order
[2022-05-15 14:42:34] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-15 14:42:34] [INFO ] Removed a total of 14780 redundant transitions.
[2022-05-15 14:42:35] [INFO ] Flatten gal took : 561 ms
[2022-05-15 14:42:36] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 86 ms.
[2022-05-15 14:42:36] [INFO ] Time to serialize gal into /tmp/CTLFireability9085218850678428084.gal : 36 ms
[2022-05-15 14:42:36] [INFO ] Time to serialize properties into /tmp/CTLFireability5905464656736771464.ctl : 40 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/CTLFireability9085218850678428084.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability5905464656736771464.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 : 3260/3260 places, 3200/3200 transitions.
Applied a total of 0 rules in 260 ms. Remains 3260 /3260 variables (removed 0) and now considering 3200/3200 (removed 0) transitions.
// Phase 1: matrix 3200 rows 3260 cols
[2022-05-15 14:43:06] [INFO ] Computed 460 place invariants in 49 ms
[2022-05-15 14:43:12] [INFO ] Implicit Places using invariants in 5633 ms returned [5, 17, 18, 26, 31, 32, 37, 41, 43, 48, 49, 75, 83, 87, 94, 97, 99, 116, 125, 128, 130, 140, 153, 182, 188, 192, 198, 207, 208, 224, 239, 258, 263, 264, 274, 289, 293, 297, 299, 308, 312, 339, 351, 357, 371, 374, 404, 409, 411, 423, 438, 439, 476, 486, 497, 506, 507, 512, 516, 517, 524, 542, 544, 554, 561, 569, 573, 576, 577, 582, 583, 590, 596, 620, 623, 630, 635, 640, 660, 665, 669, 676, 686, 690, 699, 707, 713, 718, 725, 735, 744, 746, 749, 750, 754, 759, 763, 791, 795, 804, 808, 812, 819, 821, 826, 829, 850, 857, 875, 881, 885, 905, 918, 921, 930, 933, 941, 948, 953, 957, 958, 964, 967, 968, 991, 1000, 1003, 1038, 1045, 1054, 1059, 1065, 1083, 1086, 1087, 1101, 1108, 1110, 1112, 1121, 1123, 1131, 1134, 1143, 1144, 1153, 1157, 1161, 1162, 1172, 1179, 1201, 1211, 1214, 1217, 1246, 1247, 1251, 1259, 1277, 1284, 1287, 1289, 1293, 1297, 1301, 1302, 1319, 1325, 1336, 1344, 1345, 1346, 1348, 1356, 1357, 1359, 1360, 1366, 1367, 1369, 1382, 1384, 1388, 1397, 1403, 1414, 1420, 1428, 1432, 1438, 1451, 1456, 1475, 1489, 1492, 1503, 1512, 1514, 1518, 1523, 1527, 1531, 1543, 1547, 1567, 1571, 1582, 1584, 1601, 1606, 1614, 1616, 1625, 1645, 1646, 1651, 1657, 1658, 1661, 1664, 1679, 1681, 1715, 1729, 1737, 1738, 1742, 1762, 1763, 1765, 1774, 1777, 1798, 1800, 1806, 1808, 1814, 1815, 1830, 1839, 1855, 1874, 1879, 1880, 1887, 1892, 1893, 1898, 1930, 1939, 1940, 1941, 1944, 1950, 1956, 1959, 1964, 1974, 1988, 2014, 2020, 2023, 2035, 2045, 2051, 2055, 2065, 2068, 2074, 2079, 2115, 2116, 2128, 2129, 2130, 2138, 2158, 2161, 2183, 2190, 2194, 2195, 2206, 2220, 2226, 2228, 2263, 2267, 2277, 2283, 2290, 2291, 2293, 2311, 2313, 2320, 2348, 2358, 2359, 2374, 2377, 2380, 2381, 2384, 2386, 2387, 2413, 2419, 2446, 2450, 2451, 2453, 2468, 2469, 2507, 2513, 2527, 2547, 2554, 2559, 2573, 2587, 2593, 2609, 2612, 2615, 2637, 2638, 2647, 2657, 2666, 2675, 2677, 2679, 2696, 2714, 2722, 2730, 2733, 2742, 2747, 2749, 2752, 2778, 2784, 2792, 2798, 2803, 2810, 2813, 2817, 2824, 2825, 2827, 2845, 2867, 2879, 2881, 2883, 2887, 2896, 2929, 2939, 2946, 2959, 2962, 2967, 2968, 2971, 2988, 2991, 2997, 3001, 3009, 3011, 3025, 3027, 3047, 3050, 3059, 3074, 3076, 3083, 3088, 3104, 3118, 3123, 3132, 3151, 3166, 3200, 3203, 3211, 3216, 3229, 3239, 3243, 3249, 3250]
Discarding 400 places :
Implicit Place search using SMT only with invariants took 5665 ms to find 400 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 2860/3260 places, 3200/3200 transitions.
Applied a total of 0 rules in 90 ms. Remains 2860 /2860 variables (removed 0) and now considering 3200/3200 (removed 0) transitions.
Finished structural reductions, in 2 iterations. Remains : 2860/3260 places, 3200/3200 transitions.
[2022-05-15 14:43:12] [INFO ] Flatten gal took : 197 ms
[2022-05-15 14:43:13] [INFO ] Flatten gal took : 235 ms
[2022-05-15 14:43:13] [INFO ] Input system was already deterministic with 3200 transitions.
[2022-05-15 14:43:13] [INFO ] Flatten gal took : 208 ms
[2022-05-15 14:43:13] [INFO ] Flatten gal took : 228 ms
[2022-05-15 14:43:13] [INFO ] Time to serialize gal into /tmp/CTLFireability16457958061572250022.gal : 15 ms
[2022-05-15 14:43:13] [INFO ] Time to serialize properties into /tmp/CTLFireability6819667204563267634.ctl : 4 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability16457958061572250022.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability6819667204563267634.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...275
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-05-15 14:43:44] [INFO ] Flatten gal took : 213 ms
[2022-05-15 14:43:44] [INFO ] Applying decomposition
[2022-05-15 14:43:44] [INFO ] Flatten gal took : 233 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/graph12211654859016169972.txt' '-o' '/tmp/graph12211654859016169972.bin' '-w' '/tmp/graph12211654859016169972.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph12211654859016169972.bin' '-l' '-1' '-v' '-w' '/tmp/graph12211654859016169972.weights' '-q' '0' '-e' '0.001'
[2022-05-15 14:43:44] [INFO ] Decomposing Gal with order
[2022-05-15 14:43:44] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-15 14:43:45] [INFO ] Removed a total of 15103 redundant transitions.
[2022-05-15 14:43:45] [INFO ] Flatten gal took : 402 ms
[2022-05-15 14:43:45] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 57 ms.
[2022-05-15 14:43:45] [INFO ] Time to serialize gal into /tmp/CTLFireability16124215246069237086.gal : 17 ms
[2022-05-15 14:43:45] [INFO ] Time to serialize properties into /tmp/CTLFireability4710656939019061143.ctl : 4 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability16124215246069237086.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability4710656939019061143.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 : 3260/3260 places, 3200/3200 transitions.
Applied a total of 0 rules in 221 ms. Remains 3260 /3260 variables (removed 0) and now considering 3200/3200 (removed 0) transitions.
// Phase 1: matrix 3200 rows 3260 cols
[2022-05-15 14:44:16] [INFO ] Computed 460 place invariants in 48 ms
[2022-05-15 14:44:23] [INFO ] Implicit Places using invariants in 7699 ms returned [5, 17, 18, 26, 31, 32, 37, 41, 43, 48, 49, 75, 83, 87, 94, 97, 99, 116, 125, 128, 130, 140, 153, 182, 188, 192, 198, 207, 208, 224, 239, 258, 263, 264, 274, 289, 293, 297, 299, 308, 312, 339, 351, 357, 371, 374, 404, 409, 411, 423, 438, 439, 476, 486, 497, 506, 507, 512, 516, 517, 524, 542, 544, 554, 561, 569, 573, 576, 577, 582, 583, 590, 596, 620, 623, 630, 635, 640, 660, 665, 669, 676, 686, 690, 699, 707, 713, 718, 725, 735, 744, 746, 749, 750, 754, 759, 763, 791, 795, 804, 808, 812, 819, 821, 826, 829, 850, 857, 875, 881, 885, 905, 918, 921, 930, 933, 941, 948, 953, 957, 958, 964, 967, 968, 991, 1000, 1003, 1038, 1045, 1054, 1059, 1065, 1083, 1086, 1087, 1101, 1108, 1110, 1112, 1121, 1123, 1131, 1134, 1143, 1144, 1153, 1157, 1161, 1162, 1172, 1179, 1201, 1211, 1214, 1217, 1246, 1247, 1251, 1259, 1277, 1284, 1287, 1289, 1293, 1297, 1301, 1302, 1319, 1325, 1336, 1344, 1345, 1346, 1348, 1356, 1357, 1359, 1360, 1366, 1367, 1369, 1382, 1384, 1388, 1397, 1403, 1414, 1420, 1428, 1432, 1438, 1451, 1456, 1475, 1489, 1492, 1503, 1512, 1514, 1518, 1523, 1527, 1531, 1543, 1547, 1567, 1571, 1582, 1584, 1601, 1606, 1614, 1616, 1625, 1645, 1646, 1651, 1657, 1658, 1661, 1664, 1679, 1681, 1715, 1729, 1737, 1738, 1742, 1762, 1763, 1765, 1774, 1777, 1798, 1800, 1806, 1808, 1814, 1815, 1830, 1839, 1855, 1874, 1879, 1880, 1887, 1892, 1893, 1898, 1930, 1939, 1940, 1941, 1944, 1950, 1956, 1959, 1964, 1974, 1988, 2014, 2020, 2023, 2035, 2045, 2051, 2055, 2065, 2068, 2074, 2079, 2115, 2116, 2128, 2129, 2130, 2138, 2158, 2161, 2183, 2190, 2194, 2195, 2206, 2220, 2226, 2228, 2263, 2267, 2277, 2283, 2290, 2291, 2293, 2311, 2313, 2320, 2348, 2358, 2359, 2374, 2377, 2380, 2381, 2384, 2386, 2387, 2413, 2419, 2446, 2450, 2451, 2453, 2468, 2469, 2507, 2513, 2527, 2547, 2554, 2559, 2573, 2587, 2593, 2609, 2612, 2615, 2637, 2638, 2647, 2657, 2666, 2675, 2677, 2679, 2696, 2714, 2722, 2730, 2733, 2742, 2747, 2749, 2752, 2778, 2784, 2792, 2798, 2803, 2810, 2813, 2817, 2824, 2825, 2827, 2845, 2867, 2879, 2881, 2883, 2887, 2896, 2929, 2939, 2946, 2959, 2962, 2967, 2968, 2971, 2988, 2991, 2997, 3001, 3009, 3011, 3025, 3027, 3047, 3050, 3059, 3074, 3076, 3083, 3088, 3104, 3118, 3123, 3132, 3151, 3166, 3200, 3203, 3211, 3216, 3229, 3239, 3243, 3249, 3250]
Discarding 400 places :
Implicit Place search using SMT only with invariants took 7711 ms to find 400 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 2860/3260 places, 3200/3200 transitions.
Applied a total of 0 rules in 171 ms. Remains 2860 /2860 variables (removed 0) and now considering 3200/3200 (removed 0) transitions.
Finished structural reductions, in 2 iterations. Remains : 2860/3260 places, 3200/3200 transitions.
[2022-05-15 14:44:24] [INFO ] Flatten gal took : 194 ms
[2022-05-15 14:44:24] [INFO ] Flatten gal took : 231 ms
[2022-05-15 14:44:24] [INFO ] Input system was already deterministic with 3200 transitions.
[2022-05-15 14:44:25] [INFO ] Flatten gal took : 193 ms
[2022-05-15 14:44:25] [INFO ] Flatten gal took : 224 ms
[2022-05-15 14:44:25] [INFO ] Time to serialize gal into /tmp/CTLFireability15520728798627909197.gal : 15 ms
[2022-05-15 14:44:25] [INFO ] Time to serialize properties into /tmp/CTLFireability2537602627897171470.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/CTLFireability15520728798627909197.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability2537602627897171470.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...275
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-05-15 14:44:55] [INFO ] Flatten gal took : 197 ms
[2022-05-15 14:44:55] [INFO ] Applying decomposition
[2022-05-15 14:44:55] [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/graph1303760355164489247.txt' '-o' '/tmp/graph1303760355164489247.bin' '-w' '/tmp/graph1303760355164489247.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph1303760355164489247.bin' '-l' '-1' '-v' '-w' '/tmp/graph1303760355164489247.weights' '-q' '0' '-e' '0.001'
[2022-05-15 14:44:56] [INFO ] Decomposing Gal with order
[2022-05-15 14:44:56] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-15 14:44:57] [INFO ] Removed a total of 15084 redundant transitions.
[2022-05-15 14:44:57] [INFO ] Flatten gal took : 538 ms
[2022-05-15 14:44:57] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 39 ms.
[2022-05-15 14:44:57] [INFO ] Time to serialize gal into /tmp/CTLFireability9434420085671378386.gal : 22 ms
[2022-05-15 14:44:57] [INFO ] Time to serialize properties into /tmp/CTLFireability14909901032425553892.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/CTLFireability9434420085671378386.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability14909901032425553892.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 : 3260/3260 places, 3200/3200 transitions.
Applied a total of 0 rules in 33 ms. Remains 3260 /3260 variables (removed 0) and now considering 3200/3200 (removed 0) transitions.
// Phase 1: matrix 3200 rows 3260 cols
[2022-05-15 14:45:27] [INFO ] Computed 460 place invariants in 41 ms
[2022-05-15 14:45:33] [INFO ] Implicit Places using invariants in 5686 ms returned [5, 17, 18, 26, 31, 32, 37, 41, 43, 48, 49, 75, 83, 87, 94, 97, 99, 116, 125, 128, 130, 140, 153, 182, 188, 192, 198, 207, 208, 224, 239, 258, 263, 264, 274, 289, 293, 297, 299, 308, 312, 339, 351, 357, 371, 374, 404, 409, 411, 423, 438, 439, 476, 486, 497, 506, 507, 512, 516, 517, 524, 542, 544, 554, 561, 569, 573, 576, 577, 582, 583, 590, 596, 620, 623, 630, 635, 640, 660, 665, 669, 676, 686, 690, 699, 707, 713, 718, 725, 735, 744, 746, 749, 750, 754, 759, 763, 791, 795, 804, 808, 812, 819, 821, 826, 829, 850, 857, 875, 881, 885, 905, 918, 921, 930, 933, 941, 948, 953, 957, 958, 964, 967, 968, 991, 1000, 1003, 1038, 1045, 1054, 1059, 1065, 1083, 1086, 1087, 1101, 1108, 1110, 1112, 1121, 1123, 1131, 1134, 1143, 1144, 1153, 1157, 1161, 1162, 1172, 1179, 1201, 1211, 1214, 1217, 1246, 1247, 1251, 1259, 1277, 1284, 1287, 1289, 1293, 1297, 1301, 1302, 1319, 1325, 1336, 1344, 1345, 1346, 1348, 1356, 1357, 1359, 1360, 1366, 1367, 1369, 1382, 1384, 1388, 1397, 1403, 1414, 1420, 1428, 1432, 1438, 1451, 1456, 1475, 1489, 1492, 1503, 1512, 1514, 1518, 1523, 1527, 1531, 1543, 1547, 1567, 1571, 1582, 1584, 1601, 1606, 1614, 1616, 1625, 1645, 1646, 1651, 1657, 1658, 1661, 1664, 1679, 1681, 1715, 1729, 1737, 1738, 1742, 1762, 1763, 1765, 1774, 1777, 1798, 1800, 1806, 1808, 1814, 1815, 1830, 1839, 1855, 1874, 1879, 1880, 1887, 1892, 1893, 1898, 1930, 1939, 1940, 1941, 1944, 1950, 1956, 1959, 1964, 1974, 1988, 2014, 2020, 2023, 2035, 2045, 2051, 2055, 2065, 2068, 2074, 2079, 2115, 2116, 2128, 2129, 2130, 2138, 2158, 2161, 2183, 2190, 2194, 2195, 2206, 2220, 2226, 2228, 2263, 2267, 2277, 2283, 2290, 2291, 2293, 2311, 2313, 2320, 2348, 2358, 2359, 2374, 2377, 2380, 2381, 2384, 2386, 2387, 2413, 2419, 2446, 2450, 2451, 2453, 2468, 2469, 2507, 2513, 2527, 2547, 2554, 2559, 2573, 2587, 2593, 2609, 2612, 2615, 2637, 2638, 2647, 2657, 2666, 2675, 2677, 2679, 2696, 2714, 2722, 2730, 2733, 2742, 2747, 2749, 2752, 2778, 2784, 2792, 2798, 2803, 2810, 2813, 2817, 2824, 2825, 2827, 2845, 2867, 2879, 2881, 2883, 2887, 2896, 2929, 2939, 2946, 2959, 2962, 2967, 2968, 2971, 2988, 2991, 2997, 3001, 3009, 3011, 3025, 3027, 3047, 3050, 3059, 3074, 3076, 3083, 3088, 3104, 3118, 3123, 3132, 3151, 3166, 3200, 3203, 3211, 3216, 3229, 3239, 3243, 3249, 3250]
Discarding 400 places :
Implicit Place search using SMT only with invariants took 5711 ms to find 400 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 2860/3260 places, 3200/3200 transitions.
Applied a total of 0 rules in 32 ms. Remains 2860 /2860 variables (removed 0) and now considering 3200/3200 (removed 0) transitions.
Finished structural reductions, in 2 iterations. Remains : 2860/3260 places, 3200/3200 transitions.
[2022-05-15 14:45:33] [INFO ] Flatten gal took : 229 ms
[2022-05-15 14:45:33] [INFO ] Flatten gal took : 262 ms
[2022-05-15 14:45:34] [INFO ] Input system was already deterministic with 3200 transitions.
[2022-05-15 14:45:34] [INFO ] Flatten gal took : 227 ms
[2022-05-15 14:45:34] [INFO ] Flatten gal took : 229 ms
[2022-05-15 14:45:34] [INFO ] Time to serialize gal into /tmp/CTLFireability13037564080361895912.gal : 18 ms
[2022-05-15 14:45:34] [INFO ] Time to serialize properties into /tmp/CTLFireability134669681917173508.ctl : 10 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/CTLFireability13037564080361895912.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability134669681917173508.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...274
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-05-15 14:46:05] [INFO ] Flatten gal took : 267 ms
[2022-05-15 14:46:05] [INFO ] Applying decomposition
[2022-05-15 14:46:05] [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/graph15051467728470553832.txt' '-o' '/tmp/graph15051467728470553832.bin' '-w' '/tmp/graph15051467728470553832.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph15051467728470553832.bin' '-l' '-1' '-v' '-w' '/tmp/graph15051467728470553832.weights' '-q' '0' '-e' '0.001'
[2022-05-15 14:46:05] [INFO ] Decomposing Gal with order
[2022-05-15 14:46:05] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-15 14:46:06] [INFO ] Removed a total of 15065 redundant transitions.
[2022-05-15 14:46:06] [INFO ] Flatten gal took : 406 ms
[2022-05-15 14:46:07] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 39 ms.
[2022-05-15 14:46:07] [INFO ] Time to serialize gal into /tmp/CTLFireability6927153811569268365.gal : 17 ms
[2022-05-15 14:46:07] [INFO ] Time to serialize properties into /tmp/CTLFireability4734601627083524252.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/CTLFireability6927153811569268365.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability4734601627083524252.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 : 3260/3260 places, 3200/3200 transitions.
Applied a total of 0 rules in 19 ms. Remains 3260 /3260 variables (removed 0) and now considering 3200/3200 (removed 0) transitions.
// Phase 1: matrix 3200 rows 3260 cols
[2022-05-15 14:46:37] [INFO ] Computed 460 place invariants in 50 ms
[2022-05-15 14:46:38] [INFO ] Implicit Places using invariants in 1006 ms returned []
// Phase 1: matrix 3200 rows 3260 cols
[2022-05-15 14:46:38] [INFO ] Computed 460 place invariants in 47 ms
[2022-05-15 14:46:42] [INFO ] Implicit Places using invariants and state equation in 3909 ms returned []
Implicit Place search using SMT with State Equation took 4918 ms to find 0 implicit places.
// Phase 1: matrix 3200 rows 3260 cols
[2022-05-15 14:46:42] [INFO ] Computed 460 place invariants in 49 ms
[2022-05-15 14:46:48] [INFO ] Dead Transitions using invariants and state equation in 5979 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 3260/3260 places, 3200/3200 transitions.
[2022-05-15 14:46:48] [INFO ] Flatten gal took : 226 ms
[2022-05-15 14:46:48] [INFO ] Flatten gal took : 278 ms
[2022-05-15 14:46:49] [INFO ] Input system was already deterministic with 3200 transitions.
[2022-05-15 14:46:49] [INFO ] Flatten gal took : 252 ms
[2022-05-15 14:46:49] [INFO ] Flatten gal took : 273 ms
[2022-05-15 14:46:49] [INFO ] Time to serialize gal into /tmp/CTLFireability14618974205843155138.gal : 17 ms
[2022-05-15 14:46:49] [INFO ] Time to serialize properties into /tmp/CTLFireability16494781940668907015.ctl : 13 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/CTLFireability14618974205843155138.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability16494781940668907015.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...276
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-05-15 14:47:20] [INFO ] Flatten gal took : 257 ms
[2022-05-15 14:47:20] [INFO ] Applying decomposition
[2022-05-15 14:47:20] [INFO ] Flatten gal took : 274 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/graph2959719161058568613.txt' '-o' '/tmp/graph2959719161058568613.bin' '-w' '/tmp/graph2959719161058568613.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph2959719161058568613.bin' '-l' '-1' '-v' '-w' '/tmp/graph2959719161058568613.weights' '-q' '0' '-e' '0.001'
[2022-05-15 14:47:20] [INFO ] Decomposing Gal with order
[2022-05-15 14:47:21] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-15 14:47:21] [INFO ] Removed a total of 14780 redundant transitions.
[2022-05-15 14:47:21] [INFO ] Flatten gal took : 466 ms
[2022-05-15 14:47:22] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 54 ms.
[2022-05-15 14:47:22] [INFO ] Time to serialize gal into /tmp/CTLFireability7710999646493810522.gal : 18 ms
[2022-05-15 14:47:22] [INFO ] Time to serialize properties into /tmp/CTLFireability7255377723413878758.ctl : 18 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/CTLFireability7710999646493810522.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability7255377723413878758.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 : 3260/3260 places, 3200/3200 transitions.
Drop transitions removed 400 transitions
Trivial Post-agglo rules discarded 400 transitions
Performed 400 trivial Post agglomeration. Transition count delta: 400
Iterating post reduction 0 with 400 rules applied. Total rules applied 400 place count 3260 transition count 2800
Reduce places removed 400 places and 0 transitions.
Iterating post reduction 1 with 400 rules applied. Total rules applied 800 place count 2860 transition count 2800
Applied a total of 800 rules in 173 ms. Remains 2860 /3260 variables (removed 400) and now considering 2800/3200 (removed 400) transitions.
// Phase 1: matrix 2800 rows 2860 cols
[2022-05-15 14:47:52] [INFO ] Computed 460 place invariants in 39 ms
[2022-05-15 14:47:58] [INFO ] Implicit Places using invariants in 5192 ms returned [5, 15, 16, 23, 28, 29, 34, 38, 39, 44, 45, 71, 79, 81, 88, 91, 93, 108, 116, 119, 121, 130, 140, 165, 171, 173, 177, 184, 185, 198, 212, 228, 232, 233, 241, 256, 260, 263, 265, 274, 277, 303, 314, 319, 331, 334, 358, 361, 363, 374, 388, 389, 423, 431, 442, 451, 452, 456, 459, 460, 466, 482, 483, 493, 499, 506, 509, 512, 513, 518, 519, 524, 529, 552, 555, 562, 566, 571, 587, 591, 595, 602, 612, 616, 624, 630, 635, 639, 643, 653, 660, 662, 665, 666, 669, 673, 676, 701, 705, 713, 717, 721, 728, 730, 734, 737, 754, 758, 775, 780, 784, 801, 812, 815, 822, 825, 833, 840, 844, 848, 849, 855, 857, 858, 878, 886, 889, 920, 925, 933, 936, 941, 959, 960, 961, 973, 980, 982, 984, 990, 992, 999, 1002, 1009, 1010, 1016, 1019, 1023, 1024, 1034, 1039, 1060, 1069, 1071, 1074, 1098, 1099, 1103, 1110, 1126, 1133, 1135, 1137, 1140, 1142, 1144, 1145, 1160, 1166, 1176, 1182, 1183, 1184, 1186, 1192, 1193, 1195, 1196, 1201, 1202, 1204, 1215, 1217, 1221, 1229, 1234, 1245, 1251, 1258, 1262, 1267, 1276, 1280, 1297, 1308, 1311, 1321, 1328, 1330, 1334, 1338, 1341, 1344, 1355, 1359, 1375, 1379, 1390, 1392, 1406, 1410, 1418, 1419, 1424, 1441, 1442, 1446, 1452, 1453, 1456, 1459, 1471, 1473, 1503, 1515, 1523, 1524, 1528, 1546, 1547, 1549, 1557, 1558, 1576, 1578, 1584, 1586, 1591, 1592, 1605, 1614, 1629, 1645, 1650, 1651, 1657, 1662, 1663, 1668, 1695, 1704, 1705, 1706, 1709, 1715, 1721, 1724, 1729, 1737, 1750, 1770, 1775, 1778, 1787, 1797, 1803, 1806, 1815, 1818, 1822, 1826, 1857, 1858, 1868, 1869, 1870, 1877, 1893, 1895, 1914, 1921, 1925, 1926, 1935, 1948, 1953, 1955, 1984, 1988, 1997, 2001, 2007, 2008, 2010, 2026, 2028, 2034, 2059, 2068, 2069, 2084, 2087, 2090, 2091, 2094, 2096, 2097, 2118, 2124, 2147, 2151, 2152, 2154, 2167, 2168, 2200, 2205, 2218, 2238, 2243, 2247, 2259, 2270, 2276, 2289, 2292, 2293, 2312, 2313, 2321, 2331, 2339, 2346, 2348, 2350, 2366, 2381, 2386, 2393, 2396, 2405, 2410, 2412, 2415, 2435, 2441, 2449, 2455, 2460, 2466, 2468, 2472, 2479, 2480, 2481, 2494, 2512, 2522, 2524, 2526, 2530, 2538, 2567, 2575, 2582, 2594, 2597, 2602, 2603, 2605, 2622, 2625, 2630, 2634, 2641, 2643, 2656, 2658, 2676, 2679, 2687, 2699, 2701, 2705, 2710, 2724, 2737, 2742, 2749, 2765, 2778, 2807, 2810, 2817, 2821, 2834, 2842, 2846, 2852, 2853]
Discarding 400 places :
Implicit Place search using SMT only with invariants took 5230 ms to find 400 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 2460/3260 places, 2800/3200 transitions.
Applied a total of 0 rules in 122 ms. Remains 2460 /2460 variables (removed 0) and now considering 2800/2800 (removed 0) transitions.
Finished structural reductions, in 2 iterations. Remains : 2460/3260 places, 2800/3200 transitions.
[2022-05-15 14:47:58] [INFO ] Flatten gal took : 440 ms
[2022-05-15 14:47:58] [INFO ] Flatten gal took : 201 ms
[2022-05-15 14:47:59] [INFO ] Input system was already deterministic with 2800 transitions.
[2022-05-15 14:47:59] [INFO ] Flatten gal took : 197 ms
[2022-05-15 14:47:59] [INFO ] Flatten gal took : 256 ms
[2022-05-15 14:47:59] [INFO ] Time to serialize gal into /tmp/CTLFireability5071627599611199593.gal : 14 ms
[2022-05-15 14:47:59] [INFO ] Time to serialize properties into /tmp/CTLFireability2943783945591981243.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/CTLFireability5071627599611199593.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability2943783945591981243.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...274
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-05-15 14:48:30] [INFO ] Flatten gal took : 200 ms
[2022-05-15 14:48:30] [INFO ] Applying decomposition
[2022-05-15 14:48:30] [INFO ] Flatten gal took : 242 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/graph18270734323785165908.txt' '-o' '/tmp/graph18270734323785165908.bin' '-w' '/tmp/graph18270734323785165908.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph18270734323785165908.bin' '-l' '-1' '-v' '-w' '/tmp/graph18270734323785165908.weights' '-q' '0' '-e' '0.001'
[2022-05-15 14:48:30] [INFO ] Decomposing Gal with order
[2022-05-15 14:48:30] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-15 14:48:31] [INFO ] Removed a total of 15160 redundant transitions.
[2022-05-15 14:48:31] [INFO ] Flatten gal took : 360 ms
[2022-05-15 14:48:31] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 42 ms.
[2022-05-15 14:48:31] [INFO ] Time to serialize gal into /tmp/CTLFireability17538000571769397630.gal : 18 ms
[2022-05-15 14:48:31] [INFO ] Time to serialize properties into /tmp/CTLFireability11981230490284887773.ctl : 4 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability17538000571769397630.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability11981230490284887773.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 : 3260/3260 places, 3200/3200 transitions.
Applied a total of 0 rules in 11 ms. Remains 3260 /3260 variables (removed 0) and now considering 3200/3200 (removed 0) transitions.
// Phase 1: matrix 3200 rows 3260 cols
[2022-05-15 14:49:01] [INFO ] Computed 460 place invariants in 74 ms
[2022-05-15 14:49:02] [INFO ] Implicit Places using invariants in 596 ms returned []
// Phase 1: matrix 3200 rows 3260 cols
[2022-05-15 14:49:02] [INFO ] Computed 460 place invariants in 43 ms
[2022-05-15 14:49:04] [INFO ] Implicit Places using invariants and state equation in 2157 ms returned []
Implicit Place search using SMT with State Equation took 2754 ms to find 0 implicit places.
// Phase 1: matrix 3200 rows 3260 cols
[2022-05-15 14:49:04] [INFO ] Computed 460 place invariants in 46 ms
[2022-05-15 14:49:10] [INFO ] Dead Transitions using invariants and state equation in 5699 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 3260/3260 places, 3200/3200 transitions.
[2022-05-15 14:49:10] [INFO ] Flatten gal took : 243 ms
[2022-05-15 14:49:11] [INFO ] Flatten gal took : 307 ms
[2022-05-15 14:49:11] [INFO ] Input system was already deterministic with 3200 transitions.
[2022-05-15 14:49:12] [INFO ] Flatten gal took : 329 ms
[2022-05-15 14:49:12] [INFO ] Flatten gal took : 277 ms
[2022-05-15 14:49:12] [INFO ] Time to serialize gal into /tmp/CTLFireability15501139286292439226.gal : 16 ms
[2022-05-15 14:49:12] [INFO ] Time to serialize properties into /tmp/CTLFireability789559168528950884.ctl : 21 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/CTLFireability15501139286292439226.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability789559168528950884.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...274
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-05-15 14:49:42] [INFO ] Flatten gal took : 287 ms
[2022-05-15 14:49:42] [INFO ] Applying decomposition
[2022-05-15 14:49:43] [INFO ] Flatten gal took : 312 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/graph17049171039106986020.txt' '-o' '/tmp/graph17049171039106986020.bin' '-w' '/tmp/graph17049171039106986020.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph17049171039106986020.bin' '-l' '-1' '-v' '-w' '/tmp/graph17049171039106986020.weights' '-q' '0' '-e' '0.001'
[2022-05-15 14:49:43] [INFO ] Decomposing Gal with order
[2022-05-15 14:49:43] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-15 14:49:44] [INFO ] Removed a total of 14780 redundant transitions.
[2022-05-15 14:49:44] [INFO ] Flatten gal took : 588 ms
[2022-05-15 14:49:46] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 36 ms.
[2022-05-15 14:49:46] [INFO ] Time to serialize gal into /tmp/CTLFireability1998578919516206683.gal : 22 ms
[2022-05-15 14:49:46] [INFO ] Time to serialize properties into /tmp/CTLFireability3834044627501625303.ctl : 31 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/CTLFireability1998578919516206683.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3834044627501625303.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 : 3260/3260 places, 3200/3200 transitions.
Applied a total of 0 rules in 260 ms. Remains 3260 /3260 variables (removed 0) and now considering 3200/3200 (removed 0) transitions.
// Phase 1: matrix 3200 rows 3260 cols
[2022-05-15 14:50:16] [INFO ] Computed 460 place invariants in 41 ms
[2022-05-15 14:50:23] [INFO ] Implicit Places using invariants in 7424 ms returned [5, 17, 18, 26, 31, 32, 37, 41, 43, 48, 49, 75, 83, 87, 94, 97, 99, 116, 125, 128, 130, 140, 153, 182, 188, 192, 198, 207, 208, 224, 239, 258, 263, 264, 274, 289, 293, 297, 299, 308, 312, 339, 351, 357, 371, 374, 404, 409, 411, 423, 438, 439, 476, 486, 497, 506, 507, 512, 516, 517, 524, 542, 544, 554, 561, 569, 573, 576, 577, 582, 583, 590, 596, 620, 623, 630, 635, 640, 660, 665, 669, 676, 686, 690, 699, 707, 713, 718, 725, 735, 744, 746, 749, 750, 754, 759, 763, 791, 795, 804, 808, 812, 819, 821, 826, 829, 850, 857, 875, 881, 885, 905, 918, 921, 930, 933, 941, 948, 953, 957, 958, 964, 967, 968, 991, 1000, 1003, 1038, 1045, 1054, 1059, 1065, 1083, 1086, 1087, 1101, 1108, 1110, 1112, 1121, 1123, 1131, 1134, 1143, 1144, 1153, 1157, 1161, 1162, 1172, 1179, 1201, 1211, 1214, 1217, 1246, 1247, 1251, 1259, 1277, 1284, 1287, 1289, 1293, 1297, 1301, 1302, 1319, 1325, 1336, 1344, 1345, 1346, 1348, 1356, 1357, 1359, 1360, 1366, 1367, 1369, 1382, 1384, 1388, 1397, 1403, 1414, 1420, 1428, 1432, 1438, 1451, 1456, 1475, 1489, 1492, 1503, 1512, 1514, 1518, 1523, 1527, 1531, 1543, 1547, 1567, 1571, 1582, 1584, 1601, 1606, 1614, 1616, 1625, 1645, 1646, 1651, 1657, 1658, 1661, 1664, 1679, 1681, 1715, 1729, 1737, 1738, 1742, 1762, 1763, 1765, 1774, 1777, 1798, 1800, 1806, 1808, 1814, 1815, 1830, 1839, 1855, 1874, 1879, 1880, 1887, 1892, 1893, 1898, 1930, 1939, 1940, 1941, 1944, 1950, 1956, 1959, 1964, 1974, 1988, 2014, 2020, 2023, 2035, 2045, 2051, 2055, 2065, 2068, 2074, 2079, 2115, 2116, 2128, 2129, 2130, 2138, 2158, 2161, 2183, 2190, 2194, 2195, 2206, 2220, 2226, 2228, 2263, 2267, 2277, 2283, 2290, 2291, 2293, 2311, 2313, 2320, 2348, 2358, 2359, 2374, 2377, 2380, 2381, 2384, 2386, 2387, 2413, 2419, 2446, 2450, 2451, 2453, 2468, 2469, 2507, 2513, 2527, 2547, 2554, 2559, 2573, 2587, 2593, 2609, 2612, 2615, 2637, 2638, 2647, 2657, 2666, 2675, 2677, 2679, 2696, 2714, 2722, 2730, 2733, 2742, 2747, 2749, 2752, 2778, 2784, 2792, 2798, 2803, 2810, 2813, 2817, 2824, 2825, 2827, 2845, 2867, 2879, 2881, 2883, 2887, 2896, 2929, 2939, 2946, 2959, 2962, 2967, 2968, 2971, 2988, 2991, 2997, 3001, 3009, 3011, 3025, 3027, 3047, 3050, 3059, 3074, 3076, 3083, 3088, 3104, 3118, 3123, 3132, 3151, 3166, 3200, 3203, 3211, 3216, 3229, 3239, 3243, 3249, 3250]
Discarding 400 places :
Implicit Place search using SMT only with invariants took 7448 ms to find 400 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 2860/3260 places, 3200/3200 transitions.
Applied a total of 0 rules in 203 ms. Remains 2860 /2860 variables (removed 0) and now considering 3200/3200 (removed 0) transitions.
Finished structural reductions, in 2 iterations. Remains : 2860/3260 places, 3200/3200 transitions.
[2022-05-15 14:50:24] [INFO ] Flatten gal took : 196 ms
[2022-05-15 14:50:24] [INFO ] Flatten gal took : 205 ms
[2022-05-15 14:50:25] [INFO ] Input system was already deterministic with 3200 transitions.
[2022-05-15 14:50:25] [INFO ] Flatten gal took : 200 ms
[2022-05-15 14:50:25] [INFO ] Flatten gal took : 202 ms
[2022-05-15 14:50:25] [INFO ] Time to serialize gal into /tmp/CTLFireability14530400738403923855.gal : 17 ms
[2022-05-15 14:50:25] [INFO ] Time to serialize properties into /tmp/CTLFireability17504268012243598586.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/CTLFireability14530400738403923855.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability17504268012243598586.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...276
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-05-15 14:50:55] [INFO ] Flatten gal took : 239 ms
[2022-05-15 14:50:55] [INFO ] Applying decomposition
[2022-05-15 14:50:55] [INFO ] Flatten gal took : 206 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/graph9573845329039032820.txt' '-o' '/tmp/graph9573845329039032820.bin' '-w' '/tmp/graph9573845329039032820.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph9573845329039032820.bin' '-l' '-1' '-v' '-w' '/tmp/graph9573845329039032820.weights' '-q' '0' '-e' '0.001'
[2022-05-15 14:50:56] [INFO ] Decomposing Gal with order
[2022-05-15 14:50:56] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-15 14:50:57] [INFO ] Removed a total of 15122 redundant transitions.
[2022-05-15 14:50:57] [INFO ] Flatten gal took : 399 ms
[2022-05-15 14:50:57] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 37 ms.
[2022-05-15 14:50:57] [INFO ] Time to serialize gal into /tmp/CTLFireability3517888155362074292.gal : 22 ms
[2022-05-15 14:50:57] [INFO ] Time to serialize properties into /tmp/CTLFireability15382542819657885144.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/CTLFireability3517888155362074292.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability15382542819657885144.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 : 3260/3260 places, 3200/3200 transitions.
Applied a total of 0 rules in 250 ms. Remains 3260 /3260 variables (removed 0) and now considering 3200/3200 (removed 0) transitions.
// Phase 1: matrix 3200 rows 3260 cols
[2022-05-15 14:51:27] [INFO ] Computed 460 place invariants in 47 ms
[2022-05-15 14:51:34] [INFO ] Implicit Places using invariants in 7008 ms returned [5, 17, 18, 26, 31, 32, 37, 41, 43, 48, 49, 75, 83, 87, 94, 97, 99, 116, 125, 128, 130, 140, 153, 182, 188, 192, 198, 207, 208, 224, 239, 258, 263, 264, 274, 289, 293, 297, 299, 308, 312, 339, 351, 357, 371, 374, 404, 409, 411, 423, 438, 439, 476, 486, 497, 506, 507, 512, 516, 517, 524, 542, 544, 554, 561, 569, 573, 576, 577, 582, 583, 590, 596, 620, 623, 630, 635, 640, 660, 665, 669, 676, 686, 690, 699, 707, 713, 718, 725, 735, 744, 746, 749, 750, 754, 759, 763, 791, 795, 804, 808, 812, 819, 821, 826, 829, 850, 857, 875, 881, 885, 905, 918, 921, 930, 933, 941, 948, 953, 957, 958, 964, 967, 968, 991, 1000, 1003, 1038, 1045, 1054, 1059, 1065, 1083, 1086, 1087, 1101, 1108, 1110, 1112, 1121, 1123, 1131, 1134, 1143, 1144, 1153, 1157, 1161, 1162, 1172, 1179, 1201, 1211, 1214, 1217, 1246, 1247, 1251, 1259, 1277, 1284, 1287, 1289, 1293, 1297, 1301, 1302, 1319, 1325, 1336, 1344, 1345, 1346, 1348, 1356, 1357, 1359, 1360, 1366, 1367, 1369, 1382, 1384, 1388, 1397, 1403, 1414, 1420, 1428, 1432, 1438, 1451, 1456, 1475, 1489, 1492, 1503, 1512, 1514, 1518, 1523, 1527, 1531, 1543, 1547, 1567, 1571, 1582, 1584, 1601, 1606, 1614, 1616, 1625, 1645, 1646, 1651, 1657, 1658, 1661, 1664, 1679, 1681, 1715, 1729, 1738, 1742, 1762, 1763, 1765, 1774, 1777, 1798, 1800, 1806, 1808, 1814, 1815, 1830, 1839, 1855, 1874, 1879, 1880, 1887, 1892, 1893, 1898, 1930, 1939, 1940, 1941, 1944, 1950, 1956, 1959, 1964, 1974, 1988, 2014, 2020, 2023, 2035, 2045, 2051, 2055, 2065, 2068, 2074, 2079, 2115, 2116, 2128, 2129, 2130, 2138, 2158, 2161, 2183, 2190, 2194, 2195, 2206, 2220, 2226, 2228, 2263, 2267, 2277, 2283, 2290, 2291, 2293, 2311, 2313, 2320, 2348, 2359, 2377, 2380, 2381, 2384, 2386, 2387, 2413, 2419, 2446, 2450, 2451, 2453, 2468, 2469, 2507, 2513, 2527, 2547, 2554, 2559, 2573, 2587, 2593, 2609, 2612, 2615, 2637, 2638, 2647, 2657, 2666, 2675, 2677, 2679, 2696, 2714, 2722, 2730, 2733, 2742, 2747, 2749, 2752, 2778, 2784, 2792, 2798, 2803, 2810, 2813, 2817, 2824, 2825, 2827, 2845, 2867, 2879, 2881, 2883, 2887, 2896, 2929, 2939, 2946, 2959, 2962, 2967, 2968, 2971, 2988, 2991, 2997, 3001, 3009, 3011, 3025, 3027, 3047, 3050, 3059, 3074, 3076, 3083, 3088, 3104, 3118, 3123, 3132, 3151, 3166, 3200, 3203, 3211, 3216, 3229, 3239, 3243, 3249, 3250]
Discarding 397 places :
Implicit Place search using SMT only with invariants took 7038 ms to find 397 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 2863/3260 places, 3200/3200 transitions.
Applied a total of 0 rules in 189 ms. Remains 2863 /2863 variables (removed 0) and now considering 3200/3200 (removed 0) transitions.
Finished structural reductions, in 2 iterations. Remains : 2863/3260 places, 3200/3200 transitions.
[2022-05-15 14:51:35] [INFO ] Flatten gal took : 192 ms
[2022-05-15 14:51:35] [INFO ] Flatten gal took : 200 ms
[2022-05-15 14:51:35] [INFO ] Input system was already deterministic with 3200 transitions.
[2022-05-15 14:51:35] [INFO ] Flatten gal took : 231 ms
[2022-05-15 14:51:36] [INFO ] Flatten gal took : 198 ms
[2022-05-15 14:51:36] [INFO ] Time to serialize gal into /tmp/CTLFireability14622001688611728123.gal : 17 ms
[2022-05-15 14:51:36] [INFO ] Time to serialize properties into /tmp/CTLFireability11737599934009532958.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/CTLFireability14622001688611728123.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability11737599934009532958.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...276
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-05-15 14:52:06] [INFO ] Flatten gal took : 201 ms
[2022-05-15 14:52:06] [INFO ] Applying decomposition
[2022-05-15 14:52:06] [INFO ] Flatten gal took : 235 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/graph2649411299639797441.txt' '-o' '/tmp/graph2649411299639797441.bin' '-w' '/tmp/graph2649411299639797441.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph2649411299639797441.bin' '-l' '-1' '-v' '-w' '/tmp/graph2649411299639797441.weights' '-q' '0' '-e' '0.001'
[2022-05-15 14:52:06] [INFO ] Decomposing Gal with order
[2022-05-15 14:52:07] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-15 14:52:07] [INFO ] Removed a total of 15062 redundant transitions.
[2022-05-15 14:52:07] [INFO ] Flatten gal took : 395 ms
[2022-05-15 14:52:07] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 36 ms.
[2022-05-15 14:52:07] [INFO ] Time to serialize gal into /tmp/CTLFireability14057570491161502114.gal : 18 ms
[2022-05-15 14:52:07] [INFO ] Time to serialize properties into /tmp/CTLFireability3998776414193705285.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/CTLFireability14057570491161502114.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3998776414193705285.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 : 3260/3260 places, 3200/3200 transitions.
Drop transitions removed 799 transitions
Trivial Post-agglo rules discarded 799 transitions
Performed 799 trivial Post agglomeration. Transition count delta: 799
Iterating post reduction 0 with 799 rules applied. Total rules applied 799 place count 3260 transition count 2401
Reduce places removed 818 places and 0 transitions.
Drop transitions removed 760 transitions
Trivial Post-agglo rules discarded 760 transitions
Performed 760 trivial Post agglomeration. Transition count delta: 760
Iterating post reduction 1 with 1578 rules applied. Total rules applied 2377 place count 2442 transition count 1641
Reduce places removed 760 places and 0 transitions.
Iterating post reduction 2 with 760 rules applied. Total rules applied 3137 place count 1682 transition count 1641
Performed 420 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 420 Pre rules applied. Total rules applied 3137 place count 1682 transition count 1221
Deduced a syphon composed of 420 places in 0 ms
Reduce places removed 420 places and 0 transitions.
Iterating global reduction 3 with 840 rules applied. Total rules applied 3977 place count 1262 transition count 1221
Applied a total of 3977 rules in 371 ms. Remains 1262 /3260 variables (removed 1998) and now considering 1221/3200 (removed 1979) transitions.
// Phase 1: matrix 1221 rows 1262 cols
[2022-05-15 14:52:38] [INFO ] Computed 441 place invariants in 23 ms
[2022-05-15 14:52:46] [INFO ] Implicit Places using invariants in 8358 ms returned [1, 2, 3, 4, 5, 6, 8, 10, 11, 12, 15, 19, 20, 21, 22, 23, 27, 30, 33, 34, 35, 36, 37, 39, 41, 42, 44, 46, 47, 49, 53, 54, 55, 57, 58, 60, 61, 62, 63, 65, 67, 68, 69, 72, 73, 75, 76, 79, 80, 81, 82, 84, 85, 86, 88, 93, 99, 100, 101, 103, 104, 105, 106, 107, 108, 109, 110, 111, 114, 115, 116, 118, 119, 120, 122, 123, 125, 127, 128, 129, 131, 136, 138, 140, 142, 144, 145, 149, 150, 151, 152, 153, 156, 157, 159, 160, 161, 162, 163, 164, 165, 166, 168, 169, 171, 177, 178, 179, 180, 182, 185, 187, 189, 191, 192, 193, 194, 195, 196, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 213, 214, 215, 218, 219, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 233, 236, 238, 239, 241, 245, 246, 247, 249, 251, 252, 253, 254, 256, 261, 262, 263, 265, 266, 269, 270, 272, 273, 274, 277, 278, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 291, 293, 294, 295, 296, 297, 299, 300, 301, 302, 303, 304, 306, 314, 316, 317, 318, 320, 321, 323, 324, 326, 328, 329, 331, 333, 334, 337, 338, 340, 342, 345, 346, 349, 350, 353, 354, 355, 356, 357, 358, 359, 361, 363, 364, 366, 367, 368, 369, 371, 372, 374, 375, 377, 380, 381, 384, 385, 386, 390, 393, 394, 395, 396, 397, 400, 401, 402, 403, 411, 415, 417, 418, 419, 420, 423, 425, 426, 427, 428, 432, 433, 434, 435, 436, 437, 438, 439, 441, 442, 443, 444, 445, 446, 447, 450, 452, 453, 455, 456, 457, 460, 461, 462, 464, 465, 467, 468, 469, 470, 472, 473, 474, 483, 485, 486, 487, 490, 491, 492, 493, 496, 498, 499, 500, 502, 504, 505, 506, 507, 508, 509, 511, 513, 514, 515, 516, 517, 518, 519, 520, 521, 522, 523, 525, 526, 528, 530, 532, 534, 535, 536, 537, 538, 539, 541, 542, 544, 545, 546, 547, 549, 550, 551, 552, 553, 554, 555, 557, 558, 559, 560, 562, 565, 567, 569, 571, 572, 574, 575, 577, 578, 579, 580, 581, 583, 585, 588, 590, 592, 593, 596, 597, 600, 602, 603, 605, 606, 608, 609, 611, 613, 615, 616, 617, 618, 621, 622, 623, 624, 626, 627, 631, 633, 636, 638, 641, 643, 647, 648, 649, 651, 653, 654, 655, 656, 657, 659, 660, 661, 662, 663, 664, 665, 667, 670, 672, 674, 675, 680, 682, 683, 684, 685, 687, 689, 690, 691, 694, 695, 696, 699, 700, 701, 702, 705, 706, 707, 708, 709, 711, 712, 713, 715, 716, 717, 718, 719, 720, 723, 724, 726, 727, 729, 730, 731, 732, 733, 734, 735, 739, 741, 742, 743, 744, 746, 747, 748, 749, 750, 751, 752, 757, 759, 762, 763, 764, 765, 766, 767, 768, 769, 770, 773, 774, 775, 776, 779, 780, 781, 782, 784, 785, 787, 788, 789, 790, 791, 792, 794, 796, 799, 800, 803, 805, 808, 809, 810, 811, 814, 816, 817, 818, 819, 821, 822, 823, 826, 828, 829, 830, 831, 834, 835, 836, 837, 838, 839, 840, 841, 843, 848, 849, 851, 853, 854, 856, 858, 860, 861, 864, 866, 867, 868, 869, 874, 875, 876, 877, 880, 882, 883, 886, 887, 888, 891, 893, 895, 897, 898, 900, 901, 904, 905, 906, 909, 911, 915, 916, 917, 918, 923, 925, 926, 927, 928, 929, 930, 931, 932, 935, 936, 937, 938, 939, 940, 942, 943, 947, 948, 950, 951, 952, 953, 954, 955, 957, 959, 960, 961, 962, 967, 968, 970, 971, 973, 975, 976, 979, 981, 982, 983, 987, 988, 989, 991, 992, 993, 994, 996, 997, 1000, 1001, 1002, 1003, 1005, 1009, 1010, 1011, 1013, 1015, 1016, 1017, 1019, 1020, 1022, 1025, 1026, 1028, 1030, 1032, 1033, 1036, 1038, 1040, 1043, 1045, 1046, 1048, 1050, 1051, 1052, 1053, 1055, 1056, 1057, 1059, 1060, 1061, 1063, 1064, 1065, 1068, 1069, 1071, 1072, 1074, 1076, 1077, 1078, 1079, 1080, 1081, 1082, 1083, 1084, 1086, 1088, 1090, 1091, 1092, 1095, 1096, 1099, 1101, 1102, 1103, 1104, 1108, 1109, 1110, 1111, 1113, 1115, 1117, 1118, 1120, 1123, 1125, 1127, 1128, 1130, 1131, 1132, 1135, 1136, 1137, 1140, 1141, 1142, 1143, 1144, 1147, 1148, 1149, 1150, 1152, 1154, 1155, 1156, 1157, 1158, 1159, 1160, 1161, 1163, 1165, 1168, 1169, 1172, 1173, 1174, 1175, 1176, 1177, 1178, 1181, 1183, 1184, 1185, 1186, 1187, 1189, 1193, 1197, 1198, 1201, 1203, 1204, 1206, 1207, 1208, 1209, 1212, 1213, 1216, 1219, 1221, 1224, 1226, 1227, 1229, 1232, 1234, 1235, 1237, 1240, 1241, 1243, 1246, 1247, 1250, 1254, 1255, 1257, 1258, 1259, 1261]
[2022-05-15 14:52:46] [INFO ] Actually due to overlaps returned [2, 3, 4, 10, 21, 27, 30, 33, 34, 36, 37, 42, 49, 53, 54, 57, 58, 63, 67, 69, 72, 73, 75, 76, 86, 88, 100, 101, 103, 105, 108, 109, 110, 114, 115, 116, 123, 125, 128, 131, 138, 140, 145, 150, 152, 153, 156, 157, 159, 160, 162, 165, 166, 168, 169, 177, 180, 182, 185, 187, 192, 193, 194, 195, 199, 200, 203, 205, 208, 213, 214, 215, 222, 225, 227, 233, 238, 241, 245, 246, 247, 253, 261, 266, 270, 272, 273, 280, 282, 284, 285, 287, 288, 291, 294, 295, 301, 306, 314, 317, 320, 326, 334, 337, 342, 345, 353, 354, 355, 356, 358, 359, 361, 367, 369, 372, 375, 390, 394, 396, 400, 401, 402, 403, 417, 418, 419, 425, 427, 428, 432, 433, 437, 438, 439, 441, 443, 444, 453, 456, 462, 469, 470, 473, 483, 486, 487, 493, 496, 498, 504, 505, 507, 508, 509, 516, 521, 522, 523, 526, 530, 544, 549, 550, 553, 555, 557, 559, 562, 565, 574, 577, 579, 581, 583, 588, 593, 596, 600, 605, 613, 617, 618, 621, 622, 623, 624, 636, 643, 651, 653, 657, 659, 660, 663, 667, 674, 675, 680, 683, 684, 685, 694, 695, 696, 702, 705, 708, 709, 711, 717, 720, 723, 724, 727, 730, 731, 732, 733, 734, 739, 742, 746, 751, 752, 757, 762, 767, 769, 775, 779, 781, 782, 784, 785, 788, 791, 792, 796, 800, 814, 816, 817, 818, 819, 821, 826, 831, 835, 836, 837, 838, 839, 843, 849, 856, 860, 861, 867, 869, 874, 877, 882, 891, 893, 898, 901, 904, 905, 906, 909, 917, 918, 926, 932, 935, 937, 938, 939, 942, 943, 947, 948, 953, 955, 957, 959, 960, 967, 968, 970, 971, 975, 979, 981, 983, 987, 989, 992, 993, 996, 1000, 1002, 1005, 1013, 1015, 1016, 1017, 1026, 1036, 1038, 1043, 1046, 1051, 1052, 1060, 1061, 1063, 1065, 1069, 1071, 1072, 1076, 1078, 1079, 1081, 1082, 1088, 1095, 1099, 1101, 1102, 1103, 1110, 1115, 1118, 1120, 1123, 1128, 1131, 1132, 1136, 1142, 1144, 1147, 1149, 1152, 1154, 1156, 1158, 1159, 1163, 1165, 1172, 1173, 1174, 1178, 1181, 1183, 1185, 1187, 1197, 1201, 1203, 1206, 1208, 1209, 1213, 1216, 1221, 1226, 1227, 1229, 1232, 1234, 1243, 1247, 1255, 1259, 1261, 1, 5, 6, 11, 12, 15, 19, 20, 22, 23, 35, 39, 41, 44, 46, 47, 55, 60, 61, 62, 79, 80, 81, 82, 84, 85, 93, 99, 106, 107, 111, 118, 119, 120, 122, 127, 136, 142, 144, 149, 161, 163, 164, 171, 178, 179, 189, 191, 196, 201, 202, 204, 206, 207, 209, 218, 219, 221, 223, 226, 228, 229, 230, 231, 236, 239, 249, 251, 252, 254, 256, 262, 265, 269, 274, 278, 281, 283, 286, 289, 293, 296, 297, 299, 300, 302, 303, 304, 316, 318, 321, 323, 324, 328, 329, 331, 333, 338, 340, 346, 349, 350, 357, 363, 364, 366, 368, 371, 374, 377, 380, 381, 384, 385, 386, 393, 395, 397, 411, 415, 423, 426, 434, 435, 436, 442, 445, 446, 447, 450, 452, 455, 457, 460, 464, 465, 467, 468, 472, 474, 485, 490, 491, 492, 499, 500, 502, 511, 513, 514, 515, 518, 519, 520, 525, 528, 532, 534, 535, 536, 537, 538, 539, 541, 542, 545, 546, 547, 551, 552, 554, 558, 560, 567, 569, 571, 572, 575, 578, 580, 585, 590, 592, 597, 602, 603, 606, 608, 609, 611, 615, 626, 627, 631, 633, 638, 641, 647, 648, 649, 654, 655, 656, 661, 662, 664, 665, 672, 682, 687, 689, 690, 691, 699, 700, 701, 706, 707, 712, 713, 715, 716, 719, 726, 729, 735, 741, 743, 744, 747, 748, 749, 750, 759, 763, 764, 765, 766, 770, 773, 774, 776, 780, 787, 790, 794, 799, 803, 805, 808, 809, 810, 811, 822, 823, 828, 829, 830, 834, 840, 841, 848, 851, 853, 854, 858, 864, 866, 868, 875, 876, 880, 883, 886, 887, 888, 895, 897, 900, 911, 915, 916, 925, 927, 928, 929, 930, 931, 936, 940, 950, 951, 954, 961, 962, 973, 976, 982, 988, 991, 994, 997, 1001, 1003, 1009, 1010, 1011, 1019, 1020, 1022, 1025, 1028, 1030, 1032, 1033, 1040, 1045, 1048, 1050, 1053, 1055, 1056, 1057, 1059, 1064, 1068, 1074, 1077, 1080, 1083, 1084, 1086, 1090, 1091, 1092, 1096, 1104, 1108, 1109, 1111, 1113, 1117, 1125, 1127, 1130, 1135, 1137, 1140, 1141, 1143, 1148, 1150, 1155, 1157, 1160, 1161, 1168, 1169, 1175, 1176, 1177, 1184, 1186, 1189, 1193, 1198, 1204, 1207, 1212, 1219, 1224, 1235, 1237, 1240, 1241, 1246, 1250, 1254, 1257, 1258]
Discarding 760 places :
Implicit Place search using SMT only with invariants took 8388 ms to find 760 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 502/3260 places, 1221/3200 transitions.
Drop transitions removed 20 transitions
Trivial Post-agglo rules discarded 20 transitions
Performed 20 trivial Post agglomeration. Transition count delta: 20
Iterating post reduction 0 with 20 rules applied. Total rules applied 20 place count 502 transition count 1201
Reduce places removed 20 places and 0 transitions.
Iterating post reduction 1 with 20 rules applied. Total rules applied 40 place count 482 transition count 1201
Discarding 342 places :
Symmetric choice reduction at 2 with 342 rule applications. Total rules 382 place count 140 transition count 859
Iterating global reduction 2 with 342 rules applied. Total rules applied 724 place count 140 transition count 859
Applied a total of 724 rules in 43 ms. Remains 140 /502 variables (removed 362) and now considering 859/1221 (removed 362) transitions.
// Phase 1: matrix 859 rows 140 cols
[2022-05-15 14:52:46] [INFO ] Computed 23 place invariants in 3 ms
[2022-05-15 14:52:46] [INFO ] Implicit Places using invariants in 75 ms returned []
// Phase 1: matrix 859 rows 140 cols
[2022-05-15 14:52:46] [INFO ] Computed 23 place invariants in 3 ms
[2022-05-15 14:52:46] [INFO ] Implicit Places using invariants and state equation in 195 ms returned []
Implicit Place search using SMT with State Equation took 274 ms to find 0 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 140/3260 places, 859/3200 transitions.
Finished structural reductions, in 2 iterations. Remains : 140/3260 places, 859/3200 transitions.
[2022-05-15 14:52:46] [INFO ] Flatten gal took : 31 ms
[2022-05-15 14:52:46] [INFO ] Flatten gal took : 18 ms
[2022-05-15 14:52:47] [INFO ] Input system was already deterministic with 859 transitions.
[2022-05-15 14:52:47] [INFO ] Flatten gal took : 17 ms
[2022-05-15 14:52:47] [INFO ] Flatten gal took : 27 ms
[2022-05-15 14:52:47] [INFO ] Time to serialize gal into /tmp/CTLFireability15011420676146081781.gal : 2 ms
[2022-05-15 14:52:47] [INFO ] Time to serialize properties into /tmp/CTLFireability6083897752648824503.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/CTLFireability15011420676146081781.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability6083897752648824503.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...275
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,1.09334e+22,19.6188,344416,2,24895,5,1.58753e+06,6,0,1422,1.91764e+06,0
Converting to forward existential form...Done !
Detected timeout of ITS tools.
[2022-05-15 14:53:17] [INFO ] Flatten gal took : 22 ms
[2022-05-15 14:53:17] [INFO ] Applying decomposition
[2022-05-15 14:53:17] [INFO ] Flatten gal took : 15 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph14563587438097179410.txt' '-o' '/tmp/graph14563587438097179410.bin' '-w' '/tmp/graph14563587438097179410.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph14563587438097179410.bin' '-l' '-1' '-v' '-w' '/tmp/graph14563587438097179410.weights' '-q' '0' '-e' '0.001'
[2022-05-15 14:53:17] [INFO ] Decomposing Gal with order
[2022-05-15 14:53:17] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-15 14:53:17] [INFO ] Removed a total of 1016 redundant transitions.
[2022-05-15 14:53:17] [INFO ] Flatten gal took : 64 ms
[2022-05-15 14:53:17] [INFO ] Fuse similar labels procedure discarded/fused a total of 79 labels/synchronizations in 10 ms.
[2022-05-15 14:53:17] [INFO ] Time to serialize gal into /tmp/CTLFireability11951328671223088409.gal : 2 ms
[2022-05-15 14:53:17] [INFO ] Time to serialize properties into /tmp/CTLFireability11007887198036009340.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/CTLFireability11951328671223088409.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability11007887198036009340.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 : 3260/3260 places, 3200/3200 transitions.
Applied a total of 0 rules in 634 ms. Remains 3260 /3260 variables (removed 0) and now considering 3200/3200 (removed 0) transitions.
// Phase 1: matrix 3200 rows 3260 cols
[2022-05-15 14:53:48] [INFO ] Computed 460 place invariants in 41 ms
[2022-05-15 14:53:55] [INFO ] Implicit Places using invariants in 7309 ms returned [5, 17, 18, 26, 31, 32, 37, 41, 43, 48, 49, 75, 83, 87, 94, 97, 99, 116, 125, 128, 130, 140, 153, 182, 188, 192, 198, 207, 208, 224, 239, 258, 263, 264, 274, 289, 293, 297, 299, 308, 312, 339, 351, 357, 371, 374, 404, 409, 411, 423, 438, 439, 476, 486, 497, 506, 507, 512, 516, 517, 524, 542, 544, 554, 561, 569, 573, 576, 577, 582, 583, 590, 596, 620, 623, 630, 635, 640, 660, 665, 669, 676, 686, 690, 699, 707, 713, 718, 725, 735, 744, 746, 749, 750, 754, 759, 763, 791, 795, 804, 808, 812, 819, 821, 826, 829, 850, 857, 875, 881, 885, 905, 918, 921, 930, 933, 941, 948, 953, 957, 958, 964, 967, 968, 991, 1000, 1003, 1038, 1045, 1054, 1059, 1065, 1083, 1086, 1087, 1101, 1108, 1110, 1112, 1121, 1123, 1131, 1134, 1143, 1144, 1153, 1157, 1161, 1162, 1172, 1179, 1201, 1211, 1214, 1217, 1246, 1247, 1251, 1259, 1277, 1284, 1287, 1289, 1293, 1297, 1301, 1302, 1319, 1325, 1336, 1344, 1345, 1346, 1348, 1356, 1357, 1359, 1360, 1366, 1367, 1369, 1382, 1384, 1388, 1397, 1403, 1414, 1420, 1428, 1432, 1438, 1451, 1456, 1475, 1489, 1492, 1503, 1512, 1514, 1518, 1523, 1527, 1531, 1543, 1547, 1567, 1571, 1582, 1584, 1601, 1606, 1614, 1616, 1625, 1645, 1646, 1651, 1657, 1658, 1661, 1664, 1679, 1681, 1715, 1729, 1737, 1738, 1742, 1762, 1763, 1765, 1774, 1777, 1798, 1800, 1806, 1808, 1814, 1815, 1830, 1839, 1855, 1874, 1879, 1880, 1887, 1892, 1893, 1898, 1930, 1939, 1940, 1941, 1944, 1950, 1956, 1959, 1964, 1974, 1988, 2014, 2020, 2023, 2035, 2045, 2051, 2055, 2065, 2068, 2074, 2079, 2115, 2116, 2128, 2129, 2130, 2138, 2158, 2161, 2183, 2190, 2194, 2195, 2206, 2220, 2226, 2228, 2263, 2267, 2277, 2283, 2290, 2291, 2293, 2311, 2313, 2320, 2348, 2358, 2359, 2374, 2377, 2380, 2381, 2384, 2386, 2387, 2413, 2419, 2446, 2450, 2451, 2453, 2468, 2469, 2507, 2513, 2527, 2547, 2554, 2559, 2573, 2587, 2593, 2609, 2612, 2615, 2637, 2638, 2647, 2657, 2666, 2675, 2677, 2679, 2696, 2714, 2722, 2730, 2733, 2742, 2747, 2749, 2752, 2778, 2784, 2792, 2798, 2803, 2810, 2813, 2817, 2824, 2825, 2827, 2845, 2867, 2879, 2881, 2883, 2887, 2896, 2929, 2939, 2946, 2959, 2962, 2967, 2968, 2971, 2988, 2991, 2997, 3001, 3009, 3011, 3025, 3027, 3047, 3050, 3059, 3074, 3076, 3083, 3088, 3104, 3118, 3123, 3132, 3151, 3166, 3200, 3203, 3211, 3216, 3229, 3239, 3243, 3249, 3250]
Discarding 400 places :
Implicit Place search using SMT only with invariants took 7317 ms to find 400 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 2860/3260 places, 3200/3200 transitions.
Applied a total of 0 rules in 196 ms. Remains 2860 /2860 variables (removed 0) and now considering 3200/3200 (removed 0) transitions.
Finished structural reductions, in 2 iterations. Remains : 2860/3260 places, 3200/3200 transitions.
[2022-05-15 14:53:55] [INFO ] Flatten gal took : 239 ms
[2022-05-15 14:53:56] [INFO ] Flatten gal took : 214 ms
[2022-05-15 14:53:56] [INFO ] Input system was already deterministic with 3200 transitions.
[2022-05-15 14:53:56] [INFO ] Flatten gal took : 225 ms
[2022-05-15 14:53:56] [INFO ] Flatten gal took : 211 ms
[2022-05-15 14:53:56] [INFO ] Time to serialize gal into /tmp/CTLFireability8392163680708896480.gal : 20 ms
[2022-05-15 14:53:56] [INFO ] Time to serialize properties into /tmp/CTLFireability15364978995738334755.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/CTLFireability8392163680708896480.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability15364978995738334755.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...275
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-05-15 14:54:27] [INFO ] Flatten gal took : 225 ms
[2022-05-15 14:54:27] [INFO ] Applying decomposition
[2022-05-15 14:54:27] [INFO ] Flatten gal took : 237 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/graph7950049463764688887.txt' '-o' '/tmp/graph7950049463764688887.bin' '-w' '/tmp/graph7950049463764688887.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph7950049463764688887.bin' '-l' '-1' '-v' '-w' '/tmp/graph7950049463764688887.weights' '-q' '0' '-e' '0.001'
[2022-05-15 14:54:27] [INFO ] Decomposing Gal with order
[2022-05-15 14:54:27] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-15 14:54:28] [INFO ] Removed a total of 15046 redundant transitions.
[2022-05-15 14:54:28] [INFO ] Flatten gal took : 414 ms
[2022-05-15 14:54:28] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 39 ms.
[2022-05-15 14:54:28] [INFO ] Time to serialize gal into /tmp/CTLFireability8797556422546403280.gal : 25 ms
[2022-05-15 14:54:28] [INFO ] Time to serialize properties into /tmp/CTLFireability10190012015660762193.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/CTLFireability8797556422546403280.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability10190012015660762193.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 : 3260/3260 places, 3200/3200 transitions.
Applied a total of 0 rules in 287 ms. Remains 3260 /3260 variables (removed 0) and now considering 3200/3200 (removed 0) transitions.
// Phase 1: matrix 3200 rows 3260 cols
[2022-05-15 14:54:59] [INFO ] Computed 460 place invariants in 52 ms
[2022-05-15 14:55:06] [INFO ] Implicit Places using invariants in 7393 ms returned [5, 17, 18, 26, 31, 32, 37, 41, 43, 48, 49, 75, 83, 87, 94, 97, 99, 116, 125, 128, 130, 140, 153, 182, 188, 192, 198, 207, 208, 224, 239, 258, 263, 264, 274, 289, 293, 297, 299, 308, 312, 339, 351, 357, 371, 374, 404, 409, 411, 423, 438, 439, 476, 486, 497, 506, 507, 512, 516, 517, 524, 542, 544, 554, 561, 569, 573, 576, 577, 582, 583, 590, 596, 620, 623, 630, 635, 640, 660, 665, 669, 676, 686, 690, 699, 707, 713, 718, 725, 735, 744, 746, 749, 750, 754, 759, 763, 791, 795, 804, 808, 812, 819, 821, 826, 829, 850, 857, 875, 881, 885, 905, 918, 921, 930, 933, 941, 948, 953, 957, 958, 964, 967, 968, 991, 1000, 1003, 1038, 1045, 1054, 1059, 1065, 1083, 1086, 1087, 1101, 1108, 1110, 1112, 1121, 1123, 1131, 1134, 1143, 1144, 1153, 1157, 1161, 1162, 1172, 1179, 1201, 1211, 1214, 1217, 1246, 1247, 1251, 1259, 1277, 1284, 1287, 1289, 1293, 1297, 1301, 1302, 1319, 1336, 1344, 1345, 1346, 1348, 1356, 1357, 1359, 1360, 1366, 1367, 1369, 1382, 1384, 1388, 1397, 1403, 1414, 1420, 1428, 1432, 1438, 1451, 1456, 1475, 1489, 1492, 1503, 1512, 1514, 1518, 1523, 1527, 1531, 1543, 1547, 1567, 1571, 1582, 1584, 1601, 1606, 1614, 1616, 1625, 1645, 1646, 1651, 1657, 1658, 1661, 1664, 1679, 1681, 1715, 1729, 1737, 1738, 1742, 1762, 1763, 1765, 1774, 1777, 1798, 1800, 1806, 1808, 1814, 1815, 1830, 1839, 1855, 1874, 1879, 1880, 1887, 1892, 1893, 1898, 1930, 1939, 1940, 1941, 1944, 1950, 1956, 1959, 1964, 1974, 1988, 2014, 2020, 2023, 2035, 2045, 2051, 2055, 2065, 2068, 2074, 2079, 2115, 2116, 2128, 2129, 2130, 2138, 2158, 2161, 2183, 2190, 2194, 2195, 2206, 2220, 2226, 2228, 2263, 2267, 2277, 2283, 2290, 2291, 2293, 2311, 2313, 2320, 2348, 2358, 2359, 2374, 2377, 2380, 2381, 2384, 2386, 2387, 2413, 2419, 2446, 2450, 2451, 2453, 2468, 2469, 2507, 2513, 2527, 2547, 2554, 2559, 2573, 2587, 2593, 2609, 2612, 2615, 2637, 2638, 2647, 2657, 2666, 2675, 2677, 2679, 2696, 2714, 2722, 2730, 2733, 2742, 2747, 2749, 2752, 2778, 2784, 2792, 2798, 2803, 2810, 2813, 2817, 2824, 2825, 2827, 2845, 2867, 2879, 2881, 2883, 2887, 2896, 2929, 2939, 2946, 2959, 2962, 2967, 2968, 2971, 2988, 2991, 2997, 3001, 3009, 3011, 3025, 3027, 3047, 3050, 3059, 3074, 3076, 3083, 3088, 3104, 3118, 3123, 3132, 3151, 3166, 3200, 3203, 3211, 3216, 3229, 3239, 3243, 3249, 3250]
Discarding 399 places :
Implicit Place search using SMT only with invariants took 7397 ms to find 399 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 2861/3260 places, 3200/3200 transitions.
Applied a total of 0 rules in 198 ms. Remains 2861 /2861 variables (removed 0) and now considering 3200/3200 (removed 0) transitions.
Finished structural reductions, in 2 iterations. Remains : 2861/3260 places, 3200/3200 transitions.
[2022-05-15 14:55:06] [INFO ] Flatten gal took : 214 ms
[2022-05-15 14:55:07] [INFO ] Flatten gal took : 207 ms
[2022-05-15 14:55:07] [INFO ] Input system was already deterministic with 3200 transitions.
[2022-05-15 14:55:07] [INFO ] Flatten gal took : 202 ms
[2022-05-15 14:55:07] [INFO ] Flatten gal took : 205 ms
[2022-05-15 14:55:07] [INFO ] Time to serialize gal into /tmp/CTLFireability14404593933855785148.gal : 17 ms
[2022-05-15 14:55:07] [INFO ] Time to serialize properties into /tmp/CTLFireability13360332797625043676.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/CTLFireability14404593933855785148.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability13360332797625043676.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...276
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-05-15 14:55:38] [INFO ] Flatten gal took : 234 ms
[2022-05-15 14:55:38] [INFO ] Applying decomposition
[2022-05-15 14:55:38] [INFO ] Flatten gal took : 200 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/graph2096252973040034109.txt' '-o' '/tmp/graph2096252973040034109.bin' '-w' '/tmp/graph2096252973040034109.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph2096252973040034109.bin' '-l' '-1' '-v' '-w' '/tmp/graph2096252973040034109.weights' '-q' '0' '-e' '0.001'
[2022-05-15 14:55:38] [INFO ] Decomposing Gal with order
[2022-05-15 14:55:38] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-15 14:55:39] [INFO ] Removed a total of 15064 redundant transitions.
[2022-05-15 14:55:39] [INFO ] Flatten gal took : 359 ms
[2022-05-15 14:55:39] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 39 ms.
[2022-05-15 14:55:39] [INFO ] Time to serialize gal into /tmp/CTLFireability5129553900350221800.gal : 38 ms
[2022-05-15 14:55:39] [INFO ] Time to serialize properties into /tmp/CTLFireability5572354163715666736.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/CTLFireability5129553900350221800.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability5572354163715666736.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 : 3260/3260 places, 3200/3200 transitions.
Applied a total of 0 rules in 281 ms. Remains 3260 /3260 variables (removed 0) and now considering 3200/3200 (removed 0) transitions.
// Phase 1: matrix 3200 rows 3260 cols
[2022-05-15 14:56:10] [INFO ] Computed 460 place invariants in 44 ms
[2022-05-15 14:56:17] [INFO ] Implicit Places using invariants in 7087 ms returned [5, 17, 18, 26, 31, 32, 37, 41, 43, 48, 49, 75, 83, 87, 94, 97, 99, 116, 125, 128, 130, 140, 153, 182, 188, 192, 198, 207, 208, 224, 239, 258, 263, 264, 274, 289, 293, 297, 299, 308, 312, 339, 351, 357, 371, 374, 404, 409, 411, 423, 438, 439, 476, 486, 497, 506, 507, 512, 516, 517, 524, 542, 544, 554, 561, 569, 573, 576, 577, 582, 583, 590, 596, 620, 623, 630, 635, 640, 660, 665, 669, 676, 686, 690, 699, 707, 713, 718, 725, 735, 744, 746, 749, 750, 754, 759, 763, 791, 795, 804, 808, 812, 819, 821, 826, 829, 850, 857, 875, 881, 885, 905, 918, 921, 930, 933, 941, 948, 953, 957, 958, 964, 967, 968, 991, 1000, 1003, 1038, 1045, 1054, 1059, 1065, 1083, 1086, 1087, 1101, 1108, 1110, 1112, 1121, 1123, 1131, 1134, 1143, 1144, 1153, 1157, 1161, 1162, 1172, 1179, 1201, 1211, 1214, 1217, 1246, 1247, 1251, 1259, 1277, 1284, 1287, 1289, 1293, 1297, 1301, 1302, 1319, 1325, 1336, 1344, 1345, 1346, 1348, 1356, 1357, 1359, 1360, 1366, 1367, 1369, 1382, 1384, 1388, 1397, 1403, 1420, 1428, 1432, 1438, 1451, 1456, 1475, 1489, 1503, 1512, 1514, 1518, 1523, 1527, 1531, 1543, 1547, 1567, 1571, 1582, 1584, 1601, 1606, 1614, 1616, 1625, 1645, 1646, 1651, 1657, 1658, 1661, 1664, 1679, 1681, 1715, 1729, 1737, 1738, 1742, 1762, 1763, 1765, 1774, 1777, 1798, 1800, 1806, 1808, 1814, 1815, 1830, 1839, 1855, 1874, 1879, 1880, 1887, 1892, 1893, 1898, 1930, 1939, 1940, 1941, 1944, 1950, 1956, 1964, 1974, 1988, 2014, 2020, 2023, 2035, 2045, 2051, 2055, 2065, 2068, 2074, 2079, 2115, 2116, 2128, 2129, 2130, 2138, 2158, 2161, 2183, 2190, 2194, 2195, 2206, 2220, 2226, 2228, 2263, 2267, 2277, 2283, 2290, 2291, 2293, 2311, 2313, 2320, 2348, 2358, 2359, 2374, 2377, 2380, 2381, 2384, 2386, 2387, 2413, 2419, 2446, 2450, 2451, 2453, 2468, 2469, 2507, 2513, 2527, 2547, 2554, 2559, 2573, 2587, 2593, 2609, 2612, 2615, 2637, 2638, 2647, 2657, 2666, 2675, 2677, 2679, 2696, 2714, 2722, 2730, 2733, 2742, 2747, 2749, 2752, 2778, 2784, 2792, 2798, 2803, 2810, 2813, 2817, 2824, 2825, 2827, 2845, 2867, 2879, 2881, 2883, 2887, 2896, 2929, 2939, 2946, 2959, 2962, 2967, 2968, 2971, 2988, 2991, 2997, 3001, 3009, 3011, 3025, 3027, 3047, 3050, 3059, 3074, 3076, 3083, 3088, 3104, 3118, 3123, 3132, 3151, 3166, 3200, 3203, 3211, 3216, 3229, 3239, 3243, 3249, 3250]
Discarding 397 places :
Implicit Place search using SMT only with invariants took 7099 ms to find 397 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 2863/3260 places, 3200/3200 transitions.
Applied a total of 0 rules in 195 ms. Remains 2863 /2863 variables (removed 0) and now considering 3200/3200 (removed 0) transitions.
Finished structural reductions, in 2 iterations. Remains : 2863/3260 places, 3200/3200 transitions.
[2022-05-15 14:56:17] [INFO ] Flatten gal took : 195 ms
[2022-05-15 14:56:17] [INFO ] Flatten gal took : 213 ms
[2022-05-15 14:56:18] [INFO ] Input system was already deterministic with 3200 transitions.
[2022-05-15 14:56:18] [INFO ] Flatten gal took : 213 ms
[2022-05-15 14:56:18] [INFO ] Flatten gal took : 208 ms
[2022-05-15 14:56:18] [INFO ] Time to serialize gal into /tmp/CTLFireability7305450788210982956.gal : 17 ms
[2022-05-15 14:56:18] [INFO ] Time to serialize properties into /tmp/CTLFireability10915509327785914950.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/CTLFireability7305450788210982956.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability10915509327785914950.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...275
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-05-15 14:56:48] [INFO ] Flatten gal took : 223 ms
[2022-05-15 14:56:48] [INFO ] Applying decomposition
[2022-05-15 14:56:49] [INFO ] Flatten gal took : 204 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/graph8917764872647449270.txt' '-o' '/tmp/graph8917764872647449270.bin' '-w' '/tmp/graph8917764872647449270.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph8917764872647449270.bin' '-l' '-1' '-v' '-w' '/tmp/graph8917764872647449270.weights' '-q' '0' '-e' '0.001'
[2022-05-15 14:56:49] [INFO ] Decomposing Gal with order
[2022-05-15 14:56:49] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-15 14:56:50] [INFO ] Removed a total of 15081 redundant transitions.
[2022-05-15 14:56:50] [INFO ] Flatten gal took : 386 ms
[2022-05-15 14:56:50] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 38 ms.
[2022-05-15 14:56:50] [INFO ] Time to serialize gal into /tmp/CTLFireability17119564093371810632.gal : 22 ms
[2022-05-15 14:56:50] [INFO ] Time to serialize properties into /tmp/CTLFireability7392291527499772172.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/CTLFireability17119564093371810632.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability7392291527499772172.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 : 3260/3260 places, 3200/3200 transitions.
Applied a total of 0 rules in 351 ms. Remains 3260 /3260 variables (removed 0) and now considering 3200/3200 (removed 0) transitions.
// Phase 1: matrix 3200 rows 3260 cols
[2022-05-15 14:57:20] [INFO ] Computed 460 place invariants in 40 ms
[2022-05-15 14:57:28] [INFO ] Implicit Places using invariants in 7309 ms returned [5, 17, 18, 26, 31, 32, 37, 41, 43, 48, 49, 75, 83, 87, 94, 97, 99, 116, 125, 128, 130, 140, 153, 182, 188, 192, 198, 207, 208, 224, 239, 258, 263, 264, 274, 289, 293, 297, 299, 308, 312, 339, 351, 357, 371, 374, 404, 409, 411, 423, 438, 439, 476, 486, 497, 506, 507, 512, 516, 517, 524, 542, 544, 554, 561, 569, 573, 576, 577, 582, 583, 590, 596, 620, 623, 630, 635, 640, 660, 665, 669, 676, 686, 690, 699, 707, 713, 718, 725, 735, 744, 746, 749, 750, 754, 759, 763, 791, 795, 804, 808, 812, 819, 821, 826, 829, 850, 857, 875, 881, 885, 905, 918, 921, 930, 933, 941, 948, 953, 957, 958, 964, 967, 968, 991, 1000, 1003, 1038, 1045, 1054, 1059, 1065, 1083, 1086, 1087, 1101, 1108, 1110, 1112, 1121, 1123, 1131, 1134, 1143, 1144, 1153, 1157, 1161, 1162, 1172, 1179, 1201, 1211, 1214, 1217, 1246, 1247, 1251, 1259, 1277, 1284, 1287, 1289, 1293, 1297, 1301, 1302, 1319, 1325, 1336, 1344, 1345, 1346, 1348, 1356, 1357, 1359, 1360, 1366, 1367, 1369, 1382, 1384, 1388, 1397, 1403, 1414, 1420, 1428, 1432, 1438, 1451, 1456, 1475, 1489, 1492, 1503, 1512, 1514, 1518, 1523, 1527, 1531, 1543, 1547, 1567, 1571, 1582, 1584, 1601, 1606, 1614, 1616, 1625, 1645, 1646, 1651, 1657, 1658, 1661, 1664, 1679, 1681, 1715, 1729, 1737, 1738, 1742, 1762, 1763, 1765, 1774, 1777, 1798, 1800, 1806, 1808, 1814, 1815, 1830, 1839, 1855, 1874, 1879, 1880, 1887, 1892, 1893, 1898, 1930, 1939, 1940, 1941, 1944, 1950, 1956, 1959, 1964, 1974, 1988, 2014, 2020, 2023, 2035, 2045, 2051, 2055, 2065, 2068, 2074, 2079, 2115, 2116, 2128, 2129, 2130, 2138, 2158, 2161, 2183, 2190, 2194, 2195, 2206, 2220, 2226, 2228, 2263, 2267, 2277, 2283, 2290, 2291, 2293, 2311, 2313, 2320, 2348, 2358, 2359, 2374, 2377, 2380, 2381, 2384, 2386, 2387, 2413, 2419, 2446, 2450, 2451, 2453, 2468, 2469, 2507, 2513, 2527, 2547, 2554, 2559, 2573, 2587, 2593, 2609, 2612, 2615, 2637, 2638, 2647, 2657, 2666, 2675, 2677, 2679, 2696, 2714, 2722, 2730, 2733, 2742, 2747, 2749, 2752, 2778, 2784, 2792, 2798, 2803, 2810, 2813, 2817, 2824, 2825, 2827, 2845, 2867, 2879, 2881, 2883, 2887, 2896, 2929, 2939, 2946, 2959, 2962, 2967, 2968, 2971, 2988, 2991, 2997, 3001, 3009, 3011, 3025, 3027, 3047, 3050, 3059, 3074, 3076, 3083, 3088, 3104, 3118, 3123, 3132, 3151, 3166, 3200, 3203, 3211, 3216, 3229, 3239, 3243, 3249, 3250]
Discarding 400 places :
Implicit Place search using SMT only with invariants took 7331 ms to find 400 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 2860/3260 places, 3200/3200 transitions.
Applied a total of 0 rules in 201 ms. Remains 2860 /2860 variables (removed 0) and now considering 3200/3200 (removed 0) transitions.
Finished structural reductions, in 2 iterations. Remains : 2860/3260 places, 3200/3200 transitions.
[2022-05-15 14:57:28] [INFO ] Flatten gal took : 220 ms
[2022-05-15 14:57:28] [INFO ] Flatten gal took : 189 ms
[2022-05-15 14:57:29] [INFO ] Input system was already deterministic with 3200 transitions.
[2022-05-15 14:57:29] [INFO ] Flatten gal took : 212 ms
[2022-05-15 14:57:29] [INFO ] Flatten gal took : 199 ms
[2022-05-15 14:57:29] [INFO ] Time to serialize gal into /tmp/CTLFireability5137936768277742023.gal : 19 ms
[2022-05-15 14:57:29] [INFO ] Time to serialize properties into /tmp/CTLFireability8343591942684145448.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/CTLFireability5137936768277742023.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability8343591942684145448.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...274
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-05-15 14:57:59] [INFO ] Flatten gal took : 230 ms
[2022-05-15 14:57:59] [INFO ] Applying decomposition
[2022-05-15 14:57:59] [INFO ] Flatten gal took : 209 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/graph6402300577318367528.txt' '-o' '/tmp/graph6402300577318367528.bin' '-w' '/tmp/graph6402300577318367528.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph6402300577318367528.bin' '-l' '-1' '-v' '-w' '/tmp/graph6402300577318367528.weights' '-q' '0' '-e' '0.001'
[2022-05-15 14:58:00] [INFO ] Decomposing Gal with order
[2022-05-15 14:58:00] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-15 14:58:01] [INFO ] Removed a total of 15103 redundant transitions.
[2022-05-15 14:58:01] [INFO ] Flatten gal took : 374 ms
[2022-05-15 14:58:01] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 39 ms.
[2022-05-15 14:58:01] [INFO ] Time to serialize gal into /tmp/CTLFireability8431518185314055438.gal : 24 ms
[2022-05-15 14:58:01] [INFO ] Time to serialize properties into /tmp/CTLFireability12294780162223167002.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/CTLFireability8431518185314055438.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability12294780162223167002.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 : 3260/3260 places, 3200/3200 transitions.
Applied a total of 0 rules in 321 ms. Remains 3260 /3260 variables (removed 0) and now considering 3200/3200 (removed 0) transitions.
// Phase 1: matrix 3200 rows 3260 cols
[2022-05-15 14:58:31] [INFO ] Computed 460 place invariants in 47 ms
[2022-05-15 14:58:38] [INFO ] Implicit Places using invariants in 6971 ms returned [5, 17, 18, 26, 31, 32, 37, 41, 43, 48, 49, 75, 83, 87, 94, 97, 99, 116, 125, 128, 130, 140, 153, 182, 188, 192, 198, 207, 208, 224, 239, 258, 263, 264, 274, 289, 293, 297, 299, 308, 312, 339, 351, 357, 371, 374, 404, 409, 411, 423, 438, 439, 476, 486, 497, 506, 507, 512, 516, 517, 524, 542, 544, 554, 561, 569, 573, 576, 577, 582, 583, 590, 596, 620, 623, 630, 635, 640, 660, 665, 669, 676, 686, 690, 699, 707, 713, 718, 725, 735, 744, 746, 749, 750, 754, 759, 763, 791, 795, 804, 808, 812, 819, 821, 826, 829, 850, 857, 875, 881, 885, 905, 918, 921, 930, 933, 941, 948, 953, 957, 958, 964, 967, 968, 991, 1000, 1003, 1038, 1045, 1054, 1059, 1065, 1083, 1086, 1087, 1101, 1108, 1110, 1112, 1121, 1123, 1131, 1134, 1143, 1144, 1153, 1157, 1161, 1162, 1172, 1179, 1201, 1211, 1214, 1217, 1246, 1247, 1251, 1259, 1277, 1284, 1287, 1289, 1293, 1297, 1301, 1302, 1319, 1325, 1336, 1344, 1345, 1346, 1348, 1356, 1357, 1359, 1360, 1366, 1367, 1369, 1382, 1384, 1388, 1397, 1403, 1414, 1420, 1428, 1432, 1438, 1451, 1456, 1475, 1489, 1492, 1503, 1512, 1514, 1518, 1523, 1527, 1531, 1543, 1547, 1567, 1571, 1582, 1584, 1601, 1606, 1614, 1616, 1625, 1645, 1646, 1651, 1657, 1658, 1661, 1664, 1679, 1681, 1715, 1729, 1737, 1738, 1742, 1762, 1763, 1765, 1774, 1777, 1798, 1800, 1806, 1808, 1814, 1815, 1830, 1839, 1855, 1874, 1879, 1880, 1887, 1892, 1893, 1898, 1930, 1939, 1940, 1941, 1944, 1950, 1956, 1959, 1964, 1974, 1988, 2014, 2020, 2023, 2035, 2045, 2051, 2055, 2065, 2068, 2074, 2079, 2115, 2116, 2128, 2129, 2130, 2138, 2158, 2161, 2183, 2190, 2194, 2195, 2206, 2220, 2226, 2228, 2263, 2267, 2277, 2283, 2290, 2291, 2293, 2311, 2313, 2320, 2348, 2358, 2359, 2374, 2377, 2380, 2381, 2384, 2386, 2387, 2413, 2419, 2446, 2450, 2451, 2453, 2468, 2469, 2507, 2513, 2527, 2547, 2554, 2559, 2573, 2587, 2593, 2609, 2612, 2615, 2637, 2638, 2647, 2657, 2666, 2675, 2677, 2679, 2696, 2714, 2722, 2730, 2733, 2742, 2747, 2749, 2752, 2778, 2784, 2792, 2798, 2803, 2810, 2813, 2817, 2824, 2825, 2827, 2845, 2867, 2879, 2881, 2883, 2887, 2896, 2929, 2939, 2946, 2959, 2962, 2967, 2968, 2971, 2988, 2991, 2997, 3001, 3009, 3011, 3025, 3027, 3047, 3050, 3059, 3074, 3076, 3083, 3088, 3104, 3118, 3123, 3132, 3151, 3166, 3200, 3203, 3211, 3216, 3229, 3239, 3243, 3249, 3250]
Discarding 400 places :
Implicit Place search using SMT only with invariants took 6975 ms to find 400 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 2860/3260 places, 3200/3200 transitions.
Applied a total of 0 rules in 201 ms. Remains 2860 /2860 variables (removed 0) and now considering 3200/3200 (removed 0) transitions.
Finished structural reductions, in 2 iterations. Remains : 2860/3260 places, 3200/3200 transitions.
[2022-05-15 14:58:39] [INFO ] Flatten gal took : 197 ms
[2022-05-15 14:58:39] [INFO ] Flatten gal took : 197 ms
[2022-05-15 14:58:39] [INFO ] Input system was already deterministic with 3200 transitions.
[2022-05-15 14:58:39] [INFO ] Flatten gal took : 242 ms
[2022-05-15 14:58:40] [INFO ] Flatten gal took : 210 ms
[2022-05-15 14:58:40] [INFO ] Time to serialize gal into /tmp/CTLFireability11925226827839596492.gal : 642 ms
[2022-05-15 14:58:40] [INFO ] Time to serialize properties into /tmp/CTLFireability4435369483143890495.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/CTLFireability11925226827839596492.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability4435369483143890495.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...275
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-05-15 14:59:10] [INFO ] Flatten gal took : 195 ms
[2022-05-15 14:59:10] [INFO ] Applying decomposition
[2022-05-15 14:59:11] [INFO ] Flatten gal took : 197 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/graph13567446403598551636.txt' '-o' '/tmp/graph13567446403598551636.bin' '-w' '/tmp/graph13567446403598551636.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph13567446403598551636.bin' '-l' '-1' '-v' '-w' '/tmp/graph13567446403598551636.weights' '-q' '0' '-e' '0.001'
[2022-05-15 14:59:11] [INFO ] Decomposing Gal with order
[2022-05-15 14:59:11] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-15 14:59:12] [INFO ] Removed a total of 15122 redundant transitions.
[2022-05-15 14:59:12] [INFO ] Flatten gal took : 358 ms
[2022-05-15 14:59:12] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 38 ms.
[2022-05-15 14:59:12] [INFO ] Time to serialize gal into /tmp/CTLFireability1820592680819799650.gal : 24 ms
[2022-05-15 14:59:12] [INFO ] Time to serialize properties into /tmp/CTLFireability6934365395165283485.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/CTLFireability1820592680819799650.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability6934365395165283485.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.
[2022-05-15 14:59:43] [INFO ] Flatten gal took : 507 ms
[2022-05-15 14:59:46] [INFO ] Flatten gal took : 498 ms
[2022-05-15 14:59:49] [INFO ] Applying decomposition
[2022-05-15 14:59:49] [INFO ] Flatten gal took : 495 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/graph17396466211018009961.txt' '-o' '/tmp/graph17396466211018009961.bin' '-w' '/tmp/graph17396466211018009961.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph17396466211018009961.bin' '-l' '-1' '-v' '-w' '/tmp/graph17396466211018009961.weights' '-q' '0' '-e' '0.001'
[2022-05-15 14:59:50] [INFO ] Decomposing Gal with order
[2022-05-15 14:59:50] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-15 14:59:51] [INFO ] Removed a total of 14780 redundant transitions.
[2022-05-15 14:59:52] [INFO ] Flatten gal took : 957 ms
[2022-05-15 14:59:57] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 36 ms.
[2022-05-15 14:59:57] [INFO ] Time to serialize gal into /tmp/CTLFireability4331764724574303250.gal : 19 ms
[2022-05-15 14:59:57] [INFO ] Time to serialize properties into /tmp/CTLFireability17617136042176453900.ctl : 117 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/CTLFireability4331764724574303250.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability17617136042176453900.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.
ITS-tools command line returned an error code 137
[2022-05-15 15:24:16] [INFO ] Flatten gal took : 1575 ms
[2022-05-15 15:24:16] [INFO ] Time to serialize gal into /tmp/CTLFireability3245231162477238537.gal : 26 ms
[2022-05-15 15:24:16] [INFO ] Time to serialize properties into /tmp/CTLFireability12598360649978637768.ctl : 100 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/CTLFireability3245231162477238537.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability12598360649978637768.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//
++ ls /home/mcc/BenchKit/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202205111006.jar
++ perl -pe 's/.*\.//g'
+ 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="DatabaseWithMutex-PT-20"
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 DatabaseWithMutex-PT-20, 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 r060-tall-165254772200578"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DatabaseWithMutex-PT-20.tgz
mv DatabaseWithMutex-PT-20 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 ;