About the Execution of ITS-Tools for DoubleExponent-PT-200
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 6064.111 | 3600000.00 | 3721480.00 | 19949.00 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2022-input.r078-tall-165260110000218.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2022-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itstools
Input is DoubleExponent-PT-200, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r078-tall-165260110000218
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.7M
-rw-r--r-- 1 mcc users 7.0K Apr 29 13:47 CTLCardinality.txt
-rw-r--r-- 1 mcc users 73K Apr 29 13:47 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.7K Apr 29 13:47 CTLFireability.txt
-rw-r--r-- 1 mcc users 39K Apr 29 13:47 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 10 09:33 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.2K May 10 09:33 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.7K May 9 07:42 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K May 9 07:42 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K May 9 07:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 9 07:42 LTLFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 9 07:42 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 9 07:42 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 10 09:33 equiv_col
-rw-r--r-- 1 mcc users 4 May 10 09:33 instance
-rw-r--r-- 1 mcc users 6 May 10 09:33 iscolored
-rw-r--r-- 1 mcc users 3.5M May 10 09:33 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME DoubleExponent-PT-200-CTLFireability-00
FORMULA_NAME DoubleExponent-PT-200-CTLFireability-01
FORMULA_NAME DoubleExponent-PT-200-CTLFireability-02
FORMULA_NAME DoubleExponent-PT-200-CTLFireability-03
FORMULA_NAME DoubleExponent-PT-200-CTLFireability-04
FORMULA_NAME DoubleExponent-PT-200-CTLFireability-05
FORMULA_NAME DoubleExponent-PT-200-CTLFireability-06
FORMULA_NAME DoubleExponent-PT-200-CTLFireability-07
FORMULA_NAME DoubleExponent-PT-200-CTLFireability-08
FORMULA_NAME DoubleExponent-PT-200-CTLFireability-09
FORMULA_NAME DoubleExponent-PT-200-CTLFireability-10
FORMULA_NAME DoubleExponent-PT-200-CTLFireability-11
FORMULA_NAME DoubleExponent-PT-200-CTLFireability-12
FORMULA_NAME DoubleExponent-PT-200-CTLFireability-13
FORMULA_NAME DoubleExponent-PT-200-CTLFireability-14
FORMULA_NAME DoubleExponent-PT-200-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1652651313988
Running Version 202205111006
[2022-05-15 21:48:35] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLFireability, -spotpath, /home/mcc/BenchKit/bin//..//ltlfilt, -z3path, /home/mcc/BenchKit/bin//..//z3/bin/z3, -yices2path, /home/mcc/BenchKit/bin//..//yices/bin/yices, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2022-05-15 21:48:35] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2022-05-15 21:48:35] [INFO ] Load time of PNML (sax parser for PT used): 330 ms
[2022-05-15 21:48:35] [INFO ] Transformed 10604 places.
[2022-05-15 21:48:35] [INFO ] Transformed 9998 transitions.
[2022-05-15 21:48:35] [INFO ] Parsed PT model containing 10604 places and 9998 transitions in 493 ms.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 13 ms.
Support contains 123 out of 10604 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 10604/10604 places, 9998/9998 transitions.
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 0 with 4 rules applied. Total rules applied 4 place count 10600 transition count 9998
Applied a total of 4 rules in 4032 ms. Remains 10600 /10604 variables (removed 4) and now considering 9998/9998 (removed 0) transitions.
// Phase 1: matrix 9998 rows 10600 cols
[2022-05-15 21:48:44] [INFO ] Invariants computation overflowed in 370 ms
[2022-05-15 21:48:45] [INFO ] Implicit Places using invariants in 1403 ms returned []
Implicit Place search using SMT only with invariants took 1431 ms to find 0 implicit places.
// Phase 1: matrix 9998 rows 10600 cols
[2022-05-15 21:48:46] [INFO ] Invariants computation overflowed in 321 ms
[2022-05-15 21:48:46] [INFO ] Dead Transitions using invariants and state equation in 1170 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 10600/10604 places, 9998/9998 transitions.
Finished structural reductions, in 1 iterations. Remains : 10600/10604 places, 9998/9998 transitions.
Support contains 123 out of 10600 places after structural reductions.
[2022-05-15 21:48:49] [INFO ] Flatten gal took : 505 ms
[2022-05-15 21:48:49] [INFO ] Flatten gal took : 337 ms
[2022-05-15 21:48:50] [INFO ] Input system was already deterministic with 9998 transitions.
Support contains 121 out of 10600 places (down from 123) after GAL structural reductions.
Incomplete random walk after 10000 steps, including 340 resets, run finished after 2446 ms. (steps per millisecond=4 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1000 steps, including 28 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1000 steps, including 26 resets, run finished after 24 ms. (steps per millisecond=41 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1000 steps, including 27 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1000 steps, including 29 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1000 steps, including 25 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1000 steps, including 29 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1001 steps, including 29 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1000 steps, including 23 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1000 steps, including 32 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1001 steps, including 29 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1000 steps, including 30 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1000 steps, including 28 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1000 steps, including 28 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1000 steps, including 28 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1001 steps, including 28 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1000 steps, including 28 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1000 steps, including 31 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1001 steps, including 26 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1000 steps, including 31 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1000 steps, including 27 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1000 steps, including 30 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1000 steps, including 28 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1000 steps, including 27 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1000 steps, including 30 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1000 steps, including 26 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1000 steps, including 30 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1000 steps, including 25 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1000 steps, including 28 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1000 steps, including 28 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1000 steps, including 23 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1001 steps, including 25 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1000 steps, including 27 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1000 steps, including 26 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1000 steps, including 29 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1000 steps, including 29 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1000 steps, including 31 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1000 steps, including 25 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1000 steps, including 27 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1001 steps, including 23 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1000 steps, including 29 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1000 steps, including 30 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1000 steps, including 29 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1000 steps, including 29 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1000 steps, including 28 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1001 steps, including 28 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1000 steps, including 29 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1000 steps, including 28 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1000 steps, including 26 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1001 steps, including 29 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1000 steps, including 25 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 64) seen :0
Interrupted probabilistic random walk after 113666 steps, run timeout after 12001 ms. (steps per millisecond=9 ) properties seen :{}
Probabilistic random walk after 113666 steps, saw 56847 distinct states, run finished after 12006 ms. (steps per millisecond=9 ) properties seen :0
Running SMT prover for 64 properties.
// Phase 1: matrix 9998 rows 10600 cols
[2022-05-15 21:49:10] [INFO ] Invariants computation overflowed in 238 ms
[2022-05-15 21:49:35] [INFO ] After 7015ms SMT Verify possible using state equation in real domain returned unsat :0 sat :52
[2022-05-15 21:49:35] [INFO ] After 7030ms SMT Verify possible using trap constraints in real domain returned unsat :0 sat :52
Attempting to minimize the solution found.
Minimization took 4 ms.
[2022-05-15 21:49:35] [INFO ] After 25045ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :52
Fused 64 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 121 out of 10600 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 10600/10600 places, 9998/9998 transitions.
Graph (complete) has 18191 edges and 10600 vertex of which 10598 are kept as prefixes of interest. Removing 2 places using SCC suffix rule.27 ms
Discarding 2 places :
Also discarding 0 output transitions
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Discarding 1 places :
Implicit places reduction removed 1 places
Drop transitions removed 2271 transitions
Trivial Post-agglo rules discarded 2271 transitions
Performed 2271 trivial Post agglomeration. Transition count delta: 2271
Iterating post reduction 0 with 2274 rules applied. Total rules applied 2275 place count 10597 transition count 7725
Reduce places removed 2271 places and 0 transitions.
Performed 40 Post agglomeration using F-continuation condition.Transition count delta: 40
Iterating post reduction 1 with 2311 rules applied. Total rules applied 4586 place count 8326 transition count 7685
Reduce places removed 40 places and 0 transitions.
Iterating post reduction 2 with 40 rules applied. Total rules applied 4626 place count 8286 transition count 7685
Performed 413 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 413 Pre rules applied. Total rules applied 4626 place count 8286 transition count 7272
Deduced a syphon composed of 413 places in 709 ms
Reduce places removed 413 places and 0 transitions.
Iterating global reduction 3 with 826 rules applied. Total rules applied 5452 place count 7873 transition count 7272
Performed 1748 Post agglomeration using F-continuation condition.Transition count delta: 1748
Deduced a syphon composed of 1748 places in 302 ms
Reduce places removed 1748 places and 0 transitions.
Iterating global reduction 3 with 3496 rules applied. Total rules applied 8948 place count 6125 transition count 5524
Performed 101 Post agglomeration using F-continuation condition.Transition count delta: 0
Deduced a syphon composed of 101 places in 239 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 3 with 202 rules applied. Total rules applied 9150 place count 6024 transition count 5524
Performed 101 Post agglomeration using F-continuation condition.Transition count delta: 0
Deduced a syphon composed of 101 places in 224 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 3 with 202 rules applied. Total rules applied 9352 place count 5923 transition count 5524
Performed 101 Post agglomeration using F-continuation condition.Transition count delta: 0
Deduced a syphon composed of 101 places in 531 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 3 with 202 rules applied. Total rules applied 9554 place count 5822 transition count 5524
Performed 79 Post agglomeration using F-continuation condition.Transition count delta: 0
Deduced a syphon composed of 79 places in 195 ms
Reduce places removed 79 places and 0 transitions.
Iterating global reduction 3 with 158 rules applied. Total rules applied 9712 place count 5743 transition count 5524
Free-agglomeration rule applied 5 times.
Iterating global reduction 3 with 5 rules applied. Total rules applied 9717 place count 5743 transition count 5519
Reduce places removed 5 places and 0 transitions.
Iterating post reduction 3 with 5 rules applied. Total rules applied 9722 place count 5738 transition count 5519
Free-agglomeration rule (complex) applied 813 times.
Iterating global reduction 4 with 813 rules applied. Total rules applied 10535 place count 5738 transition count 4706
Reduce places removed 813 places and 0 transitions.
Iterating post reduction 4 with 813 rules applied. Total rules applied 11348 place count 4925 transition count 4706
Partial Free-agglomeration rule applied 804 times.
Drop transitions removed 804 transitions
Iterating global reduction 5 with 804 rules applied. Total rules applied 12152 place count 4925 transition count 4706
Partial Post-agglomeration rule applied 1 times.
Drop transitions removed 1 transitions
Iterating global reduction 5 with 1 rules applied. Total rules applied 12153 place count 4925 transition count 4706
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 5 with 1 rules applied. Total rules applied 12154 place count 4924 transition count 4705
Applied a total of 12154 rules in 8931 ms. Remains 4924 /10600 variables (removed 5676) and now considering 4705/9998 (removed 5293) transitions.
Finished structural reductions, in 1 iterations. Remains : 4924/10600 places, 4705/9998 transitions.
Incomplete random walk after 10000 steps, including 1275 resets, run finished after 356 ms. (steps per millisecond=28 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1001 steps, including 83 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1000 steps, including 77 resets, run finished after 17 ms. (steps per millisecond=58 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1000 steps, including 100 resets, run finished after 17 ms. (steps per millisecond=58 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1000 steps, including 85 resets, run finished after 16 ms. (steps per millisecond=62 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1000 steps, including 92 resets, run finished after 19 ms. (steps per millisecond=52 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1000 steps, including 88 resets, run finished after 17 ms. (steps per millisecond=58 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1001 steps, including 93 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1001 steps, including 90 resets, run finished after 18 ms. (steps per millisecond=55 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1001 steps, including 73 resets, run finished after 18 ms. (steps per millisecond=55 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1000 steps, including 85 resets, run finished after 17 ms. (steps per millisecond=58 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1001 steps, including 77 resets, run finished after 17 ms. (steps per millisecond=58 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1001 steps, including 86 resets, run finished after 18 ms. (steps per millisecond=55 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1000 steps, including 78 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1000 steps, including 85 resets, run finished after 18 ms. (steps per millisecond=55 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1000 steps, including 90 resets, run finished after 18 ms. (steps per millisecond=55 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1000 steps, including 85 resets, run finished after 17 ms. (steps per millisecond=58 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1000 steps, including 87 resets, run finished after 18 ms. (steps per millisecond=55 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1000 steps, including 83 resets, run finished after 17 ms. (steps per millisecond=58 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1000 steps, including 74 resets, run finished after 17 ms. (steps per millisecond=58 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1000 steps, including 80 resets, run finished after 17 ms. (steps per millisecond=58 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1000 steps, including 86 resets, run finished after 12 ms. (steps per millisecond=83 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1000 steps, including 88 resets, run finished after 18 ms. (steps per millisecond=55 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1001 steps, including 82 resets, run finished after 12 ms. (steps per millisecond=83 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1000 steps, including 83 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1000 steps, including 83 resets, run finished after 19 ms. (steps per millisecond=52 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1001 steps, including 70 resets, run finished after 18 ms. (steps per millisecond=55 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1000 steps, including 85 resets, run finished after 18 ms. (steps per millisecond=55 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1000 steps, including 87 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1000 steps, including 80 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1000 steps, including 84 resets, run finished after 18 ms. (steps per millisecond=55 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1001 steps, including 93 resets, run finished after 18 ms. (steps per millisecond=55 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1000 steps, including 78 resets, run finished after 13 ms. (steps per millisecond=76 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1000 steps, including 74 resets, run finished after 20 ms. (steps per millisecond=50 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1000 steps, including 81 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1000 steps, including 91 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1000 steps, including 84 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1000 steps, including 79 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1000 steps, including 92 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1000 steps, including 84 resets, run finished after 18 ms. (steps per millisecond=55 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1000 steps, including 80 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1001 steps, including 88 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1000 steps, including 91 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1000 steps, including 91 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1000 steps, including 74 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1001 steps, including 74 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1001 steps, including 82 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1001 steps, including 82 resets, run finished after 18 ms. (steps per millisecond=55 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1000 steps, including 83 resets, run finished after 18 ms. (steps per millisecond=55 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1000 steps, including 78 resets, run finished after 18 ms. (steps per millisecond=55 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1000 steps, including 93 resets, run finished after 18 ms. (steps per millisecond=55 ) properties (out of 64) seen :0
Interrupted probabilistic random walk after 51732 steps, run timeout after 3001 ms. (steps per millisecond=17 ) properties seen :{}
Probabilistic random walk after 51732 steps, saw 25877 distinct states, run finished after 3001 ms. (steps per millisecond=17 ) properties seen :0
Running SMT prover for 64 properties.
// Phase 1: matrix 4705 rows 4924 cols
[2022-05-15 21:49:48] [INFO ] Invariants computation overflowed in 86 ms
[2022-05-15 21:50:13] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2022-05-15 21:50:13] [INFO ] After 25033ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 64 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 121 out of 4924 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 4924/4924 places, 4705/4705 transitions.
Applied a total of 0 rules in 415 ms. Remains 4924 /4924 variables (removed 0) and now considering 4705/4705 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 4924/4924 places, 4705/4705 transitions.
Starting structural reductions in SAFETY mode, iteration 0 : 4924/4924 places, 4705/4705 transitions.
Applied a total of 0 rules in 427 ms. Remains 4924 /4924 variables (removed 0) and now considering 4705/4705 (removed 0) transitions.
// Phase 1: matrix 4705 rows 4924 cols
[2022-05-15 21:50:14] [INFO ] Invariants computation overflowed in 99 ms
[2022-05-15 21:50:27] [INFO ] Implicit Places using invariants in 12534 ms returned []
// Phase 1: matrix 4705 rows 4924 cols
[2022-05-15 21:50:27] [INFO ] Invariants computation overflowed in 90 ms
[2022-05-15 21:50:28] [INFO ] Implicit Places using invariants and state equation in 966 ms returned []
Implicit Place search using SMT with State Equation took 13510 ms to find 0 implicit places.
[2022-05-15 21:50:28] [INFO ] Redundant transitions in 355 ms returned []
// Phase 1: matrix 4705 rows 4924 cols
[2022-05-15 21:50:28] [INFO ] Invariants computation overflowed in 91 ms
[2022-05-15 21:50:31] [INFO ] Dead Transitions using invariants and state equation in 3130 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 4924/4924 places, 4705/4705 transitions.
Performed 7 Post agglomeration using F-continuation condition.Transition count delta: 7
Iterating post reduction 0 with 7 rules applied. Total rules applied 7 place count 4924 transition count 4698
Reduce places removed 7 places and 0 transitions.
Iterating post reduction 1 with 7 rules applied. Total rules applied 14 place count 4917 transition count 4698
Performed 366 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 366 Pre rules applied. Total rules applied 14 place count 4917 transition count 4332
Deduced a syphon composed of 366 places in 180 ms
Reduce places removed 366 places and 0 transitions.
Iterating global reduction 2 with 732 rules applied. Total rules applied 746 place count 4551 transition count 4332
Free-agglomeration rule applied 5 times.
Iterating global reduction 2 with 5 rules applied. Total rules applied 751 place count 4551 transition count 4327
Reduce places removed 5 places and 0 transitions.
Iterating post reduction 2 with 5 rules applied. Total rules applied 756 place count 4546 transition count 4327
Free-agglomeration rule (complex) applied 1 times.
Iterating global reduction 3 with 1 rules applied. Total rules applied 757 place count 4546 transition count 4326
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 3 with 1 rules applied. Total rules applied 758 place count 4545 transition count 4326
Applied a total of 758 rules in 1513 ms. Remains 4545 /4924 variables (removed 379) and now considering 4326/4705 (removed 379) transitions.
Running SMT prover for 64 properties.
// Phase 1: matrix 4326 rows 4545 cols
[2022-05-15 21:50:33] [INFO ] Invariants computation overflowed in 100 ms
[2022-05-15 21:54:18] [INFO ] After 216988ms SMT Verify possible using state equation in real domain returned unsat :0 sat :61
[2022-05-15 21:54:18] [INFO ] State equation strengthened by 4 read => feed constraints.
[2022-05-15 21:54:18] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2022-05-15 21:54:18] [INFO ] After 225079ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
[2022-05-15 21:54:19] [INFO ] Flatten gal took : 274 ms
[2022-05-15 21:54:19] [INFO ] Flatten gal took : 284 ms
[2022-05-15 21:54:20] [INFO ] Input system was already deterministic with 9998 transitions.
Computed a total of 7 stabilizing places and 7 stable transitions
Graph (complete) has 18191 edges and 10600 vertex of which 10598 are kept as prefixes of interest. Removing 2 places using SCC suffix rule.55 ms
Starting structural reductions in LTL mode, iteration 0 : 10600/10600 places, 9998/9998 transitions.
Applied a total of 0 rules in 3214 ms. Remains 10600 /10600 variables (removed 0) and now considering 9998/9998 (removed 0) transitions.
// Phase 1: matrix 9998 rows 10600 cols
[2022-05-15 21:54:23] [INFO ] Invariants computation overflowed in 214 ms
[2022-05-15 21:54:24] [INFO ] Implicit Places using invariants in 1009 ms returned []
Implicit Place search using SMT only with invariants took 1012 ms to find 0 implicit places.
// Phase 1: matrix 9998 rows 10600 cols
[2022-05-15 21:54:24] [INFO ] Invariants computation overflowed in 234 ms
[2022-05-15 21:54:25] [INFO ] Dead Transitions using invariants and state equation in 1020 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 10600/10600 places, 9998/9998 transitions.
[2022-05-15 21:54:25] [INFO ] Flatten gal took : 270 ms
[2022-05-15 21:54:26] [INFO ] Flatten gal took : 275 ms
[2022-05-15 21:54:26] [INFO ] Input system was already deterministic with 9998 transitions.
[2022-05-15 21:54:26] [INFO ] Flatten gal took : 264 ms
[2022-05-15 21:54:27] [INFO ] Flatten gal took : 270 ms
[2022-05-15 21:54:27] [INFO ] Time to serialize gal into /tmp/CTLFireability6583851175215140371.gal : 128 ms
[2022-05-15 21:54:27] [INFO ] Time to serialize properties into /tmp/CTLFireability14100191859999221513.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability6583851175215140371.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability14100191859999221513.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...275
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-05-15 21:54:57] [INFO ] Flatten gal took : 271 ms
[2022-05-15 21:54:57] [INFO ] Applying decomposition
[2022-05-15 21:54:57] [INFO ] Flatten gal took : 272 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph4205492809711170885.txt' '-o' '/tmp/graph4205492809711170885.bin' '-w' '/tmp/graph4205492809711170885.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph4205492809711170885.bin' '-l' '-1' '-v' '-w' '/tmp/graph4205492809711170885.weights' '-q' '0' '-e' '0.001'
[2022-05-15 21:54:58] [INFO ] Decomposing Gal with order
[2022-05-15 21:54:59] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-15 21:55:05] [INFO ] Removed a total of 2832 redundant transitions.
[2022-05-15 21:55:06] [INFO ] Flatten gal took : 768 ms
[2022-05-15 21:55:06] [INFO ] Fuse similar labels procedure discarded/fused a total of 178 labels/synchronizations in 299 ms.
[2022-05-15 21:55:07] [INFO ] Time to serialize gal into /tmp/CTLFireability4165672537572493087.gal : 153 ms
[2022-05-15 21:55:07] [INFO ] Time to serialize properties into /tmp/CTLFireability5643792226783227415.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability4165672537572493087.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability5643792226783227415.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...253
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 10600/10600 places, 9998/9998 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 2399 transitions
Trivial Post-agglo rules discarded 2399 transitions
Performed 2399 trivial Post agglomeration. Transition count delta: 2399
Iterating post reduction 0 with 2399 rules applied. Total rules applied 2399 place count 10599 transition count 7598
Reduce places removed 2399 places and 0 transitions.
Iterating post reduction 1 with 2399 rules applied. Total rules applied 4798 place count 8200 transition count 7598
Performed 401 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 401 Pre rules applied. Total rules applied 4798 place count 8200 transition count 7197
Deduced a syphon composed of 401 places in 764 ms
Reduce places removed 401 places and 0 transitions.
Iterating global reduction 2 with 802 rules applied. Total rules applied 5600 place count 7799 transition count 7197
Performed 1399 Post agglomeration using F-continuation condition.Transition count delta: 1399
Deduced a syphon composed of 1399 places in 323 ms
Reduce places removed 1399 places and 0 transitions.
Iterating global reduction 2 with 2798 rules applied. Total rules applied 8398 place count 6400 transition count 5798
Partial Post-agglomeration rule applied 2 times.
Drop transitions removed 2 transitions
Iterating global reduction 2 with 2 rules applied. Total rules applied 8400 place count 6400 transition count 5798
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 8401 place count 6399 transition count 5797
Applied a total of 8401 rules in 5121 ms. Remains 6399 /10600 variables (removed 4201) and now considering 5797/9998 (removed 4201) transitions.
// Phase 1: matrix 5797 rows 6399 cols
[2022-05-15 21:55:42] [INFO ] Invariants computation overflowed in 232 ms
[2022-05-15 21:55:46] [INFO ] Implicit Places using invariants in 4296 ms returned []
// Phase 1: matrix 5797 rows 6399 cols
[2022-05-15 21:55:46] [INFO ] Invariants computation overflowed in 176 ms
[2022-05-15 21:55:47] [INFO ] Implicit Places using invariants and state equation in 1202 ms returned []
Implicit Place search using SMT with State Equation took 5500 ms to find 0 implicit places.
[2022-05-15 21:55:48] [INFO ] Redundant transitions in 504 ms returned []
// Phase 1: matrix 5797 rows 6399 cols
[2022-05-15 21:55:48] [INFO ] Invariants computation overflowed in 179 ms
[2022-05-15 21:55:52] [INFO ] Dead Transitions using invariants and state equation in 4035 ms found 0 transitions.
Starting structural reductions in SI_CTL mode, iteration 1 : 6399/10600 places, 5797/9998 transitions.
Finished structural reductions, in 1 iterations. Remains : 6399/10600 places, 5797/9998 transitions.
[2022-05-15 21:55:52] [INFO ] Flatten gal took : 175 ms
[2022-05-15 21:55:52] [INFO ] Flatten gal took : 199 ms
[2022-05-15 21:55:53] [INFO ] Input system was already deterministic with 5797 transitions.
[2022-05-15 21:55:53] [INFO ] Flatten gal took : 180 ms
[2022-05-15 21:55:53] [INFO ] Flatten gal took : 186 ms
[2022-05-15 21:55:53] [INFO ] Time to serialize gal into /tmp/CTLFireability4055748412164206460.gal : 36 ms
[2022-05-15 21:55:53] [INFO ] Time to serialize properties into /tmp/CTLFireability1026479188190724424.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability4055748412164206460.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability1026479188190724424.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...274
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-05-15 21:56:23] [INFO ] Flatten gal took : 173 ms
[2022-05-15 21:56:23] [INFO ] Applying decomposition
[2022-05-15 21:56:23] [INFO ] Flatten gal took : 178 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph2240056510276911823.txt' '-o' '/tmp/graph2240056510276911823.bin' '-w' '/tmp/graph2240056510276911823.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph2240056510276911823.bin' '-l' '-1' '-v' '-w' '/tmp/graph2240056510276911823.weights' '-q' '0' '-e' '0.001'
[2022-05-15 21:56:24] [INFO ] Decomposing Gal with order
[2022-05-15 21:56:24] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-15 21:56:26] [INFO ] Removed a total of 1301 redundant transitions.
[2022-05-15 21:56:26] [INFO ] Flatten gal took : 310 ms
[2022-05-15 21:56:26] [INFO ] Fuse similar labels procedure discarded/fused a total of 22 labels/synchronizations in 33 ms.
[2022-05-15 21:56:26] [INFO ] Time to serialize gal into /tmp/CTLFireability7562772333561342614.gal : 58 ms
[2022-05-15 21:56:26] [INFO ] Time to serialize properties into /tmp/CTLFireability3382446169224437632.ctl : 47 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability7562772333561342614.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3382446169224437632.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...253
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 10600/10600 places, 9998/9998 transitions.
Applied a total of 0 rules in 3495 ms. Remains 10600 /10600 variables (removed 0) and now considering 9998/9998 (removed 0) transitions.
// Phase 1: matrix 9998 rows 10600 cols
[2022-05-15 21:57:00] [INFO ] Invariants computation overflowed in 274 ms
[2022-05-15 21:57:01] [INFO ] Implicit Places using invariants in 1202 ms returned []
Implicit Place search using SMT only with invariants took 1204 ms to find 0 implicit places.
// Phase 1: matrix 9998 rows 10600 cols
[2022-05-15 21:57:01] [INFO ] Invariants computation overflowed in 245 ms
[2022-05-15 21:57:02] [INFO ] Dead Transitions using invariants and state equation in 1065 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 10600/10600 places, 9998/9998 transitions.
[2022-05-15 21:57:02] [INFO ] Flatten gal took : 240 ms
[2022-05-15 21:57:02] [INFO ] Flatten gal took : 264 ms
[2022-05-15 21:57:03] [INFO ] Input system was already deterministic with 9998 transitions.
[2022-05-15 21:57:03] [INFO ] Flatten gal took : 255 ms
[2022-05-15 21:57:03] [INFO ] Flatten gal took : 262 ms
[2022-05-15 21:57:03] [INFO ] Time to serialize gal into /tmp/CTLFireability3641685445091426417.gal : 22 ms
[2022-05-15 21:57:03] [INFO ] Time to serialize properties into /tmp/CTLFireability5401021478005089533.ctl : 2 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability3641685445091426417.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability5401021478005089533.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...274
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-05-15 21:57:34] [INFO ] Flatten gal took : 262 ms
[2022-05-15 21:57:34] [INFO ] Applying decomposition
[2022-05-15 21:57:34] [INFO ] Flatten gal took : 263 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph6442115787487267955.txt' '-o' '/tmp/graph6442115787487267955.bin' '-w' '/tmp/graph6442115787487267955.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph6442115787487267955.bin' '-l' '-1' '-v' '-w' '/tmp/graph6442115787487267955.weights' '-q' '0' '-e' '0.001'
[2022-05-15 21:57:34] [INFO ] Decomposing Gal with order
[2022-05-15 21:57:35] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-15 21:57:41] [INFO ] Removed a total of 2825 redundant transitions.
[2022-05-15 21:57:42] [INFO ] Flatten gal took : 466 ms
[2022-05-15 21:57:42] [INFO ] Fuse similar labels procedure discarded/fused a total of 168 labels/synchronizations in 184 ms.
[2022-05-15 21:57:42] [INFO ] Time to serialize gal into /tmp/CTLFireability13387606852895192103.gal : 83 ms
[2022-05-15 21:57:42] [INFO ] Time to serialize properties into /tmp/CTLFireability2832952256195924494.ctl : 2 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability13387606852895192103.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability2832952256195924494.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...254
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 10600/10600 places, 9998/9998 transitions.
Applied a total of 0 rules in 3499 ms. Remains 10600 /10600 variables (removed 0) and now considering 9998/9998 (removed 0) transitions.
// Phase 1: matrix 9998 rows 10600 cols
[2022-05-15 21:58:16] [INFO ] Invariants computation overflowed in 214 ms
[2022-05-15 21:58:17] [INFO ] Implicit Places using invariants in 957 ms returned []
Implicit Place search using SMT only with invariants took 960 ms to find 0 implicit places.
// Phase 1: matrix 9998 rows 10600 cols
[2022-05-15 21:58:17] [INFO ] Invariants computation overflowed in 211 ms
[2022-05-15 21:58:18] [INFO ] Dead Transitions using invariants and state equation in 995 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 10600/10600 places, 9998/9998 transitions.
[2022-05-15 21:58:18] [INFO ] Flatten gal took : 245 ms
[2022-05-15 21:58:18] [INFO ] Flatten gal took : 267 ms
[2022-05-15 21:58:19] [INFO ] Input system was already deterministic with 9998 transitions.
[2022-05-15 21:58:19] [INFO ] Flatten gal took : 258 ms
[2022-05-15 21:58:19] [INFO ] Flatten gal took : 311 ms
[2022-05-15 21:58:19] [INFO ] Time to serialize gal into /tmp/CTLFireability5776230277406892228.gal : 19 ms
[2022-05-15 21:58:19] [INFO ] Time to serialize properties into /tmp/CTLFireability6672721365501587176.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability5776230277406892228.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability6672721365501587176.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...274
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-05-15 21:58:49] [INFO ] Flatten gal took : 255 ms
[2022-05-15 21:58:49] [INFO ] Applying decomposition
[2022-05-15 21:58:50] [INFO ] Flatten gal took : 260 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph5800831146384600414.txt' '-o' '/tmp/graph5800831146384600414.bin' '-w' '/tmp/graph5800831146384600414.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph5800831146384600414.bin' '-l' '-1' '-v' '-w' '/tmp/graph5800831146384600414.weights' '-q' '0' '-e' '0.001'
[2022-05-15 21:58:50] [INFO ] Decomposing Gal with order
[2022-05-15 21:58:51] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-15 21:58:57] [INFO ] Removed a total of 2826 redundant transitions.
[2022-05-15 21:58:57] [INFO ] Flatten gal took : 470 ms
[2022-05-15 21:58:57] [INFO ] Fuse similar labels procedure discarded/fused a total of 158 labels/synchronizations in 195 ms.
[2022-05-15 21:58:58] [INFO ] Time to serialize gal into /tmp/CTLFireability4886650341108111402.gal : 87 ms
[2022-05-15 21:58:58] [INFO ] Time to serialize properties into /tmp/CTLFireability9203444891049615755.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability4886650341108111402.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability9203444891049615755.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...253
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 10600/10600 places, 9998/9998 transitions.
Applied a total of 0 rules in 3483 ms. Remains 10600 /10600 variables (removed 0) and now considering 9998/9998 (removed 0) transitions.
// Phase 1: matrix 9998 rows 10600 cols
[2022-05-15 21:59:31] [INFO ] Invariants computation overflowed in 216 ms
[2022-05-15 21:59:32] [INFO ] Implicit Places using invariants in 1012 ms returned []
Implicit Place search using SMT only with invariants took 1014 ms to find 0 implicit places.
// Phase 1: matrix 9998 rows 10600 cols
[2022-05-15 21:59:32] [INFO ] Invariants computation overflowed in 218 ms
[2022-05-15 21:59:33] [INFO ] Dead Transitions using invariants and state equation in 1055 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 10600/10600 places, 9998/9998 transitions.
[2022-05-15 21:59:33] [INFO ] Flatten gal took : 252 ms
[2022-05-15 21:59:34] [INFO ] Flatten gal took : 276 ms
[2022-05-15 21:59:34] [INFO ] Input system was already deterministic with 9998 transitions.
[2022-05-15 21:59:34] [INFO ] Flatten gal took : 264 ms
[2022-05-15 21:59:35] [INFO ] Flatten gal took : 312 ms
[2022-05-15 21:59:35] [INFO ] Time to serialize gal into /tmp/CTLFireability8394744413911230250.gal : 23 ms
[2022-05-15 21:59:35] [INFO ] Time to serialize properties into /tmp/CTLFireability17393929131940136173.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability8394744413911230250.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability17393929131940136173.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...275
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-05-15 22:00:05] [INFO ] Flatten gal took : 253 ms
[2022-05-15 22:00:05] [INFO ] Applying decomposition
[2022-05-15 22:00:05] [INFO ] Flatten gal took : 263 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph15442038862027063966.txt' '-o' '/tmp/graph15442038862027063966.bin' '-w' '/tmp/graph15442038862027063966.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph15442038862027063966.bin' '-l' '-1' '-v' '-w' '/tmp/graph15442038862027063966.weights' '-q' '0' '-e' '0.001'
[2022-05-15 22:00:06] [INFO ] Decomposing Gal with order
[2022-05-15 22:00:07] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-15 22:00:12] [INFO ] Removed a total of 2867 redundant transitions.
[2022-05-15 22:00:13] [INFO ] Flatten gal took : 465 ms
[2022-05-15 22:00:13] [INFO ] Fuse similar labels procedure discarded/fused a total of 50 labels/synchronizations in 133 ms.
[2022-05-15 22:00:13] [INFO ] Time to serialize gal into /tmp/CTLFireability2868463905261915649.gal : 62 ms
[2022-05-15 22:00:13] [INFO ] Time to serialize properties into /tmp/CTLFireability9770567820757311480.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability2868463905261915649.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability9770567820757311480.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...253
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 10600/10600 places, 9998/9998 transitions.
Applied a total of 0 rules in 3482 ms. Remains 10600 /10600 variables (removed 0) and now considering 9998/9998 (removed 0) transitions.
// Phase 1: matrix 9998 rows 10600 cols
[2022-05-15 22:00:47] [INFO ] Invariants computation overflowed in 241 ms
[2022-05-15 22:00:47] [INFO ] Implicit Places using invariants in 1041 ms returned []
Implicit Place search using SMT only with invariants took 1041 ms to find 0 implicit places.
// Phase 1: matrix 9998 rows 10600 cols
[2022-05-15 22:00:48] [INFO ] Invariants computation overflowed in 219 ms
[2022-05-15 22:00:49] [INFO ] Dead Transitions using invariants and state equation in 1119 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 10600/10600 places, 9998/9998 transitions.
[2022-05-15 22:00:49] [INFO ] Flatten gal took : 242 ms
[2022-05-15 22:00:49] [INFO ] Flatten gal took : 267 ms
[2022-05-15 22:00:50] [INFO ] Input system was already deterministic with 9998 transitions.
[2022-05-15 22:00:50] [INFO ] Flatten gal took : 253 ms
[2022-05-15 22:00:50] [INFO ] Flatten gal took : 303 ms
[2022-05-15 22:00:50] [INFO ] Time to serialize gal into /tmp/CTLFireability2986024828900322035.gal : 19 ms
[2022-05-15 22:00:50] [INFO ] Time to serialize properties into /tmp/CTLFireability8922816183908277762.ctl : 2 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability2986024828900322035.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability8922816183908277762.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...274
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-05-15 22:01:20] [INFO ] Flatten gal took : 259 ms
[2022-05-15 22:01:20] [INFO ] Applying decomposition
[2022-05-15 22:01:21] [INFO ] Flatten gal took : 269 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph6994590270152120041.txt' '-o' '/tmp/graph6994590270152120041.bin' '-w' '/tmp/graph6994590270152120041.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph6994590270152120041.bin' '-l' '-1' '-v' '-w' '/tmp/graph6994590270152120041.weights' '-q' '0' '-e' '0.001'
[2022-05-15 22:01:21] [INFO ] Decomposing Gal with order
[2022-05-15 22:01:22] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-15 22:01:28] [INFO ] Removed a total of 2838 redundant transitions.
[2022-05-15 22:01:28] [INFO ] Flatten gal took : 467 ms
[2022-05-15 22:01:28] [INFO ] Fuse similar labels procedure discarded/fused a total of 24 labels/synchronizations in 46 ms.
[2022-05-15 22:01:28] [INFO ] Time to serialize gal into /tmp/CTLFireability15000540355746079601.gal : 60 ms
[2022-05-15 22:01:28] [INFO ] Time to serialize properties into /tmp/CTLFireability10092574142317328262.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability15000540355746079601.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability10092574142317328262.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...255
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 10600/10600 places, 9998/9998 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 2390 transitions
Trivial Post-agglo rules discarded 2390 transitions
Performed 2390 trivial Post agglomeration. Transition count delta: 2390
Iterating post reduction 0 with 2390 rules applied. Total rules applied 2390 place count 10599 transition count 7607
Reduce places removed 2390 places and 0 transitions.
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: 3
Iterating post reduction 1 with 2393 rules applied. Total rules applied 4783 place count 8209 transition count 7604
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 2 with 3 rules applied. Total rules applied 4786 place count 8206 transition count 7604
Performed 401 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 401 Pre rules applied. Total rules applied 4786 place count 8206 transition count 7203
Deduced a syphon composed of 401 places in 772 ms
Reduce places removed 401 places and 0 transitions.
Iterating global reduction 3 with 802 rules applied. Total rules applied 5588 place count 7805 transition count 7203
Performed 1398 Post agglomeration using F-continuation condition.Transition count delta: 1398
Deduced a syphon composed of 1398 places in 391 ms
Reduce places removed 1398 places and 0 transitions.
Iterating global reduction 3 with 2796 rules applied. Total rules applied 8384 place count 6407 transition count 5805
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 3 with 1 rules applied. Total rules applied 8385 place count 6406 transition count 5804
Applied a total of 8385 rules in 4347 ms. Remains 6406 /10600 variables (removed 4194) and now considering 5804/9998 (removed 4194) transitions.
// Phase 1: matrix 5804 rows 6406 cols
[2022-05-15 22:02:03] [INFO ] Invariants computation overflowed in 210 ms
[2022-05-15 22:02:07] [INFO ] Implicit Places using invariants in 4350 ms returned []
// Phase 1: matrix 5804 rows 6406 cols
[2022-05-15 22:02:07] [INFO ] Invariants computation overflowed in 241 ms
[2022-05-15 22:02:09] [INFO ] Implicit Places using invariants and state equation in 1370 ms returned []
Implicit Place search using SMT with State Equation took 5729 ms to find 0 implicit places.
[2022-05-15 22:02:09] [INFO ] Redundant transitions in 277 ms returned []
// Phase 1: matrix 5804 rows 6406 cols
[2022-05-15 22:02:09] [INFO ] Invariants computation overflowed in 285 ms
[2022-05-15 22:02:13] [INFO ] Dead Transitions using invariants and state equation in 4383 ms found 0 transitions.
Starting structural reductions in SI_CTL mode, iteration 1 : 6406/10600 places, 5804/9998 transitions.
Finished structural reductions, in 1 iterations. Remains : 6406/10600 places, 5804/9998 transitions.
[2022-05-15 22:02:13] [INFO ] Flatten gal took : 183 ms
[2022-05-15 22:02:14] [INFO ] Flatten gal took : 211 ms
[2022-05-15 22:02:14] [INFO ] Input system was already deterministic with 5804 transitions.
[2022-05-15 22:02:14] [INFO ] Flatten gal took : 204 ms
[2022-05-15 22:02:15] [INFO ] Flatten gal took : 209 ms
[2022-05-15 22:02:15] [INFO ] Time to serialize gal into /tmp/CTLFireability5087565359981533063.gal : 19 ms
[2022-05-15 22:02:15] [INFO ] Time to serialize properties into /tmp/CTLFireability13243660316460239.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability5087565359981533063.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability13243660316460239.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...272
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-05-15 22:02:45] [INFO ] Flatten gal took : 170 ms
[2022-05-15 22:02:45] [INFO ] Applying decomposition
[2022-05-15 22:02:45] [INFO ] Flatten gal took : 175 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph3182826704292727767.txt' '-o' '/tmp/graph3182826704292727767.bin' '-w' '/tmp/graph3182826704292727767.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph3182826704292727767.bin' '-l' '-1' '-v' '-w' '/tmp/graph3182826704292727767.weights' '-q' '0' '-e' '0.001'
[2022-05-15 22:02:45] [INFO ] Decomposing Gal with order
[2022-05-15 22:02:46] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-15 22:02:47] [INFO ] Removed a total of 1297 redundant transitions.
[2022-05-15 22:02:47] [INFO ] Flatten gal took : 288 ms
[2022-05-15 22:02:47] [INFO ] Fuse similar labels procedure discarded/fused a total of 38 labels/synchronizations in 46 ms.
[2022-05-15 22:02:47] [INFO ] Time to serialize gal into /tmp/CTLFireability454578599445124132.gal : 49 ms
[2022-05-15 22:02:47] [INFO ] Time to serialize properties into /tmp/CTLFireability4989559583598303075.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability454578599445124132.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability4989559583598303075.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...252
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 10600/10600 places, 9998/9998 transitions.
Applied a total of 0 rules in 3413 ms. Remains 10600 /10600 variables (removed 0) and now considering 9998/9998 (removed 0) transitions.
// Phase 1: matrix 9998 rows 10600 cols
[2022-05-15 22:03:21] [INFO ] Invariants computation overflowed in 232 ms
[2022-05-15 22:03:22] [INFO ] Implicit Places using invariants in 1056 ms returned []
Implicit Place search using SMT only with invariants took 1058 ms to find 0 implicit places.
// Phase 1: matrix 9998 rows 10600 cols
[2022-05-15 22:03:22] [INFO ] Invariants computation overflowed in 230 ms
[2022-05-15 22:03:23] [INFO ] Dead Transitions using invariants and state equation in 1127 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 10600/10600 places, 9998/9998 transitions.
[2022-05-15 22:03:23] [INFO ] Flatten gal took : 242 ms
[2022-05-15 22:03:23] [INFO ] Flatten gal took : 264 ms
[2022-05-15 22:03:24] [INFO ] Input system was already deterministic with 9998 transitions.
[2022-05-15 22:03:24] [INFO ] Flatten gal took : 285 ms
[2022-05-15 22:03:25] [INFO ] Flatten gal took : 305 ms
[2022-05-15 22:03:25] [INFO ] Time to serialize gal into /tmp/CTLFireability4296750755677735282.gal : 27 ms
[2022-05-15 22:03:25] [INFO ] Time to serialize properties into /tmp/CTLFireability14005475413861218028.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability4296750755677735282.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability14005475413861218028.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...275
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-05-15 22:03:55] [INFO ] Flatten gal took : 253 ms
[2022-05-15 22:03:55] [INFO ] Applying decomposition
[2022-05-15 22:03:55] [INFO ] Flatten gal took : 258 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph12422274599163564654.txt' '-o' '/tmp/graph12422274599163564654.bin' '-w' '/tmp/graph12422274599163564654.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph12422274599163564654.bin' '-l' '-1' '-v' '-w' '/tmp/graph12422274599163564654.weights' '-q' '0' '-e' '0.001'
[2022-05-15 22:03:56] [INFO ] Decomposing Gal with order
[2022-05-15 22:03:57] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-15 22:04:02] [INFO ] Removed a total of 2865 redundant transitions.
[2022-05-15 22:04:03] [INFO ] Flatten gal took : 491 ms
[2022-05-15 22:04:03] [INFO ] Fuse similar labels procedure discarded/fused a total of 162 labels/synchronizations in 139 ms.
[2022-05-15 22:04:03] [INFO ] Time to serialize gal into /tmp/CTLFireability12222572033467136110.gal : 67 ms
[2022-05-15 22:04:03] [INFO ] Time to serialize properties into /tmp/CTLFireability4438099548240520564.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability12222572033467136110.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability4438099548240520564.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...254
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 10600/10600 places, 9998/9998 transitions.
Applied a total of 0 rules in 3325 ms. Remains 10600 /10600 variables (removed 0) and now considering 9998/9998 (removed 0) transitions.
// Phase 1: matrix 9998 rows 10600 cols
[2022-05-15 22:04:37] [INFO ] Invariants computation overflowed in 256 ms
[2022-05-15 22:04:37] [INFO ] Implicit Places using invariants in 1042 ms returned []
Implicit Place search using SMT only with invariants took 1047 ms to find 0 implicit places.
// Phase 1: matrix 9998 rows 10600 cols
[2022-05-15 22:04:38] [INFO ] Invariants computation overflowed in 226 ms
[2022-05-15 22:04:38] [INFO ] Dead Transitions using invariants and state equation in 1048 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 10600/10600 places, 9998/9998 transitions.
[2022-05-15 22:04:39] [INFO ] Flatten gal took : 239 ms
[2022-05-15 22:04:39] [INFO ] Flatten gal took : 259 ms
[2022-05-15 22:04:39] [INFO ] Input system was already deterministic with 9998 transitions.
[2022-05-15 22:04:40] [INFO ] Flatten gal took : 251 ms
[2022-05-15 22:04:40] [INFO ] Flatten gal took : 259 ms
[2022-05-15 22:04:40] [INFO ] Time to serialize gal into /tmp/CTLFireability15130613020183234916.gal : 21 ms
[2022-05-15 22:04:40] [INFO ] Time to serialize properties into /tmp/CTLFireability14478546379022901075.ctl : 16 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability15130613020183234916.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability14478546379022901075.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...276
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-05-15 22:05:10] [INFO ] Flatten gal took : 256 ms
[2022-05-15 22:05:10] [INFO ] Applying decomposition
[2022-05-15 22:05:11] [INFO ] Flatten gal took : 264 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph8687399979640099367.txt' '-o' '/tmp/graph8687399979640099367.bin' '-w' '/tmp/graph8687399979640099367.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph8687399979640099367.bin' '-l' '-1' '-v' '-w' '/tmp/graph8687399979640099367.weights' '-q' '0' '-e' '0.001'
[2022-05-15 22:05:11] [INFO ] Decomposing Gal with order
[2022-05-15 22:05:12] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-15 22:05:18] [INFO ] Removed a total of 2858 redundant transitions.
[2022-05-15 22:05:18] [INFO ] Flatten gal took : 522 ms
[2022-05-15 22:05:18] [INFO ] Fuse similar labels procedure discarded/fused a total of 58 labels/synchronizations in 98 ms.
[2022-05-15 22:05:18] [INFO ] Time to serialize gal into /tmp/CTLFireability1830336626946474970.gal : 52 ms
[2022-05-15 22:05:18] [INFO ] Time to serialize properties into /tmp/CTLFireability15841759765714156471.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability1830336626946474970.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability15841759765714156471.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...254
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 10600/10600 places, 9998/9998 transitions.
Applied a total of 0 rules in 3401 ms. Remains 10600 /10600 variables (removed 0) and now considering 9998/9998 (removed 0) transitions.
// Phase 1: matrix 9998 rows 10600 cols
[2022-05-15 22:05:52] [INFO ] Invariants computation overflowed in 232 ms
[2022-05-15 22:05:52] [INFO ] Implicit Places using invariants in 1022 ms returned []
Implicit Place search using SMT only with invariants took 1023 ms to find 0 implicit places.
// Phase 1: matrix 9998 rows 10600 cols
[2022-05-15 22:05:53] [INFO ] Invariants computation overflowed in 229 ms
[2022-05-15 22:05:53] [INFO ] Dead Transitions using invariants and state equation in 1021 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 10600/10600 places, 9998/9998 transitions.
[2022-05-15 22:05:54] [INFO ] Flatten gal took : 249 ms
[2022-05-15 22:05:54] [INFO ] Flatten gal took : 268 ms
[2022-05-15 22:05:54] [INFO ] Input system was already deterministic with 9998 transitions.
[2022-05-15 22:05:55] [INFO ] Flatten gal took : 253 ms
[2022-05-15 22:05:55] [INFO ] Flatten gal took : 262 ms
[2022-05-15 22:05:55] [INFO ] Time to serialize gal into /tmp/CTLFireability10309539345242042061.gal : 30 ms
[2022-05-15 22:05:55] [INFO ] Time to serialize properties into /tmp/CTLFireability6670349023130030737.ctl : 40 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability10309539345242042061.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability6670349023130030737.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...275
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-05-15 22:06:25] [INFO ] Flatten gal took : 255 ms
[2022-05-15 22:06:25] [INFO ] Applying decomposition
[2022-05-15 22:06:26] [INFO ] Flatten gal took : 262 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph6433074362311624044.txt' '-o' '/tmp/graph6433074362311624044.bin' '-w' '/tmp/graph6433074362311624044.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph6433074362311624044.bin' '-l' '-1' '-v' '-w' '/tmp/graph6433074362311624044.weights' '-q' '0' '-e' '0.001'
[2022-05-15 22:06:26] [INFO ] Decomposing Gal with order
[2022-05-15 22:06:27] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-15 22:06:33] [INFO ] Removed a total of 2810 redundant transitions.
[2022-05-15 22:06:33] [INFO ] Flatten gal took : 512 ms
[2022-05-15 22:06:33] [INFO ] Fuse similar labels procedure discarded/fused a total of 128 labels/synchronizations in 133 ms.
[2022-05-15 22:06:33] [INFO ] Time to serialize gal into /tmp/CTLFireability13674210581597879574.gal : 87 ms
[2022-05-15 22:06:33] [INFO ] Time to serialize properties into /tmp/CTLFireability12711962983230056472.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability13674210581597879574.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability12711962983230056472.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...255
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 10600/10600 places, 9998/9998 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 2395 transitions
Trivial Post-agglo rules discarded 2395 transitions
Performed 2395 trivial Post agglomeration. Transition count delta: 2395
Iterating post reduction 0 with 2395 rules applied. Total rules applied 2395 place count 10599 transition count 7602
Reduce places removed 2395 places and 0 transitions.
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Iterating post reduction 1 with 2397 rules applied. Total rules applied 4792 place count 8204 transition count 7600
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 2 with 2 rules applied. Total rules applied 4794 place count 8202 transition count 7600
Performed 402 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 402 Pre rules applied. Total rules applied 4794 place count 8202 transition count 7198
Deduced a syphon composed of 402 places in 773 ms
Reduce places removed 402 places and 0 transitions.
Iterating global reduction 3 with 804 rules applied. Total rules applied 5598 place count 7800 transition count 7198
Performed 1399 Post agglomeration using F-continuation condition.Transition count delta: 1399
Deduced a syphon composed of 1399 places in 332 ms
Reduce places removed 1399 places and 0 transitions.
Iterating global reduction 3 with 2798 rules applied. Total rules applied 8396 place count 6401 transition count 5799
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 3 with 1 rules applied. Total rules applied 8397 place count 6400 transition count 5798
Applied a total of 8397 rules in 4212 ms. Remains 6400 /10600 variables (removed 4200) and now considering 5798/9998 (removed 4200) transitions.
// Phase 1: matrix 5798 rows 6400 cols
[2022-05-15 22:07:08] [INFO ] Invariants computation overflowed in 147 ms
[2022-05-15 22:07:12] [INFO ] Implicit Places using invariants in 4144 ms returned []
// Phase 1: matrix 5798 rows 6400 cols
[2022-05-15 22:07:12] [INFO ] Invariants computation overflowed in 146 ms
[2022-05-15 22:07:13] [INFO ] Implicit Places using invariants and state equation in 1142 ms returned []
Implicit Place search using SMT with State Equation took 5293 ms to find 0 implicit places.
[2022-05-15 22:07:13] [INFO ] Redundant transitions in 262 ms returned []
// Phase 1: matrix 5798 rows 6400 cols
[2022-05-15 22:07:13] [INFO ] Invariants computation overflowed in 149 ms
[2022-05-15 22:07:17] [INFO ] Dead Transitions using invariants and state equation in 4012 ms found 0 transitions.
Starting structural reductions in SI_CTL mode, iteration 1 : 6400/10600 places, 5798/9998 transitions.
Finished structural reductions, in 1 iterations. Remains : 6400/10600 places, 5798/9998 transitions.
[2022-05-15 22:07:17] [INFO ] Flatten gal took : 161 ms
[2022-05-15 22:07:18] [INFO ] Flatten gal took : 180 ms
[2022-05-15 22:07:18] [INFO ] Input system was already deterministic with 5798 transitions.
[2022-05-15 22:07:18] [INFO ] Flatten gal took : 176 ms
[2022-05-15 22:07:18] [INFO ] Flatten gal took : 180 ms
[2022-05-15 22:07:18] [INFO ] Time to serialize gal into /tmp/CTLFireability13041507198460191403.gal : 15 ms
[2022-05-15 22:07:18] [INFO ] Time to serialize properties into /tmp/CTLFireability3147292496257775709.ctl : 100 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability13041507198460191403.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3147292496257775709.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...275
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-05-15 22:07:49] [INFO ] Flatten gal took : 173 ms
[2022-05-15 22:07:49] [INFO ] Applying decomposition
[2022-05-15 22:07:49] [INFO ] Flatten gal took : 178 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph6571877731316634739.txt' '-o' '/tmp/graph6571877731316634739.bin' '-w' '/tmp/graph6571877731316634739.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph6571877731316634739.bin' '-l' '-1' '-v' '-w' '/tmp/graph6571877731316634739.weights' '-q' '0' '-e' '0.001'
[2022-05-15 22:07:49] [INFO ] Decomposing Gal with order
[2022-05-15 22:07:50] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-15 22:07:51] [INFO ] Removed a total of 1313 redundant transitions.
[2022-05-15 22:07:51] [INFO ] Flatten gal took : 287 ms
[2022-05-15 22:07:51] [INFO ] Fuse similar labels procedure discarded/fused a total of 42 labels/synchronizations in 58 ms.
[2022-05-15 22:07:51] [INFO ] Time to serialize gal into /tmp/CTLFireability16894524704771879325.gal : 64 ms
[2022-05-15 22:07:51] [INFO ] Time to serialize properties into /tmp/CTLFireability9955285740644078060.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability16894524704771879325.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability9955285740644078060.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...254
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 10600/10600 places, 9998/9998 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 2398 transitions
Trivial Post-agglo rules discarded 2398 transitions
Performed 2398 trivial Post agglomeration. Transition count delta: 2398
Iterating post reduction 0 with 2398 rules applied. Total rules applied 2398 place count 10599 transition count 7599
Reduce places removed 2398 places and 0 transitions.
Iterating post reduction 1 with 2398 rules applied. Total rules applied 4796 place count 8201 transition count 7599
Performed 400 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 400 Pre rules applied. Total rules applied 4796 place count 8201 transition count 7199
Deduced a syphon composed of 400 places in 735 ms
Reduce places removed 400 places and 0 transitions.
Iterating global reduction 2 with 800 rules applied. Total rules applied 5596 place count 7801 transition count 7199
Performed 1400 Post agglomeration using F-continuation condition.Transition count delta: 1400
Deduced a syphon composed of 1400 places in 365 ms
Reduce places removed 1400 places and 0 transitions.
Iterating global reduction 2 with 2800 rules applied. Total rules applied 8396 place count 6401 transition count 5799
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 8397 place count 6400 transition count 5798
Applied a total of 8397 rules in 4064 ms. Remains 6400 /10600 variables (removed 4200) and now considering 5798/9998 (removed 4200) transitions.
// Phase 1: matrix 5798 rows 6400 cols
[2022-05-15 22:08:25] [INFO ] Invariants computation overflowed in 176 ms
[2022-05-15 22:08:29] [INFO ] Implicit Places using invariants in 4135 ms returned []
// Phase 1: matrix 5798 rows 6400 cols
[2022-05-15 22:08:30] [INFO ] Invariants computation overflowed in 187 ms
[2022-05-15 22:08:31] [INFO ] Implicit Places using invariants and state equation in 1187 ms returned []
Implicit Place search using SMT with State Equation took 5327 ms to find 0 implicit places.
[2022-05-15 22:08:31] [INFO ] Redundant transitions in 267 ms returned []
// Phase 1: matrix 5798 rows 6400 cols
[2022-05-15 22:08:31] [INFO ] Invariants computation overflowed in 170 ms
[2022-05-15 22:08:35] [INFO ] Dead Transitions using invariants and state equation in 4052 ms found 0 transitions.
Starting structural reductions in SI_CTL mode, iteration 1 : 6400/10600 places, 5798/9998 transitions.
Finished structural reductions, in 1 iterations. Remains : 6400/10600 places, 5798/9998 transitions.
[2022-05-15 22:08:35] [INFO ] Flatten gal took : 208 ms
[2022-05-15 22:08:35] [INFO ] Flatten gal took : 163 ms
[2022-05-15 22:08:36] [INFO ] Input system was already deterministic with 5798 transitions.
[2022-05-15 22:08:36] [INFO ] Flatten gal took : 162 ms
[2022-05-15 22:08:36] [INFO ] Flatten gal took : 167 ms
[2022-05-15 22:08:37] [INFO ] Time to serialize gal into /tmp/CTLFireability8083695622751214845.gal : 770 ms
[2022-05-15 22:08:37] [INFO ] Time to serialize properties into /tmp/CTLFireability18404187665501632345.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability8083695622751214845.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability18404187665501632345.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...275
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-05-15 22:09:07] [INFO ] Flatten gal took : 166 ms
[2022-05-15 22:09:07] [INFO ] Applying decomposition
[2022-05-15 22:09:07] [INFO ] Flatten gal took : 226 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph11677783130544096121.txt' '-o' '/tmp/graph11677783130544096121.bin' '-w' '/tmp/graph11677783130544096121.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph11677783130544096121.bin' '-l' '-1' '-v' '-w' '/tmp/graph11677783130544096121.weights' '-q' '0' '-e' '0.001'
[2022-05-15 22:09:07] [INFO ] Decomposing Gal with order
[2022-05-15 22:09:08] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-15 22:09:09] [INFO ] Removed a total of 1307 redundant transitions.
[2022-05-15 22:09:09] [INFO ] Flatten gal took : 275 ms
[2022-05-15 22:09:09] [INFO ] Fuse similar labels procedure discarded/fused a total of 38 labels/synchronizations in 40 ms.
[2022-05-15 22:09:09] [INFO ] Time to serialize gal into /tmp/CTLFireability3284851264260544767.gal : 37 ms
[2022-05-15 22:09:09] [INFO ] Time to serialize properties into /tmp/CTLFireability10697647194034036848.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability3284851264260544767.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability10697647194034036848.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...254
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 10600/10600 places, 9998/9998 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 2393 transitions
Trivial Post-agglo rules discarded 2393 transitions
Performed 2393 trivial Post agglomeration. Transition count delta: 2393
Iterating post reduction 0 with 2393 rules applied. Total rules applied 2393 place count 10599 transition count 7604
Reduce places removed 2393 places and 0 transitions.
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: 3
Iterating post reduction 1 with 2396 rules applied. Total rules applied 4789 place count 8206 transition count 7601
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 2 with 3 rules applied. Total rules applied 4792 place count 8203 transition count 7601
Performed 401 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 401 Pre rules applied. Total rules applied 4792 place count 8203 transition count 7200
Deduced a syphon composed of 401 places in 777 ms
Reduce places removed 401 places and 0 transitions.
Iterating global reduction 3 with 802 rules applied. Total rules applied 5594 place count 7802 transition count 7200
Performed 1400 Post agglomeration using F-continuation condition.Transition count delta: 1400
Deduced a syphon composed of 1400 places in 320 ms
Reduce places removed 1400 places and 0 transitions.
Iterating global reduction 3 with 2800 rules applied. Total rules applied 8394 place count 6402 transition count 5800
Partial Post-agglomeration rule applied 2 times.
Drop transitions removed 2 transitions
Iterating global reduction 3 with 2 rules applied. Total rules applied 8396 place count 6402 transition count 5800
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 3 with 1 rules applied. Total rules applied 8397 place count 6401 transition count 5799
Applied a total of 8397 rules in 5116 ms. Remains 6401 /10600 variables (removed 4199) and now considering 5799/9998 (removed 4199) transitions.
// Phase 1: matrix 5799 rows 6401 cols
[2022-05-15 22:09:45] [INFO ] Invariants computation overflowed in 204 ms
[2022-05-15 22:09:49] [INFO ] Implicit Places using invariants in 4224 ms returned []
// Phase 1: matrix 5799 rows 6401 cols
[2022-05-15 22:09:49] [INFO ] Invariants computation overflowed in 246 ms
[2022-05-15 22:09:50] [INFO ] Implicit Places using invariants and state equation in 1222 ms returned []
Implicit Place search using SMT with State Equation took 5448 ms to find 0 implicit places.
[2022-05-15 22:09:50] [INFO ] Redundant transitions in 265 ms returned []
// Phase 1: matrix 5799 rows 6401 cols
[2022-05-15 22:09:50] [INFO ] Invariants computation overflowed in 205 ms
[2022-05-15 22:09:54] [INFO ] Dead Transitions using invariants and state equation in 4136 ms found 0 transitions.
Starting structural reductions in SI_CTL mode, iteration 1 : 6401/10600 places, 5799/9998 transitions.
Finished structural reductions, in 1 iterations. Remains : 6401/10600 places, 5799/9998 transitions.
[2022-05-15 22:09:54] [INFO ] Flatten gal took : 161 ms
[2022-05-15 22:09:55] [INFO ] Flatten gal took : 180 ms
[2022-05-15 22:09:55] [INFO ] Input system was already deterministic with 5799 transitions.
[2022-05-15 22:09:55] [INFO ] Flatten gal took : 173 ms
[2022-05-15 22:09:55] [INFO ] Flatten gal took : 177 ms
[2022-05-15 22:09:55] [INFO ] Time to serialize gal into /tmp/CTLFireability9954115581766008568.gal : 15 ms
[2022-05-15 22:09:55] [INFO ] Time to serialize properties into /tmp/CTLFireability3407189602387452345.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability9954115581766008568.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3407189602387452345.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...274
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-05-15 22:10:26] [INFO ] Flatten gal took : 170 ms
[2022-05-15 22:10:26] [INFO ] Applying decomposition
[2022-05-15 22:10:26] [INFO ] Flatten gal took : 177 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph16932410000161969639.txt' '-o' '/tmp/graph16932410000161969639.bin' '-w' '/tmp/graph16932410000161969639.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph16932410000161969639.bin' '-l' '-1' '-v' '-w' '/tmp/graph16932410000161969639.weights' '-q' '0' '-e' '0.001'
[2022-05-15 22:10:26] [INFO ] Decomposing Gal with order
[2022-05-15 22:10:26] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-15 22:10:28] [INFO ] Removed a total of 1299 redundant transitions.
[2022-05-15 22:10:28] [INFO ] Flatten gal took : 300 ms
[2022-05-15 22:10:28] [INFO ] Fuse similar labels procedure discarded/fused a total of 36 labels/synchronizations in 45 ms.
[2022-05-15 22:10:28] [INFO ] Time to serialize gal into /tmp/CTLFireability12030886204829854699.gal : 38 ms
[2022-05-15 22:10:28] [INFO ] Time to serialize properties into /tmp/CTLFireability382983384218843508.ctl : 3 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability12030886204829854699.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability382983384218843508.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...253
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 10600/10600 places, 9998/9998 transitions.
Applied a total of 0 rules in 3425 ms. Remains 10600 /10600 variables (removed 0) and now considering 9998/9998 (removed 0) transitions.
// Phase 1: matrix 9998 rows 10600 cols
[2022-05-15 22:11:02] [INFO ] Invariants computation overflowed in 261 ms
[2022-05-15 22:11:03] [INFO ] Implicit Places using invariants in 1164 ms returned []
Implicit Place search using SMT only with invariants took 1171 ms to find 0 implicit places.
// Phase 1: matrix 9998 rows 10600 cols
[2022-05-15 22:11:03] [INFO ] Invariants computation overflowed in 272 ms
[2022-05-15 22:11:04] [INFO ] Dead Transitions using invariants and state equation in 1068 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 10600/10600 places, 9998/9998 transitions.
[2022-05-15 22:11:04] [INFO ] Flatten gal took : 270 ms
[2022-05-15 22:11:04] [INFO ] Flatten gal took : 298 ms
[2022-05-15 22:11:05] [INFO ] Input system was already deterministic with 9998 transitions.
[2022-05-15 22:11:05] [INFO ] Flatten gal took : 293 ms
[2022-05-15 22:11:05] [INFO ] Flatten gal took : 311 ms
[2022-05-15 22:11:05] [INFO ] Time to serialize gal into /tmp/CTLFireability5758438502873981543.gal : 26 ms
[2022-05-15 22:11:05] [INFO ] Time to serialize properties into /tmp/CTLFireability5192417217000436580.ctl : 2 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability5758438502873981543.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability5192417217000436580.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...274
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-05-15 22:11:36] [INFO ] Flatten gal took : 297 ms
[2022-05-15 22:11:36] [INFO ] Applying decomposition
[2022-05-15 22:11:36] [INFO ] Flatten gal took : 309 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph10095161834639259588.txt' '-o' '/tmp/graph10095161834639259588.bin' '-w' '/tmp/graph10095161834639259588.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph10095161834639259588.bin' '-l' '-1' '-v' '-w' '/tmp/graph10095161834639259588.weights' '-q' '0' '-e' '0.001'
[2022-05-15 22:11:37] [INFO ] Decomposing Gal with order
[2022-05-15 22:11:38] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-15 22:11:43] [INFO ] Removed a total of 2835 redundant transitions.
[2022-05-15 22:11:44] [INFO ] Flatten gal took : 541 ms
[2022-05-15 22:11:44] [INFO ] Fuse similar labels procedure discarded/fused a total of 196 labels/synchronizations in 190 ms.
[2022-05-15 22:11:44] [INFO ] Time to serialize gal into /tmp/CTLFireability8509473548240389607.gal : 107 ms
[2022-05-15 22:11:44] [INFO ] Time to serialize properties into /tmp/CTLFireability16362881296386430811.ctl : 4 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability8509473548240389607.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability16362881296386430811.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...254
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 10600/10600 places, 9998/9998 transitions.
Applied a total of 0 rules in 3667 ms. Remains 10600 /10600 variables (removed 0) and now considering 9998/9998 (removed 0) transitions.
// Phase 1: matrix 9998 rows 10600 cols
[2022-05-15 22:12:18] [INFO ] Invariants computation overflowed in 237 ms
[2022-05-15 22:12:19] [INFO ] Implicit Places using invariants in 1038 ms returned []
Implicit Place search using SMT only with invariants took 1040 ms to find 0 implicit places.
// Phase 1: matrix 9998 rows 10600 cols
[2022-05-15 22:12:19] [INFO ] Invariants computation overflowed in 256 ms
[2022-05-15 22:12:20] [INFO ] Dead Transitions using invariants and state equation in 1060 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 10600/10600 places, 9998/9998 transitions.
[2022-05-15 22:12:20] [INFO ] Flatten gal took : 274 ms
[2022-05-15 22:12:21] [INFO ] Flatten gal took : 306 ms
[2022-05-15 22:12:21] [INFO ] Input system was already deterministic with 9998 transitions.
[2022-05-15 22:12:21] [INFO ] Flatten gal took : 251 ms
[2022-05-15 22:12:22] [INFO ] Flatten gal took : 261 ms
[2022-05-15 22:12:22] [INFO ] Time to serialize gal into /tmp/CTLFireability10985211151929955378.gal : 22 ms
[2022-05-15 22:12:22] [INFO ] Time to serialize properties into /tmp/CTLFireability11424635428334199874.ctl : 2 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability10985211151929955378.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability11424635428334199874.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...276
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-05-15 22:12:52] [INFO ] Flatten gal took : 257 ms
[2022-05-15 22:12:52] [INFO ] Applying decomposition
[2022-05-15 22:12:52] [INFO ] Flatten gal took : 265 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph7905155756649147399.txt' '-o' '/tmp/graph7905155756649147399.bin' '-w' '/tmp/graph7905155756649147399.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph7905155756649147399.bin' '-l' '-1' '-v' '-w' '/tmp/graph7905155756649147399.weights' '-q' '0' '-e' '0.001'
[2022-05-15 22:12:53] [INFO ] Decomposing Gal with order
[2022-05-15 22:12:54] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-15 22:12:59] [INFO ] Removed a total of 2844 redundant transitions.
[2022-05-15 22:12:59] [INFO ] Flatten gal took : 426 ms
[2022-05-15 22:13:00] [INFO ] Fuse similar labels procedure discarded/fused a total of 172 labels/synchronizations in 142 ms.
[2022-05-15 22:13:00] [INFO ] Time to serialize gal into /tmp/CTLFireability1587130225089982439.gal : 77 ms
[2022-05-15 22:13:00] [INFO ] Time to serialize properties into /tmp/CTLFireability6452448458244425318.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability1587130225089982439.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability6452448458244425318.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...253
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 10600/10600 places, 9998/9998 transitions.
Applied a total of 0 rules in 3348 ms. Remains 10600 /10600 variables (removed 0) and now considering 9998/9998 (removed 0) transitions.
// Phase 1: matrix 9998 rows 10600 cols
[2022-05-15 22:13:33] [INFO ] Invariants computation overflowed in 232 ms
[2022-05-15 22:13:34] [INFO ] Implicit Places using invariants in 1023 ms returned []
Implicit Place search using SMT only with invariants took 1023 ms to find 0 implicit places.
// Phase 1: matrix 9998 rows 10600 cols
[2022-05-15 22:13:35] [INFO ] Invariants computation overflowed in 264 ms
[2022-05-15 22:13:35] [INFO ] Dead Transitions using invariants and state equation in 1087 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 10600/10600 places, 9998/9998 transitions.
[2022-05-15 22:13:36] [INFO ] Flatten gal took : 251 ms
[2022-05-15 22:13:36] [INFO ] Flatten gal took : 315 ms
[2022-05-15 22:13:36] [INFO ] Input system was already deterministic with 9998 transitions.
[2022-05-15 22:13:37] [INFO ] Flatten gal took : 257 ms
[2022-05-15 22:13:37] [INFO ] Flatten gal took : 266 ms
[2022-05-15 22:13:37] [INFO ] Time to serialize gal into /tmp/CTLFireability17536037438522936876.gal : 22 ms
[2022-05-15 22:13:37] [INFO ] Time to serialize properties into /tmp/CTLFireability13705211694031203716.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability17536037438522936876.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability13705211694031203716.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...276
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-05-15 22:14:07] [INFO ] Flatten gal took : 255 ms
[2022-05-15 22:14:07] [INFO ] Applying decomposition
[2022-05-15 22:14:08] [INFO ] Flatten gal took : 266 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph3447830234414595683.txt' '-o' '/tmp/graph3447830234414595683.bin' '-w' '/tmp/graph3447830234414595683.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph3447830234414595683.bin' '-l' '-1' '-v' '-w' '/tmp/graph3447830234414595683.weights' '-q' '0' '-e' '0.001'
[2022-05-15 22:14:08] [INFO ] Decomposing Gal with order
[2022-05-15 22:14:09] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-15 22:14:14] [INFO ] Removed a total of 2847 redundant transitions.
[2022-05-15 22:14:15] [INFO ] Flatten gal took : 463 ms
[2022-05-15 22:14:15] [INFO ] Fuse similar labels procedure discarded/fused a total of 50 labels/synchronizations in 89 ms.
[2022-05-15 22:14:15] [INFO ] Time to serialize gal into /tmp/CTLFireability14220713054573446328.gal : 58 ms
[2022-05-15 22:14:15] [INFO ] Time to serialize properties into /tmp/CTLFireability18418294082460589558.ctl : 3 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability14220713054573446328.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability18418294082460589558.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...255
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-05-15 22:14:45] [INFO ] Flatten gal took : 259 ms
[2022-05-15 22:14:45] [INFO ] Flatten gal took : 268 ms
[2022-05-15 22:14:45] [INFO ] Applying decomposition
[2022-05-15 22:14:46] [INFO ] Flatten gal took : 268 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph9332701888554673294.txt' '-o' '/tmp/graph9332701888554673294.bin' '-w' '/tmp/graph9332701888554673294.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph9332701888554673294.bin' '-l' '-1' '-v' '-w' '/tmp/graph9332701888554673294.weights' '-q' '0' '-e' '0.001'
[2022-05-15 22:14:46] [INFO ] Decomposing Gal with order
[2022-05-15 22:14:47] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-15 22:14:53] [INFO ] Removed a total of 2844 redundant transitions.
[2022-05-15 22:14:53] [INFO ] Flatten gal took : 456 ms
[2022-05-15 22:14:54] [INFO ] Fuse similar labels procedure discarded/fused a total of 174 labels/synchronizations in 192 ms.
[2022-05-15 22:14:54] [INFO ] Time to serialize gal into /tmp/CTLFireability3052523935718948175.gal : 64 ms
[2022-05-15 22:14:54] [INFO ] Time to serialize properties into /tmp/CTLFireability1213536779140430653.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability3052523935718948175.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability1213536779140430653.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...253
No direction supplied, using forward translation only.
Parsed 16 CTL formulae.
Detected timeout of ITS tools.
[2022-05-15 22:43:38] [INFO ] Flatten gal took : 276 ms
[2022-05-15 22:43:38] [INFO ] Time to serialize gal into /tmp/CTLFireability8059457607463911198.gal : 23 ms
[2022-05-15 22:43:38] [INFO ] Time to serialize properties into /tmp/CTLFireability12867790284788289748.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability8059457607463911198.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability12867790284788289748.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...275
No direction supplied, using forward translation only.
Parsed 16 CTL formulae.
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export LANG=C
+ LANG=C
+ export BINDIR=/home/mcc/BenchKit/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ CTLFireability = StateSpace ]]
+ /home/mcc/BenchKit/bin//..//runeclipse.sh /home/mcc/execution CTLFireability -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ export PYTHONPATH=/usr/lib/python3.9/site-packages/
+ PYTHONPATH=/usr/lib/python3.9/site-packages/
+ export LD_LIBRARY_PATH=/usr/local/lib:
+ LD_LIBRARY_PATH=/usr/local/lib:
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202205111006.jar
+ VERSION=202205111006
+ echo 'Running Version 202205111006'
+ /home/mcc/BenchKit/bin//..//itstools/its-tools -data @none -pnfolder /home/mcc/execution -examination CTLFireability -spotpath /home/mcc/BenchKit/bin//..//ltlfilt -z3path /home/mcc/BenchKit/bin//..//z3/bin/z3 -yices2path /home/mcc/BenchKit/bin//..//yices/bin/yices -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600 -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=@none -Xss128m -Xms40m -Xmx8192m
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DoubleExponent-PT-200"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool itstools"
echo " Input is DoubleExponent-PT-200, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r078-tall-165260110000218"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DoubleExponent-PT-200.tgz
mv DoubleExponent-PT-200 execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;