About the Execution of ITS-Tools for CSRepetitions-PT-10
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16223.960 | 3600000.00 | 3100676.00 | 273140.90 | [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/mcc2023-input.r069-smll-167814395900090.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool itstools
Input is CSRepetitions-PT-10, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r069-smll-167814395900090
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 13M
-rw-r--r-- 1 mcc users 409K Feb 25 12:43 CTLCardinality.txt
-rw-r--r-- 1 mcc users 1.4M Feb 25 12:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 721K Feb 25 12:31 CTLFireability.txt
-rw-r--r-- 1 mcc users 2.9M Feb 25 12:31 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.5K Jan 29 11:40 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 216K Feb 25 15:42 LTLCardinality.txt
-rw-r--r-- 1 mcc users 550K Feb 25 15:42 LTLCardinality.xml
-rw-r--r-- 1 mcc users 240K Feb 25 15:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 779K Feb 25 15:42 LTLFireability.xml
-rw-r--r-- 1 mcc users 735K Feb 25 13:30 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 2.5M Feb 25 13:30 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 189K Feb 25 13:11 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 679K Feb 25 13:11 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 25 15:42 UpperBounds.txt
-rw-r--r-- 1 mcc users 25K Feb 25 15:42 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 1.2M Mar 5 18:22 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 CSRepetitions-PT-10-CTLFireability-00
FORMULA_NAME CSRepetitions-PT-10-CTLFireability-01
FORMULA_NAME CSRepetitions-PT-10-CTLFireability-02
FORMULA_NAME CSRepetitions-PT-10-CTLFireability-03
FORMULA_NAME CSRepetitions-PT-10-CTLFireability-04
FORMULA_NAME CSRepetitions-PT-10-CTLFireability-05
FORMULA_NAME CSRepetitions-PT-10-CTLFireability-06
FORMULA_NAME CSRepetitions-PT-10-CTLFireability-07
FORMULA_NAME CSRepetitions-PT-10-CTLFireability-08
FORMULA_NAME CSRepetitions-PT-10-CTLFireability-09
FORMULA_NAME CSRepetitions-PT-10-CTLFireability-10
FORMULA_NAME CSRepetitions-PT-10-CTLFireability-11
FORMULA_NAME CSRepetitions-PT-10-CTLFireability-12
FORMULA_NAME CSRepetitions-PT-10-CTLFireability-13
FORMULA_NAME CSRepetitions-PT-10-CTLFireability-14
FORMULA_NAME CSRepetitions-PT-10-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1678262528556
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=CTLFireability
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=CSRepetitions-PT-10
Not applying reductions.
Model is PT
CTLFireability PT
Running Version 202303021504
[2023-03-08 08:02:10] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLFireability, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2023-03-08 08:02:10] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-08 08:02:11] [INFO ] Load time of PNML (sax parser for PT used): 304 ms
[2023-03-08 08:02:11] [INFO ] Transformed 1311 places.
[2023-03-08 08:02:11] [INFO ] Transformed 2300 transitions.
[2023-03-08 08:02:11] [INFO ] Parsed PT model containing 1311 places and 2300 transitions and 8700 arcs in 454 ms.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 184 ms.
Support contains 1311 out of 1311 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 1311/1311 places, 2300/2300 transitions.
Applied a total of 0 rules in 91 ms. Remains 1311 /1311 variables (removed 0) and now considering 2300/2300 (removed 0) transitions.
// Phase 1: matrix 2300 rows 1311 cols
[2023-03-08 08:02:12] [INFO ] Computed 110 place invariants in 90 ms
[2023-03-08 08:02:12] [INFO ] Implicit Places using invariants in 682 ms returned []
[2023-03-08 08:02:12] [INFO ] Invariant cache hit.
[2023-03-08 08:02:13] [INFO ] State equation strengthened by 100 read => feed constraints.
[2023-03-08 08:02:13] [INFO ] Implicit Places using invariants and state equation in 899 ms returned []
Implicit Place search using SMT with State Equation took 1623 ms to find 0 implicit places.
[2023-03-08 08:02:13] [INFO ] Invariant cache hit.
[2023-03-08 08:02:16] [INFO ] Dead Transitions using invariants and state equation in 2452 ms found 0 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 4183 ms. Remains : 1311/1311 places, 2300/2300 transitions.
Support contains 1311 out of 1311 places after structural reductions.
[2023-03-08 08:02:17] [INFO ] Flatten gal took : 431 ms
[2023-03-08 08:02:19] [INFO ] Flatten gal took : 425 ms
[2023-03-08 08:02:21] [INFO ] Input system was already deterministic with 2300 transitions.
Incomplete random walk after 10003 steps, including 54 resets, run finished after 1202 ms. (steps per millisecond=8 ) properties (out of 55) seen :46
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 41 ms. (steps per millisecond=243 ) properties (out of 9) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 33 ms. (steps per millisecond=303 ) properties (out of 8) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 32 ms. (steps per millisecond=312 ) properties (out of 7) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 56 ms. (steps per millisecond=178 ) properties (out of 7) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 40 ms. (steps per millisecond=250 ) properties (out of 7) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 35 ms. (steps per millisecond=285 ) properties (out of 7) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 34 ms. (steps per millisecond=294 ) properties (out of 7) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 32 ms. (steps per millisecond=312 ) properties (out of 7) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 32 ms. (steps per millisecond=312 ) properties (out of 6) seen :0
Running SMT prover for 6 properties.
[2023-03-08 08:02:23] [INFO ] Invariant cache hit.
[2023-03-08 08:02:24] [INFO ] [Real]Absence check using 110 positive place invariants in 60 ms returned sat
[2023-03-08 08:02:26] [INFO ] After 2077ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:6
[2023-03-08 08:02:26] [INFO ] [Nat]Absence check using 110 positive place invariants in 77 ms returned sat
[2023-03-08 08:02:28] [INFO ] After 1840ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :6
[2023-03-08 08:02:28] [INFO ] State equation strengthened by 100 read => feed constraints.
[2023-03-08 08:02:29] [INFO ] After 771ms SMT Verify possible using 100 Read/Feed constraints in natural domain returned unsat :0 sat :6
[2023-03-08 08:02:30] [INFO ] After 2116ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :6
Attempting to minimize the solution found.
Minimization took 752 ms.
[2023-03-08 08:02:31] [INFO ] After 5709ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :6
Finished Parikh walk after 414 steps, including 0 resets, run visited all 1 properties in 11 ms. (steps per millisecond=37 )
Parikh walk visited 6 properties in 94 ms.
[2023-03-08 08:02:32] [INFO ] Flatten gal took : 212 ms
[2023-03-08 08:02:34] [INFO ] Flatten gal took : 317 ms
[2023-03-08 08:02:36] [INFO ] Input system was already deterministic with 2300 transitions.
Computed a total of 0 stabilizing places and 100 stable transitions
Starting structural reductions in LTL mode, iteration 0 : 1311/1311 places, 2300/2300 transitions.
Applied a total of 0 rules in 153 ms. Remains 1311 /1311 variables (removed 0) and now considering 2300/2300 (removed 0) transitions.
[2023-03-08 08:02:36] [INFO ] Invariant cache hit.
[2023-03-08 08:02:37] [INFO ] Implicit Places using invariants in 1067 ms returned []
[2023-03-08 08:02:37] [INFO ] Invariant cache hit.
[2023-03-08 08:02:38] [INFO ] State equation strengthened by 100 read => feed constraints.
[2023-03-08 08:02:40] [INFO ] Implicit Places using invariants and state equation in 2992 ms returned []
Implicit Place search using SMT with State Equation took 4065 ms to find 0 implicit places.
[2023-03-08 08:02:40] [INFO ] Invariant cache hit.
[2023-03-08 08:02:42] [INFO ] Dead Transitions using invariants and state equation in 1739 ms found 0 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 5968 ms. Remains : 1311/1311 places, 2300/2300 transitions.
[2023-03-08 08:02:42] [INFO ] Flatten gal took : 85 ms
[2023-03-08 08:02:42] [INFO ] Flatten gal took : 102 ms
[2023-03-08 08:02:42] [INFO ] Input system was already deterministic with 2300 transitions.
[2023-03-08 08:02:42] [INFO ] Flatten gal took : 100 ms
[2023-03-08 08:02:42] [INFO ] Flatten gal took : 102 ms
[2023-03-08 08:02:42] [INFO ] Time to serialize gal into /tmp/CTLFireability7915641341511703650.gal : 36 ms
[2023-03-08 08:02:42] [INFO ] Time to serialize properties into /tmp/CTLFireability2319015764237646901.ctl : 13 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability7915641341511703650.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability2319015764237646901.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2023-03-08 08:03:13] [INFO ] Flatten gal took : 146 ms
[2023-03-08 08:03:13] [INFO ] Applying decomposition
[2023-03-08 08:03:13] [INFO ] Flatten gal took : 147 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph12059846063237244463.txt' '-o' '/tmp/graph12059846063237244463.bin' '-w' '/tmp/graph12059846063237244463.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph12059846063237244463.bin' '-l' '-1' '-v' '-w' '/tmp/graph12059846063237244463.weights' '-q' '0' '-e' '0.001'
[2023-03-08 08:03:13] [INFO ] Decomposing Gal with order
[2023-03-08 08:03:13] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-08 08:03:15] [INFO ] Removed a total of 1700 redundant transitions.
[2023-03-08 08:03:15] [INFO ] Flatten gal took : 1171 ms
[2023-03-08 08:03:15] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 23 ms.
[2023-03-08 08:03:15] [INFO ] Time to serialize gal into /tmp/CTLFireability6956849285920755709.gal : 32 ms
[2023-03-08 08:03:15] [INFO ] Time to serialize properties into /tmp/CTLFireability3555298614964644840.ctl : 6 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability6956849285920755709.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3555298614964644840.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...262
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 1311/1311 places, 2300/2300 transitions.
Applied a total of 0 rules in 258 ms. Remains 1311 /1311 variables (removed 0) and now considering 2300/2300 (removed 0) transitions.
[2023-03-08 08:03:45] [INFO ] Invariant cache hit.
[2023-03-08 08:03:47] [INFO ] Implicit Places using invariants in 2009 ms returned []
[2023-03-08 08:03:47] [INFO ] Invariant cache hit.
[2023-03-08 08:03:49] [INFO ] State equation strengthened by 100 read => feed constraints.
[2023-03-08 08:03:52] [INFO ] Implicit Places using invariants and state equation in 5108 ms returned []
Implicit Place search using SMT with State Equation took 7129 ms to find 0 implicit places.
[2023-03-08 08:03:52] [INFO ] Invariant cache hit.
[2023-03-08 08:03:54] [INFO ] Dead Transitions using invariants and state equation in 1720 ms found 0 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 9113 ms. Remains : 1311/1311 places, 2300/2300 transitions.
[2023-03-08 08:03:54] [INFO ] Flatten gal took : 74 ms
[2023-03-08 08:03:54] [INFO ] Flatten gal took : 79 ms
[2023-03-08 08:03:54] [INFO ] Input system was already deterministic with 2300 transitions.
[2023-03-08 08:03:55] [INFO ] Flatten gal took : 72 ms
[2023-03-08 08:03:55] [INFO ] Flatten gal took : 109 ms
[2023-03-08 08:03:55] [INFO ] Time to serialize gal into /tmp/CTLFireability14296292340043940406.gal : 20 ms
[2023-03-08 08:03:55] [INFO ] Time to serialize properties into /tmp/CTLFireability15193310236652281364.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability14296292340043940406.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability15193310236652281364.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2023-03-08 08:04:25] [INFO ] Flatten gal took : 81 ms
[2023-03-08 08:04:25] [INFO ] Applying decomposition
[2023-03-08 08:04:25] [INFO ] Flatten gal took : 102 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph16149821848901621789.txt' '-o' '/tmp/graph16149821848901621789.bin' '-w' '/tmp/graph16149821848901621789.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph16149821848901621789.bin' '-l' '-1' '-v' '-w' '/tmp/graph16149821848901621789.weights' '-q' '0' '-e' '0.001'
[2023-03-08 08:04:25] [INFO ] Decomposing Gal with order
[2023-03-08 08:04:25] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-08 08:04:26] [INFO ] Removed a total of 1700 redundant transitions.
[2023-03-08 08:04:26] [INFO ] Flatten gal took : 819 ms
[2023-03-08 08:04:26] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 12 ms.
[2023-03-08 08:04:26] [INFO ] Time to serialize gal into /tmp/CTLFireability7130784616973304382.gal : 18 ms
[2023-03-08 08:04:26] [INFO ] Time to serialize properties into /tmp/CTLFireability10746748822619038197.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability7130784616973304382.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability10746748822619038197.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 1311/1311 places, 2300/2300 transitions.
Applied a total of 0 rules in 9 ms. Remains 1311 /1311 variables (removed 0) and now considering 2300/2300 (removed 0) transitions.
[2023-03-08 08:04:56] [INFO ] Invariant cache hit.
[2023-03-08 08:04:57] [INFO ] Implicit Places using invariants in 323 ms returned []
[2023-03-08 08:04:57] [INFO ] Invariant cache hit.
[2023-03-08 08:04:57] [INFO ] State equation strengthened by 100 read => feed constraints.
[2023-03-08 08:04:57] [INFO ] Implicit Places using invariants and state equation in 722 ms returned []
Implicit Place search using SMT with State Equation took 1048 ms to find 0 implicit places.
[2023-03-08 08:04:57] [INFO ] Invariant cache hit.
[2023-03-08 08:05:00] [INFO ] Dead Transitions using invariants and state equation in 2284 ms found 0 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 3343 ms. Remains : 1311/1311 places, 2300/2300 transitions.
[2023-03-08 08:05:00] [INFO ] Flatten gal took : 83 ms
[2023-03-08 08:05:00] [INFO ] Flatten gal took : 111 ms
[2023-03-08 08:05:00] [INFO ] Input system was already deterministic with 2300 transitions.
[2023-03-08 08:05:00] [INFO ] Flatten gal took : 156 ms
[2023-03-08 08:05:01] [INFO ] Flatten gal took : 160 ms
[2023-03-08 08:05:01] [INFO ] Time to serialize gal into /tmp/CTLFireability11566690338149839941.gal : 18 ms
[2023-03-08 08:05:01] [INFO ] Time to serialize properties into /tmp/CTLFireability9593557059789123763.ctl : 24 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability11566690338149839941.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability9593557059789123763.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2023-03-08 08:05:31] [INFO ] Flatten gal took : 159 ms
[2023-03-08 08:05:31] [INFO ] Applying decomposition
[2023-03-08 08:05:31] [INFO ] Flatten gal took : 162 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph2403471645738225900.txt' '-o' '/tmp/graph2403471645738225900.bin' '-w' '/tmp/graph2403471645738225900.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph2403471645738225900.bin' '-l' '-1' '-v' '-w' '/tmp/graph2403471645738225900.weights' '-q' '0' '-e' '0.001'
[2023-03-08 08:05:31] [INFO ] Decomposing Gal with order
[2023-03-08 08:05:31] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-08 08:05:32] [INFO ] Removed a total of 1600 redundant transitions.
[2023-03-08 08:05:32] [INFO ] Flatten gal took : 985 ms
[2023-03-08 08:05:33] [INFO ] Fuse similar labels procedure discarded/fused a total of 200 labels/synchronizations in 61 ms.
[2023-03-08 08:05:33] [INFO ] Time to serialize gal into /tmp/CTLFireability12990161439148179653.gal : 14 ms
[2023-03-08 08:05:33] [INFO ] Time to serialize properties into /tmp/CTLFireability16414644452714781956.ctl : 13 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability12990161439148179653.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability16414644452714781956.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...264
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 : 1311/1311 places, 2300/2300 transitions.
Applied a total of 0 rules in 143 ms. Remains 1311 /1311 variables (removed 0) and now considering 2300/2300 (removed 0) transitions.
[2023-03-08 08:06:03] [INFO ] Invariant cache hit.
[2023-03-08 08:06:03] [INFO ] Implicit Places using invariants in 304 ms returned []
[2023-03-08 08:06:03] [INFO ] Invariant cache hit.
[2023-03-08 08:06:04] [INFO ] State equation strengthened by 100 read => feed constraints.
[2023-03-08 08:06:05] [INFO ] Implicit Places using invariants and state equation in 1604 ms returned []
Implicit Place search using SMT with State Equation took 1911 ms to find 0 implicit places.
[2023-03-08 08:06:05] [INFO ] Redundant transitions in 309 ms returned []
[2023-03-08 08:06:05] [INFO ] Invariant cache hit.
[2023-03-08 08:06:07] [INFO ] Dead Transitions using invariants and state equation in 1885 ms found 0 transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 4265 ms. Remains : 1311/1311 places, 2300/2300 transitions.
[2023-03-08 08:06:07] [INFO ] Flatten gal took : 79 ms
[2023-03-08 08:06:07] [INFO ] Flatten gal took : 105 ms
[2023-03-08 08:06:07] [INFO ] Input system was already deterministic with 2300 transitions.
[2023-03-08 08:06:08] [INFO ] Flatten gal took : 103 ms
[2023-03-08 08:06:08] [INFO ] Flatten gal took : 114 ms
[2023-03-08 08:06:08] [INFO ] Time to serialize gal into /tmp/CTLFireability17892628278992100843.gal : 15 ms
[2023-03-08 08:06:08] [INFO ] Time to serialize properties into /tmp/CTLFireability3595180714138224620.ctl : 13 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability17892628278992100843.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3595180714138224620.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2023-03-08 08:06:38] [INFO ] Flatten gal took : 108 ms
[2023-03-08 08:06:38] [INFO ] Applying decomposition
[2023-03-08 08:06:38] [INFO ] Flatten gal took : 113 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph3022319077198700389.txt' '-o' '/tmp/graph3022319077198700389.bin' '-w' '/tmp/graph3022319077198700389.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph3022319077198700389.bin' '-l' '-1' '-v' '-w' '/tmp/graph3022319077198700389.weights' '-q' '0' '-e' '0.001'
[2023-03-08 08:06:38] [INFO ] Decomposing Gal with order
[2023-03-08 08:06:38] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-08 08:06:39] [INFO ] Removed a total of 1700 redundant transitions.
[2023-03-08 08:06:39] [INFO ] Flatten gal took : 564 ms
[2023-03-08 08:06:39] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 6 ms.
[2023-03-08 08:06:39] [INFO ] Time to serialize gal into /tmp/CTLFireability11417626008824562820.gal : 18 ms
[2023-03-08 08:06:39] [INFO ] Time to serialize properties into /tmp/CTLFireability3533356207044129025.ctl : 10 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability11417626008824562820.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3533356207044129025.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 1311/1311 places, 2300/2300 transitions.
Applied a total of 0 rules in 9 ms. Remains 1311 /1311 variables (removed 0) and now considering 2300/2300 (removed 0) transitions.
[2023-03-08 08:07:09] [INFO ] Invariant cache hit.
[2023-03-08 08:07:09] [INFO ] Implicit Places using invariants in 250 ms returned []
[2023-03-08 08:07:09] [INFO ] Invariant cache hit.
[2023-03-08 08:07:10] [INFO ] State equation strengthened by 100 read => feed constraints.
[2023-03-08 08:07:10] [INFO ] Implicit Places using invariants and state equation in 661 ms returned []
Implicit Place search using SMT with State Equation took 916 ms to find 0 implicit places.
[2023-03-08 08:07:10] [INFO ] Invariant cache hit.
[2023-03-08 08:07:12] [INFO ] Dead Transitions using invariants and state equation in 2538 ms found 0 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 3465 ms. Remains : 1311/1311 places, 2300/2300 transitions.
[2023-03-08 08:07:13] [INFO ] Flatten gal took : 151 ms
[2023-03-08 08:07:13] [INFO ] Flatten gal took : 223 ms
[2023-03-08 08:07:13] [INFO ] Input system was already deterministic with 2300 transitions.
[2023-03-08 08:07:13] [INFO ] Flatten gal took : 127 ms
[2023-03-08 08:07:14] [INFO ] Flatten gal took : 129 ms
[2023-03-08 08:07:14] [INFO ] Time to serialize gal into /tmp/CTLFireability12691741923927583835.gal : 12 ms
[2023-03-08 08:07:14] [INFO ] Time to serialize properties into /tmp/CTLFireability12449949219657229518.ctl : 22 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability12691741923927583835.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability12449949219657229518.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2023-03-08 08:07:44] [INFO ] Flatten gal took : 129 ms
[2023-03-08 08:07:44] [INFO ] Applying decomposition
[2023-03-08 08:07:44] [INFO ] Flatten gal took : 141 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph4095507478231041437.txt' '-o' '/tmp/graph4095507478231041437.bin' '-w' '/tmp/graph4095507478231041437.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph4095507478231041437.bin' '-l' '-1' '-v' '-w' '/tmp/graph4095507478231041437.weights' '-q' '0' '-e' '0.001'
[2023-03-08 08:07:44] [INFO ] Decomposing Gal with order
[2023-03-08 08:07:44] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-08 08:07:45] [INFO ] Removed a total of 1600 redundant transitions.
[2023-03-08 08:07:45] [INFO ] Flatten gal took : 628 ms
[2023-03-08 08:07:45] [INFO ] Fuse similar labels procedure discarded/fused a total of 200 labels/synchronizations in 67 ms.
[2023-03-08 08:07:45] [INFO ] Time to serialize gal into /tmp/CTLFireability14388636444047632252.gal : 27 ms
[2023-03-08 08:07:45] [INFO ] Time to serialize properties into /tmp/CTLFireability2046152716877267879.ctl : 37 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability14388636444047632252.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability2046152716877267879.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 1311/1311 places, 2300/2300 transitions.
Applied a total of 0 rules in 17 ms. Remains 1311 /1311 variables (removed 0) and now considering 2300/2300 (removed 0) transitions.
[2023-03-08 08:08:15] [INFO ] Invariant cache hit.
[2023-03-08 08:08:16] [INFO ] Implicit Places using invariants in 295 ms returned []
[2023-03-08 08:08:16] [INFO ] Invariant cache hit.
[2023-03-08 08:08:16] [INFO ] State equation strengthened by 100 read => feed constraints.
[2023-03-08 08:08:17] [INFO ] Implicit Places using invariants and state equation in 812 ms returned []
Implicit Place search using SMT with State Equation took 1122 ms to find 0 implicit places.
[2023-03-08 08:08:17] [INFO ] Invariant cache hit.
[2023-03-08 08:08:19] [INFO ] Dead Transitions using invariants and state equation in 2336 ms found 0 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 3490 ms. Remains : 1311/1311 places, 2300/2300 transitions.
[2023-03-08 08:08:19] [INFO ] Flatten gal took : 132 ms
[2023-03-08 08:08:19] [INFO ] Flatten gal took : 278 ms
[2023-03-08 08:08:20] [INFO ] Input system was already deterministic with 2300 transitions.
[2023-03-08 08:08:20] [INFO ] Flatten gal took : 154 ms
[2023-03-08 08:08:20] [INFO ] Flatten gal took : 160 ms
[2023-03-08 08:08:20] [INFO ] Time to serialize gal into /tmp/CTLFireability13464768853267138277.gal : 12 ms
[2023-03-08 08:08:20] [INFO ] Time to serialize properties into /tmp/CTLFireability13265321060789605525.ctl : 33 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability13464768853267138277.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability13265321060789605525.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2023-03-08 08:08:50] [INFO ] Flatten gal took : 156 ms
[2023-03-08 08:08:50] [INFO ] Applying decomposition
[2023-03-08 08:08:51] [INFO ] Flatten gal took : 235 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph5453242337999648538.txt' '-o' '/tmp/graph5453242337999648538.bin' '-w' '/tmp/graph5453242337999648538.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph5453242337999648538.bin' '-l' '-1' '-v' '-w' '/tmp/graph5453242337999648538.weights' '-q' '0' '-e' '0.001'
[2023-03-08 08:08:51] [INFO ] Decomposing Gal with order
[2023-03-08 08:08:51] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-08 08:08:52] [INFO ] Removed a total of 1700 redundant transitions.
[2023-03-08 08:08:52] [INFO ] Flatten gal took : 615 ms
[2023-03-08 08:08:52] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 4 ms.
[2023-03-08 08:08:52] [INFO ] Time to serialize gal into /tmp/CTLFireability11686719285993782593.gal : 14 ms
[2023-03-08 08:08:52] [INFO ] Time to serialize properties into /tmp/CTLFireability15935646945544822285.ctl : 29 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability11686719285993782593.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability15935646945544822285.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...264
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 : 1311/1311 places, 2300/2300 transitions.
Applied a total of 0 rules in 174 ms. Remains 1311 /1311 variables (removed 0) and now considering 2300/2300 (removed 0) transitions.
[2023-03-08 08:09:22] [INFO ] Invariant cache hit.
[2023-03-08 08:09:23] [INFO ] Implicit Places using invariants in 373 ms returned []
[2023-03-08 08:09:23] [INFO ] Invariant cache hit.
[2023-03-08 08:09:23] [INFO ] State equation strengthened by 100 read => feed constraints.
[2023-03-08 08:09:23] [INFO ] Implicit Places using invariants and state equation in 724 ms returned []
Implicit Place search using SMT with State Equation took 1100 ms to find 0 implicit places.
[2023-03-08 08:09:24] [INFO ] Redundant transitions in 244 ms returned []
[2023-03-08 08:09:24] [INFO ] Invariant cache hit.
[2023-03-08 08:09:26] [INFO ] Dead Transitions using invariants and state equation in 2433 ms found 0 transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 3970 ms. Remains : 1311/1311 places, 2300/2300 transitions.
[2023-03-08 08:09:26] [INFO ] Flatten gal took : 71 ms
[2023-03-08 08:09:26] [INFO ] Flatten gal took : 85 ms
[2023-03-08 08:09:26] [INFO ] Input system was already deterministic with 2300 transitions.
[2023-03-08 08:09:26] [INFO ] Flatten gal took : 79 ms
[2023-03-08 08:09:27] [INFO ] Flatten gal took : 83 ms
[2023-03-08 08:09:27] [INFO ] Time to serialize gal into /tmp/CTLFireability5478987392712658896.gal : 12 ms
[2023-03-08 08:09:27] [INFO ] Time to serialize properties into /tmp/CTLFireability15162578920732334502.ctl : 3 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability5478987392712658896.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability15162578920732334502.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2023-03-08 08:09:57] [INFO ] Flatten gal took : 125 ms
[2023-03-08 08:09:57] [INFO ] Applying decomposition
[2023-03-08 08:09:57] [INFO ] Flatten gal took : 136 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph6765303810011312881.txt' '-o' '/tmp/graph6765303810011312881.bin' '-w' '/tmp/graph6765303810011312881.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph6765303810011312881.bin' '-l' '-1' '-v' '-w' '/tmp/graph6765303810011312881.weights' '-q' '0' '-e' '0.001'
[2023-03-08 08:09:57] [INFO ] Decomposing Gal with order
[2023-03-08 08:09:57] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-08 08:09:58] [INFO ] Removed a total of 1600 redundant transitions.
[2023-03-08 08:09:58] [INFO ] Flatten gal took : 544 ms
[2023-03-08 08:09:58] [INFO ] Fuse similar labels procedure discarded/fused a total of 200 labels/synchronizations in 19 ms.
[2023-03-08 08:09:58] [INFO ] Time to serialize gal into /tmp/CTLFireability5769836158599580791.gal : 17 ms
[2023-03-08 08:09:58] [INFO ] Time to serialize properties into /tmp/CTLFireability16454601782687851503.ctl : 3 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability5769836158599580791.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability16454601782687851503.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 1311/1311 places, 2300/2300 transitions.
Applied a total of 0 rules in 11 ms. Remains 1311 /1311 variables (removed 0) and now considering 2300/2300 (removed 0) transitions.
[2023-03-08 08:10:28] [INFO ] Invariant cache hit.
[2023-03-08 08:10:28] [INFO ] Implicit Places using invariants in 518 ms returned []
[2023-03-08 08:10:28] [INFO ] Invariant cache hit.
[2023-03-08 08:10:30] [INFO ] State equation strengthened by 100 read => feed constraints.
[2023-03-08 08:10:30] [INFO ] Implicit Places using invariants and state equation in 1383 ms returned []
Implicit Place search using SMT with State Equation took 1933 ms to find 0 implicit places.
[2023-03-08 08:10:30] [INFO ] Invariant cache hit.
[2023-03-08 08:10:32] [INFO ] Dead Transitions using invariants and state equation in 1932 ms found 0 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 3888 ms. Remains : 1311/1311 places, 2300/2300 transitions.
[2023-03-08 08:10:32] [INFO ] Flatten gal took : 81 ms
[2023-03-08 08:10:32] [INFO ] Flatten gal took : 106 ms
[2023-03-08 08:10:32] [INFO ] Input system was already deterministic with 2300 transitions.
[2023-03-08 08:10:32] [INFO ] Flatten gal took : 112 ms
[2023-03-08 08:10:33] [INFO ] Flatten gal took : 116 ms
[2023-03-08 08:10:33] [INFO ] Time to serialize gal into /tmp/CTLFireability3812931948398604164.gal : 12 ms
[2023-03-08 08:10:33] [INFO ] Time to serialize properties into /tmp/CTLFireability6429110700170304955.ctl : 10 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability3812931948398604164.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability6429110700170304955.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2023-03-08 08:11:03] [INFO ] Flatten gal took : 95 ms
[2023-03-08 08:11:03] [INFO ] Applying decomposition
[2023-03-08 08:11:03] [INFO ] Flatten gal took : 100 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph7613649971864672672.txt' '-o' '/tmp/graph7613649971864672672.bin' '-w' '/tmp/graph7613649971864672672.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph7613649971864672672.bin' '-l' '-1' '-v' '-w' '/tmp/graph7613649971864672672.weights' '-q' '0' '-e' '0.001'
[2023-03-08 08:11:03] [INFO ] Decomposing Gal with order
[2023-03-08 08:11:03] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-08 08:11:04] [INFO ] Removed a total of 1500 redundant transitions.
[2023-03-08 08:11:04] [INFO ] Flatten gal took : 616 ms
[2023-03-08 08:11:04] [INFO ] Fuse similar labels procedure discarded/fused a total of 300 labels/synchronizations in 24 ms.
[2023-03-08 08:11:04] [INFO ] Time to serialize gal into /tmp/CTLFireability8919977621615101748.gal : 22 ms
[2023-03-08 08:11:04] [INFO ] Time to serialize properties into /tmp/CTLFireability6736909220551779019.ctl : 9 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability8919977621615101748.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability6736909220551779019.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...262
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 1311/1311 places, 2300/2300 transitions.
Applied a total of 0 rules in 68 ms. Remains 1311 /1311 variables (removed 0) and now considering 2300/2300 (removed 0) transitions.
[2023-03-08 08:11:34] [INFO ] Invariant cache hit.
[2023-03-08 08:11:35] [INFO ] Implicit Places using invariants in 1136 ms returned []
[2023-03-08 08:11:35] [INFO ] Invariant cache hit.
[2023-03-08 08:11:37] [INFO ] State equation strengthened by 100 read => feed constraints.
[2023-03-08 08:11:40] [INFO ] Implicit Places using invariants and state equation in 4643 ms returned []
Implicit Place search using SMT with State Equation took 5822 ms to find 0 implicit places.
[2023-03-08 08:11:40] [INFO ] Invariant cache hit.
[2023-03-08 08:11:42] [INFO ] Dead Transitions using invariants and state equation in 2298 ms found 0 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 8191 ms. Remains : 1311/1311 places, 2300/2300 transitions.
[2023-03-08 08:11:42] [INFO ] Flatten gal took : 63 ms
[2023-03-08 08:11:42] [INFO ] Flatten gal took : 78 ms
[2023-03-08 08:11:42] [INFO ] Input system was already deterministic with 2300 transitions.
[2023-03-08 08:11:43] [INFO ] Flatten gal took : 114 ms
[2023-03-08 08:11:43] [INFO ] Flatten gal took : 116 ms
[2023-03-08 08:11:43] [INFO ] Time to serialize gal into /tmp/CTLFireability12648758245654278111.gal : 12 ms
[2023-03-08 08:11:43] [INFO ] Time to serialize properties into /tmp/CTLFireability8344082242711219249.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability12648758245654278111.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability8344082242711219249.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2023-03-08 08:12:13] [INFO ] Flatten gal took : 71 ms
[2023-03-08 08:12:13] [INFO ] Applying decomposition
[2023-03-08 08:12:13] [INFO ] Flatten gal took : 78 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph579108562717733211.txt' '-o' '/tmp/graph579108562717733211.bin' '-w' '/tmp/graph579108562717733211.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph579108562717733211.bin' '-l' '-1' '-v' '-w' '/tmp/graph579108562717733211.weights' '-q' '0' '-e' '0.001'
[2023-03-08 08:12:13] [INFO ] Decomposing Gal with order
[2023-03-08 08:12:13] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-08 08:12:14] [INFO ] Removed a total of 1500 redundant transitions.
[2023-03-08 08:12:14] [INFO ] Flatten gal took : 686 ms
[2023-03-08 08:12:14] [INFO ] Fuse similar labels procedure discarded/fused a total of 300 labels/synchronizations in 38 ms.
[2023-03-08 08:12:14] [INFO ] Time to serialize gal into /tmp/CTLFireability15927443212189593672.gal : 24 ms
[2023-03-08 08:12:14] [INFO ] Time to serialize properties into /tmp/CTLFireability530163116759672705.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability15927443212189593672.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability530163116759672705.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...262
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 1311/1311 places, 2300/2300 transitions.
Applied a total of 0 rules in 111 ms. Remains 1311 /1311 variables (removed 0) and now considering 2300/2300 (removed 0) transitions.
[2023-03-08 08:12:44] [INFO ] Invariant cache hit.
[2023-03-08 08:12:46] [INFO ] Implicit Places using invariants in 1758 ms returned []
[2023-03-08 08:12:46] [INFO ] Invariant cache hit.
[2023-03-08 08:12:47] [INFO ] State equation strengthened by 100 read => feed constraints.
[2023-03-08 08:12:49] [INFO ] Implicit Places using invariants and state equation in 3063 ms returned []
Implicit Place search using SMT with State Equation took 4826 ms to find 0 implicit places.
[2023-03-08 08:12:49] [INFO ] Invariant cache hit.
[2023-03-08 08:12:51] [INFO ] Dead Transitions using invariants and state equation in 2157 ms found 0 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 7111 ms. Remains : 1311/1311 places, 2300/2300 transitions.
[2023-03-08 08:12:51] [INFO ] Flatten gal took : 61 ms
[2023-03-08 08:12:51] [INFO ] Flatten gal took : 67 ms
[2023-03-08 08:12:51] [INFO ] Input system was already deterministic with 2300 transitions.
[2023-03-08 08:12:51] [INFO ] Flatten gal took : 66 ms
[2023-03-08 08:12:52] [INFO ] Flatten gal took : 85 ms
[2023-03-08 08:12:52] [INFO ] Time to serialize gal into /tmp/CTLFireability11707257127714849835.gal : 17 ms
[2023-03-08 08:12:52] [INFO ] Time to serialize properties into /tmp/CTLFireability7212976188936605452.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability11707257127714849835.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability7212976188936605452.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2023-03-08 08:13:22] [INFO ] Flatten gal took : 72 ms
[2023-03-08 08:13:22] [INFO ] Applying decomposition
[2023-03-08 08:13:22] [INFO ] Flatten gal took : 76 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph2835581654954206060.txt' '-o' '/tmp/graph2835581654954206060.bin' '-w' '/tmp/graph2835581654954206060.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph2835581654954206060.bin' '-l' '-1' '-v' '-w' '/tmp/graph2835581654954206060.weights' '-q' '0' '-e' '0.001'
[2023-03-08 08:13:22] [INFO ] Decomposing Gal with order
[2023-03-08 08:13:22] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-08 08:13:23] [INFO ] Removed a total of 1700 redundant transitions.
[2023-03-08 08:13:23] [INFO ] Flatten gal took : 799 ms
[2023-03-08 08:13:23] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 6 ms.
[2023-03-08 08:13:23] [INFO ] Time to serialize gal into /tmp/CTLFireability15002190721152096730.gal : 24 ms
[2023-03-08 08:13:23] [INFO ] Time to serialize properties into /tmp/CTLFireability6258440326191344292.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability15002190721152096730.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability6258440326191344292.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 1311/1311 places, 2300/2300 transitions.
Applied a total of 0 rules in 108 ms. Remains 1311 /1311 variables (removed 0) and now considering 2300/2300 (removed 0) transitions.
[2023-03-08 08:13:53] [INFO ] Invariant cache hit.
[2023-03-08 08:13:55] [INFO ] Implicit Places using invariants in 1885 ms returned []
[2023-03-08 08:13:55] [INFO ] Invariant cache hit.
[2023-03-08 08:13:56] [INFO ] State equation strengthened by 100 read => feed constraints.
[2023-03-08 08:14:01] [INFO ] Implicit Places using invariants and state equation in 5680 ms returned []
Implicit Place search using SMT with State Equation took 7572 ms to find 0 implicit places.
[2023-03-08 08:14:01] [INFO ] Invariant cache hit.
[2023-03-08 08:14:03] [INFO ] Dead Transitions using invariants and state equation in 2451 ms found 0 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 10136 ms. Remains : 1311/1311 places, 2300/2300 transitions.
[2023-03-08 08:14:03] [INFO ] Flatten gal took : 62 ms
[2023-03-08 08:14:03] [INFO ] Flatten gal took : 67 ms
[2023-03-08 08:14:03] [INFO ] Input system was already deterministic with 2300 transitions.
[2023-03-08 08:14:03] [INFO ] Flatten gal took : 80 ms
[2023-03-08 08:14:04] [INFO ] Flatten gal took : 72 ms
[2023-03-08 08:14:04] [INFO ] Time to serialize gal into /tmp/CTLFireability17787153487417967667.gal : 17 ms
[2023-03-08 08:14:04] [INFO ] Time to serialize properties into /tmp/CTLFireability7854991990514337391.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability17787153487417967667.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability7854991990514337391.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2023-03-08 08:14:34] [INFO ] Flatten gal took : 72 ms
[2023-03-08 08:14:34] [INFO ] Applying decomposition
[2023-03-08 08:14:34] [INFO ] Flatten gal took : 71 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph8872117333045628640.txt' '-o' '/tmp/graph8872117333045628640.bin' '-w' '/tmp/graph8872117333045628640.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph8872117333045628640.bin' '-l' '-1' '-v' '-w' '/tmp/graph8872117333045628640.weights' '-q' '0' '-e' '0.001'
[2023-03-08 08:14:34] [INFO ] Decomposing Gal with order
[2023-03-08 08:14:34] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-08 08:14:35] [INFO ] Removed a total of 1506 redundant transitions.
[2023-03-08 08:14:35] [INFO ] Flatten gal took : 800 ms
[2023-03-08 08:14:35] [INFO ] Fuse similar labels procedure discarded/fused a total of 297 labels/synchronizations in 29 ms.
[2023-03-08 08:14:35] [INFO ] Time to serialize gal into /tmp/CTLFireability10171349904315904306.gal : 14 ms
[2023-03-08 08:14:35] [INFO ] Time to serialize properties into /tmp/CTLFireability11954776985152243021.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability10171349904315904306.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability11954776985152243021.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...264
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 1311/1311 places, 2300/2300 transitions.
Applied a total of 0 rules in 63 ms. Remains 1311 /1311 variables (removed 0) and now considering 2300/2300 (removed 0) transitions.
[2023-03-08 08:15:05] [INFO ] Invariant cache hit.
[2023-03-08 08:15:07] [INFO ] Implicit Places using invariants in 1613 ms returned []
[2023-03-08 08:15:07] [INFO ] Invariant cache hit.
[2023-03-08 08:15:08] [INFO ] State equation strengthened by 100 read => feed constraints.
[2023-03-08 08:15:11] [INFO ] Implicit Places using invariants and state equation in 4785 ms returned []
Implicit Place search using SMT with State Equation took 6424 ms to find 0 implicit places.
[2023-03-08 08:15:11] [INFO ] Invariant cache hit.
[2023-03-08 08:15:13] [INFO ] Dead Transitions using invariants and state equation in 1873 ms found 0 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 8372 ms. Remains : 1311/1311 places, 2300/2300 transitions.
[2023-03-08 08:15:13] [INFO ] Flatten gal took : 60 ms
[2023-03-08 08:15:13] [INFO ] Flatten gal took : 67 ms
[2023-03-08 08:15:14] [INFO ] Input system was already deterministic with 2300 transitions.
[2023-03-08 08:15:14] [INFO ] Flatten gal took : 111 ms
[2023-03-08 08:15:14] [INFO ] Flatten gal took : 113 ms
[2023-03-08 08:15:14] [INFO ] Time to serialize gal into /tmp/CTLFireability3048418022509486892.gal : 17 ms
[2023-03-08 08:15:14] [INFO ] Time to serialize properties into /tmp/CTLFireability1193698262003734371.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability3048418022509486892.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability1193698262003734371.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2023-03-08 08:15:44] [INFO ] Flatten gal took : 67 ms
[2023-03-08 08:15:44] [INFO ] Applying decomposition
[2023-03-08 08:15:44] [INFO ] Flatten gal took : 68 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph18366429294818938035.txt' '-o' '/tmp/graph18366429294818938035.bin' '-w' '/tmp/graph18366429294818938035.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph18366429294818938035.bin' '-l' '-1' '-v' '-w' '/tmp/graph18366429294818938035.weights' '-q' '0' '-e' '0.001'
[2023-03-08 08:15:44] [INFO ] Decomposing Gal with order
[2023-03-08 08:15:44] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-08 08:15:45] [INFO ] Removed a total of 1700 redundant transitions.
[2023-03-08 08:15:45] [INFO ] Flatten gal took : 630 ms
[2023-03-08 08:15:45] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 8 ms.
[2023-03-08 08:15:45] [INFO ] Time to serialize gal into /tmp/CTLFireability11891379768336850155.gal : 22 ms
[2023-03-08 08:15:45] [INFO ] Time to serialize properties into /tmp/CTLFireability3363649596087051064.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability11891379768336850155.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3363649596087051064.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
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 : 1311/1311 places, 2300/2300 transitions.
Performed 99 Post agglomeration using F-continuation condition.Transition count delta: 99
Deduced a syphon composed of 99 places in 1 ms
Reduce places removed 198 places and 0 transitions.
Iterating global reduction 0 with 297 rules applied. Total rules applied 297 place count 1113 transition count 2201
Discarding 980 places :
Symmetric choice reduction at 0 with 980 rule applications. Total rules 1277 place count 133 transition count 1221
Iterating global reduction 0 with 980 rules applied. Total rules applied 2257 place count 133 transition count 1221
Discarding 87 places :
Symmetric choice reduction at 0 with 87 rule applications. Total rules 2344 place count 46 transition count 264
Iterating global reduction 0 with 87 rules applied. Total rules applied 2431 place count 46 transition count 264
Ensure Unique test removed 87 transitions
Reduce isomorphic transitions removed 87 transitions.
Iterating post reduction 0 with 87 rules applied. Total rules applied 2518 place count 46 transition count 177
Performed 8 Post agglomeration using F-continuation condition.Transition count delta: 8
Deduced a syphon composed of 8 places in 1 ms
Reduce places removed 8 places and 0 transitions.
Iterating global reduction 1 with 16 rules applied. Total rules applied 2534 place count 38 transition count 169
Applied a total of 2534 rules in 453 ms. Remains 38 /1311 variables (removed 1273) and now considering 169/2300 (removed 2131) transitions.
[2023-03-08 08:16:16] [INFO ] Flow matrix only has 85 transitions (discarded 84 similar events)
// Phase 1: matrix 85 rows 38 cols
[2023-03-08 08:16:16] [INFO ] Computed 11 place invariants in 2 ms
[2023-03-08 08:16:16] [INFO ] Implicit Places using invariants in 46 ms returned []
[2023-03-08 08:16:16] [INFO ] Flow matrix only has 85 transitions (discarded 84 similar events)
[2023-03-08 08:16:16] [INFO ] Invariant cache hit.
[2023-03-08 08:16:16] [INFO ] State equation strengthened by 1 read => feed constraints.
[2023-03-08 08:16:16] [INFO ] Implicit Places using invariants and state equation in 92 ms returned []
Implicit Place search using SMT with State Equation took 140 ms to find 0 implicit places.
[2023-03-08 08:16:16] [INFO ] Redundant transitions in 6 ms returned []
[2023-03-08 08:16:16] [INFO ] Flow matrix only has 85 transitions (discarded 84 similar events)
[2023-03-08 08:16:16] [INFO ] Invariant cache hit.
[2023-03-08 08:16:16] [INFO ] Dead Transitions using invariants and state equation in 132 ms found 0 transitions.
Starting structural reductions in SI_CTL mode, iteration 1 : 38/1311 places, 169/2300 transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 744 ms. Remains : 38/1311 places, 169/2300 transitions.
[2023-03-08 08:16:16] [INFO ] Flatten gal took : 4 ms
[2023-03-08 08:16:16] [INFO ] Flatten gal took : 5 ms
[2023-03-08 08:16:16] [INFO ] Input system was already deterministic with 169 transitions.
[2023-03-08 08:16:16] [INFO ] Flatten gal took : 5 ms
[2023-03-08 08:16:16] [INFO ] Flatten gal took : 5 ms
[2023-03-08 08:16:16] [INFO ] Time to serialize gal into /tmp/CTLFireability2791256186963473950.gal : 2 ms
[2023-03-08 08:16:16] [INFO ] Time to serialize properties into /tmp/CTLFireability9746493420621413348.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability2791256186963473950.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability9746493420621413348.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,9.03747e+09,6.98869,125412,2,48064,5,531965,6,0,311,622189,0
Converting to forward existential form...Done !
original formula: A(((RequestBuffer_27>=1)&&(Server_Waiting_3>=1)) U (!(EG(EF((RequestBuffer_6>=1)))) + (((!((Server_Anwering_4_5>=1)&&(Client_Sending_4>=1...232
=> equivalent forward existential formula: [((Init * !(EG(!((!(EG(E(TRUE U (RequestBuffer_6>=1)))) + (((!((Server_Anwering_4_5>=1)&&(Client_Sending_4>=1)))...651
Reverse transition relation is NOT exact ! Due to transitions t2, t6, t8, t12, t19, t20, t23, t30, t33, t45, t55, t58, t60, t67, t71, t72, Intersection wi...239
Using saturation style SCC detection
Fast SCC detection found a local SCC at level 0
Detected timeout of ITS tools.
[2023-03-08 08:16:46] [INFO ] Flatten gal took : 4 ms
[2023-03-08 08:16:46] [INFO ] Applying decomposition
[2023-03-08 08:16:46] [INFO ] Flatten gal took : 3 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph16320596453953116778.txt' '-o' '/tmp/graph16320596453953116778.bin' '-w' '/tmp/graph16320596453953116778.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph16320596453953116778.bin' '-l' '-1' '-v' '-w' '/tmp/graph16320596453953116778.weights' '-q' '0' '-e' '0.001'
[2023-03-08 08:16:46] [INFO ] Decomposing Gal with order
[2023-03-08 08:16:46] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-08 08:16:46] [INFO ] Removed a total of 45 redundant transitions.
[2023-03-08 08:16:46] [INFO ] Flatten gal took : 8 ms
[2023-03-08 08:16:46] [INFO ] Fuse similar labels procedure discarded/fused a total of 12 labels/synchronizations in 1 ms.
[2023-03-08 08:16:46] [INFO ] Time to serialize gal into /tmp/CTLFireability17317315325887804108.gal : 2 ms
[2023-03-08 08:16:46] [INFO ] Time to serialize properties into /tmp/CTLFireability12586505110998102192.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability17317315325887804108.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability12586505110998102192.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...264
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 1311/1311 places, 2300/2300 transitions.
Applied a total of 0 rules in 258 ms. Remains 1311 /1311 variables (removed 0) and now considering 2300/2300 (removed 0) transitions.
// Phase 1: matrix 2300 rows 1311 cols
[2023-03-08 08:17:16] [INFO ] Computed 110 place invariants in 48 ms
[2023-03-08 08:17:18] [INFO ] Implicit Places using invariants in 1926 ms returned []
[2023-03-08 08:17:18] [INFO ] Invariant cache hit.
[2023-03-08 08:17:19] [INFO ] State equation strengthened by 100 read => feed constraints.
[2023-03-08 08:17:22] [INFO ] Implicit Places using invariants and state equation in 3283 ms returned []
Implicit Place search using SMT with State Equation took 5220 ms to find 0 implicit places.
[2023-03-08 08:17:22] [INFO ] Invariant cache hit.
[2023-03-08 08:17:24] [INFO ] Dead Transitions using invariants and state equation in 2255 ms found 0 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 7747 ms. Remains : 1311/1311 places, 2300/2300 transitions.
[2023-03-08 08:17:24] [INFO ] Flatten gal took : 106 ms
[2023-03-08 08:17:24] [INFO ] Flatten gal took : 119 ms
[2023-03-08 08:17:24] [INFO ] Input system was already deterministic with 2300 transitions.
[2023-03-08 08:17:24] [INFO ] Flatten gal took : 119 ms
[2023-03-08 08:17:24] [INFO ] Flatten gal took : 120 ms
[2023-03-08 08:17:25] [INFO ] Time to serialize gal into /tmp/CTLFireability14962056900407571599.gal : 13 ms
[2023-03-08 08:17:25] [INFO ] Time to serialize properties into /tmp/CTLFireability9109697028979030901.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability14962056900407571599.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability9109697028979030901.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2023-03-08 08:17:55] [INFO ] Flatten gal took : 121 ms
[2023-03-08 08:17:55] [INFO ] Applying decomposition
[2023-03-08 08:17:55] [INFO ] Flatten gal took : 126 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph7972638480329911721.txt' '-o' '/tmp/graph7972638480329911721.bin' '-w' '/tmp/graph7972638480329911721.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph7972638480329911721.bin' '-l' '-1' '-v' '-w' '/tmp/graph7972638480329911721.weights' '-q' '0' '-e' '0.001'
[2023-03-08 08:17:55] [INFO ] Decomposing Gal with order
[2023-03-08 08:17:55] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-08 08:17:56] [INFO ] Removed a total of 1500 redundant transitions.
[2023-03-08 08:17:56] [INFO ] Flatten gal took : 678 ms
[2023-03-08 08:17:56] [INFO ] Fuse similar labels procedure discarded/fused a total of 300 labels/synchronizations in 23 ms.
[2023-03-08 08:17:56] [INFO ] Time to serialize gal into /tmp/CTLFireability257618027145040142.gal : 17 ms
[2023-03-08 08:17:56] [INFO ] Time to serialize properties into /tmp/CTLFireability2561871125195616889.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability257618027145040142.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability2561871125195616889.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...261
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 1311/1311 places, 2300/2300 transitions.
Applied a total of 0 rules in 61 ms. Remains 1311 /1311 variables (removed 0) and now considering 2300/2300 (removed 0) transitions.
[2023-03-08 08:18:26] [INFO ] Invariant cache hit.
[2023-03-08 08:18:27] [INFO ] Implicit Places using invariants in 1386 ms returned []
[2023-03-08 08:18:27] [INFO ] Invariant cache hit.
[2023-03-08 08:18:29] [INFO ] State equation strengthened by 100 read => feed constraints.
[2023-03-08 08:18:33] [INFO ] Implicit Places using invariants and state equation in 5794 ms returned []
Implicit Place search using SMT with State Equation took 7184 ms to find 0 implicit places.
[2023-03-08 08:18:33] [INFO ] Invariant cache hit.
[2023-03-08 08:18:36] [INFO ] Dead Transitions using invariants and state equation in 2937 ms found 0 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 10186 ms. Remains : 1311/1311 places, 2300/2300 transitions.
[2023-03-08 08:18:36] [INFO ] Flatten gal took : 101 ms
[2023-03-08 08:18:36] [INFO ] Flatten gal took : 113 ms
[2023-03-08 08:18:37] [INFO ] Input system was already deterministic with 2300 transitions.
[2023-03-08 08:18:37] [INFO ] Flatten gal took : 127 ms
[2023-03-08 08:18:37] [INFO ] Flatten gal took : 130 ms
[2023-03-08 08:18:37] [INFO ] Time to serialize gal into /tmp/CTLFireability4158147515065451359.gal : 20 ms
[2023-03-08 08:18:37] [INFO ] Time to serialize properties into /tmp/CTLFireability6583531348245504631.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability4158147515065451359.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability6583531348245504631.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2023-03-08 08:19:07] [INFO ] Flatten gal took : 66 ms
[2023-03-08 08:19:07] [INFO ] Applying decomposition
[2023-03-08 08:19:07] [INFO ] Flatten gal took : 65 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph10784707676063650327.txt' '-o' '/tmp/graph10784707676063650327.bin' '-w' '/tmp/graph10784707676063650327.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph10784707676063650327.bin' '-l' '-1' '-v' '-w' '/tmp/graph10784707676063650327.weights' '-q' '0' '-e' '0.001'
[2023-03-08 08:19:07] [INFO ] Decomposing Gal with order
[2023-03-08 08:19:07] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-08 08:19:08] [INFO ] Removed a total of 1800 redundant transitions.
[2023-03-08 08:19:08] [INFO ] Flatten gal took : 494 ms
[2023-03-08 08:19:08] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 3 ms.
[2023-03-08 08:19:08] [INFO ] Time to serialize gal into /tmp/CTLFireability7198786436178555159.gal : 18 ms
[2023-03-08 08:19:08] [INFO ] Time to serialize properties into /tmp/CTLFireability14577016422869530031.ctl : 7 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability7198786436178555159.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability14577016422869530031.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 1311/1311 places, 2300/2300 transitions.
Applied a total of 0 rules in 86 ms. Remains 1311 /1311 variables (removed 0) and now considering 2300/2300 (removed 0) transitions.
[2023-03-08 08:19:38] [INFO ] Invariant cache hit.
[2023-03-08 08:19:40] [INFO ] Implicit Places using invariants in 1970 ms returned []
[2023-03-08 08:19:40] [INFO ] Invariant cache hit.
[2023-03-08 08:19:41] [INFO ] State equation strengthened by 100 read => feed constraints.
[2023-03-08 08:19:46] [INFO ] Implicit Places using invariants and state equation in 5802 ms returned []
Implicit Place search using SMT with State Equation took 7791 ms to find 0 implicit places.
[2023-03-08 08:19:46] [INFO ] Invariant cache hit.
[2023-03-08 08:19:48] [INFO ] Dead Transitions using invariants and state equation in 2245 ms found 0 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 10129 ms. Remains : 1311/1311 places, 2300/2300 transitions.
[2023-03-08 08:19:48] [INFO ] Flatten gal took : 104 ms
[2023-03-08 08:19:48] [INFO ] Flatten gal took : 116 ms
[2023-03-08 08:19:48] [INFO ] Input system was already deterministic with 2300 transitions.
[2023-03-08 08:19:49] [INFO ] Flatten gal took : 115 ms
[2023-03-08 08:19:49] [INFO ] Flatten gal took : 101 ms
[2023-03-08 08:19:49] [INFO ] Time to serialize gal into /tmp/CTLFireability8919434885495216223.gal : 16 ms
[2023-03-08 08:19:49] [INFO ] Time to serialize properties into /tmp/CTLFireability17873341572995575867.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability8919434885495216223.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability17873341572995575867.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2023-03-08 08:20:19] [INFO ] Flatten gal took : 65 ms
[2023-03-08 08:20:19] [INFO ] Applying decomposition
[2023-03-08 08:20:19] [INFO ] Flatten gal took : 66 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph10134669902795358676.txt' '-o' '/tmp/graph10134669902795358676.bin' '-w' '/tmp/graph10134669902795358676.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph10134669902795358676.bin' '-l' '-1' '-v' '-w' '/tmp/graph10134669902795358676.weights' '-q' '0' '-e' '0.001'
[2023-03-08 08:20:19] [INFO ] Decomposing Gal with order
[2023-03-08 08:20:19] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-08 08:20:20] [INFO ] Removed a total of 1600 redundant transitions.
[2023-03-08 08:20:20] [INFO ] Flatten gal took : 501 ms
[2023-03-08 08:20:20] [INFO ] Fuse similar labels procedure discarded/fused a total of 200 labels/synchronizations in 16 ms.
[2023-03-08 08:20:20] [INFO ] Time to serialize gal into /tmp/CTLFireability7598882978260644875.gal : 12 ms
[2023-03-08 08:20:20] [INFO ] Time to serialize properties into /tmp/CTLFireability12469018597155436000.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability7598882978260644875.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability12469018597155436000.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2023-03-08 08:20:50] [INFO ] Flatten gal took : 452 ms
[2023-03-08 08:20:53] [INFO ] Flatten gal took : 323 ms
[2023-03-08 08:20:54] [INFO ] Applying decomposition
[2023-03-08 08:20:55] [INFO ] Flatten gal took : 269 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph16182246111622025064.txt' '-o' '/tmp/graph16182246111622025064.bin' '-w' '/tmp/graph16182246111622025064.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph16182246111622025064.bin' '-l' '-1' '-v' '-w' '/tmp/graph16182246111622025064.weights' '-q' '0' '-e' '0.001'
[2023-03-08 08:20:55] [INFO ] Decomposing Gal with order
[2023-03-08 08:20:55] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-08 08:20:56] [INFO ] Removed a total of 1700 redundant transitions.
[2023-03-08 08:20:56] [INFO ] Flatten gal took : 1040 ms
[2023-03-08 08:20:56] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 4 ms.
[2023-03-08 08:20:57] [INFO ] Time to serialize gal into /tmp/CTLFireability18277737641070894977.gal : 17 ms
[2023-03-08 08:20:57] [INFO ] Time to serialize properties into /tmp/CTLFireability6421730436116227548.ctl : 83 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability18277737641070894977.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability6421730436116227548.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 16 CTL formulae.
Detected timeout of ITS tools.
[2023-03-08 08:47:28] [INFO ] Flatten gal took : 4107 ms
[2023-03-08 08:47:29] [INFO ] Time to serialize gal into /tmp/CTLFireability6310741211127135751.gal : 84 ms
[2023-03-08 08:47:30] [INFO ] Time to serialize properties into /tmp/CTLFireability2309055083038590233.ctl : 496 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability6310741211127135751.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability2309055083038590233.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 16 CTL formulae.
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393232 kB
MemFree: 898556 kB
After kill :
MemTotal: 16393232 kB
MemFree: 16021380 kB
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ CTLFireability = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution CTLFireability -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/its-tools -pnfolder /home/mcc/execution -examination CTLFireability -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="CSRepetitions-PT-10"
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-5348"
echo " Executing tool itstools"
echo " Input is CSRepetitions-PT-10, 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 r069-smll-167814395900090"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/CSRepetitions-PT-10.tgz
mv CSRepetitions-PT-10 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 ;