About the Execution of ITS-Tools for Echo-PT-d03r07
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16246.747 | 3600000.00 | 2440542.00 | 707576.50 | F?F?FFFFFFFFFF?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.r083-tall-162048875700653.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 Echo-PT-d03r07, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r083-tall-162048875700653
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.6M
-rw-r--r-- 1 mcc users 13K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 107K May 5 16:58 CTLCardinality.xml
-rw-r--r-- 1 mcc users 13K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 121K May 5 16:58 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.9K May 6 14:48 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.0K Mar 28 16:07 LTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 28 16:07 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Mar 28 16:07 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 28 16:07 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Mar 23 10:42 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 23 10:42 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 22 18:43 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Mar 22 18:43 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 22 09:11 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 22 09:11 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 5 16:51 equiv_col
-rw-r--r-- 1 mcc users 7 May 5 16:51 instance
-rw-r--r-- 1 mcc users 6 May 5 16:51 iscolored
-rw-r--r-- 1 mcc users 2.2M 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 Echo-PT-d03r07-00
FORMULA_NAME Echo-PT-d03r07-01
FORMULA_NAME Echo-PT-d03r07-02
FORMULA_NAME Echo-PT-d03r07-03
FORMULA_NAME Echo-PT-d03r07-04
FORMULA_NAME Echo-PT-d03r07-05
FORMULA_NAME Echo-PT-d03r07-06
FORMULA_NAME Echo-PT-d03r07-07
FORMULA_NAME Echo-PT-d03r07-08
FORMULA_NAME Echo-PT-d03r07-09
FORMULA_NAME Echo-PT-d03r07-10
FORMULA_NAME Echo-PT-d03r07-11
FORMULA_NAME Echo-PT-d03r07-12
FORMULA_NAME Echo-PT-d03r07-13
FORMULA_NAME Echo-PT-d03r07-14
FORMULA_NAME Echo-PT-d03r07-15
=== Now, execution of the tool begins
BK_START 1620649552184
Running Version 0
[2021-05-10 12:26:11] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, LTLFireability, -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-10 12:26:11] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-10 12:26:12] [INFO ] Load time of PNML (sax parser for PT used): 324 ms
[2021-05-10 12:26:12] [INFO ] Transformed 4209 places.
[2021-05-10 12:26:12] [INFO ] Transformed 3518 transitions.
[2021-05-10 12:26:12] [INFO ] Found NUPN structural information;
[2021-05-10 12:26:12] [INFO ] Parsed PT model containing 4209 places and 3518 transitions in 420 ms.
Parsed 16 properties from file /home/mcc/execution/LTLFireability.xml in 10 ms.
Working with output stream class java.io.PrintStream
[2021-05-10 12:26:12] [INFO ] Initial state test concluded for 3 properties.
FORMULA Echo-PT-d03r07-12 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Support contains 125 out of 4209 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 4209/4209 places, 3518/3518 transitions.
Reduce places removed 343 places and 0 transitions.
Iterating post reduction 0 with 343 rules applied. Total rules applied 343 place count 3866 transition count 3518
Applied a total of 343 rules in 464 ms. Remains 3866 /4209 variables (removed 343) and now considering 3518/3518 (removed 0) transitions.
// Phase 1: matrix 3518 rows 3866 cols
[2021-05-10 12:26:20] [INFO ] Invariants computation overflowed in 7886 ms
[2021-05-10 12:26:40] [INFO ] Implicit Places using invariants in 27933 ms returned []
// Phase 1: matrix 3518 rows 3866 cols
[2021-05-10 12:26:48] [INFO ] Invariants computation overflowed in 7601 ms
[2021-05-10 12:26:49] [INFO ] Implicit Places using invariants and state equation in 8545 ms returned []
Implicit Place search using SMT with State Equation took 36514 ms to find 0 implicit places.
// Phase 1: matrix 3518 rows 3866 cols
[2021-05-10 12:26:56] [INFO ] Invariants computation overflowed in 7243 ms
[2021-05-10 12:26:57] [INFO ] Dead Transitions using invariants and state equation in 7802 ms returned []
Finished structural reductions, in 1 iterations. Remains : 3866/4209 places, 3518/3518 transitions.
[2021-05-10 12:26:57] [INFO ] Flatten gal took : 464 ms
[2021-05-10 12:26:58] [INFO ] Flatten gal took : 304 ms
[2021-05-10 12:26:58] [INFO ] Input system was already deterministic with 3518 transitions.
Finished random walk after 13137 steps, including 19 resets, run visited all 37 properties in 588 ms. (steps per millisecond=22 )
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !((F(p0)&&X(X(G(p1)))))], workingDir=/home/mcc/execution]
Support contains 4 out of 3866 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 3866/3866 places, 3518/3518 transitions.
Applied a total of 0 rules in 190 ms. Remains 3866 /3866 variables (removed 0) and now considering 3518/3518 (removed 0) transitions.
// Phase 1: matrix 3518 rows 3866 cols
[2021-05-10 12:27:07] [INFO ] Invariants computation overflowed in 7365 ms
[2021-05-10 12:27:07] [INFO ] Implicit Places using invariants in 7888 ms returned []
// Phase 1: matrix 3518 rows 3866 cols
[2021-05-10 12:27:14] [INFO ] Invariants computation overflowed in 7274 ms
[2021-05-10 12:27:15] [INFO ] Implicit Places using invariants and state equation in 8176 ms returned []
Implicit Place search using SMT with State Equation took 16075 ms to find 0 implicit places.
// Phase 1: matrix 3518 rows 3866 cols
[2021-05-10 12:27:22] [INFO ] Invariants computation overflowed in 7184 ms
[2021-05-10 12:27:23] [INFO ] Dead Transitions using invariants and state equation in 7678 ms returned []
Finished structural reductions, in 1 iterations. Remains : 3866/3866 places, 3518/3518 transitions.
Stuttering acceptance computed with spot in 8042 ms :[(OR (NOT p1) (NOT p0)), (NOT p0), (NOT p1), (NOT p1), true]
Running random walk in product with property : Echo-PT-d03r07-00 automaton TGBA [mat=[[{ cond=(NOT p0), acceptance={} source=0 dest: 1}, { cond=true, acceptance={} source=0 dest: 2}], [{ cond=(NOT p0), acceptance={0} source=1 dest: 1}], [{ cond=true, acceptance={} source=2 dest: 3}], [{ cond=p1, acceptance={} source=3 dest: 3}, { cond=(NOT p1), acceptance={} source=3 dest: 4}], [{ cond=true, acceptance={0} source=4 dest: 4}]], initial=0, aps=[p0:(OR (AND (EQ s374 1) (EQ s3129 1)) (AND (EQ s3049 1) (EQ s3843 1))), p1:(OR (NEQ s3049 1) (NEQ s3843 1))], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, no-univ-branch, very-weak, weak, inherently-weak], stateDesc=[null, null, null, null, null][false, false, false, false, false]]
Entered a terminal (fully accepting) state of product in 889 steps with 2 reset in 59 ms.
FORMULA Echo-PT-d03r07-00 FALSE TECHNIQUES STUTTER_TEST
Treatment of property Echo-PT-d03r07-00 finished in 32116 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !((p0 U G((F(p2)||p1))))], workingDir=/home/mcc/execution]
Support contains 12 out of 3866 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 3866/3866 places, 3518/3518 transitions.
Reduce places removed 1 places and 1 transitions.
Applied a total of 0 rules in 352 ms. Remains 3865 /3866 variables (removed 1) and now considering 3517/3518 (removed 1) transitions.
// Phase 1: matrix 3517 rows 3865 cols
[2021-05-10 12:27:38] [INFO ] Invariants computation overflowed in 6711 ms
[2021-05-10 12:27:39] [INFO ] Implicit Places using invariants in 7221 ms returned []
// Phase 1: matrix 3517 rows 3865 cols
[2021-05-10 12:27:45] [INFO ] Invariants computation overflowed in 6576 ms
[2021-05-10 12:27:47] [INFO ] Implicit Places using invariants and state equation in 8398 ms returned []
Implicit Place search using SMT with State Equation took 15622 ms to find 0 implicit places.
[2021-05-10 12:27:47] [INFO ] Redundant transitions in 233 ms returned []
// Phase 1: matrix 3517 rows 3865 cols
[2021-05-10 12:27:54] [INFO ] Invariants computation overflowed in 6528 ms
[2021-05-10 12:27:54] [INFO ] Dead Transitions using invariants and state equation in 7034 ms returned []
Finished structural reductions, in 1 iterations. Remains : 3865/3866 places, 3517/3518 transitions.
Stuttering acceptance computed with spot in 5414 ms :[(AND (NOT p1) (NOT p2)), (NOT p2), (AND (NOT p2) (NOT p1)), (AND (NOT p1) (NOT p2)), (AND (NOT p2) (NOT p1))]
Running random walk in product with property : Echo-PT-d03r07-01 automaton TGBA [mat=[[{ cond=p0, acceptance={} source=0 dest: 0}, { cond=(AND (NOT p1) (NOT p2) (NOT p0)), acceptance={} source=0 dest: 1}, { cond=(NOT p0), acceptance={} source=0 dest: 2}, { cond=(AND (NOT p1) (NOT p2) p0), acceptance={} source=0 dest: 3}], [{ cond=(NOT p2), acceptance={0} source=1 dest: 1}], [{ cond=(AND (NOT p1) (NOT p2)), acceptance={} source=2 dest: 1}, { cond=true, acceptance={} source=2 dest: 2}], [{ cond=(AND (NOT p1) (NOT p2) (NOT p0)), acceptance={} source=3 dest: 1}, { cond=(AND (NOT p1) (NOT p2) p0), acceptance={0} source=3 dest: 3}, { cond=(AND p1 (NOT p2) p0), acceptance={} source=3 dest: 3}, { cond=(AND p1 (NOT p2) (NOT p0)), acceptance={} source=3 dest: 4}], [{ cond=(AND (NOT p1) (NOT p2)), acceptance={} source=4 dest: 1}, { cond=(AND p1 (NOT p2)), acceptance={} source=4 dest: 4}]], initial=0, aps=[p0:(AND (EQ s170 1) (EQ s171 1) (EQ s173 1) (EQ s174 1) (EQ s175 1) (EQ s1937 1)), p1:(OR (EQ s59 0) (EQ s60 0) (EQ s61 0) (EQ s1827 0)), p2:(OR (NEQ s636 1) (NEQ s3181 1))], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, no-univ-branch, stutter-invariant], stateDesc=[null, null, null, null, null][true, true, true, true, true]]
Product exploration explored 100000 steps with 146 reset in 3872 ms.
Product exploration explored 100000 steps with 147 reset in 4150 ms.
Graph (complete) has 14520 edges and 3865 vertex of which 3852 are kept as prefixes of interest. Removing 13 places using SCC suffix rule.15 ms
Knowledge obtained : [(NOT p0), p1, p2]
Stuttering acceptance computed with spot in 124 ms :[(AND (NOT p1) (NOT p2)), (NOT p2), (AND (NOT p2) (NOT p1)), (AND (NOT p1) (NOT p2)), (AND (NOT p2) (NOT p1))]
Product exploration explored 100000 steps with 146 reset in 3779 ms.
Product exploration explored 100000 steps with 146 reset in 4162 ms.
[2021-05-10 12:28:18] [INFO ] Flatten gal took : 226 ms
[2021-05-10 12:28:18] [INFO ] Flatten gal took : 222 ms
[2021-05-10 12:28:18] [INFO ] Time to serialize gal into /tmp/LTL3569337510000128177.gal : 88 ms
[2021-05-10 12:28:18] [INFO ] Time to serialize properties into /tmp/LTL11760637924439084945.ltl : 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-ltl-linux64, --gc-threshold, 2000000, -i, /tmp/LTL3569337510000128177.gal, -t, CGAL, -LTL, /tmp/LTL11760637924439084945.ltl, -c, -stutter-deadlock, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-ltl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/LTL3569337510000128177.gal -t CGAL -LTL /tmp/LTL11760637924439084945.ltl -c -stutter-deadlock --gen-order FOLLOW
Read 1 LTL properties
Checking formula 0 : !((("((((((p1170==1)&&(p1171==1))&&(p1173==1))&&(p1174==1))&&(p1175==1))&&(p2937==1))")U(G(("((((p1059==0)||(p1060==0))||(p1061==0))||(p2827==0))")||(F("((p1636==0)||(p4114==0))"))))))
Formula 0 simplified : !("((((((p1170==1)&&(p1171==1))&&(p1173==1))&&(p1174==1))&&(p1175==1))&&(p2937==1))" U G("((((p1059==0)||(p1060==0))||(p1061==0))||(p2827==0))" | F"((p1636==0)||(p4114==0))"))
Detected timeout of ITS tools.
[2021-05-10 12:28:33] [INFO ] Flatten gal took : 205 ms
[2021-05-10 12:28:33] [INFO ] Applying decomposition
[2021-05-10 12:28:33] [INFO ] Flatten gal took : 205 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/graph8129000150080711640.txt, -o, /tmp/graph8129000150080711640.bin, -w, /tmp/graph8129000150080711640.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/graph8129000150080711640.bin, -l, -1, -v, -w, /tmp/graph8129000150080711640.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-10 12:28:34] [INFO ] Decomposing Gal with order
[2021-05-10 12:28:34] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-10 12:28:35] [INFO ] Removed a total of 6428 redundant transitions.
[2021-05-10 12:28:35] [INFO ] Flatten gal took : 595 ms
[2021-05-10 12:28:36] [INFO ] Fuse similar labels procedure discarded/fused a total of 1107 labels/synchronizations in 199 ms.
[2021-05-10 12:28:36] [INFO ] Time to serialize gal into /tmp/LTL9901565301006151190.gal : 52 ms
[2021-05-10 12:28:36] [INFO ] Time to serialize properties into /tmp/LTL4342052309742048342.ltl : 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-ltl-linux64, --gc-threshold, 2000000, -i, /tmp/LTL9901565301006151190.gal, -t, CGAL, -LTL, /tmp/LTL4342052309742048342.ltl, -c, -stutter-deadlock], workingDir=/home/mcc/execution]
its-ltl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/LTL9901565301006151190.gal -t CGAL -LTL /tmp/LTL4342052309742048342.ltl -c -stutter-deadlock
Read 1 LTL properties
Checking formula 0 : !((("((((((i4.i3.u188.p1170==1)&&(i1.i3.u183.p1171==1))&&(i4.i3.u188.p1173==1))&&(i4.i3.u188.p1174==1))&&(i4.i3.u188.p1175==1))&&(i4.i3.u186.p2937==1))")U(G(("((((i12.i1.u8.p1059==0)||(i7.u25.p1060==0))||(i7.u174.p1061==0))||(i7.u25.p2827==0))")||(F("((i1.i1.u242.p1636==0)||(i1.i1.u239.p4114==0))"))))))
Formula 0 simplified : !("((((((i4.i3.u188.p1170==1)&&(i1.i3.u183.p1171==1))&&(i4.i3.u188.p1173==1))&&(i4.i3.u188.p1174==1))&&(i4.i3.u188.p1175==1))&&(i4.i3.u186.p2937==1))" U G("((((i12.i1.u8.p1059==0)||(i7.u25.p1060==0))||(i7.u174.p1061==0))||(i7.u25.p2827==0))" | F"((i1.i1.u242.p1636==0)||(i1.i1.u239.p4114==0))"))
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin7861860538449344160
[2021-05-10 12:28:51] [INFO ] Built C files in 64ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin7861860538449344160
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin7861860538449344160]
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin7861860538449344160] killed by timeout after 1 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin7861860538449344160] killed by timeout after 1 SECONDS
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:79)
at java.base/java.lang.Thread.run(Thread.java:834)
Treatment of property Echo-PT-d03r07-01 finished in 80790 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !(X((G(p0)||X(F(p1)))))], workingDir=/home/mcc/execution]
Support contains 8 out of 3866 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 3866/3866 places, 3518/3518 transitions.
Applied a total of 0 rules in 180 ms. Remains 3866 /3866 variables (removed 0) and now considering 3518/3518 (removed 0) transitions.
// Phase 1: matrix 3518 rows 3866 cols
[2021-05-10 12:28:59] [INFO ] Invariants computation overflowed in 7189 ms
[2021-05-10 12:29:00] [INFO ] Implicit Places using invariants in 7711 ms returned []
// Phase 1: matrix 3518 rows 3866 cols
[2021-05-10 12:29:07] [INFO ] Invariants computation overflowed in 7017 ms
[2021-05-10 12:29:08] [INFO ] Implicit Places using invariants and state equation in 7891 ms returned []
Implicit Place search using SMT with State Equation took 15608 ms to find 0 implicit places.
// Phase 1: matrix 3518 rows 3866 cols
[2021-05-10 12:29:15] [INFO ] Invariants computation overflowed in 7106 ms
[2021-05-10 12:29:15] [INFO ] Dead Transitions using invariants and state equation in 7612 ms returned []
Finished structural reductions, in 1 iterations. Remains : 3866/3866 places, 3518/3518 transitions.
Stuttering acceptance computed with spot in 109 ms :[(NOT p1), (AND (NOT p1) (NOT p0)), (AND (NOT p1) (NOT p0)), (AND (NOT p1) (NOT p0))]
Running random walk in product with property : Echo-PT-d03r07-02 automaton TGBA [mat=[[{ cond=(NOT p1), acceptance={0} source=0 dest: 0}], [{ cond=true, acceptance={} source=1 dest: 2}], [{ cond=(NOT p0), acceptance={} source=2 dest: 0}, { cond=p0, acceptance={} source=2 dest: 3}], [{ cond=(AND (NOT p0) (NOT p1)), acceptance={} source=3 dest: 0}, { cond=(AND p0 (NOT p1)), acceptance={} source=3 dest: 3}]], initial=1, aps=[p1:(AND (EQ s142 1) (EQ s143 1) (EQ s144 1) (EQ s145 1) (EQ s146 1) (EQ s1912 1)), p0:(AND (EQ s427 1) (EQ s3140 1))], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, deterministic, no-univ-branch, unambiguous, semi-deterministic, very-weak, weak, inherently-weak], stateDesc=[null, null, null, null][false, false, false, false]]
Stuttering criterion allowed to conclude after 686 steps with 0 reset in 100 ms.
FORMULA Echo-PT-d03r07-02 FALSE TECHNIQUES STUTTER_TEST
Treatment of property Echo-PT-d03r07-02 finished in 23648 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !(F((X((G(F(p1))||(X(G(p2)) U (p3&&X(G(p2))))))||p0)))], workingDir=/home/mcc/execution]
Support contains 9 out of 3866 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 3866/3866 places, 3518/3518 transitions.
Applied a total of 0 rules in 194 ms. Remains 3866 /3866 variables (removed 0) and now considering 3518/3518 (removed 0) transitions.
// Phase 1: matrix 3518 rows 3866 cols
[2021-05-10 12:29:23] [INFO ] Invariants computation overflowed in 7100 ms
[2021-05-10 12:29:23] [INFO ] Implicit Places using invariants in 7585 ms returned []
// Phase 1: matrix 3518 rows 3866 cols
[2021-05-10 12:29:30] [INFO ] Invariants computation overflowed in 7062 ms
[2021-05-10 12:29:31] [INFO ] Implicit Places using invariants and state equation in 8012 ms returned []
Implicit Place search using SMT with State Equation took 15600 ms to find 0 implicit places.
// Phase 1: matrix 3518 rows 3866 cols
[2021-05-10 12:29:38] [INFO ] Invariants computation overflowed in 6961 ms
[2021-05-10 12:29:39] [INFO ] Dead Transitions using invariants and state equation in 7484 ms returned []
Finished structural reductions, in 1 iterations. Remains : 3866/3866 places, 3518/3518 transitions.
Stuttering acceptance computed with spot in 160 ms :[(OR (AND (NOT p0) (NOT p1) (NOT p3)) (AND (NOT p0) (NOT p1) (NOT p2))), (OR (AND (NOT p0) (NOT p1) (NOT p3)) (AND (NOT p0) (NOT p1) (NOT p2))), (AND (NOT p0) (NOT p1) (NOT p2)), (AND (NOT p0) (NOT p1) (NOT p2)), (OR (AND (NOT p0) (NOT p1) (NOT p3)) (AND (NOT p0) (NOT p1) (NOT p2)))]
Running random walk in product with property : Echo-PT-d03r07-03 automaton TGBA [mat=[[{ cond=(NOT p0), acceptance={} source=0 dest: 1}], [{ cond=(AND (NOT p0) (NOT p3)), acceptance={} source=1 dest: 1}, { cond=(AND (NOT p0) p3), acceptance={} source=1 dest: 2}, { cond=(AND (NOT p0) (NOT p1) p3), acceptance={} source=1 dest: 3}, { cond=(AND (NOT p0) (NOT p1) (NOT p3)), acceptance={} source=1 dest: 4}], [{ cond=(AND (NOT p0) (NOT p3) (NOT p2)), acceptance={} source=2 dest: 1}, { cond=(OR (AND (NOT p0) p3) (AND (NOT p0) p2)), acceptance={} source=2 dest: 2}, { cond=(AND (NOT p0) (NOT p1) p3 (NOT p2)), acceptance={} source=2 dest: 3}, { cond=(AND (NOT p0) (NOT p1) (NOT p3) (NOT p2)), acceptance={} source=2 dest: 4}], [{ cond=(AND (NOT p0) (NOT p1) p3 (NOT p2)), acceptance={0} source=3 dest: 3}, { cond=(AND (NOT p0) (NOT p1) p2), acceptance={} source=3 dest: 3}, { cond=(AND (NOT p0) (NOT p1) (NOT p3) (NOT p2)), acceptance={0} source=3 dest: 4}], [{ cond=(AND (NOT p0) (NOT p1) p3), acceptance={0} source=4 dest: 3}, { cond=(AND (NOT p0) (NOT p1) (NOT p3)), acceptance={0} source=4 dest: 4}]], initial=0, aps=[p0:(OR (AND (EQ s2966 1) (EQ s3432 1)) (AND (EQ s2953 1) (EQ s3385 1))), p3:(OR (AND (EQ s2966 1) (EQ s3432 1)) (AND (EQ s2953 1) (EQ s3385 1))), p1:(OR (NEQ s1610 1) (NEQ s3711 1) (NEQ s3713 1) (NEQ s3714 1) (NEQ s3715 1)), p2:(AND (EQ s2966 1) (EQ s3432 1))], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, no-univ-branch], stateDesc=[null, null, null, null, null][false, false, false, false, false]]
Product exploration explored 100000 steps with 630 reset in 4485 ms.
Product exploration explored 100000 steps with 678 reset in 4640 ms.
Graph (complete) has 14527 edges and 3866 vertex of which 3853 are kept as prefixes of interest. Removing 13 places using SCC suffix rule.9 ms
Knowledge obtained : [(NOT p0), (NOT p3), p1, (NOT p2)]
Stuttering acceptance computed with spot in 170 ms :[(OR (AND (NOT p0) (NOT p1) (NOT p3)) (AND (NOT p0) (NOT p1) (NOT p2))), (OR (AND (NOT p0) (NOT p1) (NOT p3)) (AND (NOT p0) (NOT p1) (NOT p2))), (AND (NOT p0) (NOT p1) (NOT p2)), (AND (NOT p0) (NOT p1) (NOT p2)), (OR (AND (NOT p0) (NOT p1) (NOT p3)) (AND (NOT p0) (NOT p1) (NOT p2)))]
Product exploration explored 100000 steps with 607 reset in 4277 ms.
Product exploration explored 100000 steps with 660 reset in 4481 ms.
Applying partial POR strategy [false, true, true, true, true]
Stuttering acceptance computed with spot in 171 ms :[(OR (AND (NOT p0) (NOT p1) (NOT p3)) (AND (NOT p0) (NOT p1) (NOT p2))), (OR (AND (NOT p0) (NOT p1) (NOT p3)) (AND (NOT p0) (NOT p1) (NOT p2))), (AND (NOT p0) (NOT p1) (NOT p2)), (AND (NOT p0) (NOT p1) (NOT p2)), (OR (AND (NOT p0) (NOT p1) (NOT p3)) (AND (NOT p0) (NOT p1) (NOT p2)))]
Support contains 9 out of 3866 places. Attempting structural reductions.
Property had overlarge support with respect to TGBA, discarding it for now.
Starting structural reductions, iteration 0 : 3866/3866 places, 3518/3518 transitions.
Applied a total of 0 rules in 336 ms. Remains 3866 /3866 variables (removed 0) and now considering 3518/3518 (removed 0) transitions.
[2021-05-10 12:29:58] [INFO ] Redundant transitions in 280 ms returned []
// Phase 1: matrix 3518 rows 3866 cols
[2021-05-10 12:30:06] [INFO ] Invariants computation overflowed in 7364 ms
[2021-05-10 12:30:06] [INFO ] Dead Transitions using invariants and state equation in 7877 ms returned []
Finished structural reductions, in 1 iterations. Remains : 3866/3866 places, 3518/3518 transitions.
Product exploration explored 100000 steps with 633 reset in 4105 ms.
Product exploration explored 100000 steps with 633 reset in 4262 ms.
[2021-05-10 12:30:15] [INFO ] Flatten gal took : 200 ms
[2021-05-10 12:30:15] [INFO ] Flatten gal took : 200 ms
[2021-05-10 12:30:15] [INFO ] Time to serialize gal into /tmp/LTL693333340280475846.gal : 38 ms
[2021-05-10 12:30:15] [INFO ] Time to serialize properties into /tmp/LTL2420591598936769461.ltl : 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-ltl-linux64, --gc-threshold, 2000000, -i, /tmp/LTL693333340280475846.gal, -t, CGAL, -LTL, /tmp/LTL2420591598936769461.ltl, -c, -stutter-deadlock, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-ltl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/LTL693333340280475846.gal -t CGAL -LTL /tmp/LTL2420591598936769461.ltl -c -stutter-deadlock --gen-order FOLLOW
Read 1 LTL properties
Checking formula 0 : !((F(((X((G(F("(((((p2610==0)||(p845==0))||(p847==0))||(p848==0))||(p849==0))")))||((X(G("((p3918==1)&&(p566==1))")))U(("(((p3918==1)&&(p566==1))||((p3906==1)&&(p519==1)))")&&(X(G("((p3918==1)&&(p566==1))")))))))||("((p3918==1)&&(p566==1))"))||("((p3906==1)&&(p519==1))"))))
Formula 0 simplified : !F("((p3906==1)&&(p519==1))" | "((p3918==1)&&(p566==1))" | X(GF"(((((p2610==0)||(p845==0))||(p847==0))||(p848==0))||(p849==0))" | (XG"((p3918==1)&&(p566==1))" U ("(((p3918==1)&&(p566==1))||((p3906==1)&&(p519==1)))" & XG"((p3918==1)&&(p566==1))"))))
Detected timeout of ITS tools.
[2021-05-10 12:30:30] [INFO ] Flatten gal took : 197 ms
[2021-05-10 12:30:30] [INFO ] Applying decomposition
[2021-05-10 12:30:30] [INFO ] Flatten gal took : 225 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/graph15804483119342875515.txt, -o, /tmp/graph15804483119342875515.bin, -w, /tmp/graph15804483119342875515.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/graph15804483119342875515.bin, -l, -1, -v, -w, /tmp/graph15804483119342875515.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-10 12:30:31] [INFO ] Decomposing Gal with order
[2021-05-10 12:30:31] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-10 12:30:31] [INFO ] Removed a total of 6400 redundant transitions.
[2021-05-10 12:30:32] [INFO ] Flatten gal took : 367 ms
[2021-05-10 12:30:32] [INFO ] Fuse similar labels procedure discarded/fused a total of 923 labels/synchronizations in 110 ms.
[2021-05-10 12:30:32] [INFO ] Time to serialize gal into /tmp/LTL6001995209457215900.gal : 41 ms
[2021-05-10 12:30:32] [INFO ] Time to serialize properties into /tmp/LTL6621791880911673146.ltl : 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-ltl-linux64, --gc-threshold, 2000000, -i, /tmp/LTL6001995209457215900.gal, -t, CGAL, -LTL, /tmp/LTL6621791880911673146.ltl, -c, -stutter-deadlock], workingDir=/home/mcc/execution]
its-ltl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/LTL6001995209457215900.gal -t CGAL -LTL /tmp/LTL6621791880911673146.ltl -c -stutter-deadlock
Read 1 LTL properties
Checking formula 0 : !((F(((X((G(F("(((((i4.i0.u153.p2610==0)||(i2.i0.u126.p845==0))||(i4.i1.u154.p847==0))||(i4.i1.u158.p848==0))||(i4.i1.u177.p849==0))")))||((X(G("((i1.u92.p3918==1)&&(i2.i2.u124.p566==1))")))U(("(((i1.u92.p3918==1)&&(i2.i2.u124.p566==1))||((i5.i0.u120.p3906==1)&&(i5.i0.u120.p519==1)))")&&(X(G("((i1.u92.p3918==1)&&(i2.i2.u124.p566==1))")))))))||("((i1.u92.p3918==1)&&(i2.i2.u124.p566==1))"))||("((i5.i0.u120.p3906==1)&&(i5.i0.u120.p519==1))"))))
Formula 0 simplified : !F("((i1.u92.p3918==1)&&(i2.i2.u124.p566==1))" | "((i5.i0.u120.p3906==1)&&(i5.i0.u120.p519==1))" | X(GF"(((((i4.i0.u153.p2610==0)||(i2.i0.u126.p845==0))||(i4.i1.u154.p847==0))||(i4.i1.u158.p848==0))||(i4.i1.u177.p849==0))" | (XG"((i1.u92.p3918==1)&&(i2.i2.u124.p566==1))" U ("(((i1.u92.p3918==1)&&(i2.i2.u124.p566==1))||((i5.i0.u120.p3906==1)&&(i5.i0.u120.p519==1)))" & XG"((i1.u92.p3918==1)&&(i2.i2.u124.p566==1))"))))
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin123634271425573949
[2021-05-10 12:30:47] [INFO ] Built C files in 52ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin123634271425573949
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin123634271425573949]
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin123634271425573949] killed by timeout after 1 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin123634271425573949] killed by timeout after 1 SECONDS
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:79)
at java.base/java.lang.Thread.run(Thread.java:834)
Treatment of property Echo-PT-d03r07-03 finished in 92391 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !((F(p0)&&X(G((G(p2)||p1)))))], workingDir=/home/mcc/execution]
Support contains 13 out of 3866 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 3866/3866 places, 3518/3518 transitions.
Applied a total of 0 rules in 167 ms. Remains 3866 /3866 variables (removed 0) and now considering 3518/3518 (removed 0) transitions.
// Phase 1: matrix 3518 rows 3866 cols
[2021-05-10 12:30:56] [INFO ] Invariants computation overflowed in 7498 ms
[2021-05-10 12:30:56] [INFO ] Implicit Places using invariants in 8015 ms returned []
// Phase 1: matrix 3518 rows 3866 cols
[2021-05-10 12:31:03] [INFO ] Invariants computation overflowed in 7146 ms
[2021-05-10 12:31:04] [INFO ] Implicit Places using invariants and state equation in 8068 ms returned []
Implicit Place search using SMT with State Equation took 16099 ms to find 0 implicit places.
// Phase 1: matrix 3518 rows 3866 cols
[2021-05-10 12:31:11] [INFO ] Invariants computation overflowed in 7215 ms
[2021-05-10 12:31:14] [INFO ] Dead Transitions using invariants and state equation in 9426 ms returned []
Finished structural reductions, in 1 iterations. Remains : 3866/3866 places, 3518/3518 transitions.
Stuttering acceptance computed with spot in 119 ms :[(OR (NOT p0) (AND (NOT p1) (NOT p2))), (NOT p0), (AND (NOT p2) (NOT p1)), true, (NOT p2)]
Running random walk in product with property : Echo-PT-d03r07-04 automaton TGBA [mat=[[{ cond=(NOT p0), acceptance={} source=0 dest: 1}, { cond=true, acceptance={} source=0 dest: 2}], [{ cond=(NOT p0), acceptance={0} source=1 dest: 1}], [{ cond=p1, acceptance={} source=2 dest: 2}, { cond=(AND (NOT p1) (NOT p2)), acceptance={} source=2 dest: 3}, { cond=(AND (NOT p1) p2), acceptance={} source=2 dest: 4}], [{ cond=true, acceptance={0} source=3 dest: 3}], [{ cond=(NOT p2), acceptance={} source=4 dest: 3}, { cond=p2, acceptance={} source=4 dest: 4}]], initial=0, aps=[p0:(AND (EQ s395 1) (EQ s3134 1)), p1:(OR (EQ s953 0) (EQ s954 0) (EQ s955 0) (EQ s956 0) (EQ s2745 0)), p2:(AND (EQ s708 1) (EQ s709 1) (EQ s710 1) (EQ s712 1) (EQ s713 1) (EQ s2475 1))], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, no-univ-branch, very-weak, weak, inherently-weak], stateDesc=[null, null, null, null, null][false, false, false, false, false]]
Stuttering criterion allowed to conclude after 686 steps with 0 reset in 24 ms.
FORMULA Echo-PT-d03r07-04 FALSE TECHNIQUES STUTTER_TEST
Treatment of property Echo-PT-d03r07-04 finished in 25864 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !(((p0 U p1)||G((F(p2)&&F(G(p3))))))], workingDir=/home/mcc/execution]
Support contains 15 out of 3866 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 3866/3866 places, 3518/3518 transitions.
Reduce places removed 1 places and 1 transitions.
Applied a total of 0 rules in 233 ms. Remains 3865 /3866 variables (removed 1) and now considering 3517/3518 (removed 1) transitions.
// Phase 1: matrix 3517 rows 3865 cols
[2021-05-10 12:31:21] [INFO ] Invariants computation overflowed in 6764 ms
[2021-05-10 12:31:21] [INFO ] Implicit Places using invariants in 7216 ms returned []
// Phase 1: matrix 3517 rows 3865 cols
[2021-05-10 12:31:28] [INFO ] Invariants computation overflowed in 6730 ms
[2021-05-10 12:31:29] [INFO ] Implicit Places using invariants and state equation in 7598 ms returned []
Implicit Place search using SMT with State Equation took 14830 ms to find 0 implicit places.
[2021-05-10 12:31:29] [INFO ] Redundant transitions in 114 ms returned []
// Phase 1: matrix 3517 rows 3865 cols
[2021-05-10 12:31:36] [INFO ] Invariants computation overflowed in 6921 ms
[2021-05-10 12:31:36] [INFO ] Dead Transitions using invariants and state equation in 7441 ms returned []
Finished structural reductions, in 1 iterations. Remains : 3865/3866 places, 3517/3518 transitions.
Stuttering acceptance computed with spot in 170 ms :[(OR (AND (NOT p1) (NOT p2)) (AND (NOT p1) (NOT p3))), (NOT p2), (NOT p3), (OR (NOT p2) (NOT p3)), (AND (NOT p1) (NOT p3)), (AND (NOT p1) (NOT p2))]
Running random walk in product with property : Echo-PT-d03r07-05 automaton TGBA [mat=[[{ cond=(AND (NOT p1) p0), acceptance={} source=0 dest: 0}, { cond=(AND (NOT p1) (NOT p0) (NOT p2)), acceptance={} source=0 dest: 1}, { cond=(AND (NOT p1) (NOT p0) (NOT p3)), acceptance={} source=0 dest: 2}, { cond=(AND (NOT p1) (NOT p0)), acceptance={} source=0 dest: 3}, { cond=(AND (NOT p1) p0 (NOT p3)), acceptance={} source=0 dest: 4}, { cond=(AND (NOT p1) p0 (NOT p2)), acceptance={} source=0 dest: 5}], [{ cond=(NOT p2), acceptance={0} source=1 dest: 1}], [{ cond=(NOT p3), acceptance={0} source=2 dest: 2}, { cond=p3, acceptance={} source=2 dest: 2}], [{ cond=(NOT p2), acceptance={} source=3 dest: 1}, { cond=(NOT p3), acceptance={} source=3 dest: 2}, { cond=true, acceptance={} source=3 dest: 3}], [{ cond=(AND (NOT p1) (NOT p0)), acceptance={} source=4 dest: 2}, { cond=(AND (NOT p1) p0 (NOT p3)), acceptance={0} source=4 dest: 4}, { cond=(AND (NOT p1) p0 p3), acceptance={} source=4 dest: 4}], [{ cond=(AND (NOT p1) (NOT p0) (NOT p2)), acceptance={} source=5 dest: 1}, { cond=(AND (NOT p1) p0 (NOT p2)), acceptance={0} source=5 dest: 5}]], initial=0, aps=[p1:(AND (EQ s891 1) (EQ s892 1) (EQ s2671 1)), p0:(AND (EQ s1372 1) (EQ s3469 1) (EQ s3470 1) (EQ s3471 1) (EQ s3472 1) (EQ s3474 1)), p2:(AND (EQ s1049 1) (EQ s1050 1) (EQ s1051 1) (EQ s2845 1)), p3:(AND (EQ s527 1) (EQ s3158 1))], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, no-univ-branch, stutter-invariant], stateDesc=[null, null, null, null, null, null][true, true, true, true, true, true]]
Stuttering criterion allowed to conclude after 685 steps with 0 reset in 26 ms.
FORMULA Echo-PT-d03r07-05 FALSE TECHNIQUES STUTTER_TEST
Treatment of property Echo-PT-d03r07-05 finished in 22845 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !(X(G((X(p0)&&(G(p1)||G(p2))))))], workingDir=/home/mcc/execution]
Support contains 10 out of 3866 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 3866/3866 places, 3518/3518 transitions.
Applied a total of 0 rules in 167 ms. Remains 3866 /3866 variables (removed 0) and now considering 3518/3518 (removed 0) transitions.
// Phase 1: matrix 3518 rows 3866 cols
[2021-05-10 12:31:44] [INFO ] Invariants computation overflowed in 7023 ms
[2021-05-10 12:31:44] [INFO ] Implicit Places using invariants in 7544 ms returned []
// Phase 1: matrix 3518 rows 3866 cols
[2021-05-10 12:31:51] [INFO ] Invariants computation overflowed in 6964 ms
[2021-05-10 12:31:52] [INFO ] Implicit Places using invariants and state equation in 7832 ms returned []
Implicit Place search using SMT with State Equation took 15377 ms to find 0 implicit places.
// Phase 1: matrix 3518 rows 3866 cols
[2021-05-10 12:31:59] [INFO ] Invariants computation overflowed in 6933 ms
[2021-05-10 12:32:00] [INFO ] Dead Transitions using invariants and state equation in 7446 ms returned []
Finished structural reductions, in 1 iterations. Remains : 3866/3866 places, 3518/3518 transitions.
Stuttering acceptance computed with spot in 152 ms :[(OR (NOT p0) (AND (NOT p1) (NOT p2))), (OR (NOT p0) (AND (NOT p1) (NOT p2))), (OR (NOT p0) (AND (NOT p1) (NOT p2))), true, (OR (NOT p2) (NOT p0)), (OR (NOT p1) (NOT p0))]
Running random walk in product with property : Echo-PT-d03r07-06 automaton TGBA [mat=[[{ cond=true, acceptance={} source=0 dest: 1}], [{ cond=(AND p1 p2), acceptance={} source=1 dest: 2}, { cond=(AND (NOT p1) (NOT p2)), acceptance={} source=1 dest: 3}, { cond=(AND (NOT p1) p2), acceptance={} source=1 dest: 4}, { cond=(AND p1 (NOT p2)), acceptance={} source=1 dest: 5}], [{ cond=(AND p1 p2 p0), acceptance={} source=2 dest: 2}, { cond=(OR (AND (NOT p1) (NOT p2)) (NOT p0)), acceptance={} source=2 dest: 3}, { cond=(AND (NOT p1) p2 p0), acceptance={} source=2 dest: 4}, { cond=(AND p1 (NOT p2) p0), acceptance={} source=2 dest: 5}], [{ cond=true, acceptance={0} source=3 dest: 3}], [{ cond=(OR (NOT p2) (NOT p0)), acceptance={} source=4 dest: 3}, { cond=(AND p2 p0), acceptance={} source=4 dest: 4}], [{ cond=(OR (NOT p1) (NOT p0)), acceptance={} source=5 dest: 3}, { cond=(AND p1 p0), acceptance={} source=5 dest: 5}]], initial=0, aps=[p1:(OR (AND (EQ s2973 1) (EQ s3462 1)) (AND (EQ s200 1) (EQ s3095 1))), p2:(AND (EQ s2973 1) (EQ s3462 1)), p0:(OR (AND (EQ s200 1) (EQ s3095 1)) (AND (EQ s828 1) (EQ s829 1) (EQ s830 1) (EQ s832 1) (EQ s833 1) (EQ s2607 1)))], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, complete, deterministic, no-univ-branch, unambiguous, semi-deterministic, terminal, very-weak, weak, inherently-weak], stateDesc=[null, null, null, null, null, null][false, false, false, false, false, false]]
Entered a terminal (fully accepting) state of product in 1 steps with 0 reset in 0 ms.
FORMULA Echo-PT-d03r07-06 FALSE TECHNIQUES STUTTER_TEST
Treatment of property Echo-PT-d03r07-06 finished in 23169 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !(X((F(p0) U G((X(G(p2))&&p1)))))], workingDir=/home/mcc/execution]
Support contains 14 out of 3866 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 3866/3866 places, 3518/3518 transitions.
Applied a total of 0 rules in 169 ms. Remains 3866 /3866 variables (removed 0) and now considering 3518/3518 (removed 0) transitions.
// Phase 1: matrix 3518 rows 3866 cols
[2021-05-10 12:32:07] [INFO ] Invariants computation overflowed in 6926 ms
[2021-05-10 12:32:07] [INFO ] Implicit Places using invariants in 7437 ms returned []
// Phase 1: matrix 3518 rows 3866 cols
[2021-05-10 12:32:14] [INFO ] Invariants computation overflowed in 6927 ms
[2021-05-10 12:32:15] [INFO ] Implicit Places using invariants and state equation in 7814 ms returned []
Implicit Place search using SMT with State Equation took 15252 ms to find 0 implicit places.
// Phase 1: matrix 3518 rows 3866 cols
[2021-05-10 12:32:22] [INFO ] Invariants computation overflowed in 6939 ms
[2021-05-10 12:32:23] [INFO ] Dead Transitions using invariants and state equation in 7450 ms returned []
Finished structural reductions, in 1 iterations. Remains : 3866/3866 places, 3518/3518 transitions.
Stuttering acceptance computed with spot in 126 ms :[(OR (NOT p1) (NOT p2)), (OR (NOT p1) (NOT p2)), (NOT p0), (NOT p2), (AND (NOT p0) p1 (NOT p2))]
Running random walk in product with property : Echo-PT-d03r07-07 automaton TGBA [mat=[[{ cond=true, acceptance={} source=0 dest: 1}], [{ cond=(NOT p1), acceptance={0, 1} source=1 dest: 1}, { cond=p1, acceptance={1} source=1 dest: 1}, { cond=(AND (NOT p1) (NOT p0)), acceptance={} source=1 dest: 2}, { cond=p1, acceptance={0, 1} source=1 dest: 3}, { cond=(AND p1 (NOT p0)), acceptance={} source=1 dest: 4}], [{ cond=(NOT p0), acceptance={0, 1} source=2 dest: 2}], [{ cond=(AND (NOT p1) (NOT p2)), acceptance={0, 1} source=3 dest: 1}, { cond=(AND p1 (NOT p2)), acceptance={1} source=3 dest: 1}, { cond=(AND (NOT p1) (NOT p0) (NOT p2)), acceptance={} source=3 dest: 2}, { cond=(AND p1 (NOT p2)), acceptance={0, 1} source=3 dest: 3}, { cond=p2, acceptance={0} source=3 dest: 3}, { cond=(OR (AND p1 (NOT p0)) (AND (NOT p0) p2)), acceptance={} source=3 dest: 4}], [{ cond=(AND p1 (NOT p0) (NOT p2)), acceptance={} source=4 dest: 2}]], initial=0, aps=[p1:(AND (EQ s384 1) (EQ s3131 1)), p0:(OR (AND (EQ s2936 1) (EQ s3308 1)) (AND (EQ s1432 1) (EQ s3535 1) (EQ s3536 1) (EQ s3537 1) (EQ s3538 1))), p2:(AND (EQ s1624 1) (EQ s3725 1) (EQ s3727 1) (EQ s3728 1) (EQ s3729 1))], nbAcceptance=2, properties=[trans-labels, explicit-labels, trans-acc, no-univ-branch], stateDesc=[null, null, null, null, null][false, false, false, false, false]]
Stuttering criterion allowed to conclude after 802 steps with 1 reset in 28 ms.
FORMULA Echo-PT-d03r07-07 FALSE TECHNIQUES STUTTER_TEST
Treatment of property Echo-PT-d03r07-07 finished in 23054 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !(G(p0))], workingDir=/home/mcc/execution]
Support contains 2 out of 3866 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 3866/3866 places, 3518/3518 transitions.
Reduce places removed 1 places and 1 transitions.
Applied a total of 0 rules in 203 ms. Remains 3865 /3866 variables (removed 1) and now considering 3517/3518 (removed 1) transitions.
// Phase 1: matrix 3517 rows 3865 cols
[2021-05-10 12:32:30] [INFO ] Invariants computation overflowed in 6561 ms
[2021-05-10 12:32:30] [INFO ] Implicit Places using invariants in 7023 ms returned []
// Phase 1: matrix 3517 rows 3865 cols
[2021-05-10 12:32:37] [INFO ] Invariants computation overflowed in 6540 ms
[2021-05-10 12:32:38] [INFO ] Implicit Places using invariants and state equation in 7385 ms returned []
Implicit Place search using SMT with State Equation took 14411 ms to find 0 implicit places.
[2021-05-10 12:32:38] [INFO ] Redundant transitions in 114 ms returned []
// Phase 1: matrix 3517 rows 3865 cols
[2021-05-10 12:32:44] [INFO ] Invariants computation overflowed in 6534 ms
[2021-05-10 12:32:45] [INFO ] Dead Transitions using invariants and state equation in 6961 ms returned []
Finished structural reductions, in 1 iterations. Remains : 3865/3866 places, 3517/3518 transitions.
Stuttering acceptance computed with spot in 38 ms :[true, (NOT p0)]
Running random walk in product with property : Echo-PT-d03r07-08 automaton TGBA [mat=[[{ cond=true, acceptance={0} source=0 dest: 0}], [{ cond=(NOT p0), acceptance={} source=1 dest: 0}, { cond=p0, acceptance={} source=1 dest: 1}]], initial=1, aps=[p0:(OR (NEQ s1089 1) (NEQ s3281 1))], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, complete, deterministic, no-univ-branch, unambiguous, semi-deterministic, stutter-invariant, terminal, very-weak, weak, inherently-weak], stateDesc=[null, null][true, true]]
Entered a terminal (fully accepting) state of product in 1002 steps with 1 reset in 49 ms.
FORMULA Echo-PT-d03r07-08 FALSE TECHNIQUES STUTTER_TEST
Treatment of property Echo-PT-d03r07-08 finished in 21830 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !(X((X(F(p1))&&p0)))], workingDir=/home/mcc/execution]
Support contains 4 out of 3866 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 3866/3866 places, 3518/3518 transitions.
Applied a total of 0 rules in 143 ms. Remains 3866 /3866 variables (removed 0) and now considering 3518/3518 (removed 0) transitions.
// Phase 1: matrix 3518 rows 3866 cols
[2021-05-10 12:32:52] [INFO ] Invariants computation overflowed in 6933 ms
[2021-05-10 12:32:52] [INFO ] Implicit Places using invariants in 7443 ms returned []
// Phase 1: matrix 3518 rows 3866 cols
[2021-05-10 12:32:59] [INFO ] Invariants computation overflowed in 6955 ms
[2021-05-10 12:33:00] [INFO ] Implicit Places using invariants and state equation in 7833 ms returned []
Implicit Place search using SMT with State Equation took 15278 ms to find 0 implicit places.
// Phase 1: matrix 3518 rows 3866 cols
[2021-05-10 12:33:07] [INFO ] Invariants computation overflowed in 6937 ms
[2021-05-10 12:33:08] [INFO ] Dead Transitions using invariants and state equation in 7447 ms returned []
Finished structural reductions, in 1 iterations. Remains : 3866/3866 places, 3518/3518 transitions.
Stuttering acceptance computed with spot in 886 ms :[(NOT p1), (OR (NOT p0) (NOT p1)), (OR (NOT p1) (NOT p0)), true]
Running random walk in product with property : Echo-PT-d03r07-09 automaton TGBA [mat=[[{ cond=(NOT p1), acceptance={0} source=0 dest: 0}], [{ cond=p0, acceptance={} source=1 dest: 0}, { cond=(NOT p0), acceptance={} source=1 dest: 3}], [{ cond=true, acceptance={} source=2 dest: 1}], [{ cond=true, acceptance={0} source=3 dest: 3}]], initial=2, aps=[p1:(OR (EQ s3024 0) (EQ s3711 0)), p0:(AND (EQ s418 1) (EQ s3138 1))], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, deterministic, no-univ-branch, unambiguous, semi-deterministic, very-weak, weak, inherently-weak], stateDesc=[null, null, null, null][false, false, false, false]]
Entered a terminal (fully accepting) state of product in 1 steps with 0 reset in 0 ms.
FORMULA Echo-PT-d03r07-09 FALSE TECHNIQUES STUTTER_TEST
Treatment of property Echo-PT-d03r07-09 finished in 23781 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !((F(p0)&&F(G(p1))))], workingDir=/home/mcc/execution]
Support contains 8 out of 3866 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 3866/3866 places, 3518/3518 transitions.
Reduce places removed 1 places and 1 transitions.
Applied a total of 0 rules in 179 ms. Remains 3865 /3866 variables (removed 1) and now considering 3517/3518 (removed 1) transitions.
// Phase 1: matrix 3517 rows 3865 cols
[2021-05-10 12:33:15] [INFO ] Invariants computation overflowed in 6557 ms
[2021-05-10 12:33:16] [INFO ] Implicit Places using invariants in 7067 ms returned []
// Phase 1: matrix 3517 rows 3865 cols
[2021-05-10 12:33:22] [INFO ] Invariants computation overflowed in 6547 ms
[2021-05-10 12:33:23] [INFO ] Implicit Places using invariants and state equation in 7412 ms returned []
Implicit Place search using SMT with State Equation took 14482 ms to find 0 implicit places.
[2021-05-10 12:33:23] [INFO ] Redundant transitions in 115 ms returned []
// Phase 1: matrix 3517 rows 3865 cols
[2021-05-10 12:33:30] [INFO ] Invariants computation overflowed in 6527 ms
[2021-05-10 12:33:30] [INFO ] Dead Transitions using invariants and state equation in 7042 ms returned []
Finished structural reductions, in 1 iterations. Remains : 3865/3866 places, 3517/3518 transitions.
Stuttering acceptance computed with spot in 72 ms :[(OR (NOT p0) (NOT p1)), (NOT p0), (NOT p1)]
Running random walk in product with property : Echo-PT-d03r07-10 automaton TGBA [mat=[[{ cond=(NOT p0), acceptance={} source=0 dest: 1}, { cond=true, acceptance={} source=0 dest: 2}], [{ cond=(NOT p0), acceptance={0} source=1 dest: 1}], [{ cond=(NOT p1), acceptance={0} source=2 dest: 2}, { cond=p1, acceptance={} source=2 dest: 2}]], initial=0, aps=[p0:(AND (EQ s540 1) (EQ s542 1) (EQ s543 1) (EQ s544 1) (EQ s545 1) (EQ s2300 1)), p1:(AND (EQ s3002 1) (EQ s3617 1))], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, no-univ-branch, stutter-invariant], stateDesc=[null, null, null][true, true, true]]
Stuttering criterion allowed to conclude after 685 steps with 0 reset in 24 ms.
FORMULA Echo-PT-d03r07-10 FALSE TECHNIQUES STUTTER_TEST
Treatment of property Echo-PT-d03r07-10 finished in 21941 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !(F(p0))], workingDir=/home/mcc/execution]
Support contains 4 out of 3866 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 3866/3866 places, 3518/3518 transitions.
Reduce places removed 1 places and 1 transitions.
Applied a total of 0 rules in 183 ms. Remains 3865 /3866 variables (removed 1) and now considering 3517/3518 (removed 1) transitions.
// Phase 1: matrix 3517 rows 3865 cols
[2021-05-10 12:33:37] [INFO ] Invariants computation overflowed in 6589 ms
[2021-05-10 12:33:38] [INFO ] Implicit Places using invariants in 7097 ms returned []
// Phase 1: matrix 3517 rows 3865 cols
[2021-05-10 12:33:44] [INFO ] Invariants computation overflowed in 6573 ms
[2021-05-10 12:33:45] [INFO ] Implicit Places using invariants and state equation in 7432 ms returned []
Implicit Place search using SMT with State Equation took 14530 ms to find 0 implicit places.
[2021-05-10 12:33:45] [INFO ] Redundant transitions in 114 ms returned []
// Phase 1: matrix 3517 rows 3865 cols
[2021-05-10 12:33:52] [INFO ] Invariants computation overflowed in 6522 ms
[2021-05-10 12:33:52] [INFO ] Dead Transitions using invariants and state equation in 7009 ms returned []
Finished structural reductions, in 1 iterations. Remains : 3865/3866 places, 3517/3518 transitions.
Stuttering acceptance computed with spot in 23 ms :[(NOT p0)]
Running random walk in product with property : Echo-PT-d03r07-11 automaton TGBA [mat=[[{ cond=(NOT p0), acceptance={0} source=0 dest: 0}]], initial=0, aps=[p0:(OR (AND (EQ s898 1) (EQ s3235 1)) (AND (EQ s974 1) (EQ s3254 1)))], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, colored, deterministic, no-univ-branch, unambiguous, semi-deterministic, stutter-invariant, very-weak, weak, inherently-weak], stateDesc=[null][true]]
Stuttering criterion allowed to conclude after 685 steps with 0 reset in 28 ms.
FORMULA Echo-PT-d03r07-11 FALSE TECHNIQUES STUTTER_TEST
Treatment of property Echo-PT-d03r07-11 finished in 21910 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !((X(p0)||G(p1)))], workingDir=/home/mcc/execution]
Support contains 11 out of 3866 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 3866/3866 places, 3518/3518 transitions.
Applied a total of 0 rules in 150 ms. Remains 3866 /3866 variables (removed 0) and now considering 3518/3518 (removed 0) transitions.
// Phase 1: matrix 3518 rows 3866 cols
[2021-05-10 12:33:59] [INFO ] Invariants computation overflowed in 6968 ms
[2021-05-10 12:34:00] [INFO ] Implicit Places using invariants in 7484 ms returned []
// Phase 1: matrix 3518 rows 3866 cols
[2021-05-10 12:34:07] [INFO ] Invariants computation overflowed in 6956 ms
[2021-05-10 12:34:08] [INFO ] Implicit Places using invariants and state equation in 7830 ms returned []
Implicit Place search using SMT with State Equation took 15315 ms to find 0 implicit places.
// Phase 1: matrix 3518 rows 3866 cols
[2021-05-10 12:34:15] [INFO ] Invariants computation overflowed in 6959 ms
[2021-05-10 12:34:15] [INFO ] Dead Transitions using invariants and state equation in 7478 ms returned []
Finished structural reductions, in 1 iterations. Remains : 3866/3866 places, 3518/3518 transitions.
Stuttering acceptance computed with spot in 98 ms :[true, (NOT p0), (AND (NOT p0) (NOT p1)), (AND (NOT p1) (NOT p0)), (NOT p1)]
Running random walk in product with property : Echo-PT-d03r07-13 automaton TGBA [mat=[[{ cond=true, acceptance={0} source=0 dest: 0}], [{ cond=(NOT p0), acceptance={} source=1 dest: 0}], [{ cond=(NOT p1), acceptance={} source=2 dest: 1}, { cond=p1, acceptance={} source=2 dest: 3}], [{ cond=(AND (NOT p1) (NOT p0)), acceptance={} source=3 dest: 0}, { cond=(AND p1 (NOT p0)), acceptance={} source=3 dest: 4}], [{ cond=(NOT p1), acceptance={} source=4 dest: 0}, { cond=p1, acceptance={} source=4 dest: 4}]], initial=2, aps=[p0:(AND (EQ s101 1) (EQ s102 1) (EQ s103 1) (EQ s105 1) (EQ s1869 1)), p1:(AND (EQ s0 1) (EQ s1 1) (EQ s1762 1) (EQ s3862 1) (EQ s3863 1) (EQ s3865 1))], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, deterministic, no-univ-branch, unambiguous, semi-deterministic, terminal, very-weak, weak, inherently-weak], stateDesc=[null, null, null, null, null][false, false, false, false, false]]
Entered a terminal (fully accepting) state of product in 1 steps with 0 reset in 0 ms.
FORMULA Echo-PT-d03r07-13 FALSE TECHNIQUES STUTTER_TEST
Treatment of property Echo-PT-d03r07-13 finished in 23057 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !(X(X(F((p0||G(p1))))))], workingDir=/home/mcc/execution]
Support contains 8 out of 3866 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 3866/3866 places, 3518/3518 transitions.
Applied a total of 0 rules in 146 ms. Remains 3866 /3866 variables (removed 0) and now considering 3518/3518 (removed 0) transitions.
// Phase 1: matrix 3518 rows 3866 cols
[2021-05-10 12:34:22] [INFO ] Invariants computation overflowed in 6932 ms
[2021-05-10 12:34:23] [INFO ] Implicit Places using invariants in 7437 ms returned []
// Phase 1: matrix 3518 rows 3866 cols
[2021-05-10 12:34:30] [INFO ] Invariants computation overflowed in 6910 ms
[2021-05-10 12:34:31] [INFO ] Implicit Places using invariants and state equation in 7789 ms returned []
Implicit Place search using SMT with State Equation took 15236 ms to find 0 implicit places.
// Phase 1: matrix 3518 rows 3866 cols
[2021-05-10 12:34:38] [INFO ] Invariants computation overflowed in 6914 ms
[2021-05-10 12:34:38] [INFO ] Dead Transitions using invariants and state equation in 7429 ms returned []
Finished structural reductions, in 1 iterations. Remains : 3866/3866 places, 3518/3518 transitions.
Stuttering acceptance computed with spot in 715 ms :[(AND (NOT p1) (NOT p0)), (AND (NOT p1) (NOT p0)), (AND (NOT p1) (NOT p0))]
Running random walk in product with property : Echo-PT-d03r07-14 automaton TGBA [mat=[[{ cond=(AND (NOT p1) (NOT p0)), acceptance={0} source=0 dest: 0}, { cond=(AND p1 (NOT p0)), acceptance={} source=0 dest: 0}], [{ cond=true, acceptance={} source=1 dest: 0}], [{ cond=true, acceptance={} source=2 dest: 1}]], initial=2, aps=[p1:(OR (EQ s680 0) (EQ s682 0) (EQ s683 0) (EQ s684 0) (EQ s685 0) (EQ s2442 0)), p0:(AND (EQ s2474 1) (EQ s2912 1))], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, deterministic, no-univ-branch, unambiguous, semi-deterministic], stateDesc=[null, null, null][false, false, false]]
Product exploration explored 100000 steps with 253 reset in 3860 ms.
Product exploration explored 100000 steps with 242 reset in 4182 ms.
Graph (complete) has 14527 edges and 3866 vertex of which 3853 are kept as prefixes of interest. Removing 13 places using SCC suffix rule.7 ms
Knowledge obtained : [p1, (NOT p0)]
Stuttering acceptance computed with spot in 70 ms :[(AND (NOT p1) (NOT p0)), (AND (NOT p1) (NOT p0)), (AND (NOT p1) (NOT p0))]
Product exploration explored 100000 steps with 254 reset in 3860 ms.
Product exploration explored 100000 steps with 243 reset in 4120 ms.
java.io.IOException: java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[/home/mcc/BenchKit/bin//..//autstates.py, /tmp/curaut8092742227227592761.hoa], workingDir=/home/mcc/execution] killed by timeout after 10 SECONDS
at fr.lip6.move.gal.application.SpotRunner.computeForwardClosedSI(SpotRunner.java:313)
at fr.lip6.move.gal.application.LTLPropertySolver.runStutteringLTLTest(LTLPropertySolver.java:195)
at fr.lip6.move.gal.application.LTLPropertySolver.runStructuralLTLCheck(LTLPropertySolver.java:60)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:470)
at fr.lip6.move.gal.application.Application.start(Application.java:140)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:43)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:134)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:401)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:653)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:590)
at org.eclipse.equinox.launcher.Main.run(Main.java:1461)
at org.eclipse.equinox.launcher.Main.main(Main.java:1434)
Caused by: java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[/home/mcc/BenchKit/bin//..//autstates.py, /tmp/curaut8092742227227592761.hoa], workingDir=/home/mcc/execution] killed by timeout after 10 SECONDS
at fr.lip6.move.gal.process.Runner.waitForOrTimeout(Runner.java:76)
at fr.lip6.move.gal.process.Runner.runTool(Runner.java:138)
at fr.lip6.move.gal.process.Runner.runTool(Runner.java:112)
at fr.lip6.move.gal.application.SpotRunner.computeForwardClosedSI(SpotRunner.java:311)
... 18 more
[2021-05-10 12:35:09] [INFO ] Flatten gal took : 198 ms
[2021-05-10 12:35:10] [INFO ] Flatten gal took : 197 ms
[2021-05-10 12:35:10] [INFO ] Time to serialize gal into /tmp/LTL17318280532601259952.gal : 242 ms
[2021-05-10 12:35:11] [INFO ] Time to serialize properties into /tmp/LTL12499446424244030493.ltl : 714 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-ltl-linux64, --gc-threshold, 2000000, -i, /tmp/LTL17318280532601259952.gal, -t, CGAL, -LTL, /tmp/LTL12499446424244030493.ltl, -c, -stutter-deadlock, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-ltl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/LTL17318280532601259952.gal -t CGAL -LTL /tmp/LTL12499446424244030493.ltl -c -stutter-deadlock --gen-order FOLLOW
Read 1 LTL properties
Checking formula 0 : !((X(X(F((G("((((((p1680==0)||(p1682==0))||(p1683==0))||(p1684==0))||(p1685==0))||(p3440==0))"))||("((p347==1)&&(p3869==1))"))))))
Formula 0 simplified : !XXF("((p347==1)&&(p3869==1))" | G"((((((p1680==0)||(p1682==0))||(p1683==0))||(p1684==0))||(p1685==0))||(p3440==0))")
Detected timeout of ITS tools.
[2021-05-10 12:35:26] [INFO ] Flatten gal took : 196 ms
[2021-05-10 12:35:26] [INFO ] Applying decomposition
[2021-05-10 12:35:26] [INFO ] Flatten gal took : 200 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/graph2420654703863211335.txt, -o, /tmp/graph2420654703863211335.bin, -w, /tmp/graph2420654703863211335.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/graph2420654703863211335.bin, -l, -1, -v, -w, /tmp/graph2420654703863211335.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-10 12:35:26] [INFO ] Decomposing Gal with order
[2021-05-10 12:35:27] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-10 12:35:27] [INFO ] Removed a total of 6350 redundant transitions.
[2021-05-10 12:35:27] [INFO ] Flatten gal took : 357 ms
[2021-05-10 12:35:27] [INFO ] Fuse similar labels procedure discarded/fused a total of 1151 labels/synchronizations in 101 ms.
[2021-05-10 12:35:29] [INFO ] Time to serialize gal into /tmp/LTL13675397606916761970.gal : 1793 ms
[2021-05-10 12:35:29] [INFO ] Time to serialize properties into /tmp/LTL10641711227742647872.ltl : 4 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-ltl-linux64, --gc-threshold, 2000000, -i, /tmp/LTL13675397606916761970.gal, -t, CGAL, -LTL, /tmp/LTL10641711227742647872.ltl, -c, -stutter-deadlock], workingDir=/home/mcc/execution]
its-ltl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/LTL13675397606916761970.gal -t CGAL -LTL /tmp/LTL10641711227742647872.ltl -c -stutter-deadlock
Read 1 LTL properties
Checking formula 0 : !((X(X(F((G("((((((i14.i0.u27.p1680==0)||(i2.i0.u42.p1682==0))||(i14.i0.u225.p1683==0))||(i11.u229.p1684==0))||(i14.i0.u253.p1685==0))||(i14.i0.u55.p3440==0))"))||("((i3.u93.p347==1)&&(i8.i0.u92.p3869==1))"))))))
Formula 0 simplified : !XXF("((i3.u93.p347==1)&&(i8.i0.u92.p3869==1))" | G"((((((i14.i0.u27.p1680==0)||(i2.i0.u42.p1682==0))||(i14.i0.u225.p1683==0))||(i11.u229.p1684==0))||(i14.i0.u253.p1685==0))||(i14.i0.u55.p3440==0))")
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin2031989109047747732
[2021-05-10 12:35:44] [INFO ] Built C files in 42ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin2031989109047747732
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin2031989109047747732]
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin2031989109047747732] killed by timeout after 1 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin2031989109047747732] killed by timeout after 1 SECONDS
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:79)
at java.base/java.lang.Thread.run(Thread.java:834)
Treatment of property Echo-PT-d03r07-14 finished in 89757 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !(G(((F(p1)||p0) U p2)))], workingDir=/home/mcc/execution]
Support contains 4 out of 3866 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 3866/3866 places, 3518/3518 transitions.
Reduce places removed 1 places and 1 transitions.
Applied a total of 0 rules in 181 ms. Remains 3865 /3866 variables (removed 1) and now considering 3517/3518 (removed 1) transitions.
// Phase 1: matrix 3517 rows 3865 cols
[2021-05-10 12:35:58] [INFO ] Invariants computation overflowed in 6680 ms
[2021-05-10 12:35:58] [INFO ] Implicit Places using invariants in 7199 ms returned []
// Phase 1: matrix 3517 rows 3865 cols
[2021-05-10 12:36:06] [INFO ] Invariants computation overflowed in 7174 ms
[2021-05-10 12:36:07] [INFO ] Implicit Places using invariants and state equation in 8063 ms returned []
Implicit Place search using SMT with State Equation took 15279 ms to find 0 implicit places.
[2021-05-10 12:36:07] [INFO ] Redundant transitions in 114 ms returned []
// Phase 1: matrix 3517 rows 3865 cols
[2021-05-10 12:36:14] [INFO ] Invariants computation overflowed in 7201 ms
[2021-05-10 12:36:14] [INFO ] Dead Transitions using invariants and state equation in 7720 ms returned []
Finished structural reductions, in 1 iterations. Remains : 3865/3866 places, 3517/3518 transitions.
Stuttering acceptance computed with spot in 2980 ms :[(NOT p2), (NOT p1), (NOT p2)]
Running random walk in product with property : Echo-PT-d03r07-15 automaton TGBA [mat=[[{ cond=true, acceptance={} source=0 dest: 0}, { cond=(AND (NOT p2) (NOT p0) (NOT p1)), acceptance={} source=0 dest: 1}, { cond=(NOT p2), acceptance={} source=0 dest: 2}], [{ cond=(NOT p1), acceptance={0} source=1 dest: 1}], [{ cond=(AND (NOT p2) (NOT p0) (NOT p1)), acceptance={0} source=2 dest: 1}, { cond=(NOT p2), acceptance={0} source=2 dest: 2}]], initial=0, aps=[p2:(AND (EQ s755 1) (EQ s3205 1)), p0:(OR (EQ s63 0) (EQ s3065 0)), p1:(AND (NEQ s63 0) (NEQ s3065 0))], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, no-univ-branch, stutter-invariant, very-weak, weak, inherently-weak], stateDesc=[null, null, null][true, true, true]]
Stuttering criterion allowed to conclude after 685 steps with 0 reset in 24 ms.
FORMULA Echo-PT-d03r07-15 FALSE TECHNIQUES STUTTER_TEST
Treatment of property Echo-PT-d03r07-15 finished in 32226 ms.
Using solver Z3 to compute partial order matrices.
Built C files in :
/tmp/ltsmin10117511757901507362
[2021-05-10 12:36:17] [INFO ] Too many transitions (3518) to apply POR reductions. Disabling POR matrices.
[2021-05-10 12:36:18] [INFO ] Built C files in 41ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin10117511757901507362
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin10117511757901507362]
[2021-05-10 12:36:18] [INFO ] Applying decomposition
[2021-05-10 12:36:18] [INFO ] Flatten gal took : 308 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/graph7667686907740834624.txt, -o, /tmp/graph7667686907740834624.bin, -w, /tmp/graph7667686907740834624.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/graph7667686907740834624.bin, -l, -1, -v, -w, /tmp/graph7667686907740834624.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-10 12:36:18] [INFO ] Decomposing Gal with order
[2021-05-10 12:36:18] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-10 12:36:19] [INFO ] Removed a total of 6306 redundant transitions.
[2021-05-10 12:36:19] [INFO ] Flatten gal took : 474 ms
[2021-05-10 12:36:19] [INFO ] Fuse similar labels procedure discarded/fused a total of 1080 labels/synchronizations in 104 ms.
[2021-05-10 12:36:19] [INFO ] Time to serialize gal into /tmp/LTLFireability14745822214881033823.gal : 30 ms
[2021-05-10 12:36:19] [INFO ] Time to serialize properties into /tmp/LTLFireability14816782224975681481.ltl : 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-ltl-linux64, --gc-threshold, 2000000, -i, /tmp/LTLFireability14745822214881033823.gal, -t, CGAL, -LTL, /tmp/LTLFireability14816782224975681481.ltl, -c, -stutter-deadlock], workingDir=/home/mcc/execution]
its-ltl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/LTLFireability14745822214881033823.gal -t CGAL -LTL /tmp/LTLFireability14816782224975681481.ltl -c -stutter-deadlock
Read 3 LTL properties
Checking formula 0 : !((("((((((i4.i1.u151.p1170==1)&&(i4.i1.u8.p1171==1))&&(i4.i1.u8.p1173==1))&&(i4.i1.u187.p1174==1))&&(i4.i1.u8.p1175==1))&&(i4.i1.u182.p2937==1))")U(G(("((((i3.i1.u293.p1059==0)||(i3.i1.u165.p1060==0))||(i3.i1.u170.p1061==0))||(i3.i1.u293.p2827==0))")||(F(!("((i11.i1.u234.p1636==1)&&(i11.i1.u229.p4114==1))")))))))
Formula 0 simplified : !("((((((i4.i1.u151.p1170==1)&&(i4.i1.u8.p1171==1))&&(i4.i1.u8.p1173==1))&&(i4.i1.u187.p1174==1))&&(i4.i1.u8.p1175==1))&&(i4.i1.u182.p2937==1))" U G("((((i3.i1.u293.p1059==0)||(i3.i1.u165.p1060==0))||(i3.i1.u170.p1061==0))||(i3.i1.u293.p2827==0))" | F!"((i11.i1.u234.p1636==1)&&(i11.i1.u229.p4114==1))"))
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin10117511757901507362] killed by timeout after 24 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin10117511757901507362] killed by timeout after 24 SECONDS
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:79)
at java.base/java.lang.Thread.run(Thread.java:834)
Detected timeout of ITS tools.
[2021-05-10 12:59:43] [INFO ] Applying decomposition
[2021-05-10 12:59:44] [INFO ] Flatten gal took : 1034 ms
[2021-05-10 12:59:44] [INFO ] Decomposing Gal with order
[2021-05-10 13:00:08] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-10 13:00:09] [INFO ] Removed a total of 14976 redundant transitions.
[2021-05-10 13:00:10] [INFO ] Flatten gal took : 840 ms
[2021-05-10 13:00:10] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 163 ms.
[2021-05-10 13:00:10] [INFO ] Time to serialize gal into /tmp/LTLFireability1120402592155998459.gal : 96 ms
[2021-05-10 13:00:10] [INFO ] Time to serialize properties into /tmp/LTLFireability13087090852283038563.ltl : 2 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64, --gc-threshold, 2000000, -i, /tmp/LTLFireability1120402592155998459.gal, -t, CGAL, -LTL, /tmp/LTLFireability13087090852283038563.ltl, -c, -stutter-deadlock], workingDir=/home/mcc/execution]
its-ltl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/LTLFireability1120402592155998459.gal -t CGAL -LTL /tmp/LTLFireability13087090852283038563.ltl -c -stutter-deadlock
Read 3 LTL properties
Checking formula 0 : !((("((((((u514.p1170==1)&&(u515.p1171==1))&&(u517.p1173==1))&&(u518.p1174==1))&&(u519.p1175==1))&&(u50.p2937==1))")U(G(("((((u403.p1059==0)||(u404.p1060==0))||(u405.p1061==0))||(u301.p2827==0))")||(F(!("((u979.p1636==1)&&(u232.p4114==1))")))))))
Formula 0 simplified : !("((((((u514.p1170==1)&&(u515.p1171==1))&&(u517.p1173==1))&&(u518.p1174==1))&&(u519.p1175==1))&&(u50.p2937==1))" U G("((((u403.p1059==0)||(u404.p1060==0))||(u405.p1061==0))||(u301.p2827==0))" | F!"((u979.p1636==1)&&(u232.p4114==1))"))
ITS-tools command line returned an error code 137
[2021-05-10 13:14:46] [INFO ] Flatten gal took : 1537 ms
[2021-05-10 13:14:46] [INFO ] Input system was already deterministic with 3518 transitions.
[2021-05-10 13:14:47] [INFO ] Transformed 3866 places.
[2021-05-10 13:14:47] [INFO ] Transformed 3518 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-10 13:14:48] [INFO ] Time to serialize gal into /tmp/LTLFireability6651037030518850984.gal : 18 ms
[2021-05-10 13:14:48] [INFO ] Time to serialize properties into /tmp/LTLFireability15968973167343340120.ltl : 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-ltl-linux64, --gc-threshold, 2000000, -i, /tmp/LTLFireability6651037030518850984.gal, -t, CGAL, -LTL, /tmp/LTLFireability15968973167343340120.ltl, -c, -stutter-deadlock, --load-order, /home/mcc/execution/model.ord, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-ltl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/LTLFireability6651037030518850984.gal -t CGAL -LTL /tmp/LTLFireability15968973167343340120.ltl -c -stutter-deadlock --load-order /home/mcc/execution/model.ord --gen-order FOLLOW
Read 3 LTL properties
Successfully loaded order from file /home/mcc/execution/model.ord
Checking formula 0 : !((("((((((p1170==1)&&(p1171==1))&&(p1173==1))&&(p1174==1))&&(p1175==1))&&(p2937==1))")U(G(("((((p1059==0)||(p1060==0))||(p1061==0))||(p2827==0))")||(F(!("((p1636==1)&&(p4114==1))")))))))
Formula 0 simplified : !("((((((p1170==1)&&(p1171==1))&&(p1173==1))&&(p1174==1))&&(p1175==1))&&(p2937==1))" U G("((((p1059==0)||(p1060==0))||(p1061==0))||(p2827==0))" | F!"((p1636==1)&&(p4114==1))"))
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
+ [[ LTLFireability = StateSpace ]]
+ /home/mcc/BenchKit/bin//..//runeclipse.sh /home/mcc/execution LTLFireability -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 LTLFireability -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="Echo-PT-d03r07"
export BK_EXAMINATION="LTLFireability"
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 Echo-PT-d03r07, examination is LTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r083-tall-162048875700653"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Echo-PT-d03r07.tgz
mv Echo-PT-d03r07 execution
cd execution
if [ "LTLFireability" = "ReachabilityDeadlock" ] || [ "LTLFireability" = "UpperBounds" ] || [ "LTLFireability" = "QuasiLiveness" ] || [ "LTLFireability" = "StableMarking" ] || [ "LTLFireability" = "Liveness" ] || [ "LTLFireability" = "OneSafe" ] || [ "LTLFireability" = "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 [ "LTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLFireability" != "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 "LTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLFireability.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 [ "LTLFireability" = "ReachabilityDeadlock" ] || [ "LTLFireability" = "QuasiLiveness" ] || [ "LTLFireability" = "StableMarking" ] || [ "LTLFireability" = "Liveness" ] || [ "LTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME LTLFireability"
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 ;