About the Execution of ITS-Tools for Diffusion2D-PT-D50N150
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16183.651 | 3600000.00 | 3692364.00 | 16539.90 | ?F???????????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/mcc2023-input.r133-smll-167819410600274.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool itstools
Input is Diffusion2D-PT-D50N150, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r133-smll-167819410600274
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 7.8M
-rw-r--r-- 1 mcc users 11K Feb 26 04:30 CTLCardinality.txt
-rw-r--r-- 1 mcc users 105K Feb 26 04:30 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.1K Feb 26 04:29 CTLFireability.txt
-rw-r--r-- 1 mcc users 48K Feb 26 04:29 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.3K Jan 29 11:40 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 4.2K Feb 25 15:59 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 15:59 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Feb 25 15:59 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 15:59 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 26 04:31 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 88K Feb 26 04:31 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.3K Feb 26 04:31 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 54K Feb 26 04:31 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 15:59 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 15:59 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 8 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 7.3M Mar 5 18:22 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME Diffusion2D-PT-D50N150-CTLFireability-00
FORMULA_NAME Diffusion2D-PT-D50N150-CTLFireability-01
FORMULA_NAME Diffusion2D-PT-D50N150-CTLFireability-02
FORMULA_NAME Diffusion2D-PT-D50N150-CTLFireability-03
FORMULA_NAME Diffusion2D-PT-D50N150-CTLFireability-04
FORMULA_NAME Diffusion2D-PT-D50N150-CTLFireability-05
FORMULA_NAME Diffusion2D-PT-D50N150-CTLFireability-06
FORMULA_NAME Diffusion2D-PT-D50N150-CTLFireability-07
FORMULA_NAME Diffusion2D-PT-D50N150-CTLFireability-08
FORMULA_NAME Diffusion2D-PT-D50N150-CTLFireability-09
FORMULA_NAME Diffusion2D-PT-D50N150-CTLFireability-10
FORMULA_NAME Diffusion2D-PT-D50N150-CTLFireability-11
FORMULA_NAME Diffusion2D-PT-D50N150-CTLFireability-12
FORMULA_NAME Diffusion2D-PT-D50N150-CTLFireability-13
FORMULA_NAME Diffusion2D-PT-D50N150-CTLFireability-14
FORMULA_NAME Diffusion2D-PT-D50N150-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1678406521866
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=CTLFireability
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=Diffusion2D-PT-D50N150
Not applying reductions.
Model is PT
CTLFireability PT
Running Version 202303021504
[2023-03-10 00:02:05] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLFireability, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2023-03-10 00:02:05] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-10 00:02:06] [INFO ] Load time of PNML (sax parser for PT used): 858 ms
[2023-03-10 00:02:06] [INFO ] Transformed 2500 places.
[2023-03-10 00:02:06] [INFO ] Transformed 19404 transitions.
[2023-03-10 00:02:06] [INFO ] Parsed PT model containing 2500 places and 19404 transitions and 38808 arcs in 1064 ms.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 38 ms.
Support contains 102 out of 2500 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 2500/2500 places, 19404/19404 transitions.
Applied a total of 0 rules in 1036 ms. Remains 2500 /2500 variables (removed 0) and now considering 19404/19404 (removed 0) transitions.
// Phase 1: matrix 19404 rows 2500 cols
[2023-03-10 00:02:07] [INFO ] Computed 1 place invariants in 221 ms
[2023-03-10 00:02:08] [INFO ] Implicit Places using invariants in 1047 ms returned []
Implicit Place search using SMT only with invariants took 1093 ms to find 0 implicit places.
[2023-03-10 00:02:08] [INFO ] Invariant cache hit.
[2023-03-10 00:02:26] [INFO ] Dead Transitions using invariants and state equation in 17644 ms found 0 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 19795 ms. Remains : 2500/2500 places, 19404/19404 transitions.
Support contains 102 out of 2500 places after structural reductions.
[2023-03-10 00:02:27] [INFO ] Flatten gal took : 865 ms
[2023-03-10 00:02:27] [INFO ] Flatten gal took : 395 ms
[2023-03-10 00:02:28] [INFO ] Input system was already deterministic with 19404 transitions.
Support contains 101 out of 2500 places (down from 102) after GAL structural reductions.
Incomplete random walk after 10119 steps, including 2 resets, run finished after 58 ms. (steps per millisecond=174 ) properties (out of 80) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 12 ms. (steps per millisecond=83 ) properties (out of 78) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 12 ms. (steps per millisecond=83 ) properties (out of 78) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 78) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 13 ms. (steps per millisecond=77 ) properties (out of 78) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 12 ms. (steps per millisecond=83 ) properties (out of 78) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 78) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 78) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 78) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 78) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 78) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 78) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 78) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 78) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 78) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=142 ) properties (out of 78) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 78) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 78) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 78) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 78) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 78) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 78) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 78) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 78) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 78) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 78) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 78) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 78) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 78) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 78) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 78) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 78) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 78) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 78) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 78) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 78) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 78) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 78) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 78) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 78) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 78) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 78) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 78) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 78) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 78) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 78) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 78) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 78) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 78) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 78) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 78) seen :0
Interrupted probabilistic random walk after 101098 steps, run timeout after 3001 ms. (steps per millisecond=33 ) properties seen :{5=1, 8=1, 23=1, 24=1, 33=1, 40=1, 57=1, 61=1, 72=1}
Probabilistic random walk after 101098 steps, saw 84443 distinct states, run finished after 3003 ms. (steps per millisecond=33 ) properties seen :9
Running SMT prover for 69 properties.
[2023-03-10 00:02:32] [INFO ] Invariant cache hit.
[2023-03-10 00:02:37] [INFO ] [Real]Absence check using 1 positive place invariants in 33 ms returned sat
[2023-03-10 00:02:58] [INFO ] After 16013ms SMT Verify possible using state equation in real domain returned unsat :0 sat :63 real:6
[2023-03-10 00:02:58] [INFO ] After 16066ms SMT Verify possible using trap constraints in real domain returned unsat :0 sat :63 real:6
Attempting to minimize the solution found.
Minimization took 11 ms.
[2023-03-10 00:02:58] [INFO ] After 25301ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :63 real:6
[2023-03-10 00:03:02] [INFO ] [Nat]Absence check using 1 positive place invariants in 34 ms returned sat
[2023-03-10 00:03:23] [INFO ] After 16379ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :69
[2023-03-10 00:03:23] [INFO ] After 16382ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :69
Attempting to minimize the solution found.
Minimization took 11 ms.
[2023-03-10 00:03:23] [INFO ] After 25077ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :69
Fused 69 Parikh solutions to 7 different solutions.
Parikh walk visited 58 properties in 11667 ms.
Support contains 16 out of 2500 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2500/2500 places, 19404/19404 transitions.
Graph (trivial) has 19156 edges and 2500 vertex of which 2484 / 2500 are part of one of the 1 SCC in 35 ms
Free SCC test removed 2483 places
Drop transitions removed 19156 transitions
Ensure Unique test removed 214 transitions
Reduce isomorphic transitions removed 19370 transitions.
Drop transitions removed 3 transitions
Redundant transition composition rules discarded 3 transitions
Iterating global reduction 0 with 3 rules applied. Total rules applied 4 place count 17 transition count 31
Applied a total of 4 rules in 94 ms. Remains 17 /2500 variables (removed 2483) and now considering 31/19404 (removed 19373) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 94 ms. Remains : 17/2500 places, 31/19404 transitions.
Incomplete random walk after 10119 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=1445 ) properties (out of 11) seen :6
Finished Best-First random walk after 1808 steps, including 0 resets, run visited all 5 properties in 3 ms. (steps per millisecond=602 )
[2023-03-10 00:03:35] [INFO ] Flatten gal took : 367 ms
[2023-03-10 00:03:35] [INFO ] Flatten gal took : 321 ms
[2023-03-10 00:03:36] [INFO ] Input system was already deterministic with 19404 transitions.
Computed a total of 0 stabilizing places and 0 stable transitions
Starting structural reductions in LTL mode, iteration 0 : 2500/2500 places, 19404/19404 transitions.
Applied a total of 0 rules in 664 ms. Remains 2500 /2500 variables (removed 0) and now considering 19404/19404 (removed 0) transitions.
[2023-03-10 00:03:37] [INFO ] Invariant cache hit.
[2023-03-10 00:03:37] [INFO ] Implicit Places using invariants in 509 ms returned []
Implicit Place search using SMT only with invariants took 512 ms to find 0 implicit places.
[2023-03-10 00:03:37] [INFO ] Invariant cache hit.
[2023-03-10 00:03:53] [INFO ] Dead Transitions using invariants and state equation in 15445 ms found 0 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 16633 ms. Remains : 2500/2500 places, 19404/19404 transitions.
[2023-03-10 00:03:53] [INFO ] Flatten gal took : 307 ms
[2023-03-10 00:03:53] [INFO ] Flatten gal took : 302 ms
[2023-03-10 00:03:54] [INFO ] Input system was already deterministic with 19404 transitions.
[2023-03-10 00:03:54] [INFO ] Flatten gal took : 283 ms
[2023-03-10 00:03:55] [INFO ] Flatten gal took : 306 ms
[2023-03-10 00:03:55] [INFO ] Time to serialize gal into /tmp/CTLFireability14517519874717011819.gal : 133 ms
[2023-03-10 00:03:55] [INFO ] Time to serialize properties into /tmp/CTLFireability9238329459071052979.ctl : 4 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability14517519874717011819.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability9238329459071052979.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2023-03-10 00:04:25] [INFO ] Flatten gal took : 303 ms
[2023-03-10 00:04:25] [INFO ] Applying decomposition
[2023-03-10 00:04:25] [INFO ] Flatten gal took : 330 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph5786584694049713049.txt' '-o' '/tmp/graph5786584694049713049.bin' '-w' '/tmp/graph5786584694049713049.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph5786584694049713049.bin' '-l' '-1' '-v' '-w' '/tmp/graph5786584694049713049.weights' '-q' '0' '-e' '0.001'
[2023-03-10 00:04:27] [INFO ] Decomposing Gal with order
[2023-03-10 00:04:27] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-10 00:04:29] [INFO ] Removed a total of 13240 redundant transitions.
[2023-03-10 00:04:29] [INFO ] Flatten gal took : 1371 ms
[2023-03-10 00:04:30] [INFO ] Fuse similar labels procedure discarded/fused a total of 84 labels/synchronizations in 222 ms.
[2023-03-10 00:04:30] [INFO ] Time to serialize gal into /tmp/CTLFireability11409261423591600504.gal : 180 ms
[2023-03-10 00:04:30] [INFO ] Time to serialize properties into /tmp/CTLFireability16283463380269867875.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability11409261423591600504.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability16283463380269867875.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...264
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 2500/2500 places, 19404/19404 transitions.
Graph (trivial) has 19324 edges and 2500 vertex of which 2495 / 2500 are part of one of the 1 SCC in 15 ms
Free SCC test removed 2494 places
Ensure Unique test removed 19393 transitions
Reduce isomorphic transitions removed 19393 transitions.
Applied a total of 1 rules in 43 ms. Remains 6 /2500 variables (removed 2494) and now considering 11/19404 (removed 19393) transitions.
// Phase 1: matrix 11 rows 6 cols
[2023-03-10 00:05:00] [INFO ] Computed 1 place invariants in 1 ms
[2023-03-10 00:05:00] [INFO ] Implicit Places using invariants in 22 ms returned []
[2023-03-10 00:05:00] [INFO ] Invariant cache hit.
[2023-03-10 00:05:00] [INFO ] Implicit Places using invariants and state equation in 27 ms returned []
Implicit Place search using SMT with State Equation took 51 ms to find 0 implicit places.
[2023-03-10 00:05:00] [INFO ] Redundant transitions in 0 ms returned []
[2023-03-10 00:05:00] [INFO ] Invariant cache hit.
[2023-03-10 00:05:00] [INFO ] Dead Transitions using invariants and state equation in 24 ms found 0 transitions.
Starting structural reductions in SI_CTL mode, iteration 1 : 6/2500 places, 11/19404 transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 125 ms. Remains : 6/2500 places, 11/19404 transitions.
[2023-03-10 00:05:00] [INFO ] Flatten gal took : 1 ms
[2023-03-10 00:05:00] [INFO ] Flatten gal took : 1 ms
[2023-03-10 00:05:00] [INFO ] Input system was already deterministic with 11 transitions.
[2023-03-10 00:05:00] [INFO ] Flatten gal took : 0 ms
[2023-03-10 00:05:00] [INFO ] Flatten gal took : 0 ms
[2023-03-10 00:05:00] [INFO ] Time to serialize gal into /tmp/CTLFireability12337266323323440978.gal : 1 ms
[2023-03-10 00:05:00] [INFO ] Time to serialize properties into /tmp/CTLFireability54041430378428830.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability12337266323323440978.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability54041430378428830.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...282
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,6.98527e+08,0.681154,16560,2,757,5,97775,6,0,37,95978,0
Converting to forward existential form...Done !
original formula: EF(EG((AG((cAMP__27_37_<1)) + (AG(((cAMP__11_5_>=1)||(cAMP__48_41_>=1))) * !(A((cAMP__32_19_>=1) U (cAMP__4_18_>=1)))))))
=> equivalent forward existential formula: [FwdG(FwdU(Init,TRUE),(!(E(TRUE U !((cAMP__27_37_<1)))) + (!(E(TRUE U !(((cAMP__11_5_>=1)||(cAMP__48_41_>=1)))))...274
Reverse transition relation is exact ! Faster fixpoint algorithm enabled.
Hit Full ! (commute/partial/dont) 9/0/2
(forward)formula 0,0,24.3886,301188,1,0,9,1.50299e+06,36,0,1064,1.46671e+06,15
FORMULA Diffusion2D-PT-D50N150-CTLFireability-01 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Formula is FALSE !
***************************************
Starting structural reductions in LTL mode, iteration 0 : 2500/2500 places, 19404/19404 transitions.
Applied a total of 0 rules in 562 ms. Remains 2500 /2500 variables (removed 0) and now considering 19404/19404 (removed 0) transitions.
// Phase 1: matrix 19404 rows 2500 cols
[2023-03-10 00:05:25] [INFO ] Computed 1 place invariants in 151 ms
[2023-03-10 00:05:26] [INFO ] Implicit Places using invariants in 640 ms returned []
Implicit Place search using SMT only with invariants took 641 ms to find 0 implicit places.
[2023-03-10 00:05:26] [INFO ] Invariant cache hit.
[2023-03-10 00:05:42] [INFO ] Dead Transitions using invariants and state equation in 16731 ms found 0 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 17939 ms. Remains : 2500/2500 places, 19404/19404 transitions.
[2023-03-10 00:05:43] [INFO ] Flatten gal took : 335 ms
[2023-03-10 00:05:43] [INFO ] Flatten gal took : 485 ms
[2023-03-10 00:05:44] [INFO ] Input system was already deterministic with 19404 transitions.
[2023-03-10 00:05:44] [INFO ] Flatten gal took : 308 ms
[2023-03-10 00:05:45] [INFO ] Flatten gal took : 323 ms
[2023-03-10 00:05:45] [INFO ] Time to serialize gal into /tmp/CTLFireability11246617563576390919.gal : 54 ms
[2023-03-10 00:05:45] [INFO ] Time to serialize properties into /tmp/CTLFireability2894899369324458123.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability11246617563576390919.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability2894899369324458123.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2023-03-10 00:06:15] [INFO ] Flatten gal took : 301 ms
[2023-03-10 00:06:15] [INFO ] Applying decomposition
[2023-03-10 00:06:15] [INFO ] Flatten gal took : 339 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph15044009926988130685.txt' '-o' '/tmp/graph15044009926988130685.bin' '-w' '/tmp/graph15044009926988130685.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph15044009926988130685.bin' '-l' '-1' '-v' '-w' '/tmp/graph15044009926988130685.weights' '-q' '0' '-e' '0.001'
[2023-03-10 00:06:16] [INFO ] Decomposing Gal with order
[2023-03-10 00:06:16] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-10 00:06:17] [INFO ] Removed a total of 13298 redundant transitions.
[2023-03-10 00:06:18] [INFO ] Flatten gal took : 621 ms
[2023-03-10 00:06:18] [INFO ] Fuse similar labels procedure discarded/fused a total of 112 labels/synchronizations in 119 ms.
[2023-03-10 00:06:18] [INFO ] Time to serialize gal into /tmp/CTLFireability12050272800695241320.gal : 91 ms
[2023-03-10 00:06:18] [INFO ] Time to serialize properties into /tmp/CTLFireability17929539790435004640.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability12050272800695241320.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability17929539790435004640.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...264
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 2500/2500 places, 19404/19404 transitions.
Applied a total of 0 rules in 519 ms. Remains 2500 /2500 variables (removed 0) and now considering 19404/19404 (removed 0) transitions.
[2023-03-10 00:06:48] [INFO ] Invariant cache hit.
[2023-03-10 00:06:49] [INFO ] Implicit Places using invariants in 505 ms returned []
Implicit Place search using SMT only with invariants took 507 ms to find 0 implicit places.
[2023-03-10 00:06:49] [INFO ] Invariant cache hit.
[2023-03-10 00:07:05] [INFO ] Dead Transitions using invariants and state equation in 15587 ms found 0 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 16625 ms. Remains : 2500/2500 places, 19404/19404 transitions.
[2023-03-10 00:07:05] [INFO ] Flatten gal took : 285 ms
[2023-03-10 00:07:05] [INFO ] Flatten gal took : 425 ms
[2023-03-10 00:07:06] [INFO ] Input system was already deterministic with 19404 transitions.
[2023-03-10 00:07:06] [INFO ] Flatten gal took : 294 ms
[2023-03-10 00:07:07] [INFO ] Flatten gal took : 320 ms
[2023-03-10 00:07:07] [INFO ] Time to serialize gal into /tmp/CTLFireability13927680620566339333.gal : 61 ms
[2023-03-10 00:07:07] [INFO ] Time to serialize properties into /tmp/CTLFireability13899340828287511502.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability13927680620566339333.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability13899340828287511502.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2023-03-10 00:07:37] [INFO ] Flatten gal took : 318 ms
[2023-03-10 00:07:37] [INFO ] Applying decomposition
[2023-03-10 00:07:37] [INFO ] Flatten gal took : 461 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph1105291539300064855.txt' '-o' '/tmp/graph1105291539300064855.bin' '-w' '/tmp/graph1105291539300064855.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph1105291539300064855.bin' '-l' '-1' '-v' '-w' '/tmp/graph1105291539300064855.weights' '-q' '0' '-e' '0.001'
[2023-03-10 00:07:38] [INFO ] Decomposing Gal with order
[2023-03-10 00:07:38] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-10 00:07:39] [INFO ] Removed a total of 13648 redundant transitions.
[2023-03-10 00:07:39] [INFO ] Flatten gal took : 636 ms
[2023-03-10 00:07:40] [INFO ] Fuse similar labels procedure discarded/fused a total of 58 labels/synchronizations in 61 ms.
[2023-03-10 00:07:40] [INFO ] Time to serialize gal into /tmp/CTLFireability17131170334977644918.gal : 86 ms
[2023-03-10 00:07:40] [INFO ] Time to serialize properties into /tmp/CTLFireability3367696923647628008.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability17131170334977644918.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3367696923647628008.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 2500/2500 places, 19404/19404 transitions.
Applied a total of 0 rules in 783 ms. Remains 2500 /2500 variables (removed 0) and now considering 19404/19404 (removed 0) transitions.
[2023-03-10 00:08:11] [INFO ] Invariant cache hit.
[2023-03-10 00:08:11] [INFO ] Implicit Places using invariants in 496 ms returned []
Implicit Place search using SMT only with invariants took 497 ms to find 0 implicit places.
[2023-03-10 00:08:11] [INFO ] Invariant cache hit.
[2023-03-10 00:08:25] [INFO ] Dead Transitions using invariants and state equation in 13576 ms found 0 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 14865 ms. Remains : 2500/2500 places, 19404/19404 transitions.
[2023-03-10 00:08:25] [INFO ] Flatten gal took : 271 ms
[2023-03-10 00:08:25] [INFO ] Flatten gal took : 290 ms
[2023-03-10 00:08:26] [INFO ] Input system was already deterministic with 19404 transitions.
[2023-03-10 00:08:26] [INFO ] Flatten gal took : 414 ms
[2023-03-10 00:08:27] [INFO ] Flatten gal took : 373 ms
[2023-03-10 00:08:27] [INFO ] Time to serialize gal into /tmp/CTLFireability2048084355337121661.gal : 61 ms
[2023-03-10 00:08:27] [INFO ] Time to serialize properties into /tmp/CTLFireability7492710232698362706.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability2048084355337121661.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability7492710232698362706.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2023-03-10 00:08:57] [INFO ] Flatten gal took : 309 ms
[2023-03-10 00:08:57] [INFO ] Applying decomposition
[2023-03-10 00:08:57] [INFO ] Flatten gal took : 280 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph15631042871086606551.txt' '-o' '/tmp/graph15631042871086606551.bin' '-w' '/tmp/graph15631042871086606551.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph15631042871086606551.bin' '-l' '-1' '-v' '-w' '/tmp/graph15631042871086606551.weights' '-q' '0' '-e' '0.001'
[2023-03-10 00:08:58] [INFO ] Decomposing Gal with order
[2023-03-10 00:08:58] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-10 00:08:59] [INFO ] Removed a total of 13828 redundant transitions.
[2023-03-10 00:08:59] [INFO ] Flatten gal took : 634 ms
[2023-03-10 00:08:59] [INFO ] Fuse similar labels procedure discarded/fused a total of 66 labels/synchronizations in 81 ms.
[2023-03-10 00:08:59] [INFO ] Time to serialize gal into /tmp/CTLFireability8402439493122432888.gal : 91 ms
[2023-03-10 00:08:59] [INFO ] Time to serialize properties into /tmp/CTLFireability16486667509695992614.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability8402439493122432888.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability16486667509695992614.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 2500/2500 places, 19404/19404 transitions.
Graph (trivial) has 19292 edges and 2500 vertex of which 2493 / 2500 are part of one of the 1 SCC in 8 ms
Free SCC test removed 2492 places
Ensure Unique test removed 19389 transitions
Reduce isomorphic transitions removed 19389 transitions.
Applied a total of 1 rules in 26 ms. Remains 8 /2500 variables (removed 2492) and now considering 15/19404 (removed 19389) transitions.
// Phase 1: matrix 15 rows 8 cols
[2023-03-10 00:09:30] [INFO ] Computed 1 place invariants in 0 ms
[2023-03-10 00:09:30] [INFO ] Implicit Places using invariants in 22 ms returned []
[2023-03-10 00:09:30] [INFO ] Invariant cache hit.
[2023-03-10 00:09:30] [INFO ] Implicit Places using invariants and state equation in 24 ms returned []
Implicit Place search using SMT with State Equation took 48 ms to find 0 implicit places.
[2023-03-10 00:09:30] [INFO ] Redundant transitions in 0 ms returned []
[2023-03-10 00:09:30] [INFO ] Invariant cache hit.
[2023-03-10 00:09:30] [INFO ] Dead Transitions using invariants and state equation in 23 ms found 0 transitions.
Starting structural reductions in SI_CTL mode, iteration 1 : 8/2500 places, 15/19404 transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 112 ms. Remains : 8/2500 places, 15/19404 transitions.
[2023-03-10 00:09:30] [INFO ] Flatten gal took : 1 ms
[2023-03-10 00:09:30] [INFO ] Flatten gal took : 1 ms
[2023-03-10 00:09:30] [INFO ] Input system was already deterministic with 15 transitions.
[2023-03-10 00:09:30] [INFO ] Flatten gal took : 0 ms
[2023-03-10 00:09:30] [INFO ] Flatten gal took : 1 ms
[2023-03-10 00:09:30] [INFO ] Time to serialize gal into /tmp/CTLFireability12091708411454873608.gal : 5 ms
[2023-03-10 00:09:30] [INFO ] Time to serialize properties into /tmp/CTLFireability2334596389563282906.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability12091708411454873608.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability2334596389563282906.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,4.07341e+11,1.08606,22872,2,1059,5,146063,6,0,49,143368,0
Converting to forward existential form...Done !
original formula: AG(!(A(((cAMP__27_41_>=1) * ((AG((cAMP__37_2_>=1)) + E((cAMP__7_17_>=1) U (cAMP__13_33_>=1))) + (cAMP__31_8_<1))) U ((cAMP__30_22_>=1)&&(...175
=> equivalent forward existential formula: [((FwdU(Init,TRUE) * !(EG(!(((cAMP__30_22_>=1)&&(cAMP__14_36_>=1)))))) * !(E(!(((cAMP__30_22_>=1)&&(cAMP__14_36_...343
Reverse transition relation is exact ! Faster fixpoint algorithm enabled.
Detected timeout of ITS tools.
[2023-03-10 00:10:00] [INFO ] Flatten gal took : 1 ms
[2023-03-10 00:10:00] [INFO ] Applying decomposition
[2023-03-10 00:10:00] [INFO ] Flatten gal took : 1 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph14218334686019445808.txt' '-o' '/tmp/graph14218334686019445808.bin' '-w' '/tmp/graph14218334686019445808.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph14218334686019445808.bin' '-l' '-1' '-v' '-w' '/tmp/graph14218334686019445808.weights' '-q' '0' '-e' '0.001'
[2023-03-10 00:10:00] [INFO ] Decomposing Gal with order
[2023-03-10 00:10:00] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-10 00:10:00] [INFO ] Flatten gal took : 1 ms
[2023-03-10 00:10:00] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 0 ms.
[2023-03-10 00:10:00] [INFO ] Time to serialize gal into /tmp/CTLFireability5090389173814730226.gal : 1 ms
[2023-03-10 00:10:00] [INFO ] Time to serialize properties into /tmp/CTLFireability17695099936431134799.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability5090389173814730226.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability17695099936431134799.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,4.07341e+11,1.22492,22876,2,1059,5,146063,6,0,49,143368,0
Converting to forward existential form...Done !
original formula: AG(!(A(((u0.cAMP__27_41_>=1) * ((AG((u0.cAMP__37_2_>=1)) + E((u0.cAMP__7_17_>=1) U (u0.cAMP__13_33_>=1))) + (u0.cAMP__31_8_<1))) U ((u0.c...196
=> equivalent forward existential formula: [((FwdU(Init,TRUE) * !(EG(!(((u0.cAMP__30_22_>=1)&&(u0.cAMP__14_36_>=1)))))) * !(E(!(((u0.cAMP__30_22_>=1)&&(u0....376
Reverse transition relation is exact ! Faster fixpoint algorithm enabled.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 2500/2500 places, 19404/19404 transitions.
Applied a total of 0 rules in 508 ms. Remains 2500 /2500 variables (removed 0) and now considering 19404/19404 (removed 0) transitions.
// Phase 1: matrix 19404 rows 2500 cols
[2023-03-10 00:10:30] [INFO ] Computed 1 place invariants in 117 ms
[2023-03-10 00:10:31] [INFO ] Implicit Places using invariants in 464 ms returned []
Implicit Place search using SMT only with invariants took 465 ms to find 0 implicit places.
[2023-03-10 00:10:31] [INFO ] Invariant cache hit.
[2023-03-10 00:10:47] [INFO ] Dead Transitions using invariants and state equation in 16112 ms found 0 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 17087 ms. Remains : 2500/2500 places, 19404/19404 transitions.
[2023-03-10 00:10:47] [INFO ] Flatten gal took : 442 ms
[2023-03-10 00:10:48] [INFO ] Flatten gal took : 357 ms
[2023-03-10 00:10:48] [INFO ] Input system was already deterministic with 19404 transitions.
[2023-03-10 00:10:49] [INFO ] Flatten gal took : 298 ms
[2023-03-10 00:10:49] [INFO ] Flatten gal took : 324 ms
[2023-03-10 00:10:49] [INFO ] Time to serialize gal into /tmp/CTLFireability17578920296328817723.gal : 49 ms
[2023-03-10 00:10:49] [INFO ] Time to serialize properties into /tmp/CTLFireability10796075169661213809.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability17578920296328817723.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability10796075169661213809.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2023-03-10 00:11:19] [INFO ] Flatten gal took : 311 ms
[2023-03-10 00:11:19] [INFO ] Applying decomposition
[2023-03-10 00:11:20] [INFO ] Flatten gal took : 333 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph9326961820912786356.txt' '-o' '/tmp/graph9326961820912786356.bin' '-w' '/tmp/graph9326961820912786356.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph9326961820912786356.bin' '-l' '-1' '-v' '-w' '/tmp/graph9326961820912786356.weights' '-q' '0' '-e' '0.001'
[2023-03-10 00:11:20] [INFO ] Decomposing Gal with order
[2023-03-10 00:11:20] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-10 00:11:21] [INFO ] Removed a total of 13372 redundant transitions.
[2023-03-10 00:11:22] [INFO ] Flatten gal took : 603 ms
[2023-03-10 00:11:22] [INFO ] Fuse similar labels procedure discarded/fused a total of 70 labels/synchronizations in 82 ms.
[2023-03-10 00:11:22] [INFO ] Time to serialize gal into /tmp/CTLFireability12458289316322207097.gal : 74 ms
[2023-03-10 00:11:22] [INFO ] Time to serialize properties into /tmp/CTLFireability7632006185208519337.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability12458289316322207097.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability7632006185208519337.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 2500/2500 places, 19404/19404 transitions.
Applied a total of 0 rules in 898 ms. Remains 2500 /2500 variables (removed 0) and now considering 19404/19404 (removed 0) transitions.
[2023-03-10 00:11:53] [INFO ] Invariant cache hit.
[2023-03-10 00:11:53] [INFO ] Implicit Places using invariants in 512 ms returned []
Implicit Place search using SMT only with invariants took 513 ms to find 0 implicit places.
[2023-03-10 00:11:53] [INFO ] Invariant cache hit.
[2023-03-10 00:12:11] [INFO ] Dead Transitions using invariants and state equation in 18202 ms found 0 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 19631 ms. Remains : 2500/2500 places, 19404/19404 transitions.
[2023-03-10 00:12:12] [INFO ] Flatten gal took : 303 ms
[2023-03-10 00:12:12] [INFO ] Flatten gal took : 322 ms
[2023-03-10 00:12:13] [INFO ] Input system was already deterministic with 19404 transitions.
[2023-03-10 00:12:13] [INFO ] Flatten gal took : 279 ms
[2023-03-10 00:12:13] [INFO ] Flatten gal took : 289 ms
[2023-03-10 00:12:13] [INFO ] Time to serialize gal into /tmp/CTLFireability14100021457390814640.gal : 126 ms
[2023-03-10 00:12:13] [INFO ] Time to serialize properties into /tmp/CTLFireability11468043157385180377.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability14100021457390814640.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability11468043157385180377.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2023-03-10 00:12:44] [INFO ] Flatten gal took : 292 ms
[2023-03-10 00:12:44] [INFO ] Applying decomposition
[2023-03-10 00:12:44] [INFO ] Flatten gal took : 396 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph13648447917601681004.txt' '-o' '/tmp/graph13648447917601681004.bin' '-w' '/tmp/graph13648447917601681004.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph13648447917601681004.bin' '-l' '-1' '-v' '-w' '/tmp/graph13648447917601681004.weights' '-q' '0' '-e' '0.001'
[2023-03-10 00:12:45] [INFO ] Decomposing Gal with order
[2023-03-10 00:12:45] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-10 00:12:46] [INFO ] Removed a total of 13458 redundant transitions.
[2023-03-10 00:12:46] [INFO ] Flatten gal took : 653 ms
[2023-03-10 00:12:47] [INFO ] Fuse similar labels procedure discarded/fused a total of 100 labels/synchronizations in 107 ms.
[2023-03-10 00:12:47] [INFO ] Time to serialize gal into /tmp/CTLFireability3966733243358602444.gal : 86 ms
[2023-03-10 00:12:47] [INFO ] Time to serialize properties into /tmp/CTLFireability16775250025492039426.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability3966733243358602444.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability16775250025492039426.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 2500/2500 places, 19404/19404 transitions.
Applied a total of 0 rules in 749 ms. Remains 2500 /2500 variables (removed 0) and now considering 19404/19404 (removed 0) transitions.
[2023-03-10 00:13:17] [INFO ] Invariant cache hit.
[2023-03-10 00:13:18] [INFO ] Implicit Places using invariants in 360 ms returned []
Implicit Place search using SMT only with invariants took 363 ms to find 0 implicit places.
[2023-03-10 00:13:18] [INFO ] Invariant cache hit.
[2023-03-10 00:13:34] [INFO ] Dead Transitions using invariants and state equation in 16103 ms found 0 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 17228 ms. Remains : 2500/2500 places, 19404/19404 transitions.
[2023-03-10 00:13:34] [INFO ] Flatten gal took : 469 ms
[2023-03-10 00:13:35] [INFO ] Flatten gal took : 496 ms
[2023-03-10 00:13:36] [INFO ] Input system was already deterministic with 19404 transitions.
[2023-03-10 00:13:36] [INFO ] Flatten gal took : 372 ms
[2023-03-10 00:13:36] [INFO ] Flatten gal took : 290 ms
[2023-03-10 00:13:36] [INFO ] Time to serialize gal into /tmp/CTLFireability15384764690838964673.gal : 53 ms
[2023-03-10 00:13:36] [INFO ] Time to serialize properties into /tmp/CTLFireability16245553022553299965.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability15384764690838964673.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability16245553022553299965.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2023-03-10 00:14:07] [INFO ] Flatten gal took : 298 ms
[2023-03-10 00:14:07] [INFO ] Applying decomposition
[2023-03-10 00:14:07] [INFO ] Flatten gal took : 387 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph7458104087535117538.txt' '-o' '/tmp/graph7458104087535117538.bin' '-w' '/tmp/graph7458104087535117538.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph7458104087535117538.bin' '-l' '-1' '-v' '-w' '/tmp/graph7458104087535117538.weights' '-q' '0' '-e' '0.001'
[2023-03-10 00:14:08] [INFO ] Decomposing Gal with order
[2023-03-10 00:14:08] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-10 00:14:09] [INFO ] Removed a total of 13438 redundant transitions.
[2023-03-10 00:14:09] [INFO ] Flatten gal took : 645 ms
[2023-03-10 00:14:09] [INFO ] Fuse similar labels procedure discarded/fused a total of 102 labels/synchronizations in 103 ms.
[2023-03-10 00:14:09] [INFO ] Time to serialize gal into /tmp/CTLFireability9434586925811151008.gal : 64 ms
[2023-03-10 00:14:09] [INFO ] Time to serialize properties into /tmp/CTLFireability15841955079149162049.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability9434586925811151008.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability15841955079149162049.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 2500/2500 places, 19404/19404 transitions.
Applied a total of 0 rules in 517 ms. Remains 2500 /2500 variables (removed 0) and now considering 19404/19404 (removed 0) transitions.
[2023-03-10 00:14:40] [INFO ] Invariant cache hit.
[2023-03-10 00:14:40] [INFO ] Implicit Places using invariants in 457 ms returned []
Implicit Place search using SMT only with invariants took 458 ms to find 0 implicit places.
[2023-03-10 00:14:40] [INFO ] Invariant cache hit.
[2023-03-10 00:14:59] [INFO ] Dead Transitions using invariants and state equation in 18800 ms found 0 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 19784 ms. Remains : 2500/2500 places, 19404/19404 transitions.
[2023-03-10 00:15:00] [INFO ] Flatten gal took : 280 ms
[2023-03-10 00:15:00] [INFO ] Flatten gal took : 300 ms
[2023-03-10 00:15:00] [INFO ] Input system was already deterministic with 19404 transitions.
[2023-03-10 00:15:01] [INFO ] Flatten gal took : 300 ms
[2023-03-10 00:15:01] [INFO ] Flatten gal took : 331 ms
[2023-03-10 00:15:01] [INFO ] Time to serialize gal into /tmp/CTLFireability17782921466059202537.gal : 69 ms
[2023-03-10 00:15:01] [INFO ] Time to serialize properties into /tmp/CTLFireability2180109723656570819.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability17782921466059202537.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability2180109723656570819.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2023-03-10 00:15:32] [INFO ] Flatten gal took : 304 ms
[2023-03-10 00:15:32] [INFO ] Applying decomposition
[2023-03-10 00:15:32] [INFO ] Flatten gal took : 342 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph3460903043271879236.txt' '-o' '/tmp/graph3460903043271879236.bin' '-w' '/tmp/graph3460903043271879236.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph3460903043271879236.bin' '-l' '-1' '-v' '-w' '/tmp/graph3460903043271879236.weights' '-q' '0' '-e' '0.001'
[2023-03-10 00:15:33] [INFO ] Decomposing Gal with order
[2023-03-10 00:15:33] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-10 00:15:34] [INFO ] Removed a total of 13276 redundant transitions.
[2023-03-10 00:15:34] [INFO ] Flatten gal took : 729 ms
[2023-03-10 00:15:35] [INFO ] Fuse similar labels procedure discarded/fused a total of 118 labels/synchronizations in 67 ms.
[2023-03-10 00:15:35] [INFO ] Time to serialize gal into /tmp/CTLFireability2385917513848871682.gal : 64 ms
[2023-03-10 00:15:35] [INFO ] Time to serialize properties into /tmp/CTLFireability2128929766549505336.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability2385917513848871682.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability2128929766549505336.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...262
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 2500/2500 places, 19404/19404 transitions.
Graph (trivial) has 19212 edges and 2500 vertex of which 2488 / 2500 are part of one of the 1 SCC in 12 ms
Free SCC test removed 2487 places
Ensure Unique test removed 19379 transitions
Reduce isomorphic transitions removed 19379 transitions.
Applied a total of 1 rules in 37 ms. Remains 13 /2500 variables (removed 2487) and now considering 25/19404 (removed 19379) transitions.
// Phase 1: matrix 25 rows 13 cols
[2023-03-10 00:16:05] [INFO ] Computed 1 place invariants in 1 ms
[2023-03-10 00:16:05] [INFO ] Implicit Places using invariants in 30 ms returned []
[2023-03-10 00:16:05] [INFO ] Invariant cache hit.
[2023-03-10 00:16:05] [INFO ] Implicit Places using invariants and state equation in 34 ms returned []
Implicit Place search using SMT with State Equation took 77 ms to find 0 implicit places.
[2023-03-10 00:16:05] [INFO ] Redundant transitions in 0 ms returned []
[2023-03-10 00:16:05] [INFO ] Invariant cache hit.
[2023-03-10 00:16:05] [INFO ] Dead Transitions using invariants and state equation in 40 ms found 0 transitions.
Starting structural reductions in SI_CTL mode, iteration 1 : 13/2500 places, 25/19404 transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 178 ms. Remains : 13/2500 places, 25/19404 transitions.
[2023-03-10 00:16:05] [INFO ] Flatten gal took : 1 ms
[2023-03-10 00:16:05] [INFO ] Flatten gal took : 1 ms
[2023-03-10 00:16:05] [INFO ] Input system was already deterministic with 25 transitions.
[2023-03-10 00:16:05] [INFO ] Flatten gal took : 1 ms
[2023-03-10 00:16:05] [INFO ] Flatten gal took : 1 ms
[2023-03-10 00:16:05] [INFO ] Time to serialize gal into /tmp/CTLFireability14958683197340142382.gal : 1 ms
[2023-03-10 00:16:05] [INFO ] Time to serialize properties into /tmp/CTLFireability14060988787542535815.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability14958683197340142382.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability14060988787542535815.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,4.49331e+17,2.29851,40096,2,1814,5,267683,6,0,79,261843,0
Converting to forward existential form...Done !
original formula: AG(E(!((((AF((cAMP__34_32_>=1)) * E((cAMP__14_13_>=1) U (cAMP__32_43_>=1))) * ((cAMP__45_9_<1)&&(cAMP__8_31_<1))) + (cAMP__32_12_>=1))) U...282
=> equivalent forward existential formula: [(FwdU(Init,TRUE) * !(E(!((((!(EG(!((cAMP__34_32_>=1)))) * E((cAMP__14_13_>=1) U (cAMP__32_43_>=1))) * ((cAMP__4...342
Reverse transition relation is exact ! Faster fixpoint algorithm enabled.
Hit Full ! (commute/partial/dont) 23/0/2
Hit Full ! (commute/partial/dont) 23/0/2
Detected timeout of ITS tools.
[2023-03-10 00:16:35] [INFO ] Flatten gal took : 1 ms
[2023-03-10 00:16:35] [INFO ] Applying decomposition
[2023-03-10 00:16:35] [INFO ] Flatten gal took : 0 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph4797658687357190886.txt' '-o' '/tmp/graph4797658687357190886.bin' '-w' '/tmp/graph4797658687357190886.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph4797658687357190886.bin' '-l' '-1' '-v' '-w' '/tmp/graph4797658687357190886.weights' '-q' '0' '-e' '0.001'
[2023-03-10 00:16:35] [INFO ] Decomposing Gal with order
[2023-03-10 00:16:35] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-10 00:16:35] [INFO ] Flatten gal took : 0 ms
[2023-03-10 00:16:35] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 0 ms.
[2023-03-10 00:16:35] [INFO ] Time to serialize gal into /tmp/CTLFireability15767319674672453119.gal : 1 ms
[2023-03-10 00:16:35] [INFO ] Time to serialize properties into /tmp/CTLFireability2413295925853171675.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability15767319674672453119.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability2413295925853171675.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,4.49331e+17,2.11672,39848,2,1814,5,267683,6,0,79,261843,0
Converting to forward existential form...Done !
original formula: AG(E(!((((AF((u0.cAMP__34_32_>=1)) * E((u0.cAMP__14_13_>=1) U (u0.cAMP__32_43_>=1))) * ((u0.cAMP__45_9_<1)&&(u0.cAMP__8_31_<1))) + (u0.cA...318
=> equivalent forward existential formula: [(FwdU(Init,TRUE) * !(E(!((((!(EG(!((u0.cAMP__34_32_>=1)))) * E((u0.cAMP__14_13_>=1) U (u0.cAMP__32_43_>=1))) * ...378
Reverse transition relation is exact ! Faster fixpoint algorithm enabled.
Hit Full ! (commute/partial/dont) 23/0/2
Hit Full ! (commute/partial/dont) 23/0/2
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 2500/2500 places, 19404/19404 transitions.
Applied a total of 0 rules in 531 ms. Remains 2500 /2500 variables (removed 0) and now considering 19404/19404 (removed 0) transitions.
// Phase 1: matrix 19404 rows 2500 cols
[2023-03-10 00:17:06] [INFO ] Computed 1 place invariants in 117 ms
[2023-03-10 00:17:06] [INFO ] Implicit Places using invariants in 545 ms returned []
Implicit Place search using SMT only with invariants took 547 ms to find 0 implicit places.
[2023-03-10 00:17:06] [INFO ] Invariant cache hit.
[2023-03-10 00:17:22] [INFO ] Dead Transitions using invariants and state equation in 15780 ms found 0 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 16863 ms. Remains : 2500/2500 places, 19404/19404 transitions.
[2023-03-10 00:17:22] [INFO ] Flatten gal took : 307 ms
[2023-03-10 00:17:22] [INFO ] Flatten gal took : 337 ms
[2023-03-10 00:17:23] [INFO ] Input system was already deterministic with 19404 transitions.
[2023-03-10 00:17:24] [INFO ] Flatten gal took : 373 ms
[2023-03-10 00:17:24] [INFO ] Flatten gal took : 425 ms
[2023-03-10 00:17:24] [INFO ] Time to serialize gal into /tmp/CTLFireability11701226743878702018.gal : 51 ms
[2023-03-10 00:17:24] [INFO ] Time to serialize properties into /tmp/CTLFireability3934359471790580604.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability11701226743878702018.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3934359471790580604.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2023-03-10 00:17:54] [INFO ] Flatten gal took : 290 ms
[2023-03-10 00:17:54] [INFO ] Applying decomposition
[2023-03-10 00:17:55] [INFO ] Flatten gal took : 482 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph8514559634401454094.txt' '-o' '/tmp/graph8514559634401454094.bin' '-w' '/tmp/graph8514559634401454094.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph8514559634401454094.bin' '-l' '-1' '-v' '-w' '/tmp/graph8514559634401454094.weights' '-q' '0' '-e' '0.001'
[2023-03-10 00:17:56] [INFO ] Decomposing Gal with order
[2023-03-10 00:17:56] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-10 00:17:57] [INFO ] Removed a total of 14054 redundant transitions.
[2023-03-10 00:17:57] [INFO ] Flatten gal took : 784 ms
[2023-03-10 00:17:57] [INFO ] Fuse similar labels procedure discarded/fused a total of 110 labels/synchronizations in 69 ms.
[2023-03-10 00:17:57] [INFO ] Time to serialize gal into /tmp/CTLFireability13148658742449411615.gal : 72 ms
[2023-03-10 00:17:57] [INFO ] Time to serialize properties into /tmp/CTLFireability10132966550343296741.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability13148658742449411615.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability10132966550343296741.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...264
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 2500/2500 places, 19404/19404 transitions.
Graph (trivial) has 19308 edges and 2500 vertex of which 2494 / 2500 are part of one of the 1 SCC in 5 ms
Free SCC test removed 2493 places
Ensure Unique test removed 19391 transitions
Reduce isomorphic transitions removed 19391 transitions.
Applied a total of 1 rules in 20 ms. Remains 7 /2500 variables (removed 2493) and now considering 13/19404 (removed 19391) transitions.
// Phase 1: matrix 13 rows 7 cols
[2023-03-10 00:18:27] [INFO ] Computed 1 place invariants in 0 ms
[2023-03-10 00:18:27] [INFO ] Implicit Places using invariants in 19 ms returned []
[2023-03-10 00:18:27] [INFO ] Invariant cache hit.
[2023-03-10 00:18:27] [INFO ] Implicit Places using invariants and state equation in 22 ms returned []
Implicit Place search using SMT with State Equation took 54 ms to find 0 implicit places.
[2023-03-10 00:18:27] [INFO ] Redundant transitions in 0 ms returned []
[2023-03-10 00:18:27] [INFO ] Invariant cache hit.
[2023-03-10 00:18:27] [INFO ] Dead Transitions using invariants and state equation in 33 ms found 0 transitions.
Starting structural reductions in SI_CTL mode, iteration 1 : 7/2500 places, 13/19404 transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 116 ms. Remains : 7/2500 places, 13/19404 transitions.
[2023-03-10 00:18:27] [INFO ] Flatten gal took : 0 ms
[2023-03-10 00:18:27] [INFO ] Flatten gal took : 0 ms
[2023-03-10 00:18:27] [INFO ] Input system was already deterministic with 13 transitions.
[2023-03-10 00:18:27] [INFO ] Flatten gal took : 0 ms
[2023-03-10 00:18:27] [INFO ] Flatten gal took : 0 ms
[2023-03-10 00:18:27] [INFO ] Time to serialize gal into /tmp/CTLFireability1752063281492571417.gal : 1 ms
[2023-03-10 00:18:27] [INFO ] Time to serialize properties into /tmp/CTLFireability3722416527576739081.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability1752063281492571417.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3722416527576739081.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,1.81617e+10,1.16946,19736,2,908,5,121919,6,0,43,119673,0
Converting to forward existential form...Done !
original formula: EF(AG((EF(((cAMP__40_33_<1)||(cAMP__41_19_<1))) * (((cAMP__42_27_>=1)||(cAMP__11_15_<1))||((cAMP__44_48_<1)||(cAMP__35_23_>=1))))))
=> equivalent forward existential formula: [(FwdU(Init,TRUE) * !(E(TRUE U !((E(TRUE U ((cAMP__40_33_<1)||(cAMP__41_19_<1))) * (((cAMP__42_27_>=1)||(cAMP__1...219
Reverse transition relation is exact ! Faster fixpoint algorithm enabled.
Detected timeout of ITS tools.
[2023-03-10 00:18:57] [INFO ] Flatten gal took : 1 ms
[2023-03-10 00:18:57] [INFO ] Applying decomposition
[2023-03-10 00:18:57] [INFO ] Flatten gal took : 0 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph11706392785133575439.txt' '-o' '/tmp/graph11706392785133575439.bin' '-w' '/tmp/graph11706392785133575439.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph11706392785133575439.bin' '-l' '-1' '-v' '-w' '/tmp/graph11706392785133575439.weights' '-q' '0' '-e' '0.001'
[2023-03-10 00:18:57] [INFO ] Decomposing Gal with order
[2023-03-10 00:18:57] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-10 00:18:57] [INFO ] Flatten gal took : 0 ms
[2023-03-10 00:18:57] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 0 ms.
[2023-03-10 00:18:57] [INFO ] Time to serialize gal into /tmp/CTLFireability4360230739788284463.gal : 0 ms
[2023-03-10 00:18:57] [INFO ] Time to serialize properties into /tmp/CTLFireability2145521210917822097.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability4360230739788284463.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability2145521210917822097.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...262
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,1.81617e+10,0.922548,19756,2,908,5,121919,6,0,43,119673,0
Converting to forward existential form...Done !
original formula: EF(AG((EF(((u0.cAMP__40_33_<1)||(u0.cAMP__41_19_<1))) * (((u0.cAMP__42_27_>=1)||(u0.cAMP__11_15_<1))||((u0.cAMP__44_48_<1)||(u0.cAMP__35_...167
=> equivalent forward existential formula: [(FwdU(Init,TRUE) * !(E(TRUE U !((E(TRUE U ((u0.cAMP__40_33_<1)||(u0.cAMP__41_19_<1))) * (((u0.cAMP__42_27_>=1)|...237
Reverse transition relation is exact ! Faster fixpoint algorithm enabled.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 2500/2500 places, 19404/19404 transitions.
Graph (trivial) has 19340 edges and 2500 vertex of which 2496 / 2500 are part of one of the 1 SCC in 5 ms
Free SCC test removed 2495 places
Ensure Unique test removed 19395 transitions
Reduce isomorphic transitions removed 19395 transitions.
Applied a total of 1 rules in 22 ms. Remains 5 /2500 variables (removed 2495) and now considering 9/19404 (removed 19395) transitions.
// Phase 1: matrix 9 rows 5 cols
[2023-03-10 00:19:28] [INFO ] Computed 1 place invariants in 0 ms
[2023-03-10 00:19:28] [INFO ] Implicit Places using invariants in 22 ms returned []
[2023-03-10 00:19:28] [INFO ] Invariant cache hit.
[2023-03-10 00:19:28] [INFO ] Implicit Places using invariants and state equation in 21 ms returned []
Implicit Place search using SMT with State Equation took 45 ms to find 0 implicit places.
[2023-03-10 00:19:28] [INFO ] Redundant transitions in 0 ms returned []
[2023-03-10 00:19:28] [INFO ] Invariant cache hit.
[2023-03-10 00:19:28] [INFO ] Dead Transitions using invariants and state equation in 20 ms found 0 transitions.
Starting structural reductions in SI_CTL mode, iteration 1 : 5/2500 places, 9/19404 transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 94 ms. Remains : 5/2500 places, 9/19404 transitions.
[2023-03-10 00:19:28] [INFO ] Flatten gal took : 1 ms
[2023-03-10 00:19:28] [INFO ] Flatten gal took : 1 ms
[2023-03-10 00:19:28] [INFO ] Input system was already deterministic with 9 transitions.
[2023-03-10 00:19:28] [INFO ] Flatten gal took : 0 ms
[2023-03-10 00:19:28] [INFO ] Flatten gal took : 0 ms
[2023-03-10 00:19:28] [INFO ] Time to serialize gal into /tmp/CTLFireability14644612633104640756.gal : 0 ms
[2023-03-10 00:19:28] [INFO ] Time to serialize properties into /tmp/CTLFireability8733171239108034422.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability14644612633104640756.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability8733171239108034422.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,2.25331e+07,0.500986,13400,2,606,5,73631,6,0,31,72283,0
Converting to forward existential form...Done !
original formula: EF(EG(A((cAMP__42_39_<1) U (A((cAMP__20_26_>=1) U (cAMP__35_16_>=1)) * AG((cAMP__14_6_>=1))))))
=> equivalent forward existential formula: [FwdG(FwdU(Init,TRUE),!((E(!((!((E(!((cAMP__35_16_>=1)) U (!((cAMP__20_26_>=1)) * !((cAMP__35_16_>=1)))) + EG(!(...547
Reverse transition relation is exact ! Faster fixpoint algorithm enabled.
(forward)formula 0,0,19.311,246208,1,0,7,1.34767e+06,30,1,871,1.32363e+06,11
FORMULA Diffusion2D-PT-D50N150-CTLFireability-13 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Formula is FALSE !
***************************************
Starting structural reductions in LTL mode, iteration 0 : 2500/2500 places, 19404/19404 transitions.
Applied a total of 0 rules in 510 ms. Remains 2500 /2500 variables (removed 0) and now considering 19404/19404 (removed 0) transitions.
// Phase 1: matrix 19404 rows 2500 cols
[2023-03-10 00:19:48] [INFO ] Computed 1 place invariants in 113 ms
[2023-03-10 00:19:48] [INFO ] Implicit Places using invariants in 478 ms returned []
Implicit Place search using SMT only with invariants took 479 ms to find 0 implicit places.
[2023-03-10 00:19:48] [INFO ] Invariant cache hit.
[2023-03-10 00:20:06] [INFO ] Dead Transitions using invariants and state equation in 18276 ms found 0 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 19268 ms. Remains : 2500/2500 places, 19404/19404 transitions.
[2023-03-10 00:20:07] [INFO ] Flatten gal took : 379 ms
[2023-03-10 00:20:07] [INFO ] Flatten gal took : 434 ms
[2023-03-10 00:20:08] [INFO ] Input system was already deterministic with 19404 transitions.
[2023-03-10 00:20:08] [INFO ] Flatten gal took : 308 ms
[2023-03-10 00:20:08] [INFO ] Flatten gal took : 335 ms
[2023-03-10 00:20:08] [INFO ] Time to serialize gal into /tmp/CTLFireability5569370137052637983.gal : 51 ms
[2023-03-10 00:20:09] [INFO ] Time to serialize properties into /tmp/CTLFireability10041614968641078415.ctl : 81 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability5569370137052637983.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability10041614968641078415.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2023-03-10 00:20:39] [INFO ] Flatten gal took : 286 ms
[2023-03-10 00:20:39] [INFO ] Applying decomposition
[2023-03-10 00:20:39] [INFO ] Flatten gal took : 469 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph5237250398616244700.txt' '-o' '/tmp/graph5237250398616244700.bin' '-w' '/tmp/graph5237250398616244700.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph5237250398616244700.bin' '-l' '-1' '-v' '-w' '/tmp/graph5237250398616244700.weights' '-q' '0' '-e' '0.001'
[2023-03-10 00:20:40] [INFO ] Decomposing Gal with order
[2023-03-10 00:20:40] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-10 00:20:41] [INFO ] Removed a total of 13838 redundant transitions.
[2023-03-10 00:20:41] [INFO ] Flatten gal took : 605 ms
[2023-03-10 00:20:42] [INFO ] Fuse similar labels procedure discarded/fused a total of 50 labels/synchronizations in 46 ms.
[2023-03-10 00:20:42] [INFO ] Time to serialize gal into /tmp/CTLFireability7103604397559432219.gal : 77 ms
[2023-03-10 00:20:42] [INFO ] Time to serialize properties into /tmp/CTLFireability8669908597332244640.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability7103604397559432219.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability8669908597332244640.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...262
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 2500/2500 places, 19404/19404 transitions.
Applied a total of 0 rules in 648 ms. Remains 2500 /2500 variables (removed 0) and now considering 19404/19404 (removed 0) transitions.
[2023-03-10 00:21:12] [INFO ] Invariant cache hit.
[2023-03-10 00:21:13] [INFO ] Implicit Places using invariants in 367 ms returned []
Implicit Place search using SMT only with invariants took 368 ms to find 0 implicit places.
[2023-03-10 00:21:13] [INFO ] Invariant cache hit.
[2023-03-10 00:21:31] [INFO ] Dead Transitions using invariants and state equation in 18040 ms found 0 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 19059 ms. Remains : 2500/2500 places, 19404/19404 transitions.
[2023-03-10 00:21:31] [INFO ] Flatten gal took : 427 ms
[2023-03-10 00:21:32] [INFO ] Flatten gal took : 374 ms
[2023-03-10 00:21:32] [INFO ] Input system was already deterministic with 19404 transitions.
[2023-03-10 00:21:33] [INFO ] Flatten gal took : 339 ms
[2023-03-10 00:21:33] [INFO ] Flatten gal took : 366 ms
[2023-03-10 00:21:33] [INFO ] Time to serialize gal into /tmp/CTLFireability15559812452878379692.gal : 52 ms
[2023-03-10 00:21:33] [INFO ] Time to serialize properties into /tmp/CTLFireability765407934815623279.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability15559812452878379692.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability765407934815623279.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2023-03-10 00:22:03] [INFO ] Flatten gal took : 301 ms
[2023-03-10 00:22:03] [INFO ] Applying decomposition
[2023-03-10 00:22:04] [INFO ] Flatten gal took : 415 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph414249668089682064.txt' '-o' '/tmp/graph414249668089682064.bin' '-w' '/tmp/graph414249668089682064.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph414249668089682064.bin' '-l' '-1' '-v' '-w' '/tmp/graph414249668089682064.weights' '-q' '0' '-e' '0.001'
[2023-03-10 00:22:04] [INFO ] Decomposing Gal with order
[2023-03-10 00:22:05] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-10 00:22:06] [INFO ] Removed a total of 13450 redundant transitions.
[2023-03-10 00:22:06] [INFO ] Flatten gal took : 783 ms
[2023-03-10 00:22:06] [INFO ] Fuse similar labels procedure discarded/fused a total of 66 labels/synchronizations in 41 ms.
[2023-03-10 00:22:06] [INFO ] Time to serialize gal into /tmp/CTLFireability420375416697410717.gal : 66 ms
[2023-03-10 00:22:06] [INFO ] Time to serialize properties into /tmp/CTLFireability4052209730689063577.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability420375416697410717.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability4052209730689063577.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...261
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2023-03-10 00:22:36] [INFO ] Flatten gal took : 323 ms
[2023-03-10 00:22:37] [INFO ] Flatten gal took : 493 ms
[2023-03-10 00:22:37] [INFO ] Applying decomposition
[2023-03-10 00:22:38] [INFO ] Flatten gal took : 477 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph16367721557524804698.txt' '-o' '/tmp/graph16367721557524804698.bin' '-w' '/tmp/graph16367721557524804698.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph16367721557524804698.bin' '-l' '-1' '-v' '-w' '/tmp/graph16367721557524804698.weights' '-q' '0' '-e' '0.001'
[2023-03-10 00:22:38] [INFO ] Decomposing Gal with order
[2023-03-10 00:22:39] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-10 00:22:40] [INFO ] Removed a total of 13956 redundant transitions.
[2023-03-10 00:22:40] [INFO ] Flatten gal took : 602 ms
[2023-03-10 00:22:40] [INFO ] Fuse similar labels procedure discarded/fused a total of 84 labels/synchronizations in 92 ms.
[2023-03-10 00:22:40] [INFO ] Time to serialize gal into /tmp/CTLFireability2640177568783270733.gal : 75 ms
[2023-03-10 00:22:40] [INFO ] Time to serialize properties into /tmp/CTLFireability17208368305200083088.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability2640177568783270733.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability17208368305200083088.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 14 CTL formulae.
Detected timeout of ITS tools.
[2023-03-10 00:49:33] [INFO ] Flatten gal took : 836 ms
[2023-03-10 00:49:33] [INFO ] Time to serialize gal into /tmp/CTLFireability16672029006373824863.gal : 106 ms
[2023-03-10 00:49:33] [INFO ] Time to serialize properties into /tmp/CTLFireability10119143925451305718.ctl : 16 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability16672029006373824863.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability10119143925451305718.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 14 CTL formulae.
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393232 kB
MemFree: 10207172 kB
After kill :
MemTotal: 16393232 kB
MemFree: 14101000 kB
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ CTLFireability = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution CTLFireability -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/its-tools -pnfolder /home/mcc/execution -examination CTLFireability -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="Diffusion2D-PT-D50N150"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool itstools"
echo " Input is Diffusion2D-PT-D50N150, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r133-smll-167819410600274"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Diffusion2D-PT-D50N150.tgz
mv Diffusion2D-PT-D50N150 execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;