About the Execution of ITS-Tools for PhaseVariation-PT-D20CS010
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
16214.556 | 3600000.00 | 3263695.00 | 273391.60 | ???????????TT??? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2022-input.r168-tall-165277016300146.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 PhaseVariation-PT-D20CS010, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r168-tall-165277016300146
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 13M
-rw-r--r-- 1 mcc users 8.8K Apr 29 12:10 CTLCardinality.txt
-rw-r--r-- 1 mcc users 79K Apr 29 12:10 CTLCardinality.xml
-rw-r--r-- 1 mcc users 11K Apr 29 12:05 CTLFireability.txt
-rw-r--r-- 1 mcc users 63K Apr 29 12:05 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 10 09:34 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K May 10 09:34 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 4.5K May 9 08:25 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K May 9 08:25 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.6K May 9 08:25 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K May 9 08:25 LTLFireability.xml
-rw-r--r-- 1 mcc users 1.9K May 9 08:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K May 9 08:25 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 10 09:34 equiv_col
-rw-r--r-- 1 mcc users 9 May 10 09:34 instance
-rw-r--r-- 1 mcc users 6 May 10 09:34 iscolored
-rw-r--r-- 1 mcc users 13M May 10 09:34 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME PhaseVariation-PT-D20CS010-CTLFireability-00
FORMULA_NAME PhaseVariation-PT-D20CS010-CTLFireability-01
FORMULA_NAME PhaseVariation-PT-D20CS010-CTLFireability-02
FORMULA_NAME PhaseVariation-PT-D20CS010-CTLFireability-03
FORMULA_NAME PhaseVariation-PT-D20CS010-CTLFireability-04
FORMULA_NAME PhaseVariation-PT-D20CS010-CTLFireability-05
FORMULA_NAME PhaseVariation-PT-D20CS010-CTLFireability-06
FORMULA_NAME PhaseVariation-PT-D20CS010-CTLFireability-07
FORMULA_NAME PhaseVariation-PT-D20CS010-CTLFireability-08
FORMULA_NAME PhaseVariation-PT-D20CS010-CTLFireability-09
FORMULA_NAME PhaseVariation-PT-D20CS010-CTLFireability-10
FORMULA_NAME PhaseVariation-PT-D20CS010-CTLFireability-11
FORMULA_NAME PhaseVariation-PT-D20CS010-CTLFireability-12
FORMULA_NAME PhaseVariation-PT-D20CS010-CTLFireability-13
FORMULA_NAME PhaseVariation-PT-D20CS010-CTLFireability-14
FORMULA_NAME PhaseVariation-PT-D20CS010-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1652794892831
Running Version 202205111006
[2022-05-17 13:41:33] [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-17 13:41:33] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2022-05-17 13:41:34] [INFO ] Load time of PNML (sax parser for PT used): 659 ms
[2022-05-17 13:41:34] [INFO ] Transformed 1202 places.
[2022-05-17 13:41:34] [INFO ] Transformed 13457 transitions.
[2022-05-17 13:41:34] [INFO ] Parsed PT model containing 1202 places and 13457 transitions in 821 ms.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 18 ms.
Deduced a syphon composed of 2 places in 29 ms
Reduce places removed 2 places and 52 transitions.
Reduce places removed 1 places and 0 transitions.
Support contains 255 out of 1199 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 1199/1199 places, 13405/13405 transitions.
Drop transitions removed 256 transitions
Redundant transition composition rules discarded 256 transitions
Iterating global reduction 0 with 256 rules applied. Total rules applied 256 place count 1199 transition count 13149
Discarding 4 places :
Symmetric choice reduction at 0 with 4 rule applications. Total rules 260 place count 1195 transition count 13121
Iterating global reduction 0 with 4 rules applied. Total rules applied 264 place count 1195 transition count 13121
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 0 with 4 rules applied. Total rules applied 268 place count 1195 transition count 13117
Applied a total of 268 rules in 744 ms. Remains 1195 /1199 variables (removed 4) and now considering 13117/13405 (removed 288) transitions.
[2022-05-17 13:41:35] [INFO ] Flow matrix only has 795 transitions (discarded 12322 similar events)
// Phase 1: matrix 795 rows 1195 cols
[2022-05-17 13:41:35] [INFO ] Computed 400 place invariants in 42 ms
[2022-05-17 13:41:40] [INFO ] Dead Transitions using invariants and state equation in 4309 ms found 1564 transitions.
Found 1564 dead transitions using SMT.
Drop transitions removed 1564 transitions
Dead transitions reduction (with SMT) triggered by suspicious arc values removed 1564 transitions.
[2022-05-17 13:41:40] [INFO ] Flow matrix only has 795 transitions (discarded 10758 similar events)
// Phase 1: matrix 795 rows 1195 cols
[2022-05-17 13:41:40] [INFO ] Computed 400 place invariants in 19 ms
[2022-05-17 13:41:40] [INFO ] Implicit Places using invariants in 919 ms returned []
Implicit Place search using SMT only with invariants took 920 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 1195/1199 places, 11553/13405 transitions.
Discarding 270 places :
Symmetric choice reduction at 0 with 270 rule applications. Total rules 270 place count 925 transition count 7637
Iterating global reduction 0 with 270 rules applied. Total rules applied 540 place count 925 transition count 7637
Ensure Unique test removed 2632 transitions
Reduce isomorphic transitions removed 2632 transitions.
Iterating post reduction 0 with 2632 rules applied. Total rules applied 3172 place count 925 transition count 5005
Applied a total of 3172 rules in 396 ms. Remains 925 /1195 variables (removed 270) and now considering 5005/11553 (removed 6548) transitions.
[2022-05-17 13:41:41] [INFO ] Flow matrix only has 525 transitions (discarded 4480 similar events)
// Phase 1: matrix 525 rows 925 cols
[2022-05-17 13:41:41] [INFO ] Computed 400 place invariants in 5 ms
[2022-05-17 13:41:41] [INFO ] Implicit Places using invariants in 597 ms returned []
[2022-05-17 13:41:41] [INFO ] Flow matrix only has 525 transitions (discarded 4480 similar events)
// Phase 1: matrix 525 rows 925 cols
[2022-05-17 13:41:41] [INFO ] Computed 400 place invariants in 14 ms
[2022-05-17 13:41:42] [INFO ] State equation strengthened by 513 read => feed constraints.
[2022-05-17 13:41:44] [INFO ] Implicit Places using invariants and state equation in 2454 ms returned []
Implicit Place search using SMT with State Equation took 3055 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 925/1199 places, 5005/13405 transitions.
Finished structural reductions, in 2 iterations. Remains : 925/1199 places, 5005/13405 transitions.
Support contains 255 out of 925 places after structural reductions.
[2022-05-17 13:41:44] [INFO ] Flatten gal took : 355 ms
[2022-05-17 13:41:45] [INFO ] Flatten gal took : 245 ms
[2022-05-17 13:41:45] [INFO ] Input system was already deterministic with 5005 transitions.
Incomplete random walk after 10000 steps, including 98 resets, run finished after 927 ms. (steps per millisecond=10 ) properties (out of 101) seen :90
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 82 ms. (steps per millisecond=121 ) properties (out of 11) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=140 ) properties (out of 11) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 77 ms. (steps per millisecond=129 ) properties (out of 11) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=142 ) properties (out of 11) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 77 ms. (steps per millisecond=129 ) properties (out of 11) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 92 ms. (steps per millisecond=108 ) properties (out of 11) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 82 ms. (steps per millisecond=121 ) properties (out of 11) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=140 ) properties (out of 11) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=144 ) properties (out of 11) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 64 ms. (steps per millisecond=156 ) properties (out of 11) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=147 ) properties (out of 11) seen :0
Running SMT prover for 11 properties.
[2022-05-17 13:41:47] [INFO ] Flow matrix only has 525 transitions (discarded 4480 similar events)
// Phase 1: matrix 525 rows 925 cols
[2022-05-17 13:41:47] [INFO ] Computed 400 place invariants in 12 ms
[2022-05-17 13:41:47] [INFO ] [Real]Absence check using 400 positive place invariants in 61 ms returned sat
[2022-05-17 13:41:48] [INFO ] After 747ms SMT Verify possible using all constraints in real domain returned unsat :8 sat :0 real:3
[2022-05-17 13:41:48] [INFO ] [Nat]Absence check using 400 positive place invariants in 101 ms returned sat
[2022-05-17 13:41:49] [INFO ] After 383ms SMT Verify possible using state equation in natural domain returned unsat :8 sat :3
[2022-05-17 13:41:49] [INFO ] State equation strengthened by 513 read => feed constraints.
[2022-05-17 13:41:49] [INFO ] After 168ms SMT Verify possible using 513 Read/Feed constraints in natural domain returned unsat :8 sat :3
[2022-05-17 13:41:49] [INFO ] After 358ms SMT Verify possible using trap constraints in natural domain returned unsat :8 sat :3
Attempting to minimize the solution found.
Minimization took 98 ms.
[2022-05-17 13:41:49] [INFO ] After 1236ms SMT Verify possible using all constraints in natural domain returned unsat :8 sat :3
Fused 11 Parikh solutions to 2 different solutions.
Parikh walk visited 0 properties in 14 ms.
Support contains 19 out of 925 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 925/925 places, 5005/5005 transitions.
Discarding 116 places :
Symmetric choice reduction at 0 with 116 rule applications. Total rules 116 place count 809 transition count 3893
Iterating global reduction 0 with 116 rules applied. Total rules applied 232 place count 809 transition count 3893
Ensure Unique test removed 864 transitions
Reduce isomorphic transitions removed 864 transitions.
Iterating post reduction 0 with 864 rules applied. Total rules applied 1096 place count 809 transition count 3029
Applied a total of 1096 rules in 815 ms. Remains 809 /925 variables (removed 116) and now considering 3029/5005 (removed 1976) transitions.
[2022-05-17 13:41:50] [INFO ] Flow matrix only has 409 transitions (discarded 2620 similar events)
// Phase 1: matrix 409 rows 809 cols
[2022-05-17 13:41:50] [INFO ] Computed 400 place invariants in 10 ms
[2022-05-17 13:41:51] [INFO ] Dead Transitions using invariants and state equation in 1086 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 809/925 places, 3029/5005 transitions.
Incomplete random walk after 10000 steps, including 111 resets, run finished after 268 ms. (steps per millisecond=37 ) properties (out of 3) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 66 ms. (steps per millisecond=151 ) properties (out of 2) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=149 ) properties (out of 2) seen :0
Running SMT prover for 2 properties.
[2022-05-17 13:41:51] [INFO ] Flow matrix only has 409 transitions (discarded 2620 similar events)
// Phase 1: matrix 409 rows 809 cols
[2022-05-17 13:41:51] [INFO ] Computed 400 place invariants in 8 ms
[2022-05-17 13:41:52] [INFO ] [Real]Absence check using 400 positive place invariants in 48 ms returned sat
[2022-05-17 13:41:52] [INFO ] After 447ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:2
[2022-05-17 13:41:52] [INFO ] [Nat]Absence check using 400 positive place invariants in 52 ms returned sat
[2022-05-17 13:41:52] [INFO ] After 289ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :2
[2022-05-17 13:41:52] [INFO ] State equation strengthened by 401 read => feed constraints.
[2022-05-17 13:41:52] [INFO ] After 87ms SMT Verify possible using 401 Read/Feed constraints in natural domain returned unsat :0 sat :2
[2022-05-17 13:41:53] [INFO ] After 194ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :2
Attempting to minimize the solution found.
Minimization took 77 ms.
[2022-05-17 13:41:53] [INFO ] After 798ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :2
Parikh walk visited 0 properties in 3 ms.
Support contains 15 out of 809 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 809/809 places, 3029/3029 transitions.
Discarding 2 places :
Symmetric choice reduction at 0 with 2 rule applications. Total rules 2 place count 807 transition count 3013
Iterating global reduction 0 with 2 rules applied. Total rules applied 4 place count 807 transition count 3013
Ensure Unique test removed 16 transitions
Reduce isomorphic transitions removed 16 transitions.
Iterating post reduction 0 with 16 rules applied. Total rules applied 20 place count 807 transition count 2997
Applied a total of 20 rules in 681 ms. Remains 807 /809 variables (removed 2) and now considering 2997/3029 (removed 32) transitions.
Finished structural reductions, in 1 iterations. Remains : 807/809 places, 2997/3029 transitions.
Incomplete random walk after 10000 steps, including 112 resets, run finished after 292 ms. (steps per millisecond=34 ) properties (out of 2) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 74 ms. (steps per millisecond=135 ) properties (out of 2) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=144 ) properties (out of 2) seen :0
Interrupted probabilistic random walk after 68665 steps, run timeout after 3001 ms. (steps per millisecond=22 ) properties seen :{}
Probabilistic random walk after 68665 steps, saw 35743 distinct states, run finished after 3007 ms. (steps per millisecond=22 ) properties seen :0
Running SMT prover for 2 properties.
[2022-05-17 13:41:57] [INFO ] Flow matrix only has 407 transitions (discarded 2590 similar events)
// Phase 1: matrix 407 rows 807 cols
[2022-05-17 13:41:57] [INFO ] Computed 400 place invariants in 11 ms
[2022-05-17 13:41:57] [INFO ] [Real]Absence check using 400 positive place invariants in 54 ms returned sat
[2022-05-17 13:41:57] [INFO ] After 487ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:2
[2022-05-17 13:41:57] [INFO ] [Nat]Absence check using 400 positive place invariants in 49 ms returned sat
[2022-05-17 13:41:58] [INFO ] After 294ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :2
[2022-05-17 13:41:58] [INFO ] State equation strengthened by 399 read => feed constraints.
[2022-05-17 13:41:58] [INFO ] After 89ms SMT Verify possible using 399 Read/Feed constraints in natural domain returned unsat :0 sat :2
[2022-05-17 13:41:58] [INFO ] After 186ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :2
Attempting to minimize the solution found.
Minimization took 59 ms.
[2022-05-17 13:41:58] [INFO ] After 749ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :2
Parikh walk visited 0 properties in 2 ms.
Support contains 15 out of 807 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 807/807 places, 2997/2997 transitions.
Applied a total of 0 rules in 647 ms. Remains 807 /807 variables (removed 0) and now considering 2997/2997 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 807/807 places, 2997/2997 transitions.
Starting structural reductions in SAFETY mode, iteration 0 : 807/807 places, 2997/2997 transitions.
Applied a total of 0 rules in 552 ms. Remains 807 /807 variables (removed 0) and now considering 2997/2997 (removed 0) transitions.
[2022-05-17 13:41:59] [INFO ] Flow matrix only has 407 transitions (discarded 2590 similar events)
// Phase 1: matrix 407 rows 807 cols
[2022-05-17 13:41:59] [INFO ] Computed 400 place invariants in 8 ms
[2022-05-17 13:42:00] [INFO ] Implicit Places using invariants in 589 ms returned []
[2022-05-17 13:42:00] [INFO ] Flow matrix only has 407 transitions (discarded 2590 similar events)
// Phase 1: matrix 407 rows 807 cols
[2022-05-17 13:42:00] [INFO ] Computed 400 place invariants in 4 ms
[2022-05-17 13:42:00] [INFO ] State equation strengthened by 399 read => feed constraints.
[2022-05-17 13:42:02] [INFO ] Implicit Places using invariants and state equation in 2054 ms returned []
Implicit Place search using SMT with State Equation took 2663 ms to find 0 implicit places.
[2022-05-17 13:42:02] [INFO ] Redundant transitions in 168 ms returned []
[2022-05-17 13:42:02] [INFO ] Flow matrix only has 407 transitions (discarded 2590 similar events)
// Phase 1: matrix 407 rows 807 cols
[2022-05-17 13:42:02] [INFO ] Computed 400 place invariants in 9 ms
[2022-05-17 13:42:03] [INFO ] Dead Transitions using invariants and state equation in 978 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 807/807 places, 2997/2997 transitions.
Graph (complete) has 805 edges and 807 vertex of which 22 are kept as prefixes of interest. Removing 785 places using SCC suffix rule.7 ms
Discarding 785 places :
Also discarding 2838 output transitions
Drop transitions removed 2838 transitions
Drop transitions removed 50 transitions
Ensure Unique test removed 94 transitions
Reduce isomorphic transitions removed 144 transitions.
Iterating post reduction 0 with 144 rules applied. Total rules applied 145 place count 22 transition count 15
Applied a total of 145 rules in 13 ms. Remains 22 /807 variables (removed 785) and now considering 15/2997 (removed 2982) transitions.
Running SMT prover for 2 properties.
// Phase 1: matrix 15 rows 22 cols
[2022-05-17 13:42:03] [INFO ] Computed 7 place invariants in 0 ms
[2022-05-17 13:42:03] [INFO ] [Real]Absence check using 7 positive place invariants in 2 ms returned sat
[2022-05-17 13:42:03] [INFO ] After 8ms SMT Verify possible using state equation in real domain returned unsat :0 sat :1 real:1
[2022-05-17 13:42:03] [INFO ] After 12ms SMT Verify possible using trap constraints in real domain returned unsat :0 sat :0 real:2
[2022-05-17 13:42:03] [INFO ] After 39ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:2
[2022-05-17 13:42:03] [INFO ] [Nat]Absence check using 7 positive place invariants in 1 ms returned sat
[2022-05-17 13:42:03] [INFO ] After 8ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :2
[2022-05-17 13:42:03] [INFO ] After 13ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :2
Attempting to minimize the solution found.
Minimization took 16 ms.
[2022-05-17 13:42:03] [INFO ] After 58ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :2
[2022-05-17 13:42:03] [INFO ] Flatten gal took : 2 ms
[2022-05-17 13:42:03] [INFO ] Flatten gal took : 1 ms
[2022-05-17 13:42:03] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality1138137322396285381.gal : 1 ms
[2022-05-17 13:42:03] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality10413478566000563822.prop : 0 ms
Invoking ITS tools like this :cd /tmp/redAtoms5638655755326456137;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality1138137322396285381.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality10413478566000563822.prop' '--nowitness' '--gen-order' 'FOLLOW'
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp...320
Loading property file /tmp/ReachabilityCardinality10413478566000563822.prop.
SDD proceeding with computation,2 properties remain. new max is 4
SDD size :1 after 16
Reachability property AtomicPropp32 is true.
SDD proceeding with computation,1 properties remain. new max is 4
SDD size :16 after 512
Reachability property AtomicPropp72 is true.
Found states matching all0 target predicate
Will report total states built up to this point. Computation was interrupted after 5 fixpoint passes
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
petri\_inst\_inst,16384,0.020028,3808,2,31,9,440,6,0,62,116,0
Total reachable state count : 16384
Verifying 2 reachability properties.
Reachability property AtomicPropp32 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
AtomicPropp32,1024,0.033203,3808,2,29,9,440,7,0,74,116,0
Reachability property AtomicPropp72 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
AtomicPropp72,144,0.036698,4048,2,29,9,440,8,0,102,116,0
Successfully simplified 8 atomic propositions for a total of 16 simplifications.
[2022-05-17 13:42:04] [INFO ] Flatten gal took : 189 ms
[2022-05-17 13:42:04] [INFO ] Flatten gal took : 229 ms
[2022-05-17 13:42:04] [INFO ] Input system was already deterministic with 5005 transitions.
Support contains 227 out of 925 places (down from 229) after GAL structural reductions.
Computed a total of 925 stabilizing places and 5005 stable transitions
Complete graph has no SCC; deadlocks are unavoidable. place count 925 transition count 5005
Detected that all paths lead to deadlock. Applying this knowledge to assert that all AP eventually converge (and all enablings converge to false).
Starting structural reductions in SI_CTL mode, iteration 0 : 925/925 places, 5005/5005 transitions.
Discarding 122 places :
Symmetric choice reduction at 0 with 122 rule applications. Total rules 122 place count 803 transition count 3840
Iterating global reduction 0 with 122 rules applied. Total rules applied 244 place count 803 transition count 3840
Ensure Unique test removed 891 transitions
Reduce isomorphic transitions removed 891 transitions.
Iterating post reduction 0 with 891 rules applied. Total rules applied 1135 place count 803 transition count 2949
Applied a total of 1135 rules in 973 ms. Remains 803 /925 variables (removed 122) and now considering 2949/5005 (removed 2056) transitions.
[2022-05-17 13:42:05] [INFO ] Flow matrix only has 403 transitions (discarded 2546 similar events)
// Phase 1: matrix 403 rows 803 cols
[2022-05-17 13:42:05] [INFO ] Computed 400 place invariants in 7 ms
[2022-05-17 13:42:06] [INFO ] Dead Transitions using invariants and state equation in 1065 ms found 0 transitions.
[2022-05-17 13:42:06] [INFO ] Flow matrix only has 403 transitions (discarded 2546 similar events)
// Phase 1: matrix 403 rows 803 cols
[2022-05-17 13:42:06] [INFO ] Computed 400 place invariants in 4 ms
[2022-05-17 13:42:07] [INFO ] Implicit Places using invariants in 596 ms returned []
[2022-05-17 13:42:07] [INFO ] Flow matrix only has 403 transitions (discarded 2546 similar events)
// Phase 1: matrix 403 rows 803 cols
[2022-05-17 13:42:07] [INFO ] Computed 400 place invariants in 5 ms
[2022-05-17 13:42:07] [INFO ] State equation strengthened by 395 read => feed constraints.
[2022-05-17 13:42:09] [INFO ] Implicit Places using invariants and state equation in 2153 ms returned []
Implicit Place search using SMT with State Equation took 2757 ms to find 0 implicit places.
[2022-05-17 13:42:09] [INFO ] Redundant transitions in 146 ms returned []
[2022-05-17 13:42:09] [INFO ] Flow matrix only has 403 transitions (discarded 2546 similar events)
// Phase 1: matrix 403 rows 803 cols
[2022-05-17 13:42:09] [INFO ] Computed 400 place invariants in 8 ms
[2022-05-17 13:42:10] [INFO ] Dead Transitions using invariants and state equation in 961 ms found 0 transitions.
Starting structural reductions in SI_CTL mode, iteration 1 : 803/925 places, 2949/5005 transitions.
Finished structural reductions, in 1 iterations. Remains : 803/925 places, 2949/5005 transitions.
[2022-05-17 13:42:10] [INFO ] Flatten gal took : 96 ms
[2022-05-17 13:42:10] [INFO ] Flatten gal took : 102 ms
[2022-05-17 13:42:10] [INFO ] Input system was already deterministic with 2949 transitions.
[2022-05-17 13:42:11] [INFO ] Flatten gal took : 100 ms
[2022-05-17 13:42:11] [INFO ] Flatten gal took : 100 ms
[2022-05-17 13:42:11] [INFO ] Time to serialize gal into /tmp/CTLFireability12900606544792645744.gal : 43 ms
[2022-05-17 13:42:11] [INFO ] Time to serialize properties into /tmp/CTLFireability11858496210882596912.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/CTLFireability12900606544792645744.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability11858496210882596912.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-17 13:42:41] [INFO ] Flatten gal took : 125 ms
[2022-05-17 13:42:41] [INFO ] Applying decomposition
[2022-05-17 13:42:41] [INFO ] Flatten gal took : 106 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/graph5234158366059947275.txt' '-o' '/tmp/graph5234158366059947275.bin' '-w' '/tmp/graph5234158366059947275.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph5234158366059947275.bin' '-l' '-1' '-v' '-w' '/tmp/graph5234158366059947275.weights' '-q' '0' '-e' '0.001'
[2022-05-17 13:42:41] [INFO ] Decomposing Gal with order
[2022-05-17 13:42:41] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-17 13:42:42] [INFO ] Removed a total of 8031 redundant transitions.
[2022-05-17 13:42:42] [INFO ] Flatten gal took : 262 ms
[2022-05-17 13:42:42] [INFO ] Fuse similar labels procedure discarded/fused a total of 33 labels/synchronizations in 96 ms.
[2022-05-17 13:42:42] [INFO ] Time to serialize gal into /tmp/CTLFireability15168285590839277854.gal : 17 ms
[2022-05-17 13:42:42] [INFO ] Time to serialize properties into /tmp/CTLFireability17638622209284470280.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/CTLFireability15168285590839277854.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability17638622209284470280.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 : 925/925 places, 5005/5005 transitions.
Discarding 112 places :
Symmetric choice reduction at 0 with 112 rule applications. Total rules 112 place count 813 transition count 3932
Iterating global reduction 0 with 112 rules applied. Total rules applied 224 place count 813 transition count 3932
Ensure Unique test removed 855 transitions
Reduce isomorphic transitions removed 855 transitions.
Iterating post reduction 0 with 855 rules applied. Total rules applied 1079 place count 813 transition count 3077
Applied a total of 1079 rules in 58 ms. Remains 813 /925 variables (removed 112) and now considering 3077/5005 (removed 1928) transitions.
[2022-05-17 13:43:12] [INFO ] Flow matrix only has 413 transitions (discarded 2664 similar events)
// Phase 1: matrix 413 rows 813 cols
[2022-05-17 13:43:12] [INFO ] Computed 400 place invariants in 4 ms
[2022-05-17 13:43:13] [INFO ] Dead Transitions using invariants and state equation in 1065 ms found 0 transitions.
[2022-05-17 13:43:13] [INFO ] Flow matrix only has 413 transitions (discarded 2664 similar events)
// Phase 1: matrix 413 rows 813 cols
[2022-05-17 13:43:13] [INFO ] Computed 400 place invariants in 6 ms
[2022-05-17 13:43:14] [INFO ] Implicit Places using invariants in 587 ms returned []
[2022-05-17 13:43:14] [INFO ] Flow matrix only has 413 transitions (discarded 2664 similar events)
// Phase 1: matrix 413 rows 813 cols
[2022-05-17 13:43:14] [INFO ] Computed 400 place invariants in 4 ms
[2022-05-17 13:43:14] [INFO ] State equation strengthened by 403 read => feed constraints.
[2022-05-17 13:43:16] [INFO ] Implicit Places using invariants and state equation in 2127 ms returned []
Implicit Place search using SMT with State Equation took 2728 ms to find 0 implicit places.
[2022-05-17 13:43:16] [INFO ] Flow matrix only has 413 transitions (discarded 2664 similar events)
// Phase 1: matrix 413 rows 813 cols
[2022-05-17 13:43:16] [INFO ] Computed 400 place invariants in 4 ms
[2022-05-17 13:43:17] [INFO ] Dead Transitions using invariants and state equation in 1024 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 813/925 places, 3077/5005 transitions.
Finished structural reductions, in 1 iterations. Remains : 813/925 places, 3077/5005 transitions.
[2022-05-17 13:43:17] [INFO ] Flatten gal took : 97 ms
[2022-05-17 13:43:17] [INFO ] Flatten gal took : 106 ms
[2022-05-17 13:43:17] [INFO ] Input system was already deterministic with 3077 transitions.
[2022-05-17 13:43:18] [INFO ] Flatten gal took : 105 ms
[2022-05-17 13:43:18] [INFO ] Flatten gal took : 107 ms
[2022-05-17 13:43:18] [INFO ] Time to serialize gal into /tmp/CTLFireability9221733018620022896.gal : 13 ms
[2022-05-17 13:43:18] [INFO ] Time to serialize properties into /tmp/CTLFireability17140801152935026522.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/CTLFireability9221733018620022896.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability17140801152935026522.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-17 13:43:48] [INFO ] Flatten gal took : 128 ms
[2022-05-17 13:43:48] [INFO ] Applying decomposition
[2022-05-17 13:43:48] [INFO ] Flatten gal took : 101 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/graph15077103385724959481.txt' '-o' '/tmp/graph15077103385724959481.bin' '-w' '/tmp/graph15077103385724959481.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph15077103385724959481.bin' '-l' '-1' '-v' '-w' '/tmp/graph15077103385724959481.weights' '-q' '0' '-e' '0.001'
[2022-05-17 13:43:48] [INFO ] Decomposing Gal with order
[2022-05-17 13:43:48] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-17 13:43:48] [INFO ] Removed a total of 8393 redundant transitions.
[2022-05-17 13:43:49] [INFO ] Flatten gal took : 170 ms
[2022-05-17 13:43:49] [INFO ] Fuse similar labels procedure discarded/fused a total of 114 labels/synchronizations in 89 ms.
[2022-05-17 13:43:49] [INFO ] Time to serialize gal into /tmp/CTLFireability15498899594261380160.gal : 12 ms
[2022-05-17 13:43:49] [INFO ] Time to serialize properties into /tmp/CTLFireability13960000104612283631.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/CTLFireability15498899594261380160.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability13960000104612283631.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 : 925/925 places, 5005/5005 transitions.
Discarding 108 places :
Symmetric choice reduction at 0 with 108 rule applications. Total rules 108 place count 817 transition count 3975
Iterating global reduction 0 with 108 rules applied. Total rules applied 216 place count 817 transition count 3975
Ensure Unique test removed 820 transitions
Reduce isomorphic transitions removed 820 transitions.
Iterating post reduction 0 with 820 rules applied. Total rules applied 1036 place count 817 transition count 3155
Applied a total of 1036 rules in 57 ms. Remains 817 /925 variables (removed 108) and now considering 3155/5005 (removed 1850) transitions.
[2022-05-17 13:44:19] [INFO ] Flow matrix only has 417 transitions (discarded 2738 similar events)
// Phase 1: matrix 417 rows 817 cols
[2022-05-17 13:44:19] [INFO ] Computed 400 place invariants in 7 ms
[2022-05-17 13:44:20] [INFO ] Dead Transitions using invariants and state equation in 1117 ms found 0 transitions.
[2022-05-17 13:44:20] [INFO ] Flow matrix only has 417 transitions (discarded 2738 similar events)
// Phase 1: matrix 417 rows 817 cols
[2022-05-17 13:44:20] [INFO ] Computed 400 place invariants in 9 ms
[2022-05-17 13:44:21] [INFO ] Implicit Places using invariants in 632 ms returned []
[2022-05-17 13:44:21] [INFO ] Flow matrix only has 417 transitions (discarded 2738 similar events)
// Phase 1: matrix 417 rows 817 cols
[2022-05-17 13:44:21] [INFO ] Computed 400 place invariants in 9 ms
[2022-05-17 13:44:21] [INFO ] State equation strengthened by 408 read => feed constraints.
[2022-05-17 13:44:23] [INFO ] Implicit Places using invariants and state equation in 2157 ms returned []
Implicit Place search using SMT with State Equation took 2791 ms to find 0 implicit places.
[2022-05-17 13:44:23] [INFO ] Flow matrix only has 417 transitions (discarded 2738 similar events)
// Phase 1: matrix 417 rows 817 cols
[2022-05-17 13:44:23] [INFO ] Computed 400 place invariants in 6 ms
[2022-05-17 13:44:24] [INFO ] Dead Transitions using invariants and state equation in 1004 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 817/925 places, 3155/5005 transitions.
Finished structural reductions, in 1 iterations. Remains : 817/925 places, 3155/5005 transitions.
[2022-05-17 13:44:24] [INFO ] Flatten gal took : 127 ms
[2022-05-17 13:44:24] [INFO ] Flatten gal took : 104 ms
[2022-05-17 13:44:24] [INFO ] Input system was already deterministic with 3155 transitions.
[2022-05-17 13:44:24] [INFO ] Flatten gal took : 106 ms
[2022-05-17 13:44:24] [INFO ] Flatten gal took : 110 ms
[2022-05-17 13:44:24] [INFO ] Time to serialize gal into /tmp/CTLFireability18176218083758135180.gal : 19 ms
[2022-05-17 13:44:24] [INFO ] Time to serialize properties into /tmp/CTLFireability6199573868189140876.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/CTLFireability18176218083758135180.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability6199573868189140876.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-17 13:44:55] [INFO ] Flatten gal took : 104 ms
[2022-05-17 13:44:55] [INFO ] Applying decomposition
[2022-05-17 13:44:55] [INFO ] Flatten gal took : 153 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/graph279421072667360607.txt' '-o' '/tmp/graph279421072667360607.bin' '-w' '/tmp/graph279421072667360607.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph279421072667360607.bin' '-l' '-1' '-v' '-w' '/tmp/graph279421072667360607.weights' '-q' '0' '-e' '0.001'
[2022-05-17 13:44:55] [INFO ] Decomposing Gal with order
[2022-05-17 13:44:55] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-17 13:44:55] [INFO ] Removed a total of 8620 redundant transitions.
[2022-05-17 13:44:55] [INFO ] Flatten gal took : 194 ms
[2022-05-17 13:44:55] [INFO ] Fuse similar labels procedure discarded/fused a total of 147 labels/synchronizations in 60 ms.
[2022-05-17 13:44:55] [INFO ] Time to serialize gal into /tmp/CTLFireability6349149823426107069.gal : 11 ms
[2022-05-17 13:44:55] [INFO ] Time to serialize properties into /tmp/CTLFireability13841258956770513300.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/CTLFireability6349149823426107069.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability13841258956770513300.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 : 925/925 places, 5005/5005 transitions.
Discarding 121 places :
Symmetric choice reduction at 0 with 121 rule applications. Total rules 121 place count 804 transition count 3850
Iterating global reduction 0 with 121 rules applied. Total rules applied 242 place count 804 transition count 3850
Ensure Unique test removed 891 transitions
Reduce isomorphic transitions removed 891 transitions.
Iterating post reduction 0 with 891 rules applied. Total rules applied 1133 place count 804 transition count 2959
Applied a total of 1133 rules in 61 ms. Remains 804 /925 variables (removed 121) and now considering 2959/5005 (removed 2046) transitions.
[2022-05-17 13:45:25] [INFO ] Flow matrix only has 404 transitions (discarded 2555 similar events)
// Phase 1: matrix 404 rows 804 cols
[2022-05-17 13:45:25] [INFO ] Computed 400 place invariants in 9 ms
[2022-05-17 13:45:26] [INFO ] Dead Transitions using invariants and state equation in 1034 ms found 0 transitions.
[2022-05-17 13:45:26] [INFO ] Flow matrix only has 404 transitions (discarded 2555 similar events)
// Phase 1: matrix 404 rows 804 cols
[2022-05-17 13:45:26] [INFO ] Computed 400 place invariants in 4 ms
[2022-05-17 13:45:27] [INFO ] Implicit Places using invariants in 588 ms returned []
[2022-05-17 13:45:27] [INFO ] Flow matrix only has 404 transitions (discarded 2555 similar events)
// Phase 1: matrix 404 rows 804 cols
[2022-05-17 13:45:27] [INFO ] Computed 400 place invariants in 10 ms
[2022-05-17 13:45:27] [INFO ] State equation strengthened by 396 read => feed constraints.
[2022-05-17 13:45:29] [INFO ] Implicit Places using invariants and state equation in 2047 ms returned []
Implicit Place search using SMT with State Equation took 2639 ms to find 0 implicit places.
[2022-05-17 13:45:29] [INFO ] Flow matrix only has 404 transitions (discarded 2555 similar events)
// Phase 1: matrix 404 rows 804 cols
[2022-05-17 13:45:29] [INFO ] Computed 400 place invariants in 3 ms
[2022-05-17 13:45:30] [INFO ] Dead Transitions using invariants and state equation in 972 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 804/925 places, 2959/5005 transitions.
Finished structural reductions, in 1 iterations. Remains : 804/925 places, 2959/5005 transitions.
[2022-05-17 13:45:30] [INFO ] Flatten gal took : 99 ms
[2022-05-17 13:45:30] [INFO ] Flatten gal took : 130 ms
[2022-05-17 13:45:31] [INFO ] Input system was already deterministic with 2959 transitions.
[2022-05-17 13:45:31] [INFO ] Flatten gal took : 108 ms
[2022-05-17 13:45:31] [INFO ] Flatten gal took : 106 ms
[2022-05-17 13:45:31] [INFO ] Time to serialize gal into /tmp/CTLFireability939313893612208367.gal : 10 ms
[2022-05-17 13:45:31] [INFO ] Time to serialize properties into /tmp/CTLFireability10853602412311129975.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/CTLFireability939313893612208367.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability10853602412311129975.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-17 13:46:01] [INFO ] Flatten gal took : 96 ms
[2022-05-17 13:46:01] [INFO ] Applying decomposition
[2022-05-17 13:46:01] [INFO ] Flatten gal took : 99 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/graph17474183999474563300.txt' '-o' '/tmp/graph17474183999474563300.bin' '-w' '/tmp/graph17474183999474563300.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph17474183999474563300.bin' '-l' '-1' '-v' '-w' '/tmp/graph17474183999474563300.weights' '-q' '0' '-e' '0.001'
[2022-05-17 13:46:01] [INFO ] Decomposing Gal with order
[2022-05-17 13:46:01] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-17 13:46:01] [INFO ] Removed a total of 8059 redundant transitions.
[2022-05-17 13:46:01] [INFO ] Flatten gal took : 143 ms
[2022-05-17 13:46:02] [INFO ] Fuse similar labels procedure discarded/fused a total of 46 labels/synchronizations in 56 ms.
[2022-05-17 13:46:02] [INFO ] Time to serialize gal into /tmp/CTLFireability13949324119406013803.gal : 12 ms
[2022-05-17 13:46:02] [INFO ] Time to serialize properties into /tmp/CTLFireability4350543943137016821.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/CTLFireability13949324119406013803.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability4350543943137016821.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 : 925/925 places, 5005/5005 transitions.
Discarding 120 places :
Symmetric choice reduction at 0 with 120 rule applications. Total rules 120 place count 805 transition count 3856
Iterating global reduction 0 with 120 rules applied. Total rules applied 240 place count 805 transition count 3856
Ensure Unique test removed 881 transitions
Reduce isomorphic transitions removed 881 transitions.
Iterating post reduction 0 with 881 rules applied. Total rules applied 1121 place count 805 transition count 2975
Applied a total of 1121 rules in 62 ms. Remains 805 /925 variables (removed 120) and now considering 2975/5005 (removed 2030) transitions.
[2022-05-17 13:46:32] [INFO ] Flow matrix only has 405 transitions (discarded 2570 similar events)
// Phase 1: matrix 405 rows 805 cols
[2022-05-17 13:46:32] [INFO ] Computed 400 place invariants in 4 ms
[2022-05-17 13:46:33] [INFO ] Dead Transitions using invariants and state equation in 961 ms found 0 transitions.
[2022-05-17 13:46:33] [INFO ] Flow matrix only has 405 transitions (discarded 2570 similar events)
// Phase 1: matrix 405 rows 805 cols
[2022-05-17 13:46:33] [INFO ] Computed 400 place invariants in 4 ms
[2022-05-17 13:46:33] [INFO ] Implicit Places using invariants in 611 ms returned []
[2022-05-17 13:46:33] [INFO ] Flow matrix only has 405 transitions (discarded 2570 similar events)
// Phase 1: matrix 405 rows 805 cols
[2022-05-17 13:46:33] [INFO ] Computed 400 place invariants in 4 ms
[2022-05-17 13:46:34] [INFO ] State equation strengthened by 397 read => feed constraints.
[2022-05-17 13:46:35] [INFO ] Implicit Places using invariants and state equation in 2079 ms returned []
Implicit Place search using SMT with State Equation took 2691 ms to find 0 implicit places.
[2022-05-17 13:46:35] [INFO ] Flow matrix only has 405 transitions (discarded 2570 similar events)
// Phase 1: matrix 405 rows 805 cols
[2022-05-17 13:46:35] [INFO ] Computed 400 place invariants in 3 ms
[2022-05-17 13:46:36] [INFO ] Dead Transitions using invariants and state equation in 957 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 805/925 places, 2975/5005 transitions.
Finished structural reductions, in 1 iterations. Remains : 805/925 places, 2975/5005 transitions.
[2022-05-17 13:46:36] [INFO ] Flatten gal took : 108 ms
[2022-05-17 13:46:37] [INFO ] Flatten gal took : 99 ms
[2022-05-17 13:46:37] [INFO ] Input system was already deterministic with 2975 transitions.
[2022-05-17 13:46:37] [INFO ] Flatten gal took : 95 ms
[2022-05-17 13:46:37] [INFO ] Flatten gal took : 95 ms
[2022-05-17 13:46:37] [INFO ] Time to serialize gal into /tmp/CTLFireability7660381086160222192.gal : 8 ms
[2022-05-17 13:46:37] [INFO ] Time to serialize properties into /tmp/CTLFireability8925010509313216150.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/CTLFireability7660381086160222192.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability8925010509313216150.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-17 13:47:07] [INFO ] Flatten gal took : 96 ms
[2022-05-17 13:47:07] [INFO ] Applying decomposition
[2022-05-17 13:47:07] [INFO ] Flatten gal took : 98 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/graph1939087307365333592.txt' '-o' '/tmp/graph1939087307365333592.bin' '-w' '/tmp/graph1939087307365333592.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph1939087307365333592.bin' '-l' '-1' '-v' '-w' '/tmp/graph1939087307365333592.weights' '-q' '0' '-e' '0.001'
[2022-05-17 13:47:07] [INFO ] Decomposing Gal with order
[2022-05-17 13:47:07] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-17 13:47:08] [INFO ] Removed a total of 8105 redundant transitions.
[2022-05-17 13:47:08] [INFO ] Flatten gal took : 163 ms
[2022-05-17 13:47:08] [INFO ] Fuse similar labels procedure discarded/fused a total of 42 labels/synchronizations in 28 ms.
[2022-05-17 13:47:08] [INFO ] Time to serialize gal into /tmp/CTLFireability3698901518095441183.gal : 9 ms
[2022-05-17 13:47:08] [INFO ] Time to serialize properties into /tmp/CTLFireability1386077126270933990.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/CTLFireability3698901518095441183.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability1386077126270933990.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 : 925/925 places, 5005/5005 transitions.
Discarding 114 places :
Symmetric choice reduction at 0 with 114 rule applications. Total rules 114 place count 811 transition count 3909
Iterating global reduction 0 with 114 rules applied. Total rules applied 228 place count 811 transition count 3909
Ensure Unique test removed 853 transitions
Reduce isomorphic transitions removed 853 transitions.
Iterating post reduction 0 with 853 rules applied. Total rules applied 1081 place count 811 transition count 3056
Applied a total of 1081 rules in 50 ms. Remains 811 /925 variables (removed 114) and now considering 3056/5005 (removed 1949) transitions.
[2022-05-17 13:47:38] [INFO ] Flow matrix only has 411 transitions (discarded 2645 similar events)
// Phase 1: matrix 411 rows 811 cols
[2022-05-17 13:47:38] [INFO ] Computed 400 place invariants in 11 ms
[2022-05-17 13:47:39] [INFO ] Dead Transitions using invariants and state equation in 972 ms found 0 transitions.
[2022-05-17 13:47:39] [INFO ] Flow matrix only has 411 transitions (discarded 2645 similar events)
// Phase 1: matrix 411 rows 811 cols
[2022-05-17 13:47:39] [INFO ] Computed 400 place invariants in 4 ms
[2022-05-17 13:47:39] [INFO ] Implicit Places using invariants in 582 ms returned []
[2022-05-17 13:47:39] [INFO ] Flow matrix only has 411 transitions (discarded 2645 similar events)
// Phase 1: matrix 411 rows 811 cols
[2022-05-17 13:47:39] [INFO ] Computed 400 place invariants in 6 ms
[2022-05-17 13:47:40] [INFO ] State equation strengthened by 402 read => feed constraints.
[2022-05-17 13:47:41] [INFO ] Implicit Places using invariants and state equation in 2150 ms returned []
Implicit Place search using SMT with State Equation took 2735 ms to find 0 implicit places.
[2022-05-17 13:47:41] [INFO ] Flow matrix only has 411 transitions (discarded 2645 similar events)
// Phase 1: matrix 411 rows 811 cols
[2022-05-17 13:47:42] [INFO ] Computed 400 place invariants in 5 ms
[2022-05-17 13:47:43] [INFO ] Dead Transitions using invariants and state equation in 1036 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 811/925 places, 3056/5005 transitions.
Finished structural reductions, in 1 iterations. Remains : 811/925 places, 3056/5005 transitions.
[2022-05-17 13:47:43] [INFO ] Flatten gal took : 104 ms
[2022-05-17 13:47:43] [INFO ] Flatten gal took : 117 ms
[2022-05-17 13:47:43] [INFO ] Input system was already deterministic with 3056 transitions.
[2022-05-17 13:47:43] [INFO ] Flatten gal took : 127 ms
[2022-05-17 13:47:43] [INFO ] Flatten gal took : 107 ms
[2022-05-17 13:47:43] [INFO ] Time to serialize gal into /tmp/CTLFireability1291590857971040344.gal : 10 ms
[2022-05-17 13:47:43] [INFO ] Time to serialize properties into /tmp/CTLFireability2485964379501198437.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/CTLFireability1291590857971040344.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability2485964379501198437.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-17 13:48:13] [INFO ] Flatten gal took : 108 ms
[2022-05-17 13:48:13] [INFO ] Applying decomposition
[2022-05-17 13:48:14] [INFO ] Flatten gal took : 109 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/graph8410486117411205405.txt' '-o' '/tmp/graph8410486117411205405.bin' '-w' '/tmp/graph8410486117411205405.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph8410486117411205405.bin' '-l' '-1' '-v' '-w' '/tmp/graph8410486117411205405.weights' '-q' '0' '-e' '0.001'
[2022-05-17 13:48:14] [INFO ] Decomposing Gal with order
[2022-05-17 13:48:14] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-17 13:48:14] [INFO ] Removed a total of 8323 redundant transitions.
[2022-05-17 13:48:14] [INFO ] Flatten gal took : 177 ms
[2022-05-17 13:48:14] [INFO ] Fuse similar labels procedure discarded/fused a total of 119 labels/synchronizations in 50 ms.
[2022-05-17 13:48:14] [INFO ] Time to serialize gal into /tmp/CTLFireability10908657518063807782.gal : 9 ms
[2022-05-17 13:48:14] [INFO ] Time to serialize properties into /tmp/CTLFireability9785297655372958925.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/CTLFireability10908657518063807782.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability9785297655372958925.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 : 925/925 places, 5005/5005 transitions.
Discarding 100 places :
Symmetric choice reduction at 0 with 100 rule applications. Total rules 100 place count 825 transition count 4063
Iterating global reduction 0 with 100 rules applied. Total rules applied 200 place count 825 transition count 4063
Ensure Unique test removed 756 transitions
Reduce isomorphic transitions removed 756 transitions.
Iterating post reduction 0 with 756 rules applied. Total rules applied 956 place count 825 transition count 3307
Applied a total of 956 rules in 44 ms. Remains 825 /925 variables (removed 100) and now considering 3307/5005 (removed 1698) transitions.
[2022-05-17 13:48:44] [INFO ] Flow matrix only has 425 transitions (discarded 2882 similar events)
// Phase 1: matrix 425 rows 825 cols
[2022-05-17 13:48:44] [INFO ] Computed 400 place invariants in 10 ms
[2022-05-17 13:48:45] [INFO ] Dead Transitions using invariants and state equation in 1071 ms found 0 transitions.
[2022-05-17 13:48:45] [INFO ] Flow matrix only has 425 transitions (discarded 2882 similar events)
// Phase 1: matrix 425 rows 825 cols
[2022-05-17 13:48:45] [INFO ] Computed 400 place invariants in 4 ms
[2022-05-17 13:48:46] [INFO ] Implicit Places using invariants in 585 ms returned []
[2022-05-17 13:48:46] [INFO ] Flow matrix only has 425 transitions (discarded 2882 similar events)
// Phase 1: matrix 425 rows 825 cols
[2022-05-17 13:48:46] [INFO ] Computed 400 place invariants in 4 ms
[2022-05-17 13:48:46] [INFO ] State equation strengthened by 417 read => feed constraints.
[2022-05-17 13:48:48] [INFO ] Implicit Places using invariants and state equation in 2190 ms returned []
Implicit Place search using SMT with State Equation took 2779 ms to find 0 implicit places.
[2022-05-17 13:48:48] [INFO ] Flow matrix only has 425 transitions (discarded 2882 similar events)
// Phase 1: matrix 425 rows 825 cols
[2022-05-17 13:48:48] [INFO ] Computed 400 place invariants in 4 ms
[2022-05-17 13:48:49] [INFO ] Dead Transitions using invariants and state equation in 1064 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 825/925 places, 3307/5005 transitions.
Finished structural reductions, in 1 iterations. Remains : 825/925 places, 3307/5005 transitions.
[2022-05-17 13:48:49] [INFO ] Flatten gal took : 100 ms
[2022-05-17 13:48:49] [INFO ] Flatten gal took : 117 ms
[2022-05-17 13:48:50] [INFO ] Input system was already deterministic with 3307 transitions.
[2022-05-17 13:48:50] [INFO ] Flatten gal took : 111 ms
[2022-05-17 13:48:50] [INFO ] Flatten gal took : 111 ms
[2022-05-17 13:48:50] [INFO ] Time to serialize gal into /tmp/CTLFireability17478605724930915091.gal : 9 ms
[2022-05-17 13:48:50] [INFO ] Time to serialize properties into /tmp/CTLFireability16343736182893917892.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/CTLFireability17478605724930915091.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability16343736182893917892.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-17 13:49:20] [INFO ] Flatten gal took : 106 ms
[2022-05-17 13:49:20] [INFO ] Applying decomposition
[2022-05-17 13:49:20] [INFO ] Flatten gal took : 107 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/graph11528150342260559769.txt' '-o' '/tmp/graph11528150342260559769.bin' '-w' '/tmp/graph11528150342260559769.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph11528150342260559769.bin' '-l' '-1' '-v' '-w' '/tmp/graph11528150342260559769.weights' '-q' '0' '-e' '0.001'
[2022-05-17 13:49:20] [INFO ] Decomposing Gal with order
[2022-05-17 13:49:20] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-17 13:49:21] [INFO ] Removed a total of 8963 redundant transitions.
[2022-05-17 13:49:21] [INFO ] Flatten gal took : 160 ms
[2022-05-17 13:49:21] [INFO ] Fuse similar labels procedure discarded/fused a total of 232 labels/synchronizations in 66 ms.
[2022-05-17 13:49:21] [INFO ] Time to serialize gal into /tmp/CTLFireability11744694544658002726.gal : 9 ms
[2022-05-17 13:49:21] [INFO ] Time to serialize properties into /tmp/CTLFireability5650830670745711898.ctl : 133 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/CTLFireability11744694544658002726.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability5650830670745711898.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 : 925/925 places, 5005/5005 transitions.
Discarding 119 places :
Symmetric choice reduction at 0 with 119 rule applications. Total rules 119 place count 806 transition count 3871
Iterating global reduction 0 with 119 rules applied. Total rules applied 238 place count 806 transition count 3871
Ensure Unique test removed 880 transitions
Reduce isomorphic transitions removed 880 transitions.
Iterating post reduction 0 with 880 rules applied. Total rules applied 1118 place count 806 transition count 2991
Applied a total of 1118 rules in 55 ms. Remains 806 /925 variables (removed 119) and now considering 2991/5005 (removed 2014) transitions.
[2022-05-17 13:49:51] [INFO ] Flow matrix only has 406 transitions (discarded 2585 similar events)
// Phase 1: matrix 406 rows 806 cols
[2022-05-17 13:49:51] [INFO ] Computed 400 place invariants in 9 ms
[2022-05-17 13:49:52] [INFO ] Dead Transitions using invariants and state equation in 985 ms found 0 transitions.
[2022-05-17 13:49:52] [INFO ] Flow matrix only has 406 transitions (discarded 2585 similar events)
// Phase 1: matrix 406 rows 806 cols
[2022-05-17 13:49:52] [INFO ] Computed 400 place invariants in 4 ms
[2022-05-17 13:49:52] [INFO ] Implicit Places using invariants in 582 ms returned []
[2022-05-17 13:49:52] [INFO ] Flow matrix only has 406 transitions (discarded 2585 similar events)
// Phase 1: matrix 406 rows 806 cols
[2022-05-17 13:49:52] [INFO ] Computed 400 place invariants in 3 ms
[2022-05-17 13:49:53] [INFO ] State equation strengthened by 398 read => feed constraints.
[2022-05-17 13:49:55] [INFO ] Implicit Places using invariants and state equation in 2126 ms returned []
Implicit Place search using SMT with State Equation took 2720 ms to find 0 implicit places.
[2022-05-17 13:49:55] [INFO ] Flow matrix only has 406 transitions (discarded 2585 similar events)
// Phase 1: matrix 406 rows 806 cols
[2022-05-17 13:49:55] [INFO ] Computed 400 place invariants in 4 ms
[2022-05-17 13:49:56] [INFO ] Dead Transitions using invariants and state equation in 969 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 806/925 places, 2991/5005 transitions.
Finished structural reductions, in 1 iterations. Remains : 806/925 places, 2991/5005 transitions.
[2022-05-17 13:49:56] [INFO ] Flatten gal took : 88 ms
[2022-05-17 13:49:56] [INFO ] Flatten gal took : 137 ms
[2022-05-17 13:49:56] [INFO ] Input system was already deterministic with 2991 transitions.
[2022-05-17 13:49:56] [INFO ] Flatten gal took : 98 ms
[2022-05-17 13:49:56] [INFO ] Flatten gal took : 97 ms
[2022-05-17 13:49:56] [INFO ] Time to serialize gal into /tmp/CTLFireability647693745657694574.gal : 8 ms
[2022-05-17 13:49:56] [INFO ] Time to serialize properties into /tmp/CTLFireability6715267454616223327.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/CTLFireability647693745657694574.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability6715267454616223327.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...273
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-05-17 13:50:26] [INFO ] Flatten gal took : 96 ms
[2022-05-17 13:50:26] [INFO ] Applying decomposition
[2022-05-17 13:50:26] [INFO ] Flatten gal took : 96 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/graph5978260682139438206.txt' '-o' '/tmp/graph5978260682139438206.bin' '-w' '/tmp/graph5978260682139438206.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph5978260682139438206.bin' '-l' '-1' '-v' '-w' '/tmp/graph5978260682139438206.weights' '-q' '0' '-e' '0.001'
[2022-05-17 13:50:27] [INFO ] Decomposing Gal with order
[2022-05-17 13:50:27] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-17 13:50:27] [INFO ] Removed a total of 8151 redundant transitions.
[2022-05-17 13:50:27] [INFO ] Flatten gal took : 137 ms
[2022-05-17 13:50:27] [INFO ] Fuse similar labels procedure discarded/fused a total of 53 labels/synchronizations in 41 ms.
[2022-05-17 13:50:27] [INFO ] Time to serialize gal into /tmp/CTLFireability5982405670590610618.gal : 9 ms
[2022-05-17 13:50:27] [INFO ] Time to serialize properties into /tmp/CTLFireability10189819248298805819.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/CTLFireability5982405670590610618.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability10189819248298805819.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 : 925/925 places, 5005/5005 transitions.
Discarding 119 places :
Symmetric choice reduction at 0 with 119 rule applications. Total rules 119 place count 806 transition count 3873
Iterating global reduction 0 with 119 rules applied. Total rules applied 238 place count 806 transition count 3873
Ensure Unique test removed 882 transitions
Reduce isomorphic transitions removed 882 transitions.
Iterating post reduction 0 with 882 rules applied. Total rules applied 1120 place count 806 transition count 2991
Applied a total of 1120 rules in 671 ms. Remains 806 /925 variables (removed 119) and now considering 2991/5005 (removed 2014) transitions.
[2022-05-17 13:50:58] [INFO ] Flow matrix only has 406 transitions (discarded 2585 similar events)
// Phase 1: matrix 406 rows 806 cols
[2022-05-17 13:50:58] [INFO ] Computed 400 place invariants in 5 ms
[2022-05-17 13:50:59] [INFO ] Dead Transitions using invariants and state equation in 987 ms found 0 transitions.
[2022-05-17 13:50:59] [INFO ] Flow matrix only has 406 transitions (discarded 2585 similar events)
// Phase 1: matrix 406 rows 806 cols
[2022-05-17 13:50:59] [INFO ] Computed 400 place invariants in 3 ms
[2022-05-17 13:50:59] [INFO ] Implicit Places using invariants in 562 ms returned []
[2022-05-17 13:50:59] [INFO ] Flow matrix only has 406 transitions (discarded 2585 similar events)
// Phase 1: matrix 406 rows 806 cols
[2022-05-17 13:50:59] [INFO ] Computed 400 place invariants in 3 ms
[2022-05-17 13:51:00] [INFO ] State equation strengthened by 398 read => feed constraints.
[2022-05-17 13:51:02] [INFO ] Implicit Places using invariants and state equation in 2447 ms returned []
Implicit Place search using SMT with State Equation took 3013 ms to find 0 implicit places.
[2022-05-17 13:51:02] [INFO ] Redundant transitions in 69 ms returned []
[2022-05-17 13:51:02] [INFO ] Flow matrix only has 406 transitions (discarded 2585 similar events)
// Phase 1: matrix 406 rows 806 cols
[2022-05-17 13:51:02] [INFO ] Computed 400 place invariants in 9 ms
[2022-05-17 13:51:03] [INFO ] Dead Transitions using invariants and state equation in 955 ms found 0 transitions.
Starting structural reductions in SI_CTL mode, iteration 1 : 806/925 places, 2991/5005 transitions.
Finished structural reductions, in 1 iterations. Remains : 806/925 places, 2991/5005 transitions.
[2022-05-17 13:51:03] [INFO ] Flatten gal took : 85 ms
[2022-05-17 13:51:03] [INFO ] Flatten gal took : 97 ms
[2022-05-17 13:51:03] [INFO ] Input system was already deterministic with 2991 transitions.
[2022-05-17 13:51:03] [INFO ] Flatten gal took : 114 ms
[2022-05-17 13:51:03] [INFO ] Flatten gal took : 94 ms
[2022-05-17 13:51:03] [INFO ] Time to serialize gal into /tmp/CTLFireability4372386184883688267.gal : 7 ms
[2022-05-17 13:51:03] [INFO ] Time to serialize properties into /tmp/CTLFireability11919832844368737539.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/CTLFireability4372386184883688267.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability11919832844368737539.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-17 13:51:33] [INFO ] Flatten gal took : 95 ms
[2022-05-17 13:51:33] [INFO ] Applying decomposition
[2022-05-17 13:51:34] [INFO ] Flatten gal took : 93 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/graph6688448917600162799.txt' '-o' '/tmp/graph6688448917600162799.bin' '-w' '/tmp/graph6688448917600162799.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph6688448917600162799.bin' '-l' '-1' '-v' '-w' '/tmp/graph6688448917600162799.weights' '-q' '0' '-e' '0.001'
[2022-05-17 13:51:34] [INFO ] Decomposing Gal with order
[2022-05-17 13:51:34] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-17 13:51:34] [INFO ] Removed a total of 8151 redundant transitions.
[2022-05-17 13:51:34] [INFO ] Flatten gal took : 128 ms
[2022-05-17 13:51:34] [INFO ] Fuse similar labels procedure discarded/fused a total of 46 labels/synchronizations in 25 ms.
[2022-05-17 13:51:34] [INFO ] Time to serialize gal into /tmp/CTLFireability8872380084813817281.gal : 7 ms
[2022-05-17 13:51:34] [INFO ] Time to serialize properties into /tmp/CTLFireability14713989268954031290.ctl : 84 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/CTLFireability8872380084813817281.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability14713989268954031290.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 : 925/925 places, 5005/5005 transitions.
Discarding 114 places :
Symmetric choice reduction at 0 with 114 rule applications. Total rules 114 place count 811 transition count 3921
Iterating global reduction 0 with 114 rules applied. Total rules applied 228 place count 811 transition count 3921
Ensure Unique test removed 844 transitions
Reduce isomorphic transitions removed 844 transitions.
Iterating post reduction 0 with 844 rules applied. Total rules applied 1072 place count 811 transition count 3077
Applied a total of 1072 rules in 62 ms. Remains 811 /925 variables (removed 114) and now considering 3077/5005 (removed 1928) transitions.
[2022-05-17 13:52:04] [INFO ] Flow matrix only has 411 transitions (discarded 2666 similar events)
// Phase 1: matrix 411 rows 811 cols
[2022-05-17 13:52:04] [INFO ] Computed 400 place invariants in 8 ms
[2022-05-17 13:52:05] [INFO ] Dead Transitions using invariants and state equation in 970 ms found 0 transitions.
[2022-05-17 13:52:05] [INFO ] Flow matrix only has 411 transitions (discarded 2666 similar events)
// Phase 1: matrix 411 rows 811 cols
[2022-05-17 13:52:05] [INFO ] Computed 400 place invariants in 9 ms
[2022-05-17 13:52:06] [INFO ] Implicit Places using invariants in 539 ms returned []
[2022-05-17 13:52:06] [INFO ] Flow matrix only has 411 transitions (discarded 2666 similar events)
// Phase 1: matrix 411 rows 811 cols
[2022-05-17 13:52:06] [INFO ] Computed 400 place invariants in 7 ms
[2022-05-17 13:52:06] [INFO ] State equation strengthened by 403 read => feed constraints.
[2022-05-17 13:52:08] [INFO ] Implicit Places using invariants and state equation in 2185 ms returned []
Implicit Place search using SMT with State Equation took 2728 ms to find 0 implicit places.
[2022-05-17 13:52:08] [INFO ] Flow matrix only has 411 transitions (discarded 2666 similar events)
// Phase 1: matrix 411 rows 811 cols
[2022-05-17 13:52:08] [INFO ] Computed 400 place invariants in 11 ms
[2022-05-17 13:52:09] [INFO ] Dead Transitions using invariants and state equation in 969 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 811/925 places, 3077/5005 transitions.
Finished structural reductions, in 1 iterations. Remains : 811/925 places, 3077/5005 transitions.
[2022-05-17 13:52:09] [INFO ] Flatten gal took : 90 ms
[2022-05-17 13:52:09] [INFO ] Flatten gal took : 98 ms
[2022-05-17 13:52:09] [INFO ] Input system was already deterministic with 3077 transitions.
[2022-05-17 13:52:09] [INFO ] Flatten gal took : 108 ms
[2022-05-17 13:52:09] [INFO ] Flatten gal took : 97 ms
[2022-05-17 13:52:10] [INFO ] Time to serialize gal into /tmp/CTLFireability5822472609592803248.gal : 16 ms
[2022-05-17 13:52:10] [INFO ] Time to serialize properties into /tmp/CTLFireability7214510495531206247.ctl : 79 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/CTLFireability5822472609592803248.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability7214510495531206247.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-17 13:52:40] [INFO ] Flatten gal took : 100 ms
[2022-05-17 13:52:40] [INFO ] Applying decomposition
[2022-05-17 13:52:40] [INFO ] Flatten gal took : 98 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/graph9679523897488333802.txt' '-o' '/tmp/graph9679523897488333802.bin' '-w' '/tmp/graph9679523897488333802.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph9679523897488333802.bin' '-l' '-1' '-v' '-w' '/tmp/graph9679523897488333802.weights' '-q' '0' '-e' '0.001'
[2022-05-17 13:52:40] [INFO ] Decomposing Gal with order
[2022-05-17 13:52:40] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-17 13:52:41] [INFO ] Removed a total of 8353 redundant transitions.
[2022-05-17 13:52:41] [INFO ] Flatten gal took : 137 ms
[2022-05-17 13:52:41] [INFO ] Fuse similar labels procedure discarded/fused a total of 86 labels/synchronizations in 38 ms.
[2022-05-17 13:52:41] [INFO ] Time to serialize gal into /tmp/CTLFireability13455861911314876170.gal : 8 ms
[2022-05-17 13:52:41] [INFO ] Time to serialize properties into /tmp/CTLFireability16671599482506445383.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/CTLFireability13455861911314876170.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability16671599482506445383.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 : 925/925 places, 5005/5005 transitions.
Discarding 121 places :
Symmetric choice reduction at 0 with 121 rule applications. Total rules 121 place count 804 transition count 3845
Iterating global reduction 0 with 121 rules applied. Total rules applied 242 place count 804 transition count 3845
Ensure Unique test removed 886 transitions
Reduce isomorphic transitions removed 886 transitions.
Iterating post reduction 0 with 886 rules applied. Total rules applied 1128 place count 804 transition count 2959
Applied a total of 1128 rules in 63 ms. Remains 804 /925 variables (removed 121) and now considering 2959/5005 (removed 2046) transitions.
[2022-05-17 13:53:11] [INFO ] Flow matrix only has 404 transitions (discarded 2555 similar events)
// Phase 1: matrix 404 rows 804 cols
[2022-05-17 13:53:11] [INFO ] Computed 400 place invariants in 3 ms
[2022-05-17 13:53:12] [INFO ] Dead Transitions using invariants and state equation in 952 ms found 0 transitions.
[2022-05-17 13:53:12] [INFO ] Flow matrix only has 404 transitions (discarded 2555 similar events)
// Phase 1: matrix 404 rows 804 cols
[2022-05-17 13:53:12] [INFO ] Computed 400 place invariants in 3 ms
[2022-05-17 13:53:12] [INFO ] Implicit Places using invariants in 589 ms returned []
[2022-05-17 13:53:12] [INFO ] Flow matrix only has 404 transitions (discarded 2555 similar events)
// Phase 1: matrix 404 rows 804 cols
[2022-05-17 13:53:12] [INFO ] Computed 400 place invariants in 6 ms
[2022-05-17 13:53:13] [INFO ] State equation strengthened by 396 read => feed constraints.
[2022-05-17 13:53:14] [INFO ] Implicit Places using invariants and state equation in 2040 ms returned []
Implicit Place search using SMT with State Equation took 2632 ms to find 0 implicit places.
[2022-05-17 13:53:14] [INFO ] Flow matrix only has 404 transitions (discarded 2555 similar events)
// Phase 1: matrix 404 rows 804 cols
[2022-05-17 13:53:14] [INFO ] Computed 400 place invariants in 4 ms
[2022-05-17 13:53:15] [INFO ] Dead Transitions using invariants and state equation in 932 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 804/925 places, 2959/5005 transitions.
Finished structural reductions, in 1 iterations. Remains : 804/925 places, 2959/5005 transitions.
[2022-05-17 13:53:15] [INFO ] Flatten gal took : 82 ms
[2022-05-17 13:53:16] [INFO ] Flatten gal took : 89 ms
[2022-05-17 13:53:16] [INFO ] Input system was already deterministic with 2959 transitions.
[2022-05-17 13:53:16] [INFO ] Flatten gal took : 86 ms
[2022-05-17 13:53:16] [INFO ] Flatten gal took : 86 ms
[2022-05-17 13:53:16] [INFO ] Time to serialize gal into /tmp/CTLFireability4490643461804855093.gal : 7 ms
[2022-05-17 13:53:16] [INFO ] Time to serialize properties into /tmp/CTLFireability12494567185111874556.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/CTLFireability4490643461804855093.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability12494567185111874556.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-17 13:53:46] [INFO ] Flatten gal took : 89 ms
[2022-05-17 13:53:46] [INFO ] Applying decomposition
[2022-05-17 13:53:46] [INFO ] Flatten gal took : 89 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/graph17980049190946468205.txt' '-o' '/tmp/graph17980049190946468205.bin' '-w' '/tmp/graph17980049190946468205.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph17980049190946468205.bin' '-l' '-1' '-v' '-w' '/tmp/graph17980049190946468205.weights' '-q' '0' '-e' '0.001'
[2022-05-17 13:53:46] [INFO ] Decomposing Gal with order
[2022-05-17 13:53:46] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-17 13:53:47] [INFO ] Removed a total of 8059 redundant transitions.
[2022-05-17 13:53:47] [INFO ] Flatten gal took : 126 ms
[2022-05-17 13:53:47] [INFO ] Fuse similar labels procedure discarded/fused a total of 34 labels/synchronizations in 24 ms.
[2022-05-17 13:53:47] [INFO ] Time to serialize gal into /tmp/CTLFireability12224393811858846169.gal : 7 ms
[2022-05-17 13:53:47] [INFO ] Time to serialize properties into /tmp/CTLFireability17887849219625027538.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/CTLFireability12224393811858846169.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability17887849219625027538.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 : 925/925 places, 5005/5005 transitions.
Discarding 124 places :
Symmetric choice reduction at 0 with 124 rule applications. Total rules 124 place count 801 transition count 3818
Iterating global reduction 0 with 124 rules applied. Total rules applied 248 place count 801 transition count 3818
Ensure Unique test removed 907 transitions
Reduce isomorphic transitions removed 907 transitions.
Iterating post reduction 0 with 907 rules applied. Total rules applied 1155 place count 801 transition count 2911
Applied a total of 1155 rules in 614 ms. Remains 801 /925 variables (removed 124) and now considering 2911/5005 (removed 2094) transitions.
[2022-05-17 13:54:17] [INFO ] Flow matrix only has 401 transitions (discarded 2510 similar events)
// Phase 1: matrix 401 rows 801 cols
[2022-05-17 13:54:17] [INFO ] Computed 400 place invariants in 7 ms
[2022-05-17 13:54:18] [INFO ] Dead Transitions using invariants and state equation in 926 ms found 0 transitions.
[2022-05-17 13:54:18] [INFO ] Flow matrix only has 401 transitions (discarded 2510 similar events)
// Phase 1: matrix 401 rows 801 cols
[2022-05-17 13:54:18] [INFO ] Computed 400 place invariants in 3 ms
[2022-05-17 13:54:19] [INFO ] Implicit Places using invariants in 527 ms returned []
[2022-05-17 13:54:19] [INFO ] Flow matrix only has 401 transitions (discarded 2510 similar events)
// Phase 1: matrix 401 rows 801 cols
[2022-05-17 13:54:19] [INFO ] Computed 400 place invariants in 4 ms
[2022-05-17 13:54:19] [INFO ] State equation strengthened by 393 read => feed constraints.
[2022-05-17 13:54:21] [INFO ] Implicit Places using invariants and state equation in 1900 ms returned []
Implicit Place search using SMT with State Equation took 2430 ms to find 0 implicit places.
[2022-05-17 13:54:21] [INFO ] Redundant transitions in 59 ms returned []
[2022-05-17 13:54:21] [INFO ] Flow matrix only has 401 transitions (discarded 2510 similar events)
// Phase 1: matrix 401 rows 801 cols
[2022-05-17 13:54:21] [INFO ] Computed 400 place invariants in 10 ms
[2022-05-17 13:54:22] [INFO ] Dead Transitions using invariants and state equation in 913 ms found 0 transitions.
Starting structural reductions in SI_CTL mode, iteration 1 : 801/925 places, 2911/5005 transitions.
Finished structural reductions, in 1 iterations. Remains : 801/925 places, 2911/5005 transitions.
[2022-05-17 13:54:22] [INFO ] Flatten gal took : 81 ms
[2022-05-17 13:54:22] [INFO ] Flatten gal took : 92 ms
[2022-05-17 13:54:22] [INFO ] Input system was already deterministic with 2911 transitions.
Finished random walk after 2395 steps, including 36 resets, run visited all 1 properties in 49 ms. (steps per millisecond=48 )
FORMULA PhaseVariation-PT-D20CS010-CTLFireability-11 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Starting structural reductions in SI_CTL mode, iteration 0 : 925/925 places, 5005/5005 transitions.
Discarding 124 places :
Symmetric choice reduction at 0 with 124 rule applications. Total rules 124 place count 801 transition count 3821
Iterating global reduction 0 with 124 rules applied. Total rules applied 248 place count 801 transition count 3821
Ensure Unique test removed 904 transitions
Reduce isomorphic transitions removed 904 transitions.
Iterating post reduction 0 with 904 rules applied. Total rules applied 1152 place count 801 transition count 2917
Applied a total of 1152 rules in 632 ms. Remains 801 /925 variables (removed 124) and now considering 2917/5005 (removed 2088) transitions.
[2022-05-17 13:54:23] [INFO ] Flow matrix only has 401 transitions (discarded 2516 similar events)
// Phase 1: matrix 401 rows 801 cols
[2022-05-17 13:54:23] [INFO ] Computed 400 place invariants in 7 ms
[2022-05-17 13:54:24] [INFO ] Dead Transitions using invariants and state equation in 923 ms found 0 transitions.
[2022-05-17 13:54:24] [INFO ] Flow matrix only has 401 transitions (discarded 2516 similar events)
// Phase 1: matrix 401 rows 801 cols
[2022-05-17 13:54:24] [INFO ] Computed 400 place invariants in 8 ms
[2022-05-17 13:54:24] [INFO ] Implicit Places using invariants in 590 ms returned []
[2022-05-17 13:54:24] [INFO ] Flow matrix only has 401 transitions (discarded 2516 similar events)
// Phase 1: matrix 401 rows 801 cols
[2022-05-17 13:54:24] [INFO ] Computed 400 place invariants in 4 ms
[2022-05-17 13:54:24] [INFO ] State equation strengthened by 393 read => feed constraints.
[2022-05-17 13:54:26] [INFO ] Implicit Places using invariants and state equation in 1896 ms returned []
Implicit Place search using SMT with State Equation took 2486 ms to find 0 implicit places.
[2022-05-17 13:54:26] [INFO ] Redundant transitions in 62 ms returned []
[2022-05-17 13:54:26] [INFO ] Flow matrix only has 401 transitions (discarded 2516 similar events)
// Phase 1: matrix 401 rows 801 cols
[2022-05-17 13:54:26] [INFO ] Computed 400 place invariants in 5 ms
[2022-05-17 13:54:27] [INFO ] Dead Transitions using invariants and state equation in 926 ms found 0 transitions.
Starting structural reductions in SI_CTL mode, iteration 1 : 801/925 places, 2917/5005 transitions.
Finished structural reductions, in 1 iterations. Remains : 801/925 places, 2917/5005 transitions.
[2022-05-17 13:54:27] [INFO ] Flatten gal took : 88 ms
[2022-05-17 13:54:27] [INFO ] Flatten gal took : 100 ms
[2022-05-17 13:54:27] [INFO ] Input system was already deterministic with 2917 transitions.
Finished random walk after 1425 steps, including 15 resets, run visited all 1 properties in 33 ms. (steps per millisecond=43 )
FORMULA PhaseVariation-PT-D20CS010-CTLFireability-12 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Starting structural reductions in LTL mode, iteration 0 : 925/925 places, 5005/5005 transitions.
Discarding 115 places :
Symmetric choice reduction at 0 with 115 rule applications. Total rules 115 place count 810 transition count 3906
Iterating global reduction 0 with 115 rules applied. Total rules applied 230 place count 810 transition count 3906
Ensure Unique test removed 849 transitions
Reduce isomorphic transitions removed 849 transitions.
Iterating post reduction 0 with 849 rules applied. Total rules applied 1079 place count 810 transition count 3057
Applied a total of 1079 rules in 50 ms. Remains 810 /925 variables (removed 115) and now considering 3057/5005 (removed 1948) transitions.
[2022-05-17 13:54:28] [INFO ] Flow matrix only has 410 transitions (discarded 2647 similar events)
// Phase 1: matrix 410 rows 810 cols
[2022-05-17 13:54:28] [INFO ] Computed 400 place invariants in 3 ms
[2022-05-17 13:54:28] [INFO ] Dead Transitions using invariants and state equation in 981 ms found 0 transitions.
[2022-05-17 13:54:28] [INFO ] Flow matrix only has 410 transitions (discarded 2647 similar events)
// Phase 1: matrix 410 rows 810 cols
[2022-05-17 13:54:28] [INFO ] Computed 400 place invariants in 4 ms
[2022-05-17 13:54:29] [INFO ] Implicit Places using invariants in 562 ms returned []
[2022-05-17 13:54:29] [INFO ] Flow matrix only has 410 transitions (discarded 2647 similar events)
// Phase 1: matrix 410 rows 810 cols
[2022-05-17 13:54:29] [INFO ] Computed 400 place invariants in 4 ms
[2022-05-17 13:54:29] [INFO ] State equation strengthened by 402 read => feed constraints.
[2022-05-17 13:54:31] [INFO ] Implicit Places using invariants and state equation in 1922 ms returned []
Implicit Place search using SMT with State Equation took 2486 ms to find 0 implicit places.
[2022-05-17 13:54:31] [INFO ] Flow matrix only has 410 transitions (discarded 2647 similar events)
// Phase 1: matrix 410 rows 810 cols
[2022-05-17 13:54:31] [INFO ] Computed 400 place invariants in 11 ms
[2022-05-17 13:54:32] [INFO ] Dead Transitions using invariants and state equation in 972 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 810/925 places, 3057/5005 transitions.
Finished structural reductions, in 1 iterations. Remains : 810/925 places, 3057/5005 transitions.
[2022-05-17 13:54:32] [INFO ] Flatten gal took : 90 ms
[2022-05-17 13:54:32] [INFO ] Flatten gal took : 99 ms
[2022-05-17 13:54:32] [INFO ] Input system was already deterministic with 3057 transitions.
[2022-05-17 13:54:32] [INFO ] Flatten gal took : 97 ms
[2022-05-17 13:54:33] [INFO ] Flatten gal took : 97 ms
[2022-05-17 13:54:33] [INFO ] Time to serialize gal into /tmp/CTLFireability18218792858000500686.gal : 7 ms
[2022-05-17 13:54:33] [INFO ] Time to serialize properties into /tmp/CTLFireability3441960199608410871.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/CTLFireability18218792858000500686.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3441960199608410871.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-17 13:55:03] [INFO ] Flatten gal took : 96 ms
[2022-05-17 13:55:03] [INFO ] Applying decomposition
[2022-05-17 13:55:03] [INFO ] Flatten gal took : 95 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/graph10336518098468179095.txt' '-o' '/tmp/graph10336518098468179095.bin' '-w' '/tmp/graph10336518098468179095.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph10336518098468179095.bin' '-l' '-1' '-v' '-w' '/tmp/graph10336518098468179095.weights' '-q' '0' '-e' '0.001'
[2022-05-17 13:55:03] [INFO ] Decomposing Gal with order
[2022-05-17 13:55:03] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-17 13:55:03] [INFO ] Removed a total of 8341 redundant transitions.
[2022-05-17 13:55:03] [INFO ] Flatten gal took : 177 ms
[2022-05-17 13:55:03] [INFO ] Fuse similar labels procedure discarded/fused a total of 73 labels/synchronizations in 28 ms.
[2022-05-17 13:55:03] [INFO ] Time to serialize gal into /tmp/CTLFireability10242665984308539354.gal : 7 ms
[2022-05-17 13:55:03] [INFO ] Time to serialize properties into /tmp/CTLFireability2020160586952488766.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/CTLFireability10242665984308539354.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability2020160586952488766.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 : 925/925 places, 5005/5005 transitions.
Discarding 119 places :
Symmetric choice reduction at 0 with 119 rule applications. Total rules 119 place count 806 transition count 3862
Iterating global reduction 0 with 119 rules applied. Total rules applied 238 place count 806 transition count 3862
Ensure Unique test removed 881 transitions
Reduce isomorphic transitions removed 881 transitions.
Iterating post reduction 0 with 881 rules applied. Total rules applied 1119 place count 806 transition count 2981
Applied a total of 1119 rules in 53 ms. Remains 806 /925 variables (removed 119) and now considering 2981/5005 (removed 2024) transitions.
[2022-05-17 13:55:33] [INFO ] Flow matrix only has 406 transitions (discarded 2575 similar events)
// Phase 1: matrix 406 rows 806 cols
[2022-05-17 13:55:33] [INFO ] Computed 400 place invariants in 10 ms
[2022-05-17 13:55:34] [INFO ] Dead Transitions using invariants and state equation in 964 ms found 0 transitions.
[2022-05-17 13:55:34] [INFO ] Flow matrix only has 406 transitions (discarded 2575 similar events)
// Phase 1: matrix 406 rows 806 cols
[2022-05-17 13:55:34] [INFO ] Computed 400 place invariants in 3 ms
[2022-05-17 13:55:35] [INFO ] Implicit Places using invariants in 568 ms returned []
[2022-05-17 13:55:35] [INFO ] Flow matrix only has 406 transitions (discarded 2575 similar events)
// Phase 1: matrix 406 rows 806 cols
[2022-05-17 13:55:35] [INFO ] Computed 400 place invariants in 4 ms
[2022-05-17 13:55:35] [INFO ] State equation strengthened by 397 read => feed constraints.
[2022-05-17 13:55:37] [INFO ] Implicit Places using invariants and state equation in 1960 ms returned []
Implicit Place search using SMT with State Equation took 2530 ms to find 0 implicit places.
[2022-05-17 13:55:37] [INFO ] Flow matrix only has 406 transitions (discarded 2575 similar events)
// Phase 1: matrix 406 rows 806 cols
[2022-05-17 13:55:37] [INFO ] Computed 400 place invariants in 16 ms
[2022-05-17 13:55:38] [INFO ] Dead Transitions using invariants and state equation in 981 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 806/925 places, 2981/5005 transitions.
Finished structural reductions, in 1 iterations. Remains : 806/925 places, 2981/5005 transitions.
[2022-05-17 13:55:38] [INFO ] Flatten gal took : 88 ms
[2022-05-17 13:55:38] [INFO ] Flatten gal took : 96 ms
[2022-05-17 13:55:38] [INFO ] Input system was already deterministic with 2981 transitions.
[2022-05-17 13:55:38] [INFO ] Flatten gal took : 100 ms
[2022-05-17 13:55:38] [INFO ] Flatten gal took : 96 ms
[2022-05-17 13:55:38] [INFO ] Time to serialize gal into /tmp/CTLFireability10889630774511450211.gal : 8 ms
[2022-05-17 13:55:38] [INFO ] Time to serialize properties into /tmp/CTLFireability12056795945801533063.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/CTLFireability10889630774511450211.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability12056795945801533063.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-17 13:56:09] [INFO ] Flatten gal took : 98 ms
[2022-05-17 13:56:09] [INFO ] Applying decomposition
[2022-05-17 13:56:09] [INFO ] Flatten gal took : 96 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/graph16597085789149963869.txt' '-o' '/tmp/graph16597085789149963869.bin' '-w' '/tmp/graph16597085789149963869.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph16597085789149963869.bin' '-l' '-1' '-v' '-w' '/tmp/graph16597085789149963869.weights' '-q' '0' '-e' '0.001'
[2022-05-17 13:56:09] [INFO ] Decomposing Gal with order
[2022-05-17 13:56:09] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-17 13:56:09] [INFO ] Removed a total of 8070 redundant transitions.
[2022-05-17 13:56:09] [INFO ] Flatten gal took : 143 ms
[2022-05-17 13:56:09] [INFO ] Fuse similar labels procedure discarded/fused a total of 66 labels/synchronizations in 47 ms.
[2022-05-17 13:56:09] [INFO ] Time to serialize gal into /tmp/CTLFireability17869079375480360790.gal : 8 ms
[2022-05-17 13:56:09] [INFO ] Time to serialize properties into /tmp/CTLFireability6894280073816836741.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/CTLFireability17869079375480360790.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability6894280073816836741.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 : 925/925 places, 5005/5005 transitions.
Discarding 122 places :
Symmetric choice reduction at 0 with 122 rule applications. Total rules 122 place count 803 transition count 3841
Iterating global reduction 0 with 122 rules applied. Total rules applied 244 place count 803 transition count 3841
Ensure Unique test removed 892 transitions
Reduce isomorphic transitions removed 892 transitions.
Iterating post reduction 0 with 892 rules applied. Total rules applied 1136 place count 803 transition count 2949
Applied a total of 1136 rules in 63 ms. Remains 803 /925 variables (removed 122) and now considering 2949/5005 (removed 2056) transitions.
[2022-05-17 13:56:39] [INFO ] Flow matrix only has 403 transitions (discarded 2546 similar events)
// Phase 1: matrix 403 rows 803 cols
[2022-05-17 13:56:39] [INFO ] Computed 400 place invariants in 7 ms
[2022-05-17 13:56:40] [INFO ] Dead Transitions using invariants and state equation in 943 ms found 0 transitions.
[2022-05-17 13:56:40] [INFO ] Flow matrix only has 403 transitions (discarded 2546 similar events)
// Phase 1: matrix 403 rows 803 cols
[2022-05-17 13:56:40] [INFO ] Computed 400 place invariants in 3 ms
[2022-05-17 13:56:41] [INFO ] Implicit Places using invariants in 578 ms returned []
[2022-05-17 13:56:41] [INFO ] Flow matrix only has 403 transitions (discarded 2546 similar events)
// Phase 1: matrix 403 rows 803 cols
[2022-05-17 13:56:41] [INFO ] Computed 400 place invariants in 8 ms
[2022-05-17 13:56:41] [INFO ] State equation strengthened by 395 read => feed constraints.
[2022-05-17 13:56:43] [INFO ] Implicit Places using invariants and state equation in 2012 ms returned []
Implicit Place search using SMT with State Equation took 2592 ms to find 0 implicit places.
[2022-05-17 13:56:43] [INFO ] Flow matrix only has 403 transitions (discarded 2546 similar events)
// Phase 1: matrix 403 rows 803 cols
[2022-05-17 13:56:43] [INFO ] Computed 400 place invariants in 11 ms
[2022-05-17 13:56:44] [INFO ] Dead Transitions using invariants and state equation in 958 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 803/925 places, 2949/5005 transitions.
Finished structural reductions, in 1 iterations. Remains : 803/925 places, 2949/5005 transitions.
[2022-05-17 13:56:44] [INFO ] Flatten gal took : 84 ms
[2022-05-17 13:56:44] [INFO ] Flatten gal took : 93 ms
[2022-05-17 13:56:44] [INFO ] Input system was already deterministic with 2949 transitions.
[2022-05-17 13:56:44] [INFO ] Flatten gal took : 92 ms
[2022-05-17 13:56:44] [INFO ] Flatten gal took : 93 ms
[2022-05-17 13:56:44] [INFO ] Time to serialize gal into /tmp/CTLFireability15145536659995907134.gal : 10 ms
[2022-05-17 13:56:44] [INFO ] Time to serialize properties into /tmp/CTLFireability988841959225635544.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/CTLFireability15145536659995907134.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability988841959225635544.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-17 13:57:15] [INFO ] Flatten gal took : 95 ms
[2022-05-17 13:57:15] [INFO ] Applying decomposition
[2022-05-17 13:57:15] [INFO ] Flatten gal took : 117 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/graph15303137728483978858.txt' '-o' '/tmp/graph15303137728483978858.bin' '-w' '/tmp/graph15303137728483978858.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph15303137728483978858.bin' '-l' '-1' '-v' '-w' '/tmp/graph15303137728483978858.weights' '-q' '0' '-e' '0.001'
[2022-05-17 13:57:15] [INFO ] Decomposing Gal with order
[2022-05-17 13:57:15] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-17 13:57:15] [INFO ] Removed a total of 7987 redundant transitions.
[2022-05-17 13:57:15] [INFO ] Flatten gal took : 138 ms
[2022-05-17 13:57:15] [INFO ] Fuse similar labels procedure discarded/fused a total of 32 labels/synchronizations in 41 ms.
[2022-05-17 13:57:15] [INFO ] Time to serialize gal into /tmp/CTLFireability15854582829983110758.gal : 8 ms
[2022-05-17 13:57:15] [INFO ] Time to serialize properties into /tmp/CTLFireability17781452922517646064.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/CTLFireability15854582829983110758.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability17781452922517646064.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.
[2022-05-17 13:57:45] [INFO ] Flatten gal took : 167 ms
[2022-05-17 13:57:46] [INFO ] Flatten gal took : 167 ms
[2022-05-17 13:57:46] [INFO ] Applying decomposition
[2022-05-17 13:57:46] [INFO ] Flatten gal took : 203 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/graph11791405887912459009.txt' '-o' '/tmp/graph11791405887912459009.bin' '-w' '/tmp/graph11791405887912459009.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph11791405887912459009.bin' '-l' '-1' '-v' '-w' '/tmp/graph11791405887912459009.weights' '-q' '0' '-e' '0.001'
[2022-05-17 13:57:46] [INFO ] Decomposing Gal with order
[2022-05-17 13:57:46] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-17 13:57:47] [INFO ] Removed a total of 13839 redundant transitions.
[2022-05-17 13:57:47] [INFO ] Flatten gal took : 242 ms
[2022-05-17 13:57:47] [INFO ] Fuse similar labels procedure discarded/fused a total of 1247 labels/synchronizations in 129 ms.
[2022-05-17 13:57:47] [INFO ] Time to serialize gal into /tmp/CTLFireability14871546492397168234.gal : 284 ms
[2022-05-17 13:57:47] [INFO ] Time to serialize properties into /tmp/CTLFireability8048641049379537993.ctl : 3 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/CTLFireability14871546492397168234.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability8048641049379537993.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 14 CTL formulae.
Detected timeout of ITS tools.
[2022-05-17 14:23:44] [INFO ] Flatten gal took : 680 ms
[2022-05-17 14:23:44] [INFO ] Time to serialize gal into /tmp/CTLFireability14349649269608686395.gal : 60 ms
[2022-05-17 14:23:44] [INFO ] Time to serialize properties into /tmp/CTLFireability1417303359147594832.ctl : 19 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/CTLFireability14349649269608686395.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability1417303359147594832.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 14 CTL formulae.
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export LANG=C
+ LANG=C
+ export BINDIR=/home/mcc/BenchKit/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ CTLFireability = StateSpace ]]
+ /home/mcc/BenchKit/bin//..//runeclipse.sh /home/mcc/execution CTLFireability -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ export PYTHONPATH=/usr/lib/python3.9/site-packages/
+ PYTHONPATH=/usr/lib/python3.9/site-packages/
+ export LD_LIBRARY_PATH=/usr/local/lib:
+ LD_LIBRARY_PATH=/usr/local/lib:
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202205111006.jar
+ VERSION=202205111006
+ echo 'Running Version 202205111006'
+ /home/mcc/BenchKit/bin//..//itstools/its-tools -data @none -pnfolder /home/mcc/execution -examination CTLFireability -spotpath /home/mcc/BenchKit/bin//..//ltlfilt -z3path /home/mcc/BenchKit/bin//..//z3/bin/z3 -yices2path /home/mcc/BenchKit/bin//..//yices/bin/yices -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600 -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=@none -Xss128m -Xms40m -Xmx8192m
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="PhaseVariation-PT-D20CS010"
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 PhaseVariation-PT-D20CS010, 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 r168-tall-165277016300146"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/PhaseVariation-PT-D20CS010.tgz
mv PhaseVariation-PT-D20CS010 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 ;