About the Execution of ITS-Tools for PhaseVariation-PT-D30CS100
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16217.884 | 3600000.00 | 2907907.00 | 460702.90 | ???FT???????T??? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r293-tall-167873944900073.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool itstools
Input is PhaseVariation-PT-D30CS100, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r293-tall-167873944900073
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 30M
-rw-r--r-- 1 mcc users 9.1K Feb 26 15:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 81K Feb 26 15:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.5K Feb 26 15:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 46K Feb 26 15:14 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Jan 29 11:40 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 4.0K Feb 25 16:32 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 25 16:32 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:32 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 16:32 LTLFireability.xml
-rw-r--r-- 1 mcc users 18K Feb 26 15:43 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 150K Feb 26 15:43 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.4K Feb 26 15:29 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 34K Feb 26 15:29 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 25 16:32 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Feb 25 16:32 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 9 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 30M Mar 5 18:23 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-D30CS100-CTLCardinality-00
FORMULA_NAME PhaseVariation-PT-D30CS100-CTLCardinality-01
FORMULA_NAME PhaseVariation-PT-D30CS100-CTLCardinality-02
FORMULA_NAME PhaseVariation-PT-D30CS100-CTLCardinality-03
FORMULA_NAME PhaseVariation-PT-D30CS100-CTLCardinality-04
FORMULA_NAME PhaseVariation-PT-D30CS100-CTLCardinality-05
FORMULA_NAME PhaseVariation-PT-D30CS100-CTLCardinality-06
FORMULA_NAME PhaseVariation-PT-D30CS100-CTLCardinality-07
FORMULA_NAME PhaseVariation-PT-D30CS100-CTLCardinality-08
FORMULA_NAME PhaseVariation-PT-D30CS100-CTLCardinality-09
FORMULA_NAME PhaseVariation-PT-D30CS100-CTLCardinality-10
FORMULA_NAME PhaseVariation-PT-D30CS100-CTLCardinality-11
FORMULA_NAME PhaseVariation-PT-D30CS100-CTLCardinality-12
FORMULA_NAME PhaseVariation-PT-D30CS100-CTLCardinality-13
FORMULA_NAME PhaseVariation-PT-D30CS100-CTLCardinality-14
FORMULA_NAME PhaseVariation-PT-D30CS100-CTLCardinality-15
=== Now, execution of the tool begins
BK_START 1678786534732
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=CTLCardinality
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=PhaseVariation-PT-D30CS100
Not applying reductions.
Model is PT
CTLCardinality PT
Running Version 202303021504
[2023-03-14 09:35:36] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLCardinality, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2023-03-14 09:35:36] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-14 09:35:37] [INFO ] Load time of PNML (sax parser for PT used): 873 ms
[2023-03-14 09:35:37] [INFO ] Transformed 2702 places.
[2023-03-14 09:35:37] [INFO ] Transformed 30977 transitions.
[2023-03-14 09:35:37] [INFO ] Parsed PT model containing 2702 places and 30977 transitions and 215035 arcs in 1468 ms.
Parsed 16 properties from file /home/mcc/execution/CTLCardinality.xml in 12 ms.
Deduced a syphon composed of 2 places in 42 ms
Reduce places removed 2 places and 52 transitions.
Reduce places removed 1 places and 0 transitions.
Support contains 164 out of 2699 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 2699/2699 places, 30925/30925 transitions.
Applied a total of 0 rules in 1054 ms. Remains 2699 /2699 variables (removed 0) and now considering 30925/30925 (removed 0) transitions.
[2023-03-14 09:35:38] [INFO ] Flow matrix only has 1799 transitions (discarded 29126 similar events)
// Phase 1: matrix 1799 rows 2699 cols
[2023-03-14 09:35:39] [INFO ] Computed 900 place invariants in 90 ms
[2023-03-14 09:35:53] [INFO ] Dead Transitions using invariants and state equation in 14876 ms found 3596 transitions.
Found 3596 dead transitions using SMT.
Drop transitions removed 3596 transitions
Dead transitions reduction (with SMT) triggered by suspicious arc values removed 3596 transitions.
[2023-03-14 09:35:53] [INFO ] Flow matrix only has 1799 transitions (discarded 25530 similar events)
[2023-03-14 09:35:53] [INFO ] Invariant cache hit.
[2023-03-14 09:35:57] [INFO ] Implicit Places using invariants in 3379 ms returned []
Implicit Place search using SMT only with invariants took 3382 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 2699/2699 places, 27329/30925 transitions.
Discarding 794 places :
Symmetric choice reduction at 0 with 794 rule applications. Total rules 794 place count 1905 transition count 15259
Iterating global reduction 0 with 794 rules applied. Total rules applied 1588 place count 1905 transition count 15259
Ensure Unique test removed 6741 transitions
Reduce isomorphic transitions removed 6741 transitions.
Iterating post reduction 0 with 6741 rules applied. Total rules applied 8329 place count 1905 transition count 8518
Drop transitions removed 70 transitions
Redundant transition composition rules discarded 70 transitions
Iterating global reduction 1 with 70 rules applied. Total rules applied 8399 place count 1905 transition count 8448
Applied a total of 8399 rules in 1162 ms. Remains 1905 /2699 variables (removed 794) and now considering 8448/27329 (removed 18881) transitions.
[2023-03-14 09:35:58] [INFO ] Flow matrix only has 1005 transitions (discarded 7443 similar events)
// Phase 1: matrix 1005 rows 1905 cols
[2023-03-14 09:35:58] [INFO ] Computed 900 place invariants in 22 ms
[2023-03-14 09:36:01] [INFO ] Implicit Places using invariants in 2813 ms returned []
[2023-03-14 09:36:01] [INFO ] Flow matrix only has 1005 transitions (discarded 7443 similar events)
[2023-03-14 09:36:01] [INFO ] Invariant cache hit.
[2023-03-14 09:36:02] [INFO ] State equation strengthened by 996 read => feed constraints.
[2023-03-14 09:36:11] [INFO ] Implicit Places using invariants and state equation in 9913 ms returned []
Implicit Place search using SMT with State Equation took 12734 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 1905/2699 places, 8448/30925 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 33316 ms. Remains : 1905/2699 places, 8448/30925 transitions.
Support contains 164 out of 1905 places after structural reductions.
[2023-03-14 09:36:11] [INFO ] Flatten gal took : 523 ms
[2023-03-14 09:36:12] [INFO ] Flatten gal took : 333 ms
[2023-03-14 09:36:12] [INFO ] Input system was already deterministic with 8448 transitions.
Support contains 163 out of 1905 places (down from 164) after GAL structural reductions.
Incomplete random walk after 10000 steps, including 36 resets, run finished after 967 ms. (steps per millisecond=10 ) properties (out of 104) seen :82
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=62 ) properties (out of 22) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=62 ) properties (out of 22) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 22) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 22) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 22) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 22) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=62 ) properties (out of 22) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=62 ) properties (out of 22) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 22) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 22) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 22) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 22) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 22) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 22) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 22) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 22) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 22) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 22) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 22) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 22) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 22) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 22) seen :0
Running SMT prover for 22 properties.
[2023-03-14 09:36:14] [INFO ] Flow matrix only has 1005 transitions (discarded 7443 similar events)
[2023-03-14 09:36:14] [INFO ] Invariant cache hit.
[2023-03-14 09:36:15] [INFO ] After 952ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:22
[2023-03-14 09:36:16] [INFO ] [Nat]Absence check using 900 positive place invariants in 144 ms returned sat
[2023-03-14 09:36:17] [INFO ] After 720ms SMT Verify possible using state equation in natural domain returned unsat :19 sat :3
[2023-03-14 09:36:17] [INFO ] State equation strengthened by 996 read => feed constraints.
[2023-03-14 09:36:17] [INFO ] After 653ms SMT Verify possible using 996 Read/Feed constraints in natural domain returned unsat :19 sat :3
[2023-03-14 09:36:18] [INFO ] After 980ms SMT Verify possible using trap constraints in natural domain returned unsat :19 sat :3
Attempting to minimize the solution found.
Minimization took 184 ms.
[2023-03-14 09:36:18] [INFO ] After 3039ms SMT Verify possible using all constraints in natural domain returned unsat :19 sat :3
Fused 22 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 7 ms.
Support contains 8 out of 1905 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 1905/1905 places, 8448/8448 transitions.
Graph (complete) has 12350 edges and 1905 vertex of which 1904 are kept as prefixes of interest. Removing 1 places using SCC suffix rule.22 ms
Discarding 1 places :
Also discarding 0 output transitions
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 2 place count 1904 transition count 8447
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 3 place count 1903 transition count 8447
Discarding 100 places :
Symmetric choice reduction at 2 with 100 rule applications. Total rules 103 place count 1803 transition count 7612
Iterating global reduction 2 with 100 rules applied. Total rules applied 203 place count 1803 transition count 7612
Ensure Unique test removed 752 transitions
Reduce isomorphic transitions removed 752 transitions.
Iterating post reduction 2 with 752 rules applied. Total rules applied 955 place count 1803 transition count 6860
Reduce places removed 8 places and 8 transitions.
Iterating global reduction 3 with 8 rules applied. Total rules applied 963 place count 1795 transition count 6852
Reduce places removed 8 places and 0 transitions.
Ensure Unique test removed 16 transitions
Reduce isomorphic transitions removed 16 transitions.
Iterating post reduction 3 with 24 rules applied. Total rules applied 987 place count 1787 transition count 6836
Drop transitions removed 97 transitions
Redundant transition composition rules discarded 97 transitions
Iterating global reduction 4 with 97 rules applied. Total rules applied 1084 place count 1787 transition count 6739
Reduce places removed 16 places and 16 transitions.
Iterating global reduction 4 with 16 rules applied. Total rules applied 1100 place count 1771 transition count 6723
Reduce places removed 16 places and 0 transitions.
Ensure Unique test removed 32 transitions
Reduce isomorphic transitions removed 32 transitions.
Iterating post reduction 4 with 48 rules applied. Total rules applied 1148 place count 1755 transition count 6691
Drop transitions removed 145 transitions
Redundant transition composition rules discarded 145 transitions
Iterating global reduction 5 with 145 rules applied. Total rules applied 1293 place count 1755 transition count 6546
Reduce places removed 23 places and 23 transitions.
Iterating global reduction 5 with 23 rules applied. Total rules applied 1316 place count 1732 transition count 6523
Reduce places removed 23 places and 0 transitions.
Ensure Unique test removed 44 transitions
Reduce isomorphic transitions removed 44 transitions.
Iterating post reduction 5 with 67 rules applied. Total rules applied 1383 place count 1709 transition count 6479
Drop transitions removed 177 transitions
Redundant transition composition rules discarded 177 transitions
Iterating global reduction 6 with 177 rules applied. Total rules applied 1560 place count 1709 transition count 6302
Reduce places removed 30 places and 30 transitions.
Iterating global reduction 6 with 30 rules applied. Total rules applied 1590 place count 1679 transition count 6272
Reduce places removed 30 places and 0 transitions.
Ensure Unique test removed 58 transitions
Reduce isomorphic transitions removed 58 transitions.
Iterating post reduction 6 with 88 rules applied. Total rules applied 1678 place count 1649 transition count 6214
Drop transitions removed 223 transitions
Redundant transition composition rules discarded 223 transitions
Iterating global reduction 7 with 223 rules applied. Total rules applied 1901 place count 1649 transition count 5991
Reduce places removed 2 places and 0 transitions.
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 7 with 3 rules applied. Total rules applied 1904 place count 1647 transition count 5990
Reduce places removed 40 places and 40 transitions.
Iterating global reduction 8 with 40 rules applied. Total rules applied 1944 place count 1607 transition count 5950
Reduce places removed 40 places and 0 transitions.
Ensure Unique test removed 78 transitions
Reduce isomorphic transitions removed 78 transitions.
Iterating post reduction 8 with 118 rules applied. Total rules applied 2062 place count 1567 transition count 5872
Drop transitions removed 258 transitions
Redundant transition composition rules discarded 258 transitions
Iterating global reduction 9 with 258 rules applied. Total rules applied 2320 place count 1567 transition count 5614
Reduce places removed 47 places and 47 transitions.
Iterating global reduction 9 with 47 rules applied. Total rules applied 2367 place count 1520 transition count 5567
Reduce places removed 47 places and 0 transitions.
Ensure Unique test removed 91 transitions
Reduce isomorphic transitions removed 91 transitions.
Iterating post reduction 9 with 138 rules applied. Total rules applied 2505 place count 1473 transition count 5476
Drop transitions removed 301 transitions
Redundant transition composition rules discarded 301 transitions
Iterating global reduction 10 with 301 rules applied. Total rules applied 2806 place count 1473 transition count 5175
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 10 with 1 rules applied. Total rules applied 2807 place count 1472 transition count 5175
Reduce places removed 56 places and 56 transitions.
Iterating global reduction 11 with 56 rules applied. Total rules applied 2863 place count 1416 transition count 5119
Reduce places removed 56 places and 0 transitions.
Ensure Unique test removed 110 transitions
Reduce isomorphic transitions removed 110 transitions.
Iterating post reduction 11 with 166 rules applied. Total rules applied 3029 place count 1360 transition count 5009
Drop transitions removed 338 transitions
Redundant transition composition rules discarded 338 transitions
Iterating global reduction 12 with 338 rules applied. Total rules applied 3367 place count 1360 transition count 4671
Reduce places removed 64 places and 64 transitions.
Iterating global reduction 12 with 64 rules applied. Total rules applied 3431 place count 1296 transition count 4607
Reduce places removed 64 places and 0 transitions.
Ensure Unique test removed 126 transitions
Reduce isomorphic transitions removed 126 transitions.
Iterating post reduction 12 with 190 rules applied. Total rules applied 3621 place count 1232 transition count 4481
Drop transitions removed 378 transitions
Redundant transition composition rules discarded 378 transitions
Iterating global reduction 13 with 378 rules applied. Total rules applied 3999 place count 1232 transition count 4103
Reduce places removed 72 places and 72 transitions.
Iterating global reduction 13 with 72 rules applied. Total rules applied 4071 place count 1160 transition count 4031
Reduce places removed 72 places and 0 transitions.
Ensure Unique test removed 142 transitions
Reduce isomorphic transitions removed 142 transitions.
Iterating post reduction 13 with 214 rules applied. Total rules applied 4285 place count 1088 transition count 3889
Drop transitions removed 420 transitions
Redundant transition composition rules discarded 420 transitions
Iterating global reduction 14 with 420 rules applied. Total rules applied 4705 place count 1088 transition count 3469
Reduce places removed 80 places and 80 transitions.
Iterating global reduction 14 with 80 rules applied. Total rules applied 4785 place count 1008 transition count 3389
Reduce places removed 80 places and 0 transitions.
Ensure Unique test removed 159 transitions
Reduce isomorphic transitions removed 159 transitions.
Iterating post reduction 14 with 239 rules applied. Total rules applied 5024 place count 928 transition count 3230
Drop transitions removed 470 transitions
Redundant transition composition rules discarded 470 transitions
Iterating global reduction 15 with 470 rules applied. Total rules applied 5494 place count 928 transition count 2760
Reduce places removed 87 places and 87 transitions.
Iterating global reduction 15 with 87 rules applied. Total rules applied 5581 place count 841 transition count 2673
Reduce places removed 87 places and 0 transitions.
Ensure Unique test removed 173 transitions
Reduce isomorphic transitions removed 173 transitions.
Iterating post reduction 15 with 260 rules applied. Total rules applied 5841 place count 754 transition count 2500
Drop transitions removed 511 transitions
Redundant transition composition rules discarded 511 transitions
Iterating global reduction 16 with 511 rules applied. Total rules applied 6352 place count 754 transition count 1989
Reduce places removed 1 places and 0 transitions.
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 16 with 2 rules applied. Total rules applied 6354 place count 753 transition count 1988
Reduce places removed 95 places and 95 transitions.
Iterating global reduction 17 with 95 rules applied. Total rules applied 6449 place count 658 transition count 1893
Reduce places removed 95 places and 0 transitions.
Ensure Unique test removed 187 transitions
Reduce isomorphic transitions removed 187 transitions.
Iterating post reduction 17 with 282 rules applied. Total rules applied 6731 place count 563 transition count 1706
Drop transitions removed 550 transitions
Redundant transition composition rules discarded 550 transitions
Iterating global reduction 18 with 550 rules applied. Total rules applied 7281 place count 563 transition count 1156
Reduce places removed 1 places and 0 transitions.
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 18 with 2 rules applied. Total rules applied 7283 place count 562 transition count 1155
Reduce places removed 104 places and 104 transitions.
Iterating global reduction 19 with 104 rules applied. Total rules applied 7387 place count 458 transition count 1051
Reduce places removed 104 places and 0 transitions.
Ensure Unique test removed 210 transitions
Reduce isomorphic transitions removed 210 transitions.
Iterating post reduction 19 with 314 rules applied. Total rules applied 7701 place count 354 transition count 841
Drop transitions removed 422 transitions
Redundant transition composition rules discarded 422 transitions
Iterating global reduction 20 with 422 rules applied. Total rules applied 8123 place count 354 transition count 419
Reduce places removed 54 places and 0 transitions.
Drop transitions removed 53 transitions
Reduce isomorphic transitions removed 53 transitions.
Graph (complete) has 423 edges and 300 vertex of which 13 are kept as prefixes of interest. Removing 287 places using SCC suffix rule.0 ms
Discarding 287 places :
Also discarding 350 output transitions
Drop transitions removed 350 transitions
Iterating post reduction 20 with 108 rules applied. Total rules applied 8231 place count 13 transition count 16
Drop transitions removed 8 transitions
Reduce isomorphic transitions removed 8 transitions.
Iterating post reduction 21 with 8 rules applied. Total rules applied 8239 place count 13 transition count 8
Applied a total of 8239 rules in 3920 ms. Remains 13 /1905 variables (removed 1892) and now considering 8/8448 (removed 8440) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 3920 ms. Remains : 13/1905 places, 8/8448 transitions.
Finished random walk after 46 steps, including 5 resets, run visited all 3 properties in 2 ms. (steps per millisecond=23 )
Successfully simplified 19 atomic propositions for a total of 16 simplifications.
FORMULA PhaseVariation-PT-D30CS100-CTLCardinality-04 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA PhaseVariation-PT-D30CS100-CTLCardinality-12 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2023-03-14 09:36:22] [INFO ] Flatten gal took : 302 ms
[2023-03-14 09:36:22] [INFO ] Flatten gal took : 290 ms
[2023-03-14 09:36:23] [INFO ] Input system was already deterministic with 8448 transitions.
Support contains 105 out of 1905 places (down from 118) after GAL structural reductions.
Computed a total of 1905 stabilizing places and 8448 stable transitions
Complete graph has no SCC; deadlocks are unavoidable. place count 1905 transition count 8448
Detected that all paths lead to deadlock. Applying this knowledge to assert that all AP eventually converge (and all enablings converge to false).
AF dead knowledge conclusive for 2 formulas.
FORMULA PhaseVariation-PT-D30CS100-CTLCardinality-03 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Starting structural reductions in LTL mode, iteration 0 : 1905/1905 places, 8448/8448 transitions.
Discarding 102 places :
Symmetric choice reduction at 0 with 102 rule applications. Total rules 102 place count 1803 transition count 7597
Iterating global reduction 0 with 102 rules applied. Total rules applied 204 place count 1803 transition count 7597
Ensure Unique test removed 768 transitions
Reduce isomorphic transitions removed 768 transitions.
Iterating post reduction 0 with 768 rules applied. Total rules applied 972 place count 1803 transition count 6829
Applied a total of 972 rules in 350 ms. Remains 1803 /1905 variables (removed 102) and now considering 6829/8448 (removed 1619) transitions.
[2023-03-14 09:36:23] [INFO ] Flow matrix only has 903 transitions (discarded 5926 similar events)
// Phase 1: matrix 903 rows 1803 cols
[2023-03-14 09:36:23] [INFO ] Computed 900 place invariants in 20 ms
[2023-03-14 09:36:26] [INFO ] Dead Transitions using invariants and state equation in 3003 ms found 0 transitions.
[2023-03-14 09:36:26] [INFO ] Flow matrix only has 903 transitions (discarded 5926 similar events)
[2023-03-14 09:36:26] [INFO ] Invariant cache hit.
[2023-03-14 09:36:28] [INFO ] Implicit Places using invariants in 1855 ms returned []
[2023-03-14 09:36:28] [INFO ] Flow matrix only has 903 transitions (discarded 5926 similar events)
[2023-03-14 09:36:28] [INFO ] Invariant cache hit.
[2023-03-14 09:36:29] [INFO ] State equation strengthened by 895 read => feed constraints.
[2023-03-14 09:36:38] [INFO ] Implicit Places using invariants and state equation in 9689 ms returned []
Implicit Place search using SMT with State Equation took 11547 ms to find 0 implicit places.
[2023-03-14 09:36:38] [INFO ] Flow matrix only has 903 transitions (discarded 5926 similar events)
[2023-03-14 09:36:38] [INFO ] Invariant cache hit.
[2023-03-14 09:36:41] [INFO ] Dead Transitions using invariants and state equation in 2974 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 1803/1905 places, 6829/8448 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 17880 ms. Remains : 1803/1905 places, 6829/8448 transitions.
[2023-03-14 09:36:41] [INFO ] Flatten gal took : 191 ms
[2023-03-14 09:36:41] [INFO ] Flatten gal took : 225 ms
[2023-03-14 09:36:42] [INFO ] Input system was already deterministic with 6829 transitions.
[2023-03-14 09:36:42] [INFO ] Flatten gal took : 227 ms
[2023-03-14 09:36:42] [INFO ] Flatten gal took : 194 ms
[2023-03-14 09:36:43] [INFO ] Time to serialize gal into /tmp/CTLCardinality12343700003019132165.gal : 117 ms
[2023-03-14 09:36:43] [INFO ] Time to serialize properties into /tmp/CTLCardinality3332101826216019632.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality12343700003019132165.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality3332101826216019632.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2023-03-14 09:37:13] [INFO ] Flatten gal took : 220 ms
[2023-03-14 09:37:13] [INFO ] Applying decomposition
[2023-03-14 09:37:13] [INFO ] Flatten gal took : 214 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph14885279925475352946.txt' '-o' '/tmp/graph14885279925475352946.bin' '-w' '/tmp/graph14885279925475352946.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph14885279925475352946.bin' '-l' '-1' '-v' '-w' '/tmp/graph14885279925475352946.weights' '-q' '0' '-e' '0.001'
[2023-03-14 09:37:14] [INFO ] Decomposing Gal with order
[2023-03-14 09:37:14] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-14 09:37:15] [INFO ] Removed a total of 42 redundant transitions.
[2023-03-14 09:37:15] [INFO ] Flatten gal took : 369 ms
[2023-03-14 09:37:15] [INFO ] Fuse similar labels procedure discarded/fused a total of 48 labels/synchronizations in 8 ms.
[2023-03-14 09:37:15] [INFO ] Time to serialize gal into /tmp/CTLCardinality12112900509407232564.gal : 62 ms
[2023-03-14 09:37:15] [INFO ] Time to serialize properties into /tmp/CTLCardinality11595535028619625037.ctl : 2 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality12112900509407232564.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality11595535028619625037.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 1905/1905 places, 8448/8448 transitions.
Discarding 102 places :
Symmetric choice reduction at 0 with 102 rule applications. Total rules 102 place count 1803 transition count 7596
Iterating global reduction 0 with 102 rules applied. Total rules applied 204 place count 1803 transition count 7596
Ensure Unique test removed 767 transitions
Reduce isomorphic transitions removed 767 transitions.
Iterating post reduction 0 with 767 rules applied. Total rules applied 971 place count 1803 transition count 6829
Applied a total of 971 rules in 368 ms. Remains 1803 /1905 variables (removed 102) and now considering 6829/8448 (removed 1619) transitions.
[2023-03-14 09:37:45] [INFO ] Flow matrix only has 903 transitions (discarded 5926 similar events)
// Phase 1: matrix 903 rows 1803 cols
[2023-03-14 09:37:46] [INFO ] Computed 900 place invariants in 24 ms
[2023-03-14 09:37:49] [INFO ] Dead Transitions using invariants and state equation in 3051 ms found 0 transitions.
[2023-03-14 09:37:49] [INFO ] Flow matrix only has 903 transitions (discarded 5926 similar events)
[2023-03-14 09:37:49] [INFO ] Invariant cache hit.
[2023-03-14 09:37:50] [INFO ] Implicit Places using invariants in 1937 ms returned []
[2023-03-14 09:37:50] [INFO ] Flow matrix only has 903 transitions (discarded 5926 similar events)
[2023-03-14 09:37:50] [INFO ] Invariant cache hit.
[2023-03-14 09:37:51] [INFO ] State equation strengthened by 895 read => feed constraints.
[2023-03-14 09:37:59] [INFO ] Implicit Places using invariants and state equation in 8731 ms returned []
Implicit Place search using SMT with State Equation took 10676 ms to find 0 implicit places.
[2023-03-14 09:37:59] [INFO ] Flow matrix only has 903 transitions (discarded 5926 similar events)
[2023-03-14 09:37:59] [INFO ] Invariant cache hit.
[2023-03-14 09:38:02] [INFO ] Dead Transitions using invariants and state equation in 3006 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 1803/1905 places, 6829/8448 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 17107 ms. Remains : 1803/1905 places, 6829/8448 transitions.
[2023-03-14 09:38:03] [INFO ] Flatten gal took : 384 ms
[2023-03-14 09:38:03] [INFO ] Flatten gal took : 234 ms
[2023-03-14 09:38:03] [INFO ] Input system was already deterministic with 6829 transitions.
[2023-03-14 09:38:03] [INFO ] Flatten gal took : 205 ms
[2023-03-14 09:38:04] [INFO ] Flatten gal took : 218 ms
[2023-03-14 09:38:04] [INFO ] Time to serialize gal into /tmp/CTLCardinality17479748481475941854.gal : 29 ms
[2023-03-14 09:38:04] [INFO ] Time to serialize properties into /tmp/CTLCardinality3353581562785093684.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality17479748481475941854.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality3353581562785093684.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2023-03-14 09:38:34] [INFO ] Flatten gal took : 207 ms
[2023-03-14 09:38:34] [INFO ] Applying decomposition
[2023-03-14 09:38:34] [INFO ] Flatten gal took : 201 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph4236201529682088430.txt' '-o' '/tmp/graph4236201529682088430.bin' '-w' '/tmp/graph4236201529682088430.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph4236201529682088430.bin' '-l' '-1' '-v' '-w' '/tmp/graph4236201529682088430.weights' '-q' '0' '-e' '0.001'
[2023-03-14 09:38:35] [INFO ] Decomposing Gal with order
[2023-03-14 09:38:35] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-14 09:38:36] [INFO ] Removed a total of 18671 redundant transitions.
[2023-03-14 09:38:36] [INFO ] Flatten gal took : 405 ms
[2023-03-14 09:38:36] [INFO ] Fuse similar labels procedure discarded/fused a total of 50 labels/synchronizations in 193 ms.
[2023-03-14 09:38:36] [INFO ] Time to serialize gal into /tmp/CTLCardinality2655198258428982960.gal : 50 ms
[2023-03-14 09:38:36] [INFO ] Time to serialize properties into /tmp/CTLCardinality8509688136989013979.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality2655198258428982960.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality8509688136989013979.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...262
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 1905/1905 places, 8448/8448 transitions.
Discarding 99 places :
Symmetric choice reduction at 0 with 99 rule applications. Total rules 99 place count 1806 transition count 7615
Iterating global reduction 0 with 99 rules applied. Total rules applied 198 place count 1806 transition count 7615
Ensure Unique test removed 744 transitions
Reduce isomorphic transitions removed 744 transitions.
Iterating post reduction 0 with 744 rules applied. Total rules applied 942 place count 1806 transition count 6871
Applied a total of 942 rules in 367 ms. Remains 1806 /1905 variables (removed 99) and now considering 6871/8448 (removed 1577) transitions.
[2023-03-14 09:39:07] [INFO ] Flow matrix only has 906 transitions (discarded 5965 similar events)
// Phase 1: matrix 906 rows 1806 cols
[2023-03-14 09:39:07] [INFO ] Computed 900 place invariants in 17 ms
[2023-03-14 09:39:10] [INFO ] Dead Transitions using invariants and state equation in 3015 ms found 0 transitions.
[2023-03-14 09:39:10] [INFO ] Flow matrix only has 906 transitions (discarded 5965 similar events)
[2023-03-14 09:39:10] [INFO ] Invariant cache hit.
[2023-03-14 09:39:11] [INFO ] Implicit Places using invariants in 1782 ms returned []
[2023-03-14 09:39:11] [INFO ] Flow matrix only has 906 transitions (discarded 5965 similar events)
[2023-03-14 09:39:11] [INFO ] Invariant cache hit.
[2023-03-14 09:39:12] [INFO ] State equation strengthened by 898 read => feed constraints.
[2023-03-14 09:39:21] [INFO ] Implicit Places using invariants and state equation in 9307 ms returned []
Implicit Place search using SMT with State Equation took 11101 ms to find 0 implicit places.
[2023-03-14 09:39:21] [INFO ] Flow matrix only has 906 transitions (discarded 5965 similar events)
[2023-03-14 09:39:21] [INFO ] Invariant cache hit.
[2023-03-14 09:39:23] [INFO ] Dead Transitions using invariants and state equation in 2810 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 1806/1905 places, 6871/8448 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 17297 ms. Remains : 1806/1905 places, 6871/8448 transitions.
[2023-03-14 09:39:24] [INFO ] Flatten gal took : 247 ms
[2023-03-14 09:39:24] [INFO ] Flatten gal took : 208 ms
[2023-03-14 09:39:24] [INFO ] Input system was already deterministic with 6871 transitions.
[2023-03-14 09:39:25] [INFO ] Flatten gal took : 195 ms
[2023-03-14 09:39:25] [INFO ] Flatten gal took : 248 ms
[2023-03-14 09:39:25] [INFO ] Time to serialize gal into /tmp/CTLCardinality14244125995437393181.gal : 32 ms
[2023-03-14 09:39:25] [INFO ] Time to serialize properties into /tmp/CTLCardinality15185974091093806814.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality14244125995437393181.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality15185974091093806814.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2023-03-14 09:39:55] [INFO ] Flatten gal took : 251 ms
[2023-03-14 09:39:55] [INFO ] Applying decomposition
[2023-03-14 09:39:55] [INFO ] Flatten gal took : 205 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph7395513635141636637.txt' '-o' '/tmp/graph7395513635141636637.bin' '-w' '/tmp/graph7395513635141636637.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph7395513635141636637.bin' '-l' '-1' '-v' '-w' '/tmp/graph7395513635141636637.weights' '-q' '0' '-e' '0.001'
[2023-03-14 09:39:56] [INFO ] Decomposing Gal with order
[2023-03-14 09:39:56] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-14 09:39:56] [INFO ] Removed a total of 21 redundant transitions.
[2023-03-14 09:39:56] [INFO ] Flatten gal took : 249 ms
[2023-03-14 09:39:56] [INFO ] Fuse similar labels procedure discarded/fused a total of 24 labels/synchronizations in 1 ms.
[2023-03-14 09:39:56] [INFO ] Time to serialize gal into /tmp/CTLCardinality11699093995346111303.gal : 44 ms
[2023-03-14 09:39:56] [INFO ] Time to serialize properties into /tmp/CTLCardinality9384870097919298368.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality11699093995346111303.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality9384870097919298368.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 1905/1905 places, 8448/8448 transitions.
Discarding 99 places :
Symmetric choice reduction at 0 with 99 rule applications. Total rules 99 place count 1806 transition count 7613
Iterating global reduction 0 with 99 rules applied. Total rules applied 198 place count 1806 transition count 7613
Ensure Unique test removed 748 transitions
Reduce isomorphic transitions removed 748 transitions.
Iterating post reduction 0 with 748 rules applied. Total rules applied 946 place count 1806 transition count 6865
Applied a total of 946 rules in 428 ms. Remains 1806 /1905 variables (removed 99) and now considering 6865/8448 (removed 1583) transitions.
[2023-03-14 09:40:27] [INFO ] Flow matrix only has 906 transitions (discarded 5959 similar events)
// Phase 1: matrix 906 rows 1806 cols
[2023-03-14 09:40:27] [INFO ] Computed 900 place invariants in 19 ms
[2023-03-14 09:40:30] [INFO ] Dead Transitions using invariants and state equation in 3041 ms found 0 transitions.
[2023-03-14 09:40:30] [INFO ] Flow matrix only has 906 transitions (discarded 5959 similar events)
[2023-03-14 09:40:30] [INFO ] Invariant cache hit.
[2023-03-14 09:40:32] [INFO ] Implicit Places using invariants in 1935 ms returned []
[2023-03-14 09:40:32] [INFO ] Flow matrix only has 906 transitions (discarded 5959 similar events)
[2023-03-14 09:40:32] [INFO ] Invariant cache hit.
[2023-03-14 09:40:33] [INFO ] State equation strengthened by 898 read => feed constraints.
[2023-03-14 09:40:42] [INFO ] Implicit Places using invariants and state equation in 9998 ms returned []
Implicit Place search using SMT with State Equation took 11954 ms to find 0 implicit places.
[2023-03-14 09:40:42] [INFO ] Flow matrix only has 906 transitions (discarded 5959 similar events)
[2023-03-14 09:40:42] [INFO ] Invariant cache hit.
[2023-03-14 09:40:45] [INFO ] Dead Transitions using invariants and state equation in 2857 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 1806/1905 places, 6865/8448 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 18284 ms. Remains : 1806/1905 places, 6865/8448 transitions.
[2023-03-14 09:40:45] [INFO ] Flatten gal took : 213 ms
[2023-03-14 09:40:45] [INFO ] Flatten gal took : 226 ms
[2023-03-14 09:40:46] [INFO ] Input system was already deterministic with 6865 transitions.
[2023-03-14 09:40:46] [INFO ] Flatten gal took : 246 ms
[2023-03-14 09:40:46] [INFO ] Flatten gal took : 211 ms
[2023-03-14 09:40:46] [INFO ] Time to serialize gal into /tmp/CTLCardinality3701824614474511935.gal : 33 ms
[2023-03-14 09:40:46] [INFO ] Time to serialize properties into /tmp/CTLCardinality13671718857804949552.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality3701824614474511935.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality13671718857804949552.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2023-03-14 09:41:17] [INFO ] Flatten gal took : 229 ms
[2023-03-14 09:41:17] [INFO ] Applying decomposition
[2023-03-14 09:41:17] [INFO ] Flatten gal took : 240 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph8863235379435933102.txt' '-o' '/tmp/graph8863235379435933102.bin' '-w' '/tmp/graph8863235379435933102.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph8863235379435933102.bin' '-l' '-1' '-v' '-w' '/tmp/graph8863235379435933102.weights' '-q' '0' '-e' '0.001'
[2023-03-14 09:41:17] [INFO ] Decomposing Gal with order
[2023-03-14 09:41:17] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-14 09:41:18] [INFO ] Removed a total of 44 redundant transitions.
[2023-03-14 09:41:18] [INFO ] Flatten gal took : 343 ms
[2023-03-14 09:41:18] [INFO ] Fuse similar labels procedure discarded/fused a total of 52 labels/synchronizations in 2 ms.
[2023-03-14 09:41:18] [INFO ] Time to serialize gal into /tmp/CTLCardinality15900965959170046663.gal : 31 ms
[2023-03-14 09:41:18] [INFO ] Time to serialize properties into /tmp/CTLCardinality10527591001521900448.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality15900965959170046663.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality10527591001521900448.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 1905/1905 places, 8448/8448 transitions.
Discarding 93 places :
Symmetric choice reduction at 0 with 93 rule applications. Total rules 93 place count 1812 transition count 7673
Iterating global reduction 0 with 93 rules applied. Total rules applied 186 place count 1812 transition count 7673
Ensure Unique test removed 704 transitions
Reduce isomorphic transitions removed 704 transitions.
Iterating post reduction 0 with 704 rules applied. Total rules applied 890 place count 1812 transition count 6969
Applied a total of 890 rules in 397 ms. Remains 1812 /1905 variables (removed 93) and now considering 6969/8448 (removed 1479) transitions.
[2023-03-14 09:41:48] [INFO ] Flow matrix only has 912 transitions (discarded 6057 similar events)
// Phase 1: matrix 912 rows 1812 cols
[2023-03-14 09:41:48] [INFO ] Computed 900 place invariants in 22 ms
[2023-03-14 09:41:51] [INFO ] Dead Transitions using invariants and state equation in 3030 ms found 0 transitions.
[2023-03-14 09:41:51] [INFO ] Flow matrix only has 912 transitions (discarded 6057 similar events)
[2023-03-14 09:41:51] [INFO ] Invariant cache hit.
[2023-03-14 09:41:53] [INFO ] Implicit Places using invariants in 1930 ms returned []
[2023-03-14 09:41:53] [INFO ] Flow matrix only has 912 transitions (discarded 6057 similar events)
[2023-03-14 09:41:53] [INFO ] Invariant cache hit.
[2023-03-14 09:41:54] [INFO ] State equation strengthened by 904 read => feed constraints.
[2023-03-14 09:42:05] [INFO ] Implicit Places using invariants and state equation in 11142 ms returned []
Implicit Place search using SMT with State Equation took 13077 ms to find 0 implicit places.
[2023-03-14 09:42:05] [INFO ] Flow matrix only has 912 transitions (discarded 6057 similar events)
[2023-03-14 09:42:05] [INFO ] Invariant cache hit.
[2023-03-14 09:42:07] [INFO ] Dead Transitions using invariants and state equation in 2822 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 1812/1905 places, 6969/8448 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 19326 ms. Remains : 1812/1905 places, 6969/8448 transitions.
[2023-03-14 09:42:08] [INFO ] Flatten gal took : 208 ms
[2023-03-14 09:42:08] [INFO ] Flatten gal took : 236 ms
[2023-03-14 09:42:08] [INFO ] Input system was already deterministic with 6969 transitions.
[2023-03-14 09:42:08] [INFO ] Flatten gal took : 219 ms
[2023-03-14 09:42:09] [INFO ] Flatten gal took : 220 ms
[2023-03-14 09:42:09] [INFO ] Time to serialize gal into /tmp/CTLCardinality4999876456694357276.gal : 36 ms
[2023-03-14 09:42:09] [INFO ] Time to serialize properties into /tmp/CTLCardinality3032177885940551088.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality4999876456694357276.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality3032177885940551088.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2023-03-14 09:42:39] [INFO ] Flatten gal took : 222 ms
[2023-03-14 09:42:39] [INFO ] Applying decomposition
[2023-03-14 09:42:39] [INFO ] Flatten gal took : 226 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph1379060723903464051.txt' '-o' '/tmp/graph1379060723903464051.bin' '-w' '/tmp/graph1379060723903464051.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph1379060723903464051.bin' '-l' '-1' '-v' '-w' '/tmp/graph1379060723903464051.weights' '-q' '0' '-e' '0.001'
[2023-03-14 09:42:40] [INFO ] Decomposing Gal with order
[2023-03-14 09:42:40] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-14 09:42:40] [INFO ] Removed a total of 24 redundant transitions.
[2023-03-14 09:42:40] [INFO ] Flatten gal took : 293 ms
[2023-03-14 09:42:40] [INFO ] Fuse similar labels procedure discarded/fused a total of 28 labels/synchronizations in 2 ms.
[2023-03-14 09:42:40] [INFO ] Time to serialize gal into /tmp/CTLCardinality9068627506278827825.gal : 30 ms
[2023-03-14 09:42:40] [INFO ] Time to serialize properties into /tmp/CTLCardinality13387158398770029994.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality9068627506278827825.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality13387158398770029994.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 1905/1905 places, 8448/8448 transitions.
Discarding 102 places :
Symmetric choice reduction at 0 with 102 rule applications. Total rules 102 place count 1803 transition count 7596
Iterating global reduction 0 with 102 rules applied. Total rules applied 204 place count 1803 transition count 7596
Ensure Unique test removed 767 transitions
Reduce isomorphic transitions removed 767 transitions.
Iterating post reduction 0 with 767 rules applied. Total rules applied 971 place count 1803 transition count 6829
Applied a total of 971 rules in 440 ms. Remains 1803 /1905 variables (removed 102) and now considering 6829/8448 (removed 1619) transitions.
[2023-03-14 09:43:11] [INFO ] Flow matrix only has 903 transitions (discarded 5926 similar events)
// Phase 1: matrix 903 rows 1803 cols
[2023-03-14 09:43:11] [INFO ] Computed 900 place invariants in 24 ms
[2023-03-14 09:43:14] [INFO ] Dead Transitions using invariants and state equation in 2853 ms found 0 transitions.
[2023-03-14 09:43:14] [INFO ] Flow matrix only has 903 transitions (discarded 5926 similar events)
[2023-03-14 09:43:14] [INFO ] Invariant cache hit.
[2023-03-14 09:43:16] [INFO ] Implicit Places using invariants in 1805 ms returned []
[2023-03-14 09:43:16] [INFO ] Flow matrix only has 903 transitions (discarded 5926 similar events)
[2023-03-14 09:43:16] [INFO ] Invariant cache hit.
[2023-03-14 09:43:16] [INFO ] State equation strengthened by 895 read => feed constraints.
[2023-03-14 09:43:24] [INFO ] Implicit Places using invariants and state equation in 8906 ms returned []
Implicit Place search using SMT with State Equation took 10743 ms to find 0 implicit places.
[2023-03-14 09:43:24] [INFO ] Flow matrix only has 903 transitions (discarded 5926 similar events)
[2023-03-14 09:43:24] [INFO ] Invariant cache hit.
[2023-03-14 09:43:27] [INFO ] Dead Transitions using invariants and state equation in 2820 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 1803/1905 places, 6829/8448 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 16872 ms. Remains : 1803/1905 places, 6829/8448 transitions.
[2023-03-14 09:43:28] [INFO ] Flatten gal took : 182 ms
[2023-03-14 09:43:28] [INFO ] Flatten gal took : 214 ms
[2023-03-14 09:43:28] [INFO ] Input system was already deterministic with 6829 transitions.
[2023-03-14 09:43:28] [INFO ] Flatten gal took : 201 ms
[2023-03-14 09:43:29] [INFO ] Flatten gal took : 237 ms
[2023-03-14 09:43:29] [INFO ] Time to serialize gal into /tmp/CTLCardinality13931128849094818287.gal : 36 ms
[2023-03-14 09:43:29] [INFO ] Time to serialize properties into /tmp/CTLCardinality13430807573491601800.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality13931128849094818287.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality13430807573491601800.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2023-03-14 09:43:59] [INFO ] Flatten gal took : 222 ms
[2023-03-14 09:43:59] [INFO ] Applying decomposition
[2023-03-14 09:43:59] [INFO ] Flatten gal took : 232 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph14414171630490699717.txt' '-o' '/tmp/graph14414171630490699717.bin' '-w' '/tmp/graph14414171630490699717.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph14414171630490699717.bin' '-l' '-1' '-v' '-w' '/tmp/graph14414171630490699717.weights' '-q' '0' '-e' '0.001'
[2023-03-14 09:44:00] [INFO ] Decomposing Gal with order
[2023-03-14 09:44:00] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-14 09:44:00] [INFO ] Removed a total of 60 redundant transitions.
[2023-03-14 09:44:00] [INFO ] Flatten gal took : 285 ms
[2023-03-14 09:44:00] [INFO ] Fuse similar labels procedure discarded/fused a total of 69 labels/synchronizations in 2 ms.
[2023-03-14 09:44:00] [INFO ] Time to serialize gal into /tmp/CTLCardinality8595070642153189549.gal : 174 ms
[2023-03-14 09:44:00] [INFO ] Time to serialize properties into /tmp/CTLCardinality3320150901005635131.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality8595070642153189549.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality3320150901005635131.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 1905/1905 places, 8448/8448 transitions.
Discarding 102 places :
Symmetric choice reduction at 0 with 102 rule applications. Total rules 102 place count 1803 transition count 7593
Iterating global reduction 0 with 102 rules applied. Total rules applied 204 place count 1803 transition count 7593
Ensure Unique test removed 764 transitions
Reduce isomorphic transitions removed 764 transitions.
Iterating post reduction 0 with 764 rules applied. Total rules applied 968 place count 1803 transition count 6829
Applied a total of 968 rules in 4236 ms. Remains 1803 /1905 variables (removed 102) and now considering 6829/8448 (removed 1619) transitions.
[2023-03-14 09:44:35] [INFO ] Flow matrix only has 903 transitions (discarded 5926 similar events)
// Phase 1: matrix 903 rows 1803 cols
[2023-03-14 09:44:35] [INFO ] Computed 900 place invariants in 22 ms
[2023-03-14 09:44:38] [INFO ] Dead Transitions using invariants and state equation in 3027 ms found 0 transitions.
[2023-03-14 09:44:38] [INFO ] Flow matrix only has 903 transitions (discarded 5926 similar events)
[2023-03-14 09:44:38] [INFO ] Invariant cache hit.
[2023-03-14 09:44:40] [INFO ] Implicit Places using invariants in 1960 ms returned []
[2023-03-14 09:44:40] [INFO ] Flow matrix only has 903 transitions (discarded 5926 similar events)
[2023-03-14 09:44:40] [INFO ] Invariant cache hit.
[2023-03-14 09:44:41] [INFO ] State equation strengthened by 895 read => feed constraints.
[2023-03-14 09:44:49] [INFO ] Implicit Places using invariants and state equation in 9247 ms returned []
Implicit Place search using SMT with State Equation took 11229 ms to find 0 implicit places.
[2023-03-14 09:44:50] [INFO ] Redundant transitions in 717 ms returned []
[2023-03-14 09:44:50] [INFO ] Flow matrix only has 903 transitions (discarded 5926 similar events)
[2023-03-14 09:44:50] [INFO ] Invariant cache hit.
[2023-03-14 09:44:53] [INFO ] Dead Transitions using invariants and state equation in 3093 ms found 0 transitions.
Starting structural reductions in SI_CTL mode, iteration 1 : 1803/1905 places, 6829/8448 transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 22315 ms. Remains : 1803/1905 places, 6829/8448 transitions.
[2023-03-14 09:44:53] [INFO ] Flatten gal took : 210 ms
[2023-03-14 09:44:53] [INFO ] Flatten gal took : 215 ms
[2023-03-14 09:44:54] [INFO ] Input system was already deterministic with 6829 transitions.
[2023-03-14 09:44:54] [INFO ] Flatten gal took : 194 ms
[2023-03-14 09:44:54] [INFO ] Flatten gal took : 205 ms
[2023-03-14 09:44:54] [INFO ] Time to serialize gal into /tmp/CTLCardinality4175175302443341399.gal : 27 ms
[2023-03-14 09:44:54] [INFO ] Time to serialize properties into /tmp/CTLCardinality10566124983498712182.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality4175175302443341399.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality10566124983498712182.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2023-03-14 09:45:24] [INFO ] Flatten gal took : 252 ms
[2023-03-14 09:45:24] [INFO ] Applying decomposition
[2023-03-14 09:45:25] [INFO ] Flatten gal took : 197 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph8482194855446582133.txt' '-o' '/tmp/graph8482194855446582133.bin' '-w' '/tmp/graph8482194855446582133.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph8482194855446582133.bin' '-l' '-1' '-v' '-w' '/tmp/graph8482194855446582133.weights' '-q' '0' '-e' '0.001'
[2023-03-14 09:45:25] [INFO ] Decomposing Gal with order
[2023-03-14 09:45:25] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-14 09:45:25] [INFO ] Removed a total of 28 redundant transitions.
[2023-03-14 09:45:25] [INFO ] Flatten gal took : 276 ms
[2023-03-14 09:45:25] [INFO ] Fuse similar labels procedure discarded/fused a total of 32 labels/synchronizations in 1 ms.
[2023-03-14 09:45:26] [INFO ] Time to serialize gal into /tmp/CTLCardinality5010109189039994746.gal : 27 ms
[2023-03-14 09:45:26] [INFO ] Time to serialize properties into /tmp/CTLCardinality9183892523168723790.ctl : 3 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality5010109189039994746.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality9183892523168723790.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 1905/1905 places, 8448/8448 transitions.
Discarding 95 places :
Symmetric choice reduction at 0 with 95 rule applications. Total rules 95 place count 1810 transition count 7642
Iterating global reduction 0 with 95 rules applied. Total rules applied 190 place count 1810 transition count 7642
Ensure Unique test removed 726 transitions
Reduce isomorphic transitions removed 726 transitions.
Iterating post reduction 0 with 726 rules applied. Total rules applied 916 place count 1810 transition count 6916
Applied a total of 916 rules in 436 ms. Remains 1810 /1905 variables (removed 95) and now considering 6916/8448 (removed 1532) transitions.
[2023-03-14 09:45:56] [INFO ] Flow matrix only has 910 transitions (discarded 6006 similar events)
// Phase 1: matrix 910 rows 1810 cols
[2023-03-14 09:45:56] [INFO ] Computed 900 place invariants in 26 ms
[2023-03-14 09:45:59] [INFO ] Dead Transitions using invariants and state equation in 2991 ms found 0 transitions.
[2023-03-14 09:45:59] [INFO ] Flow matrix only has 910 transitions (discarded 6006 similar events)
[2023-03-14 09:45:59] [INFO ] Invariant cache hit.
[2023-03-14 09:46:01] [INFO ] Implicit Places using invariants in 1886 ms returned []
[2023-03-14 09:46:01] [INFO ] Flow matrix only has 910 transitions (discarded 6006 similar events)
[2023-03-14 09:46:01] [INFO ] Invariant cache hit.
[2023-03-14 09:46:02] [INFO ] State equation strengthened by 902 read => feed constraints.
[2023-03-14 09:46:12] [INFO ] Implicit Places using invariants and state equation in 11010 ms returned []
Implicit Place search using SMT with State Equation took 12905 ms to find 0 implicit places.
[2023-03-14 09:46:12] [INFO ] Flow matrix only has 910 transitions (discarded 6006 similar events)
[2023-03-14 09:46:12] [INFO ] Invariant cache hit.
[2023-03-14 09:46:15] [INFO ] Dead Transitions using invariants and state equation in 3072 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 1810/1905 places, 6916/8448 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 19413 ms. Remains : 1810/1905 places, 6916/8448 transitions.
[2023-03-14 09:46:15] [INFO ] Flatten gal took : 201 ms
[2023-03-14 09:46:16] [INFO ] Flatten gal took : 214 ms
[2023-03-14 09:46:16] [INFO ] Input system was already deterministic with 6916 transitions.
[2023-03-14 09:46:16] [INFO ] Flatten gal took : 212 ms
[2023-03-14 09:46:16] [INFO ] Flatten gal took : 215 ms
[2023-03-14 09:46:16] [INFO ] Time to serialize gal into /tmp/CTLCardinality1801030188865011994.gal : 31 ms
[2023-03-14 09:46:16] [INFO ] Time to serialize properties into /tmp/CTLCardinality13760846715483534824.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality1801030188865011994.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality13760846715483534824.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2023-03-14 09:46:47] [INFO ] Flatten gal took : 204 ms
[2023-03-14 09:46:47] [INFO ] Applying decomposition
[2023-03-14 09:46:47] [INFO ] Flatten gal took : 208 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph17190561414004441869.txt' '-o' '/tmp/graph17190561414004441869.bin' '-w' '/tmp/graph17190561414004441869.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph17190561414004441869.bin' '-l' '-1' '-v' '-w' '/tmp/graph17190561414004441869.weights' '-q' '0' '-e' '0.001'
[2023-03-14 09:46:47] [INFO ] Decomposing Gal with order
[2023-03-14 09:46:47] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-14 09:46:48] [INFO ] Removed a total of 129 redundant transitions.
[2023-03-14 09:46:48] [INFO ] Flatten gal took : 306 ms
[2023-03-14 09:46:48] [INFO ] Fuse similar labels procedure discarded/fused a total of 148 labels/synchronizations in 4 ms.
[2023-03-14 09:46:48] [INFO ] Time to serialize gal into /tmp/CTLCardinality17317789520515225153.gal : 26 ms
[2023-03-14 09:46:48] [INFO ] Time to serialize properties into /tmp/CTLCardinality15734661969618789352.ctl : 2 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality17317789520515225153.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality15734661969618789352.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 1905/1905 places, 8448/8448 transitions.
Discarding 100 places :
Symmetric choice reduction at 0 with 100 rule applications. Total rules 100 place count 1805 transition count 7609
Iterating global reduction 0 with 100 rules applied. Total rules applied 200 place count 1805 transition count 7609
Ensure Unique test removed 754 transitions
Reduce isomorphic transitions removed 754 transitions.
Iterating post reduction 0 with 754 rules applied. Total rules applied 954 place count 1805 transition count 6855
Applied a total of 954 rules in 421 ms. Remains 1805 /1905 variables (removed 100) and now considering 6855/8448 (removed 1593) transitions.
[2023-03-14 09:47:18] [INFO ] Flow matrix only has 905 transitions (discarded 5950 similar events)
// Phase 1: matrix 905 rows 1805 cols
[2023-03-14 09:47:18] [INFO ] Computed 900 place invariants in 24 ms
[2023-03-14 09:47:21] [INFO ] Dead Transitions using invariants and state equation in 2849 ms found 0 transitions.
[2023-03-14 09:47:21] [INFO ] Flow matrix only has 905 transitions (discarded 5950 similar events)
[2023-03-14 09:47:21] [INFO ] Invariant cache hit.
[2023-03-14 09:47:23] [INFO ] Implicit Places using invariants in 1918 ms returned []
[2023-03-14 09:47:23] [INFO ] Flow matrix only has 905 transitions (discarded 5950 similar events)
[2023-03-14 09:47:23] [INFO ] Invariant cache hit.
[2023-03-14 09:47:24] [INFO ] State equation strengthened by 897 read => feed constraints.
[2023-03-14 09:47:33] [INFO ] Implicit Places using invariants and state equation in 9553 ms returned []
Implicit Place search using SMT with State Equation took 11475 ms to find 0 implicit places.
[2023-03-14 09:47:33] [INFO ] Flow matrix only has 905 transitions (discarded 5950 similar events)
[2023-03-14 09:47:33] [INFO ] Invariant cache hit.
[2023-03-14 09:47:36] [INFO ] Dead Transitions using invariants and state equation in 2890 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 1805/1905 places, 6855/8448 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 17643 ms. Remains : 1805/1905 places, 6855/8448 transitions.
[2023-03-14 09:47:36] [INFO ] Flatten gal took : 210 ms
[2023-03-14 09:47:36] [INFO ] Flatten gal took : 233 ms
[2023-03-14 09:47:36] [INFO ] Input system was already deterministic with 6855 transitions.
[2023-03-14 09:47:37] [INFO ] Flatten gal took : 217 ms
[2023-03-14 09:47:37] [INFO ] Flatten gal took : 230 ms
[2023-03-14 09:47:37] [INFO ] Time to serialize gal into /tmp/CTLCardinality4815297767087442892.gal : 31 ms
[2023-03-14 09:47:37] [INFO ] Time to serialize properties into /tmp/CTLCardinality4094964741869916654.ctl : 3 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality4815297767087442892.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality4094964741869916654.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2023-03-14 09:48:07] [INFO ] Flatten gal took : 224 ms
[2023-03-14 09:48:07] [INFO ] Applying decomposition
[2023-03-14 09:48:08] [INFO ] Flatten gal took : 233 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph7379600943224020376.txt' '-o' '/tmp/graph7379600943224020376.bin' '-w' '/tmp/graph7379600943224020376.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph7379600943224020376.bin' '-l' '-1' '-v' '-w' '/tmp/graph7379600943224020376.weights' '-q' '0' '-e' '0.001'
[2023-03-14 09:48:08] [INFO ] Decomposing Gal with order
[2023-03-14 09:48:08] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-14 09:48:08] [INFO ] Removed a total of 49 redundant transitions.
[2023-03-14 09:48:08] [INFO ] Flatten gal took : 307 ms
[2023-03-14 09:48:08] [INFO ] Fuse similar labels procedure discarded/fused a total of 56 labels/synchronizations in 1 ms.
[2023-03-14 09:48:09] [INFO ] Time to serialize gal into /tmp/CTLCardinality11104988026693853369.gal : 30 ms
[2023-03-14 09:48:09] [INFO ] Time to serialize properties into /tmp/CTLCardinality7501283113353977267.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality11104988026693853369.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality7501283113353977267.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 1905/1905 places, 8448/8448 transitions.
Discarding 100 places :
Symmetric choice reduction at 0 with 100 rule applications. Total rules 100 place count 1805 transition count 7610
Iterating global reduction 0 with 100 rules applied. Total rules applied 200 place count 1805 transition count 7610
Ensure Unique test removed 753 transitions
Reduce isomorphic transitions removed 753 transitions.
Iterating post reduction 0 with 753 rules applied. Total rules applied 953 place count 1805 transition count 6857
Applied a total of 953 rules in 438 ms. Remains 1805 /1905 variables (removed 100) and now considering 6857/8448 (removed 1591) transitions.
[2023-03-14 09:48:39] [INFO ] Flow matrix only has 905 transitions (discarded 5952 similar events)
// Phase 1: matrix 905 rows 1805 cols
[2023-03-14 09:48:39] [INFO ] Computed 900 place invariants in 22 ms
[2023-03-14 09:48:42] [INFO ] Dead Transitions using invariants and state equation in 3077 ms found 0 transitions.
[2023-03-14 09:48:42] [INFO ] Flow matrix only has 905 transitions (discarded 5952 similar events)
[2023-03-14 09:48:42] [INFO ] Invariant cache hit.
[2023-03-14 09:48:44] [INFO ] Implicit Places using invariants in 1993 ms returned []
[2023-03-14 09:48:44] [INFO ] Flow matrix only has 905 transitions (discarded 5952 similar events)
[2023-03-14 09:48:44] [INFO ] Invariant cache hit.
[2023-03-14 09:48:45] [INFO ] State equation strengthened by 897 read => feed constraints.
[2023-03-14 09:48:54] [INFO ] Implicit Places using invariants and state equation in 9436 ms returned []
Implicit Place search using SMT with State Equation took 11436 ms to find 0 implicit places.
[2023-03-14 09:48:54] [INFO ] Flow matrix only has 905 transitions (discarded 5952 similar events)
[2023-03-14 09:48:54] [INFO ] Invariant cache hit.
[2023-03-14 09:48:57] [INFO ] Dead Transitions using invariants and state equation in 3018 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 1805/1905 places, 6857/8448 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 17974 ms. Remains : 1805/1905 places, 6857/8448 transitions.
[2023-03-14 09:48:57] [INFO ] Flatten gal took : 183 ms
[2023-03-14 09:48:57] [INFO ] Flatten gal took : 208 ms
[2023-03-14 09:48:58] [INFO ] Input system was already deterministic with 6857 transitions.
[2023-03-14 09:48:58] [INFO ] Flatten gal took : 226 ms
[2023-03-14 09:48:58] [INFO ] Flatten gal took : 227 ms
[2023-03-14 09:48:58] [INFO ] Time to serialize gal into /tmp/CTLCardinality5247300817540820163.gal : 29 ms
[2023-03-14 09:48:58] [INFO ] Time to serialize properties into /tmp/CTLCardinality300873217217491509.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality5247300817540820163.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality300873217217491509.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...282
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2023-03-14 09:49:28] [INFO ] Flatten gal took : 205 ms
[2023-03-14 09:49:28] [INFO ] Applying decomposition
[2023-03-14 09:49:29] [INFO ] Flatten gal took : 208 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph4711247164259946941.txt' '-o' '/tmp/graph4711247164259946941.bin' '-w' '/tmp/graph4711247164259946941.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph4711247164259946941.bin' '-l' '-1' '-v' '-w' '/tmp/graph4711247164259946941.weights' '-q' '0' '-e' '0.001'
[2023-03-14 09:49:29] [INFO ] Decomposing Gal with order
[2023-03-14 09:49:29] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-14 09:49:29] [INFO ] Removed a total of 59 redundant transitions.
[2023-03-14 09:49:29] [INFO ] Flatten gal took : 315 ms
[2023-03-14 09:49:29] [INFO ] Fuse similar labels procedure discarded/fused a total of 68 labels/synchronizations in 2 ms.
[2023-03-14 09:49:30] [INFO ] Time to serialize gal into /tmp/CTLCardinality2596698921370258652.gal : 28 ms
[2023-03-14 09:49:30] [INFO ] Time to serialize properties into /tmp/CTLCardinality10519754867132425684.ctl : 89 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality2596698921370258652.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality10519754867132425684.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 1905/1905 places, 8448/8448 transitions.
Discarding 99 places :
Symmetric choice reduction at 0 with 99 rule applications. Total rules 99 place count 1806 transition count 7622
Iterating global reduction 0 with 99 rules applied. Total rules applied 198 place count 1806 transition count 7622
Ensure Unique test removed 745 transitions
Reduce isomorphic transitions removed 745 transitions.
Iterating post reduction 0 with 745 rules applied. Total rules applied 943 place count 1806 transition count 6877
Applied a total of 943 rules in 415 ms. Remains 1806 /1905 variables (removed 99) and now considering 6877/8448 (removed 1571) transitions.
[2023-03-14 09:50:00] [INFO ] Flow matrix only has 906 transitions (discarded 5971 similar events)
// Phase 1: matrix 906 rows 1806 cols
[2023-03-14 09:50:00] [INFO ] Computed 900 place invariants in 21 ms
[2023-03-14 09:50:03] [INFO ] Dead Transitions using invariants and state equation in 2936 ms found 0 transitions.
[2023-03-14 09:50:03] [INFO ] Flow matrix only has 906 transitions (discarded 5971 similar events)
[2023-03-14 09:50:03] [INFO ] Invariant cache hit.
[2023-03-14 09:50:05] [INFO ] Implicit Places using invariants in 1850 ms returned []
[2023-03-14 09:50:05] [INFO ] Flow matrix only has 906 transitions (discarded 5971 similar events)
[2023-03-14 09:50:05] [INFO ] Invariant cache hit.
[2023-03-14 09:50:06] [INFO ] State equation strengthened by 898 read => feed constraints.
[2023-03-14 09:50:15] [INFO ] Implicit Places using invariants and state equation in 10375 ms returned []
Implicit Place search using SMT with State Equation took 12229 ms to find 0 implicit places.
[2023-03-14 09:50:15] [INFO ] Flow matrix only has 906 transitions (discarded 5971 similar events)
[2023-03-14 09:50:15] [INFO ] Invariant cache hit.
[2023-03-14 09:50:18] [INFO ] Dead Transitions using invariants and state equation in 2852 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 1806/1905 places, 6877/8448 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 18433 ms. Remains : 1806/1905 places, 6877/8448 transitions.
[2023-03-14 09:50:18] [INFO ] Flatten gal took : 190 ms
[2023-03-14 09:50:19] [INFO ] Flatten gal took : 210 ms
[2023-03-14 09:50:19] [INFO ] Input system was already deterministic with 6877 transitions.
[2023-03-14 09:50:19] [INFO ] Flatten gal took : 206 ms
[2023-03-14 09:50:19] [INFO ] Flatten gal took : 210 ms
[2023-03-14 09:50:20] [INFO ] Time to serialize gal into /tmp/CTLCardinality5529850880493958914.gal : 28 ms
[2023-03-14 09:50:20] [INFO ] Time to serialize properties into /tmp/CTLCardinality15712170617089510858.ctl : 2 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality5529850880493958914.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality15712170617089510858.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2023-03-14 09:50:50] [INFO ] Flatten gal took : 202 ms
[2023-03-14 09:50:50] [INFO ] Applying decomposition
[2023-03-14 09:50:50] [INFO ] Flatten gal took : 204 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph7224110794449650278.txt' '-o' '/tmp/graph7224110794449650278.bin' '-w' '/tmp/graph7224110794449650278.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph7224110794449650278.bin' '-l' '-1' '-v' '-w' '/tmp/graph7224110794449650278.weights' '-q' '0' '-e' '0.001'
[2023-03-14 09:50:50] [INFO ] Decomposing Gal with order
[2023-03-14 09:50:50] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-14 09:50:51] [INFO ] Removed a total of 72 redundant transitions.
[2023-03-14 09:50:51] [INFO ] Flatten gal took : 293 ms
[2023-03-14 09:50:51] [INFO ] Fuse similar labels procedure discarded/fused a total of 78 labels/synchronizations in 2 ms.
[2023-03-14 09:50:51] [INFO ] Time to serialize gal into /tmp/CTLCardinality9145568149109995303.gal : 28 ms
[2023-03-14 09:50:51] [INFO ] Time to serialize properties into /tmp/CTLCardinality13997185861113414424.ctl : 2 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality9145568149109995303.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality13997185861113414424.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 1905/1905 places, 8448/8448 transitions.
Discarding 104 places :
Symmetric choice reduction at 0 with 104 rule applications. Total rules 104 place count 1801 transition count 7578
Iterating global reduction 0 with 104 rules applied. Total rules applied 208 place count 1801 transition count 7578
Ensure Unique test removed 781 transitions
Reduce isomorphic transitions removed 781 transitions.
Iterating post reduction 0 with 781 rules applied. Total rules applied 989 place count 1801 transition count 6797
Applied a total of 989 rules in 470 ms. Remains 1801 /1905 variables (removed 104) and now considering 6797/8448 (removed 1651) transitions.
[2023-03-14 09:51:22] [INFO ] Flow matrix only has 901 transitions (discarded 5896 similar events)
// Phase 1: matrix 901 rows 1801 cols
[2023-03-14 09:51:22] [INFO ] Computed 900 place invariants in 23 ms
[2023-03-14 09:51:25] [INFO ] Dead Transitions using invariants and state equation in 2950 ms found 0 transitions.
[2023-03-14 09:51:25] [INFO ] Flow matrix only has 901 transitions (discarded 5896 similar events)
[2023-03-14 09:51:25] [INFO ] Invariant cache hit.
[2023-03-14 09:51:26] [INFO ] Implicit Places using invariants in 1949 ms returned []
[2023-03-14 09:51:26] [INFO ] Flow matrix only has 901 transitions (discarded 5896 similar events)
[2023-03-14 09:51:26] [INFO ] Invariant cache hit.
[2023-03-14 09:51:27] [INFO ] State equation strengthened by 893 read => feed constraints.
[2023-03-14 09:51:37] [INFO ] Implicit Places using invariants and state equation in 10224 ms returned []
Implicit Place search using SMT with State Equation took 12178 ms to find 0 implicit places.
[2023-03-14 09:51:37] [INFO ] Flow matrix only has 901 transitions (discarded 5896 similar events)
[2023-03-14 09:51:37] [INFO ] Invariant cache hit.
[2023-03-14 09:51:40] [INFO ] Dead Transitions using invariants and state equation in 2910 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 1801/1905 places, 6797/8448 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 18515 ms. Remains : 1801/1905 places, 6797/8448 transitions.
[2023-03-14 09:51:40] [INFO ] Flatten gal took : 179 ms
[2023-03-14 09:51:40] [INFO ] Flatten gal took : 207 ms
[2023-03-14 09:51:40] [INFO ] Input system was already deterministic with 6797 transitions.
[2023-03-14 09:51:41] [INFO ] Flatten gal took : 196 ms
[2023-03-14 09:51:41] [INFO ] Flatten gal took : 236 ms
[2023-03-14 09:51:41] [INFO ] Time to serialize gal into /tmp/CTLCardinality8338694208239131701.gal : 30 ms
[2023-03-14 09:51:41] [INFO ] Time to serialize properties into /tmp/CTLCardinality8632272310021625243.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality8338694208239131701.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality8632272310021625243.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2023-03-14 09:52:11] [INFO ] Flatten gal took : 192 ms
[2023-03-14 09:52:11] [INFO ] Applying decomposition
[2023-03-14 09:52:11] [INFO ] Flatten gal took : 196 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph18065330699535509140.txt' '-o' '/tmp/graph18065330699535509140.bin' '-w' '/tmp/graph18065330699535509140.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph18065330699535509140.bin' '-l' '-1' '-v' '-w' '/tmp/graph18065330699535509140.weights' '-q' '0' '-e' '0.001'
[2023-03-14 09:52:12] [INFO ] Decomposing Gal with order
[2023-03-14 09:52:12] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-14 09:52:12] [INFO ] Removed a total of 14 redundant transitions.
[2023-03-14 09:52:12] [INFO ] Flatten gal took : 265 ms
[2023-03-14 09:52:12] [INFO ] Fuse similar labels procedure discarded/fused a total of 16 labels/synchronizations in 0 ms.
[2023-03-14 09:52:12] [INFO ] Time to serialize gal into /tmp/CTLCardinality8667694643777997987.gal : 29 ms
[2023-03-14 09:52:12] [INFO ] Time to serialize properties into /tmp/CTLCardinality15762131301578597898.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality8667694643777997987.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality15762131301578597898.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 1905/1905 places, 8448/8448 transitions.
Discarding 99 places :
Symmetric choice reduction at 0 with 99 rule applications. Total rules 99 place count 1806 transition count 7626
Iterating global reduction 0 with 99 rules applied. Total rules applied 198 place count 1806 transition count 7626
Ensure Unique test removed 745 transitions
Reduce isomorphic transitions removed 745 transitions.
Iterating post reduction 0 with 745 rules applied. Total rules applied 943 place count 1806 transition count 6881
Applied a total of 943 rules in 409 ms. Remains 1806 /1905 variables (removed 99) and now considering 6881/8448 (removed 1567) transitions.
[2023-03-14 09:52:43] [INFO ] Flow matrix only has 906 transitions (discarded 5975 similar events)
// Phase 1: matrix 906 rows 1806 cols
[2023-03-14 09:52:43] [INFO ] Computed 900 place invariants in 15 ms
[2023-03-14 09:52:46] [INFO ] Dead Transitions using invariants and state equation in 3009 ms found 0 transitions.
[2023-03-14 09:52:46] [INFO ] Flow matrix only has 906 transitions (discarded 5975 similar events)
[2023-03-14 09:52:46] [INFO ] Invariant cache hit.
[2023-03-14 09:52:48] [INFO ] Implicit Places using invariants in 1973 ms returned []
[2023-03-14 09:52:48] [INFO ] Flow matrix only has 906 transitions (discarded 5975 similar events)
[2023-03-14 09:52:48] [INFO ] Invariant cache hit.
[2023-03-14 09:52:49] [INFO ] State equation strengthened by 898 read => feed constraints.
[2023-03-14 09:52:57] [INFO ] Implicit Places using invariants and state equation in 9257 ms returned []
Implicit Place search using SMT with State Equation took 11244 ms to find 0 implicit places.
[2023-03-14 09:52:57] [INFO ] Flow matrix only has 906 transitions (discarded 5975 similar events)
[2023-03-14 09:52:57] [INFO ] Invariant cache hit.
[2023-03-14 09:53:00] [INFO ] Dead Transitions using invariants and state equation in 2813 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 1806/1905 places, 6881/8448 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 17477 ms. Remains : 1806/1905 places, 6881/8448 transitions.
[2023-03-14 09:53:00] [INFO ] Flatten gal took : 184 ms
[2023-03-14 09:53:00] [INFO ] Flatten gal took : 204 ms
[2023-03-14 09:53:01] [INFO ] Input system was already deterministic with 6881 transitions.
[2023-03-14 09:53:01] [INFO ] Flatten gal took : 198 ms
[2023-03-14 09:53:01] [INFO ] Flatten gal took : 199 ms
[2023-03-14 09:53:01] [INFO ] Time to serialize gal into /tmp/CTLCardinality17886345678562020935.gal : 27 ms
[2023-03-14 09:53:01] [INFO ] Time to serialize properties into /tmp/CTLCardinality10995614802933508414.ctl : 2 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality17886345678562020935.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality10995614802933508414.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2023-03-14 09:53:31] [INFO ] Flatten gal took : 199 ms
[2023-03-14 09:53:31] [INFO ] Applying decomposition
[2023-03-14 09:53:31] [INFO ] Flatten gal took : 200 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph9483115400496333851.txt' '-o' '/tmp/graph9483115400496333851.bin' '-w' '/tmp/graph9483115400496333851.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph9483115400496333851.bin' '-l' '-1' '-v' '-w' '/tmp/graph9483115400496333851.weights' '-q' '0' '-e' '0.001'
[2023-03-14 09:53:32] [INFO ] Decomposing Gal with order
[2023-03-14 09:53:32] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-14 09:53:32] [INFO ] Removed a total of 74 redundant transitions.
[2023-03-14 09:53:32] [INFO ] Flatten gal took : 274 ms
[2023-03-14 09:53:32] [INFO ] Fuse similar labels procedure discarded/fused a total of 84 labels/synchronizations in 2 ms.
[2023-03-14 09:53:32] [INFO ] Time to serialize gal into /tmp/CTLCardinality6003371246330220994.gal : 29 ms
[2023-03-14 09:53:32] [INFO ] Time to serialize properties into /tmp/CTLCardinality7509440112709004288.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality6003371246330220994.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality7509440112709004288.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2023-03-14 09:54:03] [INFO ] Flatten gal took : 246 ms
[2023-03-14 09:54:03] [INFO ] Flatten gal took : 252 ms
[2023-03-14 09:54:03] [INFO ] Applying decomposition
[2023-03-14 09:54:03] [INFO ] Flatten gal took : 328 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph8786454405685173893.txt' '-o' '/tmp/graph8786454405685173893.bin' '-w' '/tmp/graph8786454405685173893.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph8786454405685173893.bin' '-l' '-1' '-v' '-w' '/tmp/graph8786454405685173893.weights' '-q' '0' '-e' '0.001'
[2023-03-14 09:54:04] [INFO ] Decomposing Gal with order
[2023-03-14 09:54:04] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-14 09:54:04] [INFO ] Removed a total of 698 redundant transitions.
[2023-03-14 09:54:05] [INFO ] Flatten gal took : 544 ms
[2023-03-14 09:54:05] [INFO ] Fuse similar labels procedure discarded/fused a total of 703 labels/synchronizations in 28 ms.
[2023-03-14 09:54:05] [INFO ] Time to serialize gal into /tmp/CTLCardinality17302135346858744107.gal : 796 ms
[2023-03-14 09:54:05] [INFO ] Time to serialize properties into /tmp/CTLCardinality14659287570951872145.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality17302135346858744107.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality14659287570951872145.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 13 CTL formulae.
Detected timeout of ITS tools.
[2023-03-14 10:20:41] [INFO ] Flatten gal took : 1129 ms
[2023-03-14 10:20:41] [INFO ] Time to serialize gal into /tmp/CTLCardinality6825703626036882053.gal : 99 ms
[2023-03-14 10:20:41] [INFO ] Time to serialize properties into /tmp/CTLCardinality5335783388892706004.ctl : 13 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality6825703626036882053.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality5335783388892706004.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 13 CTL formulae.
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 135408 kB
After kill :
MemTotal: 16393216 kB
MemFree: 15654688 kB
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ CTLCardinality = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution CTLCardinality -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/its-tools -pnfolder /home/mcc/execution -examination CTLCardinality -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="PhaseVariation-PT-D30CS100"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool itstools"
echo " Input is PhaseVariation-PT-D30CS100, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r293-tall-167873944900073"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/PhaseVariation-PT-D30CS100.tgz
mv PhaseVariation-PT-D30CS100 execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;