About the Execution of ITS-Tools for LeafsetExtension-PT-S64C3
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16248.628 | 3600000.00 | 3444016.00 | 159427.40 | [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/mcc2021-input.r292-tall-162124156600553.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2021-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itstools
Input is LeafsetExtension-PT-S64C3, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r292-tall-162124156600553
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 33M
-rw-r--r-- 1 mcc users 36K May 15 08:57 CTLCardinality.txt
-rw-r--r-- 1 mcc users 134K May 15 08:57 CTLCardinality.xml
-rw-r--r-- 1 mcc users 33K May 15 08:57 CTLFireability.txt
-rw-r--r-- 1 mcc users 110K May 15 08:57 CTLFireability.xml
-rw-r--r-- 1 mcc users 5.8K May 12 07:58 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K May 12 07:58 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.2K May 12 07:58 LTLFireability.txt
-rw-r--r-- 1 mcc users 20K May 12 07:58 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 08:13 NewModel
-rw-r--r-- 1 mcc users 4.2K May 11 18:44 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K May 11 18:44 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 4.3K May 11 15:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K May 11 15:50 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K May 12 04:40 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K May 12 04:40 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 08:13 equiv_col
-rw-r--r-- 1 mcc users 6 May 12 08:13 instance
-rw-r--r-- 1 mcc users 6 May 12 08:13 iscolored
-rw-r--r-- 1 mcc users 33M May 12 08:13 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 LeafsetExtension-PT-S64C3-CTLCardinality-00
FORMULA_NAME LeafsetExtension-PT-S64C3-CTLCardinality-01
FORMULA_NAME LeafsetExtension-PT-S64C3-CTLCardinality-02
FORMULA_NAME LeafsetExtension-PT-S64C3-CTLCardinality-03
FORMULA_NAME LeafsetExtension-PT-S64C3-CTLCardinality-04
FORMULA_NAME LeafsetExtension-PT-S64C3-CTLCardinality-05
FORMULA_NAME LeafsetExtension-PT-S64C3-CTLCardinality-06
FORMULA_NAME LeafsetExtension-PT-S64C3-CTLCardinality-07
FORMULA_NAME LeafsetExtension-PT-S64C3-CTLCardinality-08
FORMULA_NAME LeafsetExtension-PT-S64C3-CTLCardinality-09
FORMULA_NAME LeafsetExtension-PT-S64C3-CTLCardinality-10
FORMULA_NAME LeafsetExtension-PT-S64C3-CTLCardinality-11
FORMULA_NAME LeafsetExtension-PT-S64C3-CTLCardinality-12
FORMULA_NAME LeafsetExtension-PT-S64C3-CTLCardinality-13
FORMULA_NAME LeafsetExtension-PT-S64C3-CTLCardinality-14
FORMULA_NAME LeafsetExtension-PT-S64C3-CTLCardinality-15
=== Now, execution of the tool begins
BK_START 1621314723234
Running Version 0
[2021-05-18 05:12:04] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLCardinality, -spotpath, /home/mcc/BenchKit/bin//..//ltlfilt, -z3path, /home/mcc/BenchKit/bin//..//z3/bin/z3, -yices2path, /home/mcc/BenchKit/bin//..//yices/bin/yices, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2021-05-18 05:12:04] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-18 05:12:05] [INFO ] Load time of PNML (sax parser for PT used): 732 ms
[2021-05-18 05:12:05] [INFO ] Transformed 21462 places.
[2021-05-18 05:12:05] [INFO ] Transformed 21129 transitions.
[2021-05-18 05:12:05] [INFO ] Parsed PT model containing 21462 places and 21129 transitions in 898 ms.
Parsed 16 properties from file /home/mcc/execution/CTLCardinality.xml in 98 ms.
Support contains 768 out of 21462 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 21462/21462 places, 21129/21129 transitions.
Reduce places removed 4083 places and 0 transitions.
Iterating post reduction 0 with 4083 rules applied. Total rules applied 4083 place count 17379 transition count 21129
Applied a total of 4083 rules in 413 ms. Remains 17379 /21462 variables (removed 4083) and now considering 21129/21129 (removed 0) transitions.
// Phase 1: matrix 21129 rows 17379 cols
[2021-05-18 05:12:09] [INFO ] Computed 201 place invariants in 2951 ms
[2021-05-18 05:12:11] [INFO ] Implicit Places using invariants in 5035 ms returned []
Implicit Place search using SMT only with invariants took 5061 ms to find 0 implicit places.
// Phase 1: matrix 21129 rows 17379 cols
[2021-05-18 05:12:14] [INFO ] Computed 201 place invariants in 2714 ms
[2021-05-18 05:12:16] [INFO ] Dead Transitions using invariants and state equation in 4408 ms returned []
Finished structural reductions, in 1 iterations. Remains : 17379/21462 places, 21129/21129 transitions.
[2021-05-18 05:12:17] [INFO ] Flatten gal took : 899 ms
[2021-05-18 05:12:18] [INFO ] Flatten gal took : 718 ms
[2021-05-18 05:12:19] [INFO ] Input system was already deterministic with 21129 transitions.
Incomplete random walk after 100000 steps, including 3863 resets, run finished after 4484 ms. (steps per millisecond=22 ) properties (out of 82) seen :30
Running SMT prover for 52 properties.
// Phase 1: matrix 21129 rows 17379 cols
[2021-05-18 05:12:26] [INFO ] Computed 201 place invariants in 2686 ms
[2021-05-18 05:12:41] [INFO ] [Real]Absence check using 3 positive place invariants in 12 ms returned sat
[2021-05-18 05:12:41] [INFO ] [Real]Absence check using 3 positive and 198 generalized place invariants in 394 ms returned sat
[2021-05-18 05:12:43] [INFO ] SMT Verify possible in real domain returnedunsat :0 sat :0 real:52
[2021-05-18 05:12:57] [INFO ] [Nat]Absence check using 3 positive place invariants in 6 ms returned sat
[2021-05-18 05:12:57] [INFO ] [Nat]Absence check using 3 positive and 198 generalized place invariants in 354 ms returned sat
[2021-05-18 05:13:09] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-18 05:14:23] [INFO ] [Nat]Absence check using state equation in 74017 ms returned unsat :2 sat :49
Attempting to minimize the solution found.
Minimization took 6 ms.
[2021-05-18 05:14:23] [INFO ] SMT Verify possible in nat domain returned unsat :2 sat :49
Successfully simplified 2 atomic propositions for a total of 16 simplifications.
Graph (complete) has 42662 edges and 17379 vertex of which 17246 are kept as prefixes of interest. Removing 133 places using SCC suffix rule.79 ms
Discarding 133 places :
Also discarding 0 output transitions
Drop transitions removed 8130 transitions
Trivial Post-agglo rules discarded 8130 transitions
Performed 8130 trivial Post agglomeration. Transition count delta: 8130
Iterating post reduction 0 with 8130 rules applied. Total rules applied 8131 place count 17246 transition count 12999
Reduce places removed 8130 places and 0 transitions.
Performed 74 Post agglomeration using F-continuation condition.Transition count delta: 74
Iterating post reduction 1 with 8204 rules applied. Total rules applied 16335 place count 9116 transition count 12925
Reduce places removed 74 places and 0 transitions.
Iterating post reduction 2 with 74 rules applied. Total rules applied 16409 place count 9042 transition count 12925
Performed 128 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 128 Pre rules applied. Total rules applied 16409 place count 9042 transition count 12797
Deduced a syphon composed of 128 places in 7 ms
Reduce places removed 128 places and 0 transitions.
Iterating global reduction 3 with 256 rules applied. Total rules applied 16665 place count 8914 transition count 12797
Discarding 3967 places :
Symmetric choice reduction at 3 with 3967 rule applications. Total rules 20632 place count 4947 transition count 8830
Iterating global reduction 3 with 3967 rules applied. Total rules applied 24599 place count 4947 transition count 8830
Discarding 31 places :
Symmetric choice reduction at 3 with 31 rule applications. Total rules 24630 place count 4916 transition count 8799
Iterating global reduction 3 with 31 rules applied. Total rules applied 24661 place count 4916 transition count 8799
Discarding 1 places :
Implicit places reduction removed 1 places
Iterating post reduction 3 with 1 rules applied. Total rules applied 24662 place count 4915 transition count 8799
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 4 with 4 rules applied. Total rules applied 24666 place count 4913 transition count 8797
Applied a total of 24666 rules in 5067 ms. Remains 4913 /17379 variables (removed 12466) and now considering 8797/21129 (removed 12332) transitions.
[2021-05-18 05:14:29] [INFO ] Flatten gal took : 262 ms
[2021-05-18 05:14:30] [INFO ] Flatten gal took : 295 ms
[2021-05-18 05:14:30] [INFO ] Input system was already deterministic with 8797 transitions.
[2021-05-18 05:14:31] [INFO ] Flatten gal took : 352 ms
[2021-05-18 05:14:31] [INFO ] Flatten gal took : 301 ms
[2021-05-18 05:14:31] [INFO ] Time to serialize gal into /tmp/CTLCardinality16284397143040068101.gal : 103 ms
[2021-05-18 05:14:31] [INFO ] Time to serialize properties into /tmp/CTLCardinality387391070841837097.ctl : 2 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLCardinality16284397143040068101.gal, -t, CGAL, -ctl, /tmp/CTLCardinality387391070841837097.ctl, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLCardinality16284397143040068101.gal -t CGAL -ctl /tmp/CTLCardinality387391070841837097.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2021-05-18 05:15:01] [INFO ] Flatten gal took : 290 ms
[2021-05-18 05:15:01] [INFO ] Applying decomposition
[2021-05-18 05:15:02] [INFO ] Flatten gal took : 294 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph5419703740179715594.txt, -o, /tmp/graph5419703740179715594.bin, -w, /tmp/graph5419703740179715594.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph5419703740179715594.bin, -l, -1, -v, -w, /tmp/graph5419703740179715594.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-18 05:15:02] [INFO ] Decomposing Gal with order
[2021-05-18 05:15:02] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-18 05:15:09] [INFO ] Removed a total of 4149 redundant transitions.
[2021-05-18 05:15:10] [INFO ] Flatten gal took : 6773 ms
[2021-05-18 05:15:11] [INFO ] Fuse similar labels procedure discarded/fused a total of 2055 labels/synchronizations in 420 ms.
[2021-05-18 05:15:12] [INFO ] Time to serialize gal into /tmp/CTLCardinality7992024117001707454.gal : 91 ms
[2021-05-18 05:15:12] [INFO ] Time to serialize properties into /tmp/CTLCardinality9637774882846444661.ctl : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLCardinality7992024117001707454.gal, -t, CGAL, -ctl, /tmp/CTLCardinality9637774882846444661.ctl, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLCardinality7992024117001707454.gal -t CGAL -ctl /tmp/CTLCardinality9637774882846444661.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Graph (complete) has 42662 edges and 17379 vertex of which 17235 are kept as prefixes of interest. Removing 144 places using SCC suffix rule.26 ms
Discarding 144 places :
Also discarding 0 output transitions
Drop transitions removed 8317 transitions
Trivial Post-agglo rules discarded 8317 transitions
Performed 8317 trivial Post agglomeration. Transition count delta: 8317
Iterating post reduction 0 with 8317 rules applied. Total rules applied 8318 place count 17235 transition count 12812
Reduce places removed 8317 places and 0 transitions.
Iterating post reduction 1 with 8317 rules applied. Total rules applied 16635 place count 8918 transition count 12812
Performed 130 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 130 Pre rules applied. Total rules applied 16635 place count 8918 transition count 12682
Deduced a syphon composed of 130 places in 4 ms
Reduce places removed 130 places and 0 transitions.
Iterating global reduction 2 with 260 rules applied. Total rules applied 16895 place count 8788 transition count 12682
Discarding 4028 places :
Symmetric choice reduction at 2 with 4028 rule applications. Total rules 20923 place count 4760 transition count 8654
Iterating global reduction 2 with 4028 rules applied. Total rules applied 24951 place count 4760 transition count 8654
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 24953 place count 4759 transition count 8653
Applied a total of 24953 rules in 2854 ms. Remains 4759 /17379 variables (removed 12620) and now considering 8653/21129 (removed 12476) transitions.
[2021-05-18 05:15:45] [INFO ] Flatten gal took : 367 ms
[2021-05-18 05:15:46] [INFO ] Flatten gal took : 284 ms
[2021-05-18 05:15:46] [INFO ] Input system was already deterministic with 8653 transitions.
[2021-05-18 05:15:46] [INFO ] Flatten gal took : 276 ms
[2021-05-18 05:15:47] [INFO ] Flatten gal took : 285 ms
[2021-05-18 05:15:47] [INFO ] Time to serialize gal into /tmp/CTLCardinality15245452814907091283.gal : 30 ms
[2021-05-18 05:15:47] [INFO ] Time to serialize properties into /tmp/CTLCardinality3969215418374510839.ctl : 0 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLCardinality15245452814907091283.gal, -t, CGAL, -ctl, /tmp/CTLCardinality3969215418374510839.ctl, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLCardinality15245452814907091283.gal -t CGAL -ctl /tmp/CTLCardinality3969215418374510839.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2021-05-18 05:16:17] [INFO ] Flatten gal took : 311 ms
[2021-05-18 05:16:17] [INFO ] Applying decomposition
[2021-05-18 05:16:17] [INFO ] Flatten gal took : 318 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph7438700767374146254.txt, -o, /tmp/graph7438700767374146254.bin, -w, /tmp/graph7438700767374146254.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph7438700767374146254.bin, -l, -1, -v, -w, /tmp/graph7438700767374146254.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-18 05:16:18] [INFO ] Decomposing Gal with order
[2021-05-18 05:16:18] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-18 05:16:24] [INFO ] Removed a total of 4093 redundant transitions.
[2021-05-18 05:16:24] [INFO ] Flatten gal took : 5672 ms
[2021-05-18 05:16:25] [INFO ] Fuse similar labels procedure discarded/fused a total of 2064 labels/synchronizations in 195 ms.
[2021-05-18 05:16:26] [INFO ] Time to serialize gal into /tmp/CTLCardinality2053215168888718837.gal : 65 ms
[2021-05-18 05:16:26] [INFO ] Time to serialize properties into /tmp/CTLCardinality2750944818519630592.ctl : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLCardinality2053215168888718837.gal, -t, CGAL, -ctl, /tmp/CTLCardinality2750944818519630592.ctl, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLCardinality2053215168888718837.gal -t CGAL -ctl /tmp/CTLCardinality2750944818519630592.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Graph (complete) has 42662 edges and 17379 vertex of which 17242 are kept as prefixes of interest. Removing 137 places using SCC suffix rule.27 ms
Discarding 137 places :
Also discarding 0 output transitions
Drop transitions removed 8215 transitions
Trivial Post-agglo rules discarded 8215 transitions
Performed 8215 trivial Post agglomeration. Transition count delta: 8215
Iterating post reduction 0 with 8215 rules applied. Total rules applied 8216 place count 17242 transition count 12914
Reduce places removed 8215 places and 0 transitions.
Performed 22 Post agglomeration using F-continuation condition.Transition count delta: 22
Iterating post reduction 1 with 8237 rules applied. Total rules applied 16453 place count 9027 transition count 12892
Reduce places removed 22 places and 0 transitions.
Iterating post reduction 2 with 22 rules applied. Total rules applied 16475 place count 9005 transition count 12892
Performed 129 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 129 Pre rules applied. Total rules applied 16475 place count 9005 transition count 12763
Deduced a syphon composed of 129 places in 5 ms
Reduce places removed 129 places and 0 transitions.
Iterating global reduction 3 with 258 rules applied. Total rules applied 16733 place count 8876 transition count 12763
Discarding 3992 places :
Symmetric choice reduction at 3 with 3992 rule applications. Total rules 20725 place count 4884 transition count 8771
Iterating global reduction 3 with 3992 rules applied. Total rules applied 24717 place count 4884 transition count 8771
Discarding 30 places :
Symmetric choice reduction at 3 with 30 rule applications. Total rules 24747 place count 4854 transition count 8741
Iterating global reduction 3 with 30 rules applied. Total rules applied 24777 place count 4854 transition count 8741
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 3 with 2 rules applied. Total rules applied 24779 place count 4853 transition count 8740
Applied a total of 24779 rules in 3490 ms. Remains 4853 /17379 variables (removed 12526) and now considering 8740/21129 (removed 12389) transitions.
[2021-05-18 05:17:00] [INFO ] Flatten gal took : 272 ms
[2021-05-18 05:17:00] [INFO ] Flatten gal took : 320 ms
[2021-05-18 05:17:01] [INFO ] Input system was already deterministic with 8740 transitions.
[2021-05-18 05:17:01] [INFO ] Flatten gal took : 313 ms
[2021-05-18 05:17:02] [INFO ] Flatten gal took : 287 ms
[2021-05-18 05:17:02] [INFO ] Time to serialize gal into /tmp/CTLCardinality11795500867334303082.gal : 26 ms
[2021-05-18 05:17:02] [INFO ] Time to serialize properties into /tmp/CTLCardinality2771805966032864006.ctl : 8 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLCardinality11795500867334303082.gal, -t, CGAL, -ctl, /tmp/CTLCardinality2771805966032864006.ctl, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLCardinality11795500867334303082.gal -t CGAL -ctl /tmp/CTLCardinality2771805966032864006.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2021-05-18 05:17:32] [INFO ] Flatten gal took : 311 ms
[2021-05-18 05:17:32] [INFO ] Applying decomposition
[2021-05-18 05:17:32] [INFO ] Flatten gal took : 291 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph5973385109279670549.txt, -o, /tmp/graph5973385109279670549.bin, -w, /tmp/graph5973385109279670549.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph5973385109279670549.bin, -l, -1, -v, -w, /tmp/graph5973385109279670549.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-18 05:17:33] [INFO ] Decomposing Gal with order
[2021-05-18 05:17:33] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-18 05:17:39] [INFO ] Removed a total of 4138 redundant transitions.
[2021-05-18 05:17:39] [INFO ] Flatten gal took : 5975 ms
[2021-05-18 05:17:40] [INFO ] Fuse similar labels procedure discarded/fused a total of 1907 labels/synchronizations in 215 ms.
[2021-05-18 05:17:41] [INFO ] Time to serialize gal into /tmp/CTLCardinality16287945693911776085.gal : 46 ms
[2021-05-18 05:17:41] [INFO ] Time to serialize properties into /tmp/CTLCardinality2764885973393548611.ctl : 0 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLCardinality16287945693911776085.gal, -t, CGAL, -ctl, /tmp/CTLCardinality2764885973393548611.ctl, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLCardinality16287945693911776085.gal -t CGAL -ctl /tmp/CTLCardinality2764885973393548611.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Graph (complete) has 42662 edges and 17379 vertex of which 17238 are kept as prefixes of interest. Removing 141 places using SCC suffix rule.20 ms
Discarding 141 places :
Also discarding 0 output transitions
Drop transitions removed 8282 transitions
Trivial Post-agglo rules discarded 8282 transitions
Performed 8282 trivial Post agglomeration. Transition count delta: 8282
Iterating post reduction 0 with 8282 rules applied. Total rules applied 8283 place count 17238 transition count 12847
Reduce places removed 8282 places and 0 transitions.
Performed 11 Post agglomeration using F-continuation condition.Transition count delta: 11
Iterating post reduction 1 with 8293 rules applied. Total rules applied 16576 place count 8956 transition count 12836
Reduce places removed 11 places and 0 transitions.
Iterating post reduction 2 with 11 rules applied. Total rules applied 16587 place count 8945 transition count 12836
Performed 130 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 130 Pre rules applied. Total rules applied 16587 place count 8945 transition count 12706
Deduced a syphon composed of 130 places in 4 ms
Reduce places removed 130 places and 0 transitions.
Iterating global reduction 3 with 260 rules applied. Total rules applied 16847 place count 8815 transition count 12706
Discarding 4014 places :
Symmetric choice reduction at 3 with 4014 rule applications. Total rules 20861 place count 4801 transition count 8692
Iterating global reduction 3 with 4014 rules applied. Total rules applied 24875 place count 4801 transition count 8692
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 3 with 2 rules applied. Total rules applied 24877 place count 4800 transition count 8691
Applied a total of 24877 rules in 3061 ms. Remains 4800 /17379 variables (removed 12579) and now considering 8691/21129 (removed 12438) transitions.
[2021-05-18 05:18:14] [INFO ] Flatten gal took : 256 ms
[2021-05-18 05:18:15] [INFO ] Flatten gal took : 307 ms
[2021-05-18 05:18:15] [INFO ] Input system was already deterministic with 8691 transitions.
[2021-05-18 05:18:16] [INFO ] Flatten gal took : 305 ms
[2021-05-18 05:18:16] [INFO ] Flatten gal took : 395 ms
[2021-05-18 05:18:16] [INFO ] Time to serialize gal into /tmp/CTLCardinality12047145025261202453.gal : 28 ms
[2021-05-18 05:18:16] [INFO ] Time to serialize properties into /tmp/CTLCardinality4018517972341649519.ctl : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLCardinality12047145025261202453.gal, -t, CGAL, -ctl, /tmp/CTLCardinality4018517972341649519.ctl, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLCardinality12047145025261202453.gal -t CGAL -ctl /tmp/CTLCardinality4018517972341649519.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2021-05-18 05:18:46] [INFO ] Flatten gal took : 304 ms
[2021-05-18 05:18:46] [INFO ] Applying decomposition
[2021-05-18 05:18:47] [INFO ] Flatten gal took : 310 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph12072159900507249249.txt, -o, /tmp/graph12072159900507249249.bin, -w, /tmp/graph12072159900507249249.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph12072159900507249249.bin, -l, -1, -v, -w, /tmp/graph12072159900507249249.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-18 05:18:47] [INFO ] Decomposing Gal with order
[2021-05-18 05:18:47] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-18 05:18:53] [INFO ] Removed a total of 4106 redundant transitions.
[2021-05-18 05:18:53] [INFO ] Flatten gal took : 5804 ms
[2021-05-18 05:18:54] [INFO ] Fuse similar labels procedure discarded/fused a total of 2076 labels/synchronizations in 202 ms.
[2021-05-18 05:18:55] [INFO ] Time to serialize gal into /tmp/CTLCardinality17402571025478425360.gal : 214 ms
[2021-05-18 05:18:55] [INFO ] Time to serialize properties into /tmp/CTLCardinality16822075198585097626.ctl : 0 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLCardinality17402571025478425360.gal, -t, CGAL, -ctl, /tmp/CTLCardinality16822075198585097626.ctl, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLCardinality17402571025478425360.gal -t CGAL -ctl /tmp/CTLCardinality16822075198585097626.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Graph (complete) has 42662 edges and 17379 vertex of which 17240 are kept as prefixes of interest. Removing 139 places using SCC suffix rule.20 ms
Discarding 139 places :
Also discarding 0 output transitions
Drop transitions removed 8273 transitions
Trivial Post-agglo rules discarded 8273 transitions
Performed 8273 trivial Post agglomeration. Transition count delta: 8273
Iterating post reduction 0 with 8273 rules applied. Total rules applied 8274 place count 17240 transition count 12856
Reduce places removed 8273 places and 0 transitions.
Performed 12 Post agglomeration using F-continuation condition.Transition count delta: 12
Iterating post reduction 1 with 8285 rules applied. Total rules applied 16559 place count 8967 transition count 12844
Reduce places removed 12 places and 0 transitions.
Iterating post reduction 2 with 12 rules applied. Total rules applied 16571 place count 8955 transition count 12844
Performed 130 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 130 Pre rules applied. Total rules applied 16571 place count 8955 transition count 12714
Deduced a syphon composed of 130 places in 5 ms
Reduce places removed 130 places and 0 transitions.
Iterating global reduction 3 with 260 rules applied. Total rules applied 16831 place count 8825 transition count 12714
Discarding 4010 places :
Symmetric choice reduction at 3 with 4010 rule applications. Total rules 20841 place count 4815 transition count 8704
Iterating global reduction 3 with 4010 rules applied. Total rules applied 24851 place count 4815 transition count 8704
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 3 with 2 rules applied. Total rules applied 24853 place count 4814 transition count 8703
Applied a total of 24853 rules in 2799 ms. Remains 4814 /17379 variables (removed 12565) and now considering 8703/21129 (removed 12426) transitions.
[2021-05-18 05:19:28] [INFO ] Flatten gal took : 271 ms
[2021-05-18 05:19:29] [INFO ] Flatten gal took : 317 ms
[2021-05-18 05:19:29] [INFO ] Input system was already deterministic with 8703 transitions.
[2021-05-18 05:19:29] [INFO ] Flatten gal took : 278 ms
[2021-05-18 05:19:30] [INFO ] Flatten gal took : 278 ms
[2021-05-18 05:19:30] [INFO ] Time to serialize gal into /tmp/CTLCardinality9938708991897520237.gal : 27 ms
[2021-05-18 05:19:30] [INFO ] Time to serialize properties into /tmp/CTLCardinality15575450518797076624.ctl : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLCardinality9938708991897520237.gal, -t, CGAL, -ctl, /tmp/CTLCardinality15575450518797076624.ctl, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLCardinality9938708991897520237.gal -t CGAL -ctl /tmp/CTLCardinality15575450518797076624.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2021-05-18 05:20:00] [INFO ] Flatten gal took : 398 ms
[2021-05-18 05:20:00] [INFO ] Applying decomposition
[2021-05-18 05:20:01] [INFO ] Flatten gal took : 294 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph4935997261227864357.txt, -o, /tmp/graph4935997261227864357.bin, -w, /tmp/graph4935997261227864357.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph4935997261227864357.bin, -l, -1, -v, -w, /tmp/graph4935997261227864357.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-18 05:20:01] [INFO ] Decomposing Gal with order
[2021-05-18 05:20:01] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-18 05:20:07] [INFO ] Removed a total of 4107 redundant transitions.
[2021-05-18 05:20:08] [INFO ] Flatten gal took : 6295 ms
[2021-05-18 05:20:08] [INFO ] Fuse similar labels procedure discarded/fused a total of 2062 labels/synchronizations in 199 ms.
[2021-05-18 05:20:09] [INFO ] Time to serialize gal into /tmp/CTLCardinality15296684168245980692.gal : 49 ms
[2021-05-18 05:20:09] [INFO ] Time to serialize properties into /tmp/CTLCardinality12810861073785836266.ctl : 0 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLCardinality15296684168245980692.gal, -t, CGAL, -ctl, /tmp/CTLCardinality12810861073785836266.ctl, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLCardinality15296684168245980692.gal -t CGAL -ctl /tmp/CTLCardinality12810861073785836266.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Graph (complete) has 42662 edges and 17379 vertex of which 17240 are kept as prefixes of interest. Removing 139 places using SCC suffix rule.20 ms
Discarding 139 places :
Also discarding 0 output transitions
Drop transitions removed 8160 transitions
Trivial Post-agglo rules discarded 8160 transitions
Performed 8160 trivial Post agglomeration. Transition count delta: 8160
Iterating post reduction 0 with 8160 rules applied. Total rules applied 8161 place count 17240 transition count 12969
Reduce places removed 8160 places and 0 transitions.
Performed 140 Post agglomeration using F-continuation condition.Transition count delta: 140
Iterating post reduction 1 with 8300 rules applied. Total rules applied 16461 place count 9080 transition count 12829
Reduce places removed 140 places and 0 transitions.
Iterating post reduction 2 with 140 rules applied. Total rules applied 16601 place count 8940 transition count 12829
Performed 130 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 130 Pre rules applied. Total rules applied 16601 place count 8940 transition count 12699
Deduced a syphon composed of 130 places in 4 ms
Reduce places removed 130 places and 0 transitions.
Iterating global reduction 3 with 260 rules applied. Total rules applied 16861 place count 8810 transition count 12699
Discarding 4015 places :
Symmetric choice reduction at 3 with 4015 rule applications. Total rules 20876 place count 4795 transition count 8684
Iterating global reduction 3 with 4015 rules applied. Total rules applied 24891 place count 4795 transition count 8684
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 3 with 2 rules applied. Total rules applied 24893 place count 4794 transition count 8683
Applied a total of 24893 rules in 2976 ms. Remains 4794 /17379 variables (removed 12585) and now considering 8683/21129 (removed 12446) transitions.
[2021-05-18 05:20:43] [INFO ] Flatten gal took : 276 ms
[2021-05-18 05:20:43] [INFO ] Flatten gal took : 316 ms
[2021-05-18 05:20:44] [INFO ] Input system was already deterministic with 8683 transitions.
[2021-05-18 05:20:44] [INFO ] Flatten gal took : 296 ms
[2021-05-18 05:20:44] [INFO ] Flatten gal took : 291 ms
[2021-05-18 05:20:44] [INFO ] Time to serialize gal into /tmp/CTLCardinality12866742970663982788.gal : 28 ms
[2021-05-18 05:20:44] [INFO ] Time to serialize properties into /tmp/CTLCardinality8893681992327375782.ctl : 0 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLCardinality12866742970663982788.gal, -t, CGAL, -ctl, /tmp/CTLCardinality8893681992327375782.ctl, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLCardinality12866742970663982788.gal -t CGAL -ctl /tmp/CTLCardinality8893681992327375782.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2021-05-18 05:21:15] [INFO ] Flatten gal took : 268 ms
[2021-05-18 05:21:15] [INFO ] Applying decomposition
[2021-05-18 05:21:15] [INFO ] Flatten gal took : 282 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph1325555904993536799.txt, -o, /tmp/graph1325555904993536799.bin, -w, /tmp/graph1325555904993536799.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph1325555904993536799.bin, -l, -1, -v, -w, /tmp/graph1325555904993536799.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-18 05:21:16] [INFO ] Decomposing Gal with order
[2021-05-18 05:21:16] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-18 05:21:22] [INFO ] Removed a total of 4379 redundant transitions.
[2021-05-18 05:21:22] [INFO ] Flatten gal took : 5909 ms
[2021-05-18 05:21:22] [INFO ] Fuse similar labels procedure discarded/fused a total of 2063 labels/synchronizations in 225 ms.
[2021-05-18 05:21:23] [INFO ] Time to serialize gal into /tmp/CTLCardinality11295533421591853087.gal : 42 ms
[2021-05-18 05:21:23] [INFO ] Time to serialize properties into /tmp/CTLCardinality5945356475354385792.ctl : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLCardinality11295533421591853087.gal, -t, CGAL, -ctl, /tmp/CTLCardinality5945356475354385792.ctl, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLCardinality11295533421591853087.gal -t CGAL -ctl /tmp/CTLCardinality5945356475354385792.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Graph (complete) has 42662 edges and 17379 vertex of which 17236 are kept as prefixes of interest. Removing 143 places using SCC suffix rule.19 ms
Discarding 143 places :
Also discarding 0 output transitions
Drop transitions removed 8274 transitions
Trivial Post-agglo rules discarded 8274 transitions
Performed 8274 trivial Post agglomeration. Transition count delta: 8274
Iterating post reduction 0 with 8274 rules applied. Total rules applied 8275 place count 17236 transition count 12855
Reduce places removed 8274 places and 0 transitions.
Performed 35 Post agglomeration using F-continuation condition.Transition count delta: 35
Iterating post reduction 1 with 8309 rules applied. Total rules applied 16584 place count 8962 transition count 12820
Reduce places removed 35 places and 0 transitions.
Iterating post reduction 2 with 35 rules applied. Total rules applied 16619 place count 8927 transition count 12820
Performed 129 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 129 Pre rules applied. Total rules applied 16619 place count 8927 transition count 12691
Deduced a syphon composed of 129 places in 4 ms
Reduce places removed 129 places and 0 transitions.
Iterating global reduction 3 with 258 rules applied. Total rules applied 16877 place count 8798 transition count 12691
Discarding 4022 places :
Symmetric choice reduction at 3 with 4022 rule applications. Total rules 20899 place count 4776 transition count 8669
Iterating global reduction 3 with 4022 rules applied. Total rules applied 24921 place count 4776 transition count 8669
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 3 with 2 rules applied. Total rules applied 24923 place count 4775 transition count 8668
Applied a total of 24923 rules in 2823 ms. Remains 4775 /17379 variables (removed 12604) and now considering 8668/21129 (removed 12461) transitions.
[2021-05-18 05:21:57] [INFO ] Flatten gal took : 285 ms
[2021-05-18 05:21:57] [INFO ] Flatten gal took : 322 ms
[2021-05-18 05:21:58] [INFO ] Input system was already deterministic with 8668 transitions.
[2021-05-18 05:21:58] [INFO ] Flatten gal took : 269 ms
[2021-05-18 05:21:58] [INFO ] Flatten gal took : 320 ms
[2021-05-18 05:21:58] [INFO ] Time to serialize gal into /tmp/CTLCardinality16327334906427961342.gal : 32 ms
[2021-05-18 05:21:58] [INFO ] Time to serialize properties into /tmp/CTLCardinality8737493439927683084.ctl : 0 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLCardinality16327334906427961342.gal, -t, CGAL, -ctl, /tmp/CTLCardinality8737493439927683084.ctl, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLCardinality16327334906427961342.gal -t CGAL -ctl /tmp/CTLCardinality8737493439927683084.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2021-05-18 05:22:29] [INFO ] Flatten gal took : 302 ms
[2021-05-18 05:22:29] [INFO ] Applying decomposition
[2021-05-18 05:22:29] [INFO ] Flatten gal took : 317 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph8026476415854444316.txt, -o, /tmp/graph8026476415854444316.bin, -w, /tmp/graph8026476415854444316.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph8026476415854444316.bin, -l, -1, -v, -w, /tmp/graph8026476415854444316.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-18 05:22:30] [INFO ] Decomposing Gal with order
[2021-05-18 05:22:30] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-18 05:22:35] [INFO ] Removed a total of 4096 redundant transitions.
[2021-05-18 05:22:36] [INFO ] Flatten gal took : 5703 ms
[2021-05-18 05:22:36] [INFO ] Fuse similar labels procedure discarded/fused a total of 2050 labels/synchronizations in 267 ms.
[2021-05-18 05:22:37] [INFO ] Time to serialize gal into /tmp/CTLCardinality7188369521790294541.gal : 46 ms
[2021-05-18 05:22:37] [INFO ] Time to serialize properties into /tmp/CTLCardinality2329477618295320600.ctl : 0 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLCardinality7188369521790294541.gal, -t, CGAL, -ctl, /tmp/CTLCardinality2329477618295320600.ctl, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLCardinality7188369521790294541.gal -t CGAL -ctl /tmp/CTLCardinality2329477618295320600.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2021-05-18 05:23:08] [INFO ] Flatten gal took : 621 ms
[2021-05-18 05:23:08] [INFO ] Flatten gal took : 666 ms
[2021-05-18 05:23:09] [INFO ] Applying decomposition
[2021-05-18 05:23:10] [INFO ] Flatten gal took : 670 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph14978633196699448527.txt, -o, /tmp/graph14978633196699448527.bin, -w, /tmp/graph14978633196699448527.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph14978633196699448527.bin, -l, -1, -v, -w, /tmp/graph14978633196699448527.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-18 05:23:11] [INFO ] Decomposing Gal with order
[2021-05-18 05:23:14] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-18 05:23:37] [INFO ] Removed a total of 16291 redundant transitions.
[2021-05-18 05:23:37] [INFO ] Flatten gal took : 6181 ms
[2021-05-18 05:23:39] [INFO ] Fuse similar labels procedure discarded/fused a total of 2524 labels/synchronizations in 803 ms.
[2021-05-18 05:23:43] [INFO ] Time to serialize gal into /tmp/CTLCardinality5073944306569405931.gal : 117 ms
[2021-05-18 05:23:43] [INFO ] Time to serialize properties into /tmp/CTLCardinality10911572570346025125.ctl : 16 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLCardinality5073944306569405931.gal, -t, CGAL, -ctl, /tmp/CTLCardinality10911572570346025125.ctl, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLCardinality5073944306569405931.gal -t CGAL -ctl /tmp/CTLCardinality10911572570346025125.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 16 CTL formulae.
Detected timeout of ITS tools.
[2021-05-18 05:47:34] [INFO ] Flatten gal took : 2664 ms
[2021-05-18 05:47:34] [INFO ] Time to serialize gal into /tmp/CTLCardinality15919135758513681994.gal : 83 ms
[2021-05-18 05:47:34] [INFO ] Time to serialize properties into /tmp/CTLCardinality12376803342719173199.ctl : 11 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLCardinality15919135758513681994.gal, -t, CGAL, -ctl, /tmp/CTLCardinality12376803342719173199.ctl, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLCardinality15919135758513681994.gal -t CGAL -ctl /tmp/CTLCardinality12376803342719173199.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 16 CTL formulae.
Detected timeout of ITS tools.
[2021-05-18 06:11:24] [INFO ] Flatten gal took : 1729 ms
[2021-05-18 06:11:26] [INFO ] Input system was already deterministic with 21129 transitions.
[2021-05-18 06:11:26] [INFO ] Transformed 17379 places.
[2021-05-18 06:11:26] [INFO ] Transformed 21129 transitions.
Running greatSPN : CommandLine [args=[/home/mcc/BenchKit/bin//..//greatspn//bin/pinvar, /home/mcc/execution/gspn], workingDir=/home/mcc/execution]
Run of greatSPN captured in /home/mcc/execution/outPut.txt
Running greatSPN : CommandLine [args=[/home/mcc/BenchKit/bin//..//greatspn//bin/RGMEDD2, /home/mcc/execution/gspn, -META, -varord-only], workingDir=/home/mcc/execution]
Run of greatSPN captured in /home/mcc/execution/outPut.txt
Using order generated by GreatSPN with heuristic : META
[2021-05-18 06:11:51] [INFO ] Time to serialize gal into /tmp/CTLCardinality6711938948724584392.gal : 58 ms
[2021-05-18 06:11:51] [INFO ] Time to serialize properties into /tmp/CTLCardinality10943970130840724048.ctl : 3 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLCardinality6711938948724584392.gal, -t, CGAL, -ctl, /tmp/CTLCardinality10943970130840724048.ctl, --load-order, /home/mcc/execution/model.ord, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLCardinality6711938948724584392.gal -t CGAL -ctl /tmp/CTLCardinality10943970130840724048.ctl --load-order /home/mcc/execution/model.ord --gen-order FOLLOW
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ CTLCardinality = StateSpace ]]
+ /home/mcc/BenchKit/bin//..//runeclipse.sh /home/mcc/execution CTLCardinality -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ cut -d . -f 9
++ ls /home/mcc/BenchKit/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202104292328.jar
+ VERSION=0
+ echo 'Running Version 0'
+ /home/mcc/BenchKit/bin//..//itstools/its-tools -data /home/mcc/execution/workspace -pnfolder /home/mcc/execution -examination CTLCardinality -spotpath /home/mcc/BenchKit/bin//..//ltlfilt -z3path /home/mcc/BenchKit/bin//..//z3/bin/z3 -yices2path /home/mcc/BenchKit/bin//..//yices/bin/yices -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600 -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=/tmp/.eclipse -Xss128m -Xms40m -Xmx16000m
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="LeafsetExtension-PT-S64C3"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool itstools"
echo " Input is LeafsetExtension-PT-S64C3, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r292-tall-162124156600553"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/LeafsetExtension-PT-S64C3.tgz
mv LeafsetExtension-PT-S64C3 execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;