About the Execution of ITS-Tools for NoC3x3-PT-4A
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16233.716 | 3600000.00 | 2792785.00 | 452020.90 | TT?F???????????? | normal |
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.r140-tall-162089127600274.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 NoC3x3-PT-4A, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r140-tall-162089127600274
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 500K
-rw-r--r-- 1 mcc users 11K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 97K May 10 09:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 11K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 101K May 10 09:43 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K May 6 14:48 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.4K Mar 28 16:22 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Mar 28 16:22 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.7K Mar 28 16:22 LTLFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 28 16:22 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K Mar 27 06:30 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 27 06:30 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 25 07:51 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 25 07:51 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Mar 22 09:15 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 22 09:15 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 5 16:51 equiv_col
-rw-r--r-- 1 mcc users 3 May 5 16:51 instance
-rw-r--r-- 1 mcc users 6 May 5 16:51 iscolored
-rw-r--r-- 1 mcc users 144K May 5 16:51 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 NoC3x3-PT-4A-CTLFireability-00
FORMULA_NAME NoC3x3-PT-4A-CTLFireability-01
FORMULA_NAME NoC3x3-PT-4A-CTLFireability-02
FORMULA_NAME NoC3x3-PT-4A-CTLFireability-03
FORMULA_NAME NoC3x3-PT-4A-CTLFireability-04
FORMULA_NAME NoC3x3-PT-4A-CTLFireability-05
FORMULA_NAME NoC3x3-PT-4A-CTLFireability-06
FORMULA_NAME NoC3x3-PT-4A-CTLFireability-07
FORMULA_NAME NoC3x3-PT-4A-CTLFireability-08
FORMULA_NAME NoC3x3-PT-4A-CTLFireability-09
FORMULA_NAME NoC3x3-PT-4A-CTLFireability-10
FORMULA_NAME NoC3x3-PT-4A-CTLFireability-11
FORMULA_NAME NoC3x3-PT-4A-CTLFireability-12
FORMULA_NAME NoC3x3-PT-4A-CTLFireability-13
FORMULA_NAME NoC3x3-PT-4A-CTLFireability-14
FORMULA_NAME NoC3x3-PT-4A-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1620957163256
Running Version 0
[2021-05-14 01:52:51] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLFireability, -spotpath, /home/mcc/BenchKit/bin//..//ltlfilt, -z3path, /home/mcc/BenchKit/bin//..//z3/bin/z3, -yices2path, /home/mcc/BenchKit/bin//..//yices/bin/yices, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2021-05-14 01:52:51] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-14 01:52:51] [INFO ] Load time of PNML (sax parser for PT used): 75 ms
[2021-05-14 01:52:51] [INFO ] Transformed 293 places.
[2021-05-14 01:52:51] [INFO ] Transformed 608 transitions.
[2021-05-14 01:52:51] [INFO ] Found NUPN structural information;
[2021-05-14 01:52:51] [INFO ] Parsed PT model containing 293 places and 608 transitions in 117 ms.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 15 ms.
[2021-05-14 01:52:51] [INFO ] Reduced 1 identical enabling conditions.
[2021-05-14 01:52:51] [INFO ] Reduced 1 identical enabling conditions.
[2021-05-14 01:52:51] [INFO ] Reduced 1 identical enabling conditions.
[2021-05-14 01:52:51] [INFO ] Reduced 1 identical enabling conditions.
[2021-05-14 01:52:51] [INFO ] Reduced 1 identical enabling conditions.
[2021-05-14 01:52:51] [INFO ] Reduced 1 identical enabling conditions.
[2021-05-14 01:52:51] [INFO ] Reduced 1 identical enabling conditions.
Ensure Unique test removed 155 transitions
Reduce redundant transitions removed 155 transitions.
Support contains 240 out of 293 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 293/293 places, 453/453 transitions.
Discarding 7 places :
Symmetric choice reduction at 0 with 7 rule applications. Total rules 7 place count 286 transition count 445
Iterating global reduction 0 with 7 rules applied. Total rules applied 14 place count 286 transition count 445
Drop transitions removed 71 transitions
Redundant transition composition rules discarded 71 transitions
Iterating global reduction 0 with 71 rules applied. Total rules applied 85 place count 286 transition count 374
Applied a total of 85 rules in 31 ms. Remains 286 /293 variables (removed 7) and now considering 374/453 (removed 79) transitions.
// Phase 1: matrix 374 rows 286 cols
[2021-05-14 01:52:51] [INFO ] Computed 66 place invariants in 16 ms
[2021-05-14 01:52:51] [INFO ] Implicit Places using invariants in 198 ms returned []
// Phase 1: matrix 374 rows 286 cols
[2021-05-14 01:52:51] [INFO ] Computed 66 place invariants in 3 ms
[2021-05-14 01:52:52] [INFO ] Implicit Places using invariants and state equation in 184 ms returned []
Implicit Place search using SMT with State Equation took 409 ms to find 0 implicit places.
// Phase 1: matrix 374 rows 286 cols
[2021-05-14 01:52:52] [INFO ] Computed 66 place invariants in 3 ms
[2021-05-14 01:52:52] [INFO ] Dead Transitions using invariants and state equation in 183 ms returned []
Finished structural reductions, in 1 iterations. Remains : 286/293 places, 374/453 transitions.
[2021-05-14 01:52:52] [INFO ] Flatten gal took : 68 ms
[2021-05-14 01:52:52] [INFO ] Flatten gal took : 35 ms
[2021-05-14 01:52:52] [INFO ] Input system was already deterministic with 374 transitions.
Finished random walk after 52609 steps, including 1 resets, run visited all 100 properties in 360 ms. (steps per millisecond=146 )
Graph (trivial) has 82 edges and 286 vertex of which 41 / 286 are part of one of the 19 SCC in 3 ms
Free SCC test removed 22 places
Ensure Unique test removed 43 transitions
Reduce isomorphic transitions removed 43 transitions.
Graph (complete) has 837 edges and 264 vertex of which 255 are kept as prefixes of interest. Removing 9 places using SCC suffix rule.5 ms
Discarding 9 places :
Also discarding 0 output transitions
Discarding 44 places :
Symmetric choice reduction at 0 with 44 rule applications. Total rules 46 place count 211 transition count 287
Iterating global reduction 0 with 44 rules applied. Total rules applied 90 place count 211 transition count 287
Applied a total of 90 rules in 42 ms. Remains 211 /286 variables (removed 75) and now considering 287/374 (removed 87) transitions.
[2021-05-14 01:52:53] [INFO ] Flatten gal took : 16 ms
[2021-05-14 01:52:53] [INFO ] Flatten gal took : 18 ms
[2021-05-14 01:52:53] [INFO ] Input system was already deterministic with 287 transitions.
[2021-05-14 01:52:53] [INFO ] Flatten gal took : 16 ms
[2021-05-14 01:52:53] [INFO ] Flatten gal took : 20 ms
[2021-05-14 01:52:53] [INFO ] Time to serialize gal into /tmp/CTLFireability13152484910495090927.gal : 7 ms
[2021-05-14 01:52:53] [INFO ] Time to serialize properties into /tmp/CTLFireability14965494116542566354.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/CTLFireability13152484910495090927.gal, -t, CGAL, -ctl, /tmp/CTLFireability14965494116542566354.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/CTLFireability13152484910495090927.gal -t CGAL -ctl /tmp/CTLFireability14965494116542566354.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,1.76353e+29,0.41659,18960,2,573,5,77343,6,0,1108,76991,0
Converting to forward existential form...Done !
original formula: AF(!(E(!(AG(((((((((((((p292==1)||(p263==1))||(p56==1))||(p15==1))||((p129==1)&&(p157==1)))||((p24==1)&&(p48==1)))||((p231==1)&&(p267==1)))||(p230==1))||(p57==1))||((p139==1)&&(p156==1)))||((p31==1)&&(p56==1)))||((p158==1)&&(p248==1))))) U (AG(((((((p5==1)&&(p20==1))||((p278==1)&&(p284==1)))||((p16==1)&&(p100==1)))||(p75==1))||((p259==1)&&(p274==1)))) * AF(((((((((p99==1)&&(p117==1))||(p288==1))||(p20==1))||((p235==1)&&(p260==1)))||((p275==1)&&(p290==1)))||(p107==1))||(p201==1)))))))
=> equivalent forward existential formula: [FwdG(Init,!(!(E(!(!(E(TRUE U !(((((((((((((p292==1)||(p263==1))||(p56==1))||(p15==1))||((p129==1)&&(p157==1)))||((p24==1)&&(p48==1)))||((p231==1)&&(p267==1)))||(p230==1))||(p57==1))||((p139==1)&&(p156==1)))||((p31==1)&&(p56==1)))||((p158==1)&&(p248==1))))))) U (!(E(TRUE U !(((((((p5==1)&&(p20==1))||((p278==1)&&(p284==1)))||((p16==1)&&(p100==1)))||(p75==1))||((p259==1)&&(p274==1)))))) * !(EG(!(((((((((p99==1)&&(p117==1))||(p288==1))||(p20==1))||((p235==1)&&(p260==1)))||((p275==1)&&(p290==1)))||(p107==1))||(p201==1))))))))))] = FALSE
Reverse transition relation is exact ! Faster fixpoint algorithm enabled.
Detected timeout of ITS tools.
[2021-05-14 01:53:23] [INFO ] Flatten gal took : 15 ms
[2021-05-14 01:53:23] [INFO ] Applying decomposition
[2021-05-14 01:53:23] [INFO ] Flatten gal took : 15 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/graph17706797503010240114.txt, -o, /tmp/graph17706797503010240114.bin, -w, /tmp/graph17706797503010240114.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/graph17706797503010240114.bin, -l, -1, -v, -w, /tmp/graph17706797503010240114.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-14 01:53:23] [INFO ] Decomposing Gal with order
[2021-05-14 01:53:23] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-14 01:53:23] [INFO ] Removed a total of 56 redundant transitions.
[2021-05-14 01:53:23] [INFO ] Flatten gal took : 51 ms
[2021-05-14 01:53:23] [INFO ] Fuse similar labels procedure discarded/fused a total of 14 labels/synchronizations in 13 ms.
[2021-05-14 01:53:23] [INFO ] Time to serialize gal into /tmp/CTLFireability18144079252010547285.gal : 6 ms
[2021-05-14 01:53:23] [INFO ] Time to serialize properties into /tmp/CTLFireability10126276375754193985.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/CTLFireability18144079252010547285.gal, -t, CGAL, -ctl, /tmp/CTLFireability10126276375754193985.ctl], 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/CTLFireability18144079252010547285.gal -t CGAL -ctl /tmp/CTLFireability10126276375754193985.ctl
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,1.76353e+29,0.158202,10692,222,87,13271,1591,646,15266,129,5537,0
Converting to forward existential form...Done !
original formula: AF(!(E(!(AG(((((((((((((i8.u49.p292==1)||(i7.u44.p263==1))||(i1.u11.p56==1))||(i0.u2.p15==1))||((i4.u26.p129==1)&&(i4.u26.p157==1)))||((i1.u8.p24==1)&&(i1.u8.p48==1)))||((i7.u41.p231==1)&&(i7.u45.p267==1)))||(i6.u40.p230==1))||(i1.u11.p57==1))||((i4.u24.p139==1)&&(i4.u26.p156==1)))||((i1.u5.p31==1)&&(i1.u11.p56==1)))||((i4.u26.p158==1)&&(i7.u44.p248==1))))) U (AG(((((((i0.u0.p5==1)&&(i0.u4.p20==1))||((i8.u46.p278==1)&&(i8.u47.p284==1)))||((i0.u2.p16==1)&&(i3.u18.p100==1)))||(i2.u14.p75==1))||((i7.u42.p259==1)&&(i8.u49.p274==1)))) * AF(((((((((i3.u17.p99==1)&&(i3.u21.p117==1))||(i8.u48.p288==1))||(i0.u4.p20==1))||((i7.u41.p235==1)&&(i7.u43.p260==1)))||((i8.u49.p275==1)&&(i8.u49.p290==1)))||(i3.u18.p107==1))||(i5.i1.u35.p201==1)))))))
=> equivalent forward existential formula: [FwdG(Init,!(!(E(!(!(E(TRUE U !(((((((((((((i8.u49.p292==1)||(i7.u44.p263==1))||(i1.u11.p56==1))||(i0.u2.p15==1))||((i4.u26.p129==1)&&(i4.u26.p157==1)))||((i1.u8.p24==1)&&(i1.u8.p48==1)))||((i7.u41.p231==1)&&(i7.u45.p267==1)))||(i6.u40.p230==1))||(i1.u11.p57==1))||((i4.u24.p139==1)&&(i4.u26.p156==1)))||((i1.u5.p31==1)&&(i1.u11.p56==1)))||((i4.u26.p158==1)&&(i7.u44.p248==1))))))) U (!(E(TRUE U !(((((((i0.u0.p5==1)&&(i0.u4.p20==1))||((i8.u46.p278==1)&&(i8.u47.p284==1)))||((i0.u2.p16==1)&&(i3.u18.p100==1)))||(i2.u14.p75==1))||((i7.u42.p259==1)&&(i8.u49.p274==1)))))) * !(EG(!(((((((((i3.u17.p99==1)&&(i3.u21.p117==1))||(i8.u48.p288==1))||(i0.u4.p20==1))||((i7.u41.p235==1)&&(i7.u43.p260==1)))||((i8.u49.p275==1)&&(i8.u49.p290==1)))||(i3.u18.p107==1))||(i5.i1.u35.p201==1))))))))))] = FALSE
Reverse transition relation is exact ! Faster fixpoint algorithm enabled.
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Fast SCC detection found an SCC at level 1
Fast SCC detection found an SCC at level 2
Fast SCC detection found an SCC at level 3
Fast SCC detection found an SCC at level 4
Fast SCC detection found an SCC at level 5
Fast SCC detection found an SCC at level 6
Fast SCC detection found an SCC at level 7
Fast SCC detection found an SCC at level 8
(forward)formula 0,1,0.238233,11076,1,0,13271,2066,2902,15266,564,5537,19894
FORMULA NoC3x3-PT-4A-CTLFireability-00 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
Formula is TRUE !
***************************************
Graph (trivial) has 115 edges and 286 vertex of which 58 / 286 are part of one of the 26 SCC in 1 ms
Free SCC test removed 32 places
Ensure Unique test removed 63 transitions
Reduce isomorphic transitions removed 63 transitions.
Graph (complete) has 817 edges and 254 vertex of which 245 are kept as prefixes of interest. Removing 9 places using SCC suffix rule.1 ms
Discarding 9 places :
Also discarding 0 output transitions
Discarding 49 places :
Symmetric choice reduction at 0 with 49 rule applications. Total rules 51 place count 196 transition count 262
Iterating global reduction 0 with 49 rules applied. Total rules applied 100 place count 196 transition count 262
Applied a total of 100 rules in 34 ms. Remains 196 /286 variables (removed 90) and now considering 262/374 (removed 112) transitions.
[2021-05-14 01:53:24] [INFO ] Flatten gal took : 12 ms
[2021-05-14 01:53:24] [INFO ] Flatten gal took : 13 ms
[2021-05-14 01:53:24] [INFO ] Input system was already deterministic with 262 transitions.
[2021-05-14 01:53:24] [INFO ] Flatten gal took : 12 ms
[2021-05-14 01:53:24] [INFO ] Flatten gal took : 14 ms
[2021-05-14 01:53:24] [INFO ] Time to serialize gal into /tmp/CTLFireability11630664717142040467.gal : 2 ms
[2021-05-14 01:53:24] [INFO ] Time to serialize properties into /tmp/CTLFireability12074373476130251073.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/CTLFireability11630664717142040467.gal, -t, CGAL, -ctl, /tmp/CTLFireability12074373476130251073.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/CTLFireability11630664717142040467.gal -t CGAL -ctl /tmp/CTLFireability12074373476130251073.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,5.64222e+26,0.334501,16056,2,530,5,61973,6,0,1010,57651,0
Converting to forward existential form...Done !
original formula: EG(AG(EF(EG(((((((((p18==1)||(p51==1))||(p82==1))||(p199==1))||(p81==1))||(p205==1))||((p216==1)&&(p222==1)))||((p23==1)&&(p57==1)))))))
=> equivalent forward existential formula: [FwdG(Init,!(E(TRUE U !(E(TRUE U EG(((((((((p18==1)||(p51==1))||(p82==1))||(p199==1))||(p81==1))||(p205==1))||((p216==1)&&(p222==1)))||((p23==1)&&(p57==1)))))))))] != FALSE
Reverse transition relation is exact ! Faster fixpoint algorithm enabled.
(forward)formula 0,1,0.73242,23452,1,0,7,100733,24,1,5451,70659,12
FORMULA NoC3x3-PT-4A-CTLFireability-01 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Formula is TRUE !
***************************************
Graph (trivial) has 125 edges and 286 vertex of which 66 / 286 are part of one of the 29 SCC in 1 ms
Free SCC test removed 37 places
Ensure Unique test removed 73 transitions
Reduce isomorphic transitions removed 73 transitions.
Graph (complete) has 807 edges and 249 vertex of which 240 are kept as prefixes of interest. Removing 9 places using SCC suffix rule.2 ms
Discarding 9 places :
Also discarding 0 output transitions
Discarding 47 places :
Symmetric choice reduction at 0 with 47 rule applications. Total rules 49 place count 193 transition count 254
Iterating global reduction 0 with 47 rules applied. Total rules applied 96 place count 193 transition count 254
Applied a total of 96 rules in 20 ms. Remains 193 /286 variables (removed 93) and now considering 254/374 (removed 120) transitions.
[2021-05-14 01:53:24] [INFO ] Flatten gal took : 9 ms
[2021-05-14 01:53:24] [INFO ] Flatten gal took : 11 ms
[2021-05-14 01:53:24] [INFO ] Input system was already deterministic with 254 transitions.
[2021-05-14 01:53:24] [INFO ] Flatten gal took : 13 ms
[2021-05-14 01:53:24] [INFO ] Flatten gal took : 10 ms
[2021-05-14 01:53:24] [INFO ] Time to serialize gal into /tmp/CTLFireability7833531948774654166.gal : 2 ms
[2021-05-14 01:53:24] [INFO ] Time to serialize properties into /tmp/CTLFireability43403680826537376.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/CTLFireability7833531948774654166.gal, -t, CGAL, -ctl, /tmp/CTLFireability43403680826537376.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/CTLFireability7833531948774654166.gal -t CGAL -ctl /tmp/CTLFireability43403680826537376.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,5.85119e+25,0.371439,16860,2,521,5,67169,6,0,983,62331,0
Converting to forward existential form...Done !
original formula: EF(AG(((((((p288==1)||(p196==1))||(p266==1))||(p267==1))||((p172==1)&&(p289==1)))||((p91==1)&&(p108==1)))))
=> equivalent forward existential formula: [(FwdU(Init,TRUE) * !(E(TRUE U !(((((((p288==1)||(p196==1))||(p266==1))||(p267==1))||((p172==1)&&(p289==1)))||((p91==1)&&(p108==1)))))))] != FALSE
Reverse transition relation is exact ! Faster fixpoint algorithm enabled.
(forward)formula 0,0,0.476547,16860,1,0,6,67169,15,0,4750,62331,5
FORMULA NoC3x3-PT-4A-CTLFireability-03 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Formula is FALSE !
***************************************
Graph (trivial) has 93 edges and 286 vertex of which 45 / 286 are part of one of the 20 SCC in 1 ms
Free SCC test removed 25 places
Ensure Unique test removed 50 transitions
Reduce isomorphic transitions removed 50 transitions.
Graph (complete) has 830 edges and 261 vertex of which 252 are kept as prefixes of interest. Removing 9 places using SCC suffix rule.2 ms
Discarding 9 places :
Also discarding 0 output transitions
Discarding 45 places :
Symmetric choice reduction at 0 with 45 rule applications. Total rules 47 place count 207 transition count 279
Iterating global reduction 0 with 45 rules applied. Total rules applied 92 place count 207 transition count 279
Applied a total of 92 rules in 16 ms. Remains 207 /286 variables (removed 79) and now considering 279/374 (removed 95) transitions.
[2021-05-14 01:53:25] [INFO ] Flatten gal took : 10 ms
[2021-05-14 01:53:25] [INFO ] Flatten gal took : 10 ms
[2021-05-14 01:53:25] [INFO ] Input system was already deterministic with 279 transitions.
[2021-05-14 01:53:25] [INFO ] Flatten gal took : 10 ms
[2021-05-14 01:53:25] [INFO ] Flatten gal took : 10 ms
[2021-05-14 01:53:25] [INFO ] Time to serialize gal into /tmp/CTLFireability16540988099119174830.gal : 1 ms
[2021-05-14 01:53:25] [INFO ] Time to serialize properties into /tmp/CTLFireability13481865812713238126.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/CTLFireability16540988099119174830.gal, -t, CGAL, -ctl, /tmp/CTLFireability13481865812713238126.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/CTLFireability16540988099119174830.gal -t CGAL -ctl /tmp/CTLFireability13481865812713238126.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,2.5913e+28,0.387386,18912,2,561,5,73346,6,0,1079,77239,0
Converting to forward existential form...Done !
original formula: E(EG((!(EF((((((((p263==1)||((p208==1)&&(p223==1)))||((p90==1)&&(p117==1)))||(p291==1))||((p52==1)&&(p71==1)))||(p170==1))||(p108==1)))) + (((((((p17==0)&&(p54==0))&&(p75==0))&&((p146==0)||(p160==0)))&&((p214==0)||(p229==0)))&&((p137==0)||(p160==0)))&&((p212==0)||(p262==0))))) U ((((p160==1)||(p113==1))||(p198==1))||((p76==1)&&(p188==1))))
=> equivalent forward existential formula: [(FwdU(Init,EG((!(E(TRUE U (((((((p263==1)||((p208==1)&&(p223==1)))||((p90==1)&&(p117==1)))||(p291==1))||((p52==1)&&(p71==1)))||(p170==1))||(p108==1)))) + (((((((p17==0)&&(p54==0))&&(p75==0))&&((p146==0)||(p160==0)))&&((p214==0)||(p229==0)))&&((p137==0)||(p160==0)))&&((p212==0)||(p262==0)))))) * ((((p160==1)||(p113==1))||(p198==1))||((p76==1)&&(p188==1))))] != FALSE
Reverse transition relation is exact ! Faster fixpoint algorithm enabled.
Using saturation style SCC detection
Detected timeout of ITS tools.
[2021-05-14 01:53:55] [INFO ] Flatten gal took : 10 ms
[2021-05-14 01:53:55] [INFO ] Applying decomposition
[2021-05-14 01:53:55] [INFO ] Flatten gal took : 13 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/graph12941461010261601709.txt, -o, /tmp/graph12941461010261601709.bin, -w, /tmp/graph12941461010261601709.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/graph12941461010261601709.bin, -l, -1, -v, -w, /tmp/graph12941461010261601709.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-14 01:53:55] [INFO ] Decomposing Gal with order
[2021-05-14 01:53:55] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-14 01:53:55] [INFO ] Removed a total of 58 redundant transitions.
[2021-05-14 01:53:55] [INFO ] Flatten gal took : 19 ms
[2021-05-14 01:53:55] [INFO ] Fuse similar labels procedure discarded/fused a total of 16 labels/synchronizations in 3 ms.
[2021-05-14 01:53:55] [INFO ] Time to serialize gal into /tmp/CTLFireability13100035813017292244.gal : 3 ms
[2021-05-14 01:53:55] [INFO ] Time to serialize properties into /tmp/CTLFireability16356094764094058455.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/CTLFireability13100035813017292244.gal, -t, CGAL, -ctl, /tmp/CTLFireability16356094764094058455.ctl], 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/CTLFireability13100035813017292244.gal -t CGAL -ctl /tmp/CTLFireability16356094764094058455.ctl
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,2.5913e+28,0.131752,9236,158,63,10374,776,545,11641,115,3465,0
Converting to forward existential form...Done !
original formula: E(EG((!(EF((((((((i7.u42.p263==1)||((i6.u34.p208==1)&&(i6.u34.p223==1)))||((i3.u15.p90==1)&&(i3.u19.p117==1)))||(i8.u47.p291==1))||((i1.u8.p52==1)&&(i2.u11.p71==1)))||(i4.u26.p170==1))||(i3.u16.p108==1)))) + (((((((i0.u3.p17==0)&&(i1.u9.p54==0))&&(i2.u12.p75==0))&&((i4.u21.p146==0)||(i4.u23.p160==0)))&&((i6.u33.p214==0)||(i6.u36.p229==0)))&&((i4.u22.p137==0)||(i4.u23.p160==0)))&&((i6.u36.p212==0)||(i7.u41.p262==0))))) U ((((i4.u23.p160==1)||(i3.u18.p113==1))||(i5.u31.p198==1))||((i2.u12.p76==1)&&(i5.u30.p188==1))))
=> equivalent forward existential formula: [(FwdU(Init,EG((!(E(TRUE U (((((((i7.u42.p263==1)||((i6.u34.p208==1)&&(i6.u34.p223==1)))||((i3.u15.p90==1)&&(i3.u19.p117==1)))||(i8.u47.p291==1))||((i1.u8.p52==1)&&(i2.u11.p71==1)))||(i4.u26.p170==1))||(i3.u16.p108==1)))) + (((((((i0.u3.p17==0)&&(i1.u9.p54==0))&&(i2.u12.p75==0))&&((i4.u21.p146==0)||(i4.u23.p160==0)))&&((i6.u33.p214==0)||(i6.u36.p229==0)))&&((i4.u22.p137==0)||(i4.u23.p160==0)))&&((i6.u36.p212==0)||(i7.u41.p262==0)))))) * ((((i4.u23.p160==1)||(i3.u18.p113==1))||(i5.u31.p198==1))||((i2.u12.p76==1)&&(i5.u30.p188==1))))] != FALSE
Reverse transition relation is exact ! Faster fixpoint algorithm enabled.
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Fast SCC detection found an SCC at level 1
Fast SCC detection found an SCC at level 2
Fast SCC detection found an SCC at level 3
Fast SCC detection found an SCC at level 4
Fast SCC detection found an SCC at level 5
Fast SCC detection found an SCC at level 6
Fast SCC detection found an SCC at level 7
Fast SCC detection found an SCC at level 8
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Fast SCC detection found an SCC at level 1
Fast SCC detection found an SCC at level 2
Fast SCC detection found an SCC at level 3
Fast SCC detection found an SCC at level 4
Fast SCC detection found an SCC at level 5
Fast SCC detection found an SCC at level 6
Fast SCC detection found an SCC at level 7
Fast SCC detection found an SCC at level 8
Detected timeout of ITS tools.
[2021-05-14 01:54:25] [INFO ] Flatten gal took : 17 ms
[2021-05-14 01:54:25] [INFO ] Flatten gal took : 16 ms
[2021-05-14 01:54:25] [INFO ] Applying decomposition
[2021-05-14 01:54:25] [INFO ] Flatten gal took : 21 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/graph16966044953880637411.txt, -o, /tmp/graph16966044953880637411.bin, -w, /tmp/graph16966044953880637411.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/graph16966044953880637411.bin, -l, -1, -v, -w, /tmp/graph16966044953880637411.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-14 01:54:29] [INFO ] Decomposing Gal with order
[2021-05-14 01:54:29] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-14 01:54:29] [INFO ] Removed a total of 65 redundant transitions.
[2021-05-14 01:54:29] [INFO ] Flatten gal took : 39 ms
[2021-05-14 01:54:29] [INFO ] Fuse similar labels procedure discarded/fused a total of 16 labels/synchronizations in 13 ms.
[2021-05-14 01:54:29] [INFO ] Time to serialize gal into /tmp/CTLFireability4371249045199472387.gal : 3 ms
[2021-05-14 01:54:29] [INFO ] Time to serialize properties into /tmp/CTLFireability11328308070573530054.ctl : 5 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/CTLFireability4371249045199472387.gal, -t, CGAL, -ctl, /tmp/CTLFireability11328308070573530054.ctl], 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/CTLFireability4371249045199472387.gal -t CGAL -ctl /tmp/CTLFireability11328308070573530054.ctl
No direction supplied, using forward translation only.
Parsed 13 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,2.41507e+36,1057.2,6325856,36639,1230,1.00828e+07,56692,891,1.85763e+07,273,589120,0
Converting to forward existential form...Done !
original formula: AG(((E(E((((((((i5.u10.p81==1)||((i2.u6.p28==1)&&(i9.u18.p167==1)))||((i12.u27.p212==1)&&(i12.u25.p223==1)))||((u13.p86==1)&&(i7.u12.p111==1)))||((i7.u12.p137==1)&&(i9.u18.p166==1)))||(i3.u23.p204==1))&&(((((((u0.p155==1)&&(i6.u17.p162==1))||((i14.i0.u29.p269==1)&&(i10.u35.p291==1)))||(i9.u7.p56==1))||((i9.u18.p23==1)&&(i4.u4.p48==1)))||((i7.u1.p16==1)&&(i7.u1.p102==1)))||(i7.u1.p14==1))) U A(((i6.u11.p101==1)&&(i6.u11.p107==1)) U (((i7.u14.p89==1)&&(i7.u14.p116==1))||(i12.u27.p230==1)))) U (((((((((((E((((((((i11.u30.p261==1)||(i2.u2.p17==1))||(i9.u18.p165==1))||((i12.u24.p214==1)&&(i12.u27.p229==1)))||((i14.i1.u28.p244==1)&&(i1.u31.p263==1)))||((i14.i0.u29.p259==1)&&(i10.u35.p274==1)))||((i7.u12.p94==1)&&(i7.u12.p110==1))) U (((((i3.u8.p61==1)&&(i3.u8.p74==1))||((i2.u2.p2==1)&&(i2.u2.p18==1)))||((i6.u11.p91==1)&&(i6.u17.p164==1)))||((i13.u21.p128==1)&&(i1.u19.p169==1)))) + (i11.u30.p260==1)) + (i2.u2.p18==1)) + ((i4.u9.p68==1)&&(i4.u9.p77==1))) + (i2.u6.p54==1)) + ((i12.u24.p214==1)&&(i12.u26.p226==1))) + (i3.u22.p202==1)) + (i3.u8.p75==1)) + (i1.u31.p264==1)) + (i11.u15.p156==1)) + ((i7.u1.p10==1)&&(i7.u1.p14==1))) + (i3.u8.p74==0))) + ((i3.u23.p205==0)&&((u0.p106==0)||(u13.p113==0)))) + (AG((((((((i12.u27.p212==1)&&(i12.u25.p223==1))||(i10.u20.p196==1))||((i14.i1.u32.p239==1)&&(i14.i1.u32.p266==1)))||((i1.u31.p119==1)&&(i9.u18.p166==1)))||((i2.u6.p6==1)&&(i7.u1.p15==1)))&&(((((u0.p0==1)||((i13.u16.p161==1)&&(i13.u16.p181==1)))||((i2.u3.p11==1)&&(i2.u6.p55==1)))||((i11.u30.p234==1)&&(i14.i0.u29.p258==1)))||((i14.i0.u33.p231==1)&&(i14.i0.u29.p258==1))))) * (((((((((i12.u27.p229==1) + E(AG(((((((i4.u9.p34==1)&&(i4.u4.p47==1))||((i11.u15.p158==1)&&(i14.i1.u32.p254==1)))||((u0.p155==1)&&(i11.u15.p156==1)))||(i1.u19.p170==1))||(i3.u23.p204==1))) U (((((((((((((i7.u14.p89==1)&&(i7.u14.p116==1))||(i5.u10.p80==1))||((i1.u31.p119==1)&&(i13.u16.p160==1)))||((i7.u1.p105==1)&&(i7.u14.p116==1)))||((i14.i1.u28.p240==1)&&(i14.i1.u32.p267==1)))||(i10.u34.p288==1))||((i7.u1.p99==1)&&(i6.u11.p108==1)))||(i9.u18.p165==1))||(i6.u11.p108==1))||((i7.u12.p112==1)&&(i7.u12.p142==1)))&&(i5.u5.p50==1)) + AX((((((((i12.u26.p210==1)&&(i11.u30.p262==1))||((i4.u9.p35==1)&&(i4.u9.p79==1)))||((i1.u19.p154==1)&&(i1.u19.p168==1)))||((i4.u4.p146==1)&&(i6.u17.p163==1)))||((u0.p221==1)&&(i12.u25.p222==1)))||(i11.u15.p157==1)))))) + ((i4.u9.p35==1)&&(i4.u9.p79==1))) + ((u0.p46==1)&&(i4.u4.p47==1))) + ((i3.u23.p193==1)&&(i3.u23.p204==1))) + ((i12.u24.p216==1)&&(i12.u25.p222==1))) + ((i10.u20.p197==1)&&(i10.u20.p277==1))) + ((i9.u18.p23==1)&&(i4.u4.p48==1))) + ((u0.p194==1)&&(i13.u21.p198==1))))))
Detected timeout of ITS tools.
=> equivalent forward existential formula: ([(FwdU((FwdU(Init,TRUE) * !((E(E((((((((i5.u10.p81==1)||((i2.u6.p28==1)&&(i9.u18.p167==1)))||((i12.u27.p212==1)&&(i12.u25.p223==1)))||((u13.p86==1)&&(i7.u12.p111==1)))||((i7.u12.p137==1)&&(i9.u18.p166==1)))||(i3.u23.p204==1))&&(((((((u0.p155==1)&&(i6.u17.p162==1))||((i14.i0.u29.p269==1)&&(i10.u35.p291==1)))||(i9.u7.p56==1))||((i9.u18.p23==1)&&(i4.u4.p48==1)))||((i7.u1.p16==1)&&(i7.u1.p102==1)))||(i7.u1.p14==1))) U !((E(!((((i7.u14.p89==1)&&(i7.u14.p116==1))||(i12.u27.p230==1))) U (!(((i6.u11.p101==1)&&(i6.u11.p107==1))) * !((((i7.u14.p89==1)&&(i7.u14.p116==1))||(i12.u27.p230==1))))) + EG(!((((i7.u14.p89==1)&&(i7.u14.p116==1))||(i12.u27.p230==1))))))) U (((((((((((E((((((((i11.u30.p261==1)||(i2.u2.p17==1))||(i9.u18.p165==1))||((i12.u24.p214==1)&&(i12.u27.p229==1)))||((i14.i1.u28.p244==1)&&(i1.u31.p263==1)))||((i14.i0.u29.p259==1)&&(i10.u35.p274==1)))||((i7.u12.p94==1)&&(i7.u12.p110==1))) U (((((i3.u8.p61==1)&&(i3.u8.p74==1))||((i2.u2.p2==1)&&(i2.u2.p18==1)))||((i6.u11.p91==1)&&(i6.u17.p164==1)))||((i13.u21.p128==1)&&(i1.u19.p169==1)))) + (i11.u30.p260==1)) + (i2.u2.p18==1)) + ((i4.u9.p68==1)&&(i4.u9.p77==1))) + (i2.u6.p54==1)) + ((i12.u24.p214==1)&&(i12.u26.p226==1))) + (i3.u22.p202==1)) + (i3.u8.p75==1)) + (i1.u31.p264==1)) + (i11.u15.p156==1)) + ((i7.u1.p10==1)&&(i7.u1.p14==1))) + (i3.u8.p74==0))) + ((i3.u23.p205==0)&&((u0.p106==0)||(u13.p113==0)))))),TRUE) * !((((((((i12.u27.p212==1)&&(i12.u25.p223==1
java.io.IOException: Stream closed
at java.base/java.io.BufferedInputStream.getBufIfOpen(BufferedInputStream.java:176)
at java.base/java.io.BufferedInputStream.read(BufferedInputStream.java:342)
at java.base/sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284)
at java.base/sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326)
at java.base/sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178)
at java.base/java.io.InputStreamReader.read(InputStreamReader.java:185)
at java.base/java.io.BufferedReader.fill(BufferedReader.java:161)
at java.base/java.io.BufferedReader.readLine(BufferedReader.java:326)
at java.base/java.io.BufferedReader.readLine(BufferedReader.java:392)
at fr.lip6.move.gal.application.ITSRunner$ITSInterpreter.run(ITSRunner.java:182)
at java.base/java.lang.Thread.run(Thread.java:834)
[2021-05-14 02:15:01] [INFO ] Applying decomposition
[2021-05-14 02:15:01] [INFO ] Flatten gal took : 16 ms
[2021-05-14 02:15:01] [INFO ] Decomposing Gal with order
[2021-05-14 02:15:01] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-14 02:15:01] [INFO ] Removed a total of 143 redundant transitions.
[2021-05-14 02:15:01] [INFO ] Flatten gal took : 65 ms
[2021-05-14 02:15:01] [INFO ] Fuse similar labels procedure discarded/fused a total of 71 labels/synchronizations in 5 ms.
[2021-05-14 02:15:01] [INFO ] Time to serialize gal into /tmp/CTLFireability930648480178903028.gal : 3 ms
[2021-05-14 02:15:01] [INFO ] Time to serialize properties into /tmp/CTLFireability18401924949790541082.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/CTLFireability930648480178903028.gal, -t, CGAL, -ctl, /tmp/CTLFireability18401924949790541082.ctl], 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/CTLFireability930648480178903028.gal -t CGAL -ctl /tmp/CTLFireability18401924949790541082.ctl
No direction supplied, using forward translation only.
Parsed 13 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,2.41507e+36,78.8909,1818024,4595,110,3.30692e+06,1165,641,7.7425e+06,79,15926,0
Converting to forward existential form...Done !
original formula: AG(((E(E((((((((u20.p81==1)||((u7.p28==1)&&(u37.p167==1)))||((u47.p212==1)&&(u50.p223==1)))||((u21.p86==1)&&(u26.p111==1)))||((u31.p137==1)&&(u37.p166==1)))||(u46.p204==1))&&(((((((u33.p155==1)&&(u36.p162==1))||((u61.p269==1)&&(u66.p291==1)))||(u14.p56==1))||((u7.p23==1)&&(u11.p48==1)))||((u4.p16==1)&&(u23.p102==1)))||(u4.p14==1))) U A(((u23.p101==1)&&(u25.p107==1)) U (((u21.p89==1)&&(u28.p116==1))||(u52.p230==1)))) U (((((((((((E((((((((u58.p261==1)||(u5.p17==1))||(u37.p165==1))||((u48.p214==1)&&(u52.p229==1)))||((u54.p244==1)&&(u59.p263==1)))||((u57.p259==1)&&(u61.p274==1)))||((u22.p94==1)&&(u26.p110==1))) U (((((u15.p61==1)&&(u18.p74==1))||((u1.p2==1)&&(u5.p18==1)))||((u22.p91==1)&&(u36.p164==1)))||((u30.p128==1)&&(u38.p169==1)))) + (u58.p260==1)) + (u5.p18==1)) + ((u16.p68==1)&&(u19.p77==1))) + (u13.p54==1)) + ((u48.p214==1)&&(u51.p226==1))) + (u45.p202==1)) + (u18.p75==1)) + (u59.p264==1)) + (u34.p156==1)) + ((u2.p10==1)&&(u4.p14==1))) + (u18.p74==0))) + ((u46.p205==0)&&((u24.p106==0)||(u27.p113==0)))) + (AG((((((((u47.p212==1)&&(u50.p223==1))||(u43.p196==1))||((u53.p239==1)&&(u60.p266==1)))||((u29.p119==1)&&(u37.p166==1)))||((u2.p6==1)&&(u4.p15==1)))&&(((((u67.p0==1)||((u35.p161==1)&&(u40.p181==1)))||((u2.p11==1)&&(u13.p55==1)))||((u53.p234==1)&&(u57.p258==1)))||((u53.p231==1)&&(u57.p258==1))))) * (((((((((u52.p229==1) + E(AG(((((((u8.p34==1)&&(u11.p47==1))||((u34.p158==1)&&(u55.p254==1)))||((u33.p155==1)&&(u34.p156==1)))||(u38.p170==1))||(u46.p204==1))) U (((((((((((((u21.p89==1)&&(u28.p116==1))||(u20.p80==1))||((u29.p119==1)&&(u35.p160==1)))||((u23.p105==1)&&(u28.p116==1)))||((u54.p240==1)&&(u60.p267==1)))||(u65.p288==1))||((u23.p99==1)&&(u25.p108==1)))||(u37.p165==1))||(u25.p108==1))||((u26.p112==1)&&(u31.p142==1)))&&(u12.p50==1)) + AX((((((((u47.p210==1)&&(u58.p262==1))||((u8.p35==1)&&(u19.p79==1)))||((u32.p154==1)&&(u38.p168==1)))||((u32.p146==1)&&(u36.p163==1)))||((u49.p221==1)&&(u50.p222==1)))||(u34.p157==1)))))) + ((u8.p35==1)&&(u19.p79==1))) + ((u10.p46==1)&&(u11.p47==1))) + ((u41.p193==1)&&(u46.p204==1))) + ((u48.p216==1)&&(u50.p222==1))) + ((u43.p197==1)&&(u62.p277==1))) + ((u7.p23==1)&&(u11.p48==1))) + ((u42.p194==1)&&(u44.p198==1))))))
=> equivalent forward existential formula: ([(FwdU((FwdU(Init,TRUE) * !((E(E((((((((u20.p81==1)||((u7.p28==1)&&(u37.p167==1)))||((u47.p212==1)&&(u50.p223==1)))||((u21.p86==1)&&(u26.p111==1)))||((u31.p137==1)&&(u37.p166==1)))||(u46.p204==1))&&(((((((u33.p155==1)&&(u36.p162==1))||((u61.p269==1)&&(u66.p291==1)))||(u14.p56==1))||((u7.p23==1)&&(u11.p48==1)))||((u4.p16==1)&&(u23.p102==1)))||(u4.p14==1))) U !((E(!((((u21.p89==1)&&(u28.p116==1))||(u52.p230==1))) U (!(((u23.p101==1)&&(u25.p107==1))) * !((((u21.p89==1)&&(u28.p116==1))||(u52.p230==1))))) + EG(!((((u21.p89==1)&&(u28.p116==1))||(u52.p230==1))))))) U (((((((((((E((((((((u58.p261==1)||(u5.p17==1))||(u37.p165==1))||((u48.p214==1)&&(u52.p229==1)))||((u54.p244==1)&&(u59.p263==1)))||((u57.p259==1)&&(u61.p274==1)))||((u22.p94==1)&&(u26.p110==1))) U (((((u15.p61==1)&&(u18.p74==1))||((u1.p2==1)&&(u5.p18==1)))||((u22.p91==1)&&(u36.p164==1)))||((u30.p128==1)&&(u38.p169==1)))) + (u58.p260==1)) + (u5.p18==1)) + ((u16.p68==1)&&(u19.p77==1))) + (u13.p54==1)) + ((u48.p214==1)&&(u51.p226==1))) + (u45.p202==1)) + (u18.p75==1)) + (u59.p264==1)) + (u34.p156==1)) + ((u2.p10==1)&&(u4.p14==1))) + (u18.p74==0))) + ((u46.p205==0)&&((u24.p106==0)||(u27.p113==0)))))),TRUE) * !((((((((u47.p212==1)&&(u50.p223==1))||(u43.p196==1))||((u53.p239==1)&&(u60.p266==1)))||((u29.p119==1)&&(u37.p166==1)))||((u2.p6==1)&&(u4.p15==1)))&&(((((u67.p0==1)||((u35.p161==1)&&(u40.p181==1)))||((u2.p11==1)&&(u13.p55==1)))||((u53.p234==1)&&(u57.p258==1)))||((u53.p231==1)&&(u57.p258==1))))))] = FALSE * [((((((((((FwdU(Init,TRUE) * !((E(E((((((((u20.p81==1)||((u7.p28==1)&&(u37.p167==1)))||((u47.p212==1)&&(u50.p223==1)))||((u21.p86==1)&&(u26.p111==1)))||((u31.p137==1)&&(u37.p166==1)))||(u46.p204==1))&&(((((((u33.p155==1)&&(u36.p162==1))||((u61.p269==1)&&(u66.p291==1)))||(u14.p56==1))||((u7.p23==1)&&(u11.p48==1)))||((u4.p16==1)&&(u23.p102==1)))||(u4.p14==1))) U !((E(!((((u21.p89==1)&&(u28.p116==1))||(u52.p230==1))) U (!(((u23.p101==1)&&(u25.p107==1))) * !((((u21.p89==1)&&(u28.p116==1))||(u52.p230==1))))) + EG(!((((u21.p89==1)&&(u28.p116==1))||(u52.p230==1))))))) U (((((((((((E((((((((u58.p261==1)||(u5.p17==1))||(u37.p165==1))||((u48.p214==1)&&(u52.p229==1)))||((u54.p244==1)&&(u59.p263==1)))||((u57.p259==1)&&(u61.p274==1)))||((u22.p94==1)&&(u26.p110==1))) U (((((u15.p61==1)&&(u18.p74==1))||((u1.p2==1)&&(u5.p18==1)))||((u22.p91==1)&&(u36.p164==1)))||((u30.p128==1)&&(u38.p169==1)))) + (u58.p260==1)) + (u5.p18==1)) + ((u16.p68==1)&&(u19.p77==1))) + (u13.p54==1)) + ((u48.p214==1)&&(u51.p226==1))) + (u45.p202==1)) + (u18.p75==1)) + (u59.p264==1)) + (u34.p156==1)) + ((u2.p10==1)&&(u4.p14==1))) + (u18.p74==0))) + ((u46.p205==0)&&((u24.p106==0)||(u27.p113==0)))))) * !(((u42.p194==1)&&(u44.p198==1)))) * !(((u7.p23==1)&&(u11.p48==1)))) * !(((u43.p197==1)&&(u62.p277==1)))) * !(((u48.p216==1)&&(u50.p222==1)))) * !(((u41.p193==1)&&(u46.p204==1)))) * !(((u10.p46==1)&&(u11.p47==1)))) * !(((u8.p35==1)&&(u19.p79==1)))) * !((u52.p229==1))) * !(E(!(E(TRUE U !(((((((u8.p34==1)&&(u11.p47==1))||((u34.p158==1)&&(u55.p254==1)))||((u33.p155==1)&&(u34.p156==1)))||(u38.p170==1))||(u46.p204==1))))) U (((((((((((((u21.p89==1)&&(u28.p116==1))||(u20.p80==1))||((u29.p119==1)&&(u35.p160==1)))||((u23.p105==1)&&(u28.p116==1)))||((u54.p240==1)&&(u60.p267==1)))||(u65.p288==1))||((u23.p99==1)&&(u25.p108==1)))||(u37.p165==1))||(u25.p108==1))||((u26.p112==1)&&(u31.p142==1)))&&(u12.p50==1)) + !(EX(!((((((((u47.p210==1)&&(u58.p262==1))||((u8.p35==1)&&(u19.p79==1)))||((u32.p154==1)&&(u38.p168==1)))||((u32.p146==1)&&(u36.p163==1)))||((u49.p221==1)&&(u50.p222==1)))||(u34.p157==1)))))))))] = FALSE)
Reverse transition relation is NOT exact ! Due to transitions t50, t51, t70, t71, t102, t103, t104, t130, t131, t132, t143, t144, t145, t161, t162, t163, t177, t178, t193, t194, t214, t215, t225, t226, t227, t236, t237, t249, t250, t268, t269, t283, t284, t285, t296, t297, t298, t306, t307, t316, t329, t340, t341, t342, t353, t354, t355, t369, t370, u4.t209, u4.t211, u5.t205, u5.t206, u11.t198, u11.t199, u12.t228, u12.t230, u13.t191, u13.t192, u18.t241, u18.t243, u19.t175, u19.t176, u26.t261, u26.t263, u27.t159, u27.t160, u34.t277, u34.t279, u35.t141, u35.t142, u36.t286, u36.t288, u37.t128, u37.t129, u43.t113, u43.t114, u44.t308, u44.t310, u45.t100, u45.t101, u51.t86, u51.t87, u57.t78, u57.t79, u58.t343, u58.t345, u59.t68, u59.t69, u64.t362, u64.t364, u65.t48, u65.t49, Intersection with reachable at each step enabled. (destroyed/reverse/intersect/total) :0/232/93/325
Using saturation style SCC detection
Fast SCC detection found a local SCC at level 1
Fast SCC detection found an SCC at level 2
Fast SCC detection found an SCC at level 3
Fast SCC detection found an SCC at level 4
Fast SCC detection found an SCC at level 5
Fast SCC detection found an SCC at level 6
Fast SCC detection found an SCC at level 7
Fast SCC detection found an SCC at level 8
Fast SCC detection found an SCC at level 9
Fast SCC detection found an SCC at level 10
Fast SCC detection found an SCC at level 11
Fast SCC detection found an SCC at level 12
Fast SCC detection found an SCC at level 13
Fast SCC detection found an SCC at level 14
Fast SCC detection found an SCC at level 15
Fast SCC detection found an SCC at level 16
Fast SCC detection found an SCC at level 17
Fast SCC detection found an SCC at level 18
Fast SCC detection found an SCC at level 19
Fast SCC detection found an SCC at level 20
Fast SCC detection found an SCC at level 21
Fast SCC detection found an SCC at level 22
Fast SCC detection found an SCC at level 23
Fast SCC detection found an SCC at level 24
Fast SCC detection found an SCC at level 25
Fast SCC detection found an SCC at level 26
Fast SCC detection found an SCC at level 27
Fast SCC detection found an SCC at level 28
Fast SCC detection found an SCC at level 34
Fast SCC detection found an SCC at level 40
Fast SCC detection found an SCC at level 41
Fast SCC detection found an SCC at level 42
Fast SCC detection found an SCC at level 43
Fast SCC detection found an SCC at level 44
Fast SCC detection found an SCC at level 45
Fast SCC detection found an SCC at level 46
Fast SCC detection found an SCC at level 47
Fast SCC detection found an SCC at level 48
Fast SCC detection found an SCC at level 49
Fast SCC detection found an SCC at level 50
Fast SCC detection found an SCC at level 51
Fast SCC detection found an SCC at level 52
Fast SCC detection found an SCC at level 53
Fast SCC detection found an SCC at level 54
Fast SCC detection found an SCC at level 55
Fast SCC detection found an SCC at level 56
Fast SCC detection found an SCC at level 57
Fast SCC detection found an SCC at level 58
Fast SCC detection found an SCC at level 59
Fast SCC detection found an SCC at level 60
Fast SCC detection found an SCC at level 61
Fast SCC detection found an SCC at level 62
Fast SCC detection found an SCC at level 63
Fast SCC detection found an SCC at level 64
Fast SCC detection found an SCC at level 65
Fast SCC detection found an SCC at level 66
Detected timeout of ITS tools.
[2021-05-14 02:35:37] [INFO ] Flatten gal took : 111 ms
[2021-05-14 02:35:37] [INFO ] Input system was already deterministic with 374 transitions.
[2021-05-14 02:35:37] [INFO ] Transformed 286 places.
[2021-05-14 02:35:37] [INFO ] Transformed 374 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-14 02:35:37] [INFO ] Time to serialize gal into /tmp/CTLFireability12816858071601320875.gal : 7 ms
[2021-05-14 02:35:37] [INFO ] Time to serialize properties into /tmp/CTLFireability5873496246478553472.ctl : 7 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/CTLFireability12816858071601320875.gal, -t, CGAL, -ctl, /tmp/CTLFireability5873496246478553472.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/CTLFireability12816858071601320875.gal -t CGAL -ctl /tmp/CTLFireability5873496246478553472.ctl --load-order /home/mcc/execution/model.ord --gen-order FOLLOW
Successfully loaded order from file /home/mcc/execution/model.ord
No direction supplied, using forward translation only.
Parsed 13 CTL formulae.
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
+ [[ CTLFireability = StateSpace ]]
+ /home/mcc/BenchKit/bin//..//runeclipse.sh /home/mcc/execution CTLFireability -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ [[ -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 CTLFireability -spotpath /home/mcc/BenchKit/bin//..//ltlfilt -z3path /home/mcc/BenchKit/bin//..//z3/bin/z3 -yices2path /home/mcc/BenchKit/bin//..//yices/bin/yices -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600 -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=/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="NoC3x3-PT-4A"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool itstools"
echo " Input is NoC3x3-PT-4A, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r140-tall-162089127600274"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/NoC3x3-PT-4A.tgz
mv NoC3x3-PT-4A execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;