About the Execution of ITS-Tools for Diffusion2D-PT-D10N200
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 8099.268 | 3600000.00 | 3649753.00 | 9181.90 | ?F?F??F????TT??? | 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-167819410300145.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-D10N200, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r133-smll-167819410300145
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 676K
-rw-r--r-- 1 mcc users 7.5K Feb 26 04:06 CTLCardinality.txt
-rw-r--r-- 1 mcc users 72K Feb 26 04:06 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.1K Feb 26 04:04 CTLFireability.txt
-rw-r--r-- 1 mcc users 50K Feb 26 04:04 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:57 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 15:57 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Feb 25 15:58 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 15:58 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 26 04:07 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 94K Feb 26 04:07 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.8K Feb 26 04:07 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 63K Feb 26 04:07 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 15:58 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:58 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 255K 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-D10N200-CTLCardinality-00
FORMULA_NAME Diffusion2D-PT-D10N200-CTLCardinality-01
FORMULA_NAME Diffusion2D-PT-D10N200-CTLCardinality-02
FORMULA_NAME Diffusion2D-PT-D10N200-CTLCardinality-03
FORMULA_NAME Diffusion2D-PT-D10N200-CTLCardinality-04
FORMULA_NAME Diffusion2D-PT-D10N200-CTLCardinality-05
FORMULA_NAME Diffusion2D-PT-D10N200-CTLCardinality-06
FORMULA_NAME Diffusion2D-PT-D10N200-CTLCardinality-07
FORMULA_NAME Diffusion2D-PT-D10N200-CTLCardinality-08
FORMULA_NAME Diffusion2D-PT-D10N200-CTLCardinality-09
FORMULA_NAME Diffusion2D-PT-D10N200-CTLCardinality-10
FORMULA_NAME Diffusion2D-PT-D10N200-CTLCardinality-11
FORMULA_NAME Diffusion2D-PT-D10N200-CTLCardinality-12
FORMULA_NAME Diffusion2D-PT-D10N200-CTLCardinality-13
FORMULA_NAME Diffusion2D-PT-D10N200-CTLCardinality-14
FORMULA_NAME Diffusion2D-PT-D10N200-CTLCardinality-15
=== Now, execution of the tool begins
BK_START 1678306854451
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=CTLCardinality
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=Diffusion2D-PT-D10N200
Not applying reductions.
Model is PT
CTLCardinality PT
Running Version 202303021504
[2023-03-08 20:20:56] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLCardinality, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2023-03-08 20:20:56] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-08 20:20:57] [INFO ] Load time of PNML (sax parser for PT used): 124 ms
[2023-03-08 20:20:57] [INFO ] Transformed 100 places.
[2023-03-08 20:20:57] [INFO ] Transformed 684 transitions.
[2023-03-08 20:20:57] [INFO ] Parsed PT model containing 100 places and 684 transitions and 1368 arcs in 241 ms.
Parsed 16 properties from file /home/mcc/execution/CTLCardinality.xml in 16 ms.
Initial state reduction rules removed 1 formulas.
FORMULA Diffusion2D-PT-D10N200-CTLCardinality-12 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Support contains 74 out of 100 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 100/100 places, 684/684 transitions.
Applied a total of 0 rules in 23 ms. Remains 100 /100 variables (removed 0) and now considering 684/684 (removed 0) transitions.
// Phase 1: matrix 684 rows 100 cols
[2023-03-08 20:20:57] [INFO ] Computed 1 place invariants in 30 ms
[2023-03-08 20:20:57] [INFO ] Implicit Places using invariants in 238 ms returned []
[2023-03-08 20:20:57] [INFO ] Invariant cache hit.
[2023-03-08 20:20:57] [INFO ] Implicit Places using invariants and state equation in 274 ms returned []
Implicit Place search using SMT with State Equation took 554 ms to find 0 implicit places.
[2023-03-08 20:20:57] [INFO ] Invariant cache hit.
[2023-03-08 20:20:58] [INFO ] Dead Transitions using invariants and state equation in 545 ms found 0 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 1124 ms. Remains : 100/100 places, 684/684 transitions.
Support contains 74 out of 100 places after structural reductions.
[2023-03-08 20:20:58] [INFO ] Flatten gal took : 97 ms
[2023-03-08 20:20:58] [INFO ] Flatten gal took : 38 ms
[2023-03-08 20:20:58] [INFO ] Input system was already deterministic with 684 transitions.
Incomplete random walk after 10053 steps, including 2 resets, run finished after 86 ms. (steps per millisecond=116 ) properties (out of 82) seen :35
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 47) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 45) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 45) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 17 ms. (steps per millisecond=58 ) properties (out of 44) 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 44) 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 44) 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 44) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 12 ms. (steps per millisecond=83 ) properties (out of 43) 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 43) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 42) 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 42) 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 42) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 41) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 40) 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 40) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 40) 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 40) 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 40) 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 40) 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 40) 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 40) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3 ms. (steps per millisecond=333 ) properties (out of 40) 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 40) 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 40) 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 40) 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 40) 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 40) 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 40) 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 40) 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 40) 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 40) 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 40) 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 40) 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 40) 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 40) 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 40) 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 40) 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 40) 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 40) 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 40) seen :0
Running SMT prover for 40 properties.
[2023-03-08 20:20:59] [INFO ] Invariant cache hit.
[2023-03-08 20:20:59] [INFO ] [Real]Absence check using 1 positive place invariants in 2 ms returned sat
[2023-03-08 20:20:59] [INFO ] After 530ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:40
[2023-03-08 20:20:59] [INFO ] [Nat]Absence check using 1 positive place invariants in 2 ms returned sat
[2023-03-08 20:21:01] [INFO ] After 892ms SMT Verify possible using state equation in natural domain returned unsat :2 sat :38
[2023-03-08 20:21:02] [INFO ] After 2079ms SMT Verify possible using trap constraints in natural domain returned unsat :2 sat :38
Attempting to minimize the solution found.
Minimization took 676 ms.
[2023-03-08 20:21:02] [INFO ] After 3076ms SMT Verify possible using all constraints in natural domain returned unsat :2 sat :38
Fused 40 Parikh solutions to 38 different solutions.
Finished Parikh walk after 3746 steps, including 0 resets, run visited all 1 properties in 14 ms. (steps per millisecond=267 )
Parikh walk visited 38 properties in 6325 ms.
Successfully simplified 2 atomic propositions for a total of 15 simplifications.
FORMULA Diffusion2D-PT-D10N200-CTLCardinality-01 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2023-03-08 20:21:09] [INFO ] Initial state reduction rules for CTL removed 1 formulas.
[2023-03-08 20:21:09] [INFO ] Flatten gal took : 32 ms
FORMULA Diffusion2D-PT-D10N200-CTLCardinality-03 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2023-03-08 20:21:09] [INFO ] Flatten gal took : 30 ms
[2023-03-08 20:21:09] [INFO ] Input system was already deterministic with 684 transitions.
Support contains 67 out of 100 places (down from 70) after GAL structural reductions.
Computed a total of 0 stabilizing places and 0 stable transitions
Starting structural reductions in LTL mode, iteration 0 : 100/100 places, 684/684 transitions.
Applied a total of 0 rules in 9 ms. Remains 100 /100 variables (removed 0) and now considering 684/684 (removed 0) transitions.
[2023-03-08 20:21:09] [INFO ] Invariant cache hit.
[2023-03-08 20:21:09] [INFO ] Implicit Places using invariants in 40 ms returned []
[2023-03-08 20:21:09] [INFO ] Invariant cache hit.
[2023-03-08 20:21:09] [INFO ] Implicit Places using invariants and state equation in 204 ms returned []
Implicit Place search using SMT with State Equation took 246 ms to find 0 implicit places.
[2023-03-08 20:21:09] [INFO ] Invariant cache hit.
[2023-03-08 20:21:09] [INFO ] Dead Transitions using invariants and state equation in 364 ms found 0 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 624 ms. Remains : 100/100 places, 684/684 transitions.
[2023-03-08 20:21:10] [INFO ] Flatten gal took : 30 ms
[2023-03-08 20:21:10] [INFO ] Flatten gal took : 24 ms
[2023-03-08 20:21:10] [INFO ] Input system was already deterministic with 684 transitions.
[2023-03-08 20:21:10] [INFO ] Flatten gal took : 22 ms
[2023-03-08 20:21:10] [INFO ] Flatten gal took : 21 ms
[2023-03-08 20:21:10] [INFO ] Time to serialize gal into /tmp/CTLCardinality14259028443334360031.gal : 17 ms
[2023-03-08 20:21:10] [INFO ] Time to serialize properties into /tmp/CTLCardinality17005524412007895758.ctl : 2 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/CTLCardinality14259028443334360031.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality17005524412007895758.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2023-03-08 20:21:40] [INFO ] Flatten gal took : 21 ms
[2023-03-08 20:21:40] [INFO ] Applying decomposition
[2023-03-08 20:21:40] [INFO ] Flatten gal took : 19 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/graph12734900680151421313.txt' '-o' '/tmp/graph12734900680151421313.bin' '-w' '/tmp/graph12734900680151421313.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph12734900680151421313.bin' '-l' '-1' '-v' '-w' '/tmp/graph12734900680151421313.weights' '-q' '0' '-e' '0.001'
[2023-03-08 20:21:40] [INFO ] Decomposing Gal with order
[2023-03-08 20:21:40] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-08 20:21:40] [INFO ] Removed a total of 438 redundant transitions.
[2023-03-08 20:21:40] [INFO ] Flatten gal took : 108 ms
[2023-03-08 20:21:40] [INFO ] Fuse similar labels procedure discarded/fused a total of 34 labels/synchronizations in 12 ms.
[2023-03-08 20:21:40] [INFO ] Time to serialize gal into /tmp/CTLCardinality10453077807145269136.gal : 11 ms
[2023-03-08 20:21:40] [INFO ] Time to serialize properties into /tmp/CTLCardinality1761184097129158439.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/CTLCardinality10453077807145269136.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality1761184097129158439.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.
Starting structural reductions in LTL mode, iteration 0 : 100/100 places, 684/684 transitions.
Applied a total of 0 rules in 11 ms. Remains 100 /100 variables (removed 0) and now considering 684/684 (removed 0) transitions.
[2023-03-08 20:22:10] [INFO ] Invariant cache hit.
[2023-03-08 20:22:10] [INFO ] Implicit Places using invariants in 44 ms returned []
[2023-03-08 20:22:10] [INFO ] Invariant cache hit.
[2023-03-08 20:22:11] [INFO ] Implicit Places using invariants and state equation in 186 ms returned []
Implicit Place search using SMT with State Equation took 233 ms to find 0 implicit places.
[2023-03-08 20:22:11] [INFO ] Invariant cache hit.
[2023-03-08 20:22:11] [INFO ] Dead Transitions using invariants and state equation in 405 ms found 0 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 650 ms. Remains : 100/100 places, 684/684 transitions.
[2023-03-08 20:22:11] [INFO ] Flatten gal took : 25 ms
[2023-03-08 20:22:11] [INFO ] Flatten gal took : 25 ms
[2023-03-08 20:22:11] [INFO ] Input system was already deterministic with 684 transitions.
[2023-03-08 20:22:11] [INFO ] Flatten gal took : 23 ms
[2023-03-08 20:22:11] [INFO ] Flatten gal took : 23 ms
[2023-03-08 20:22:11] [INFO ] Time to serialize gal into /tmp/CTLCardinality3674422083388307508.gal : 4 ms
[2023-03-08 20:22:11] [INFO ] Time to serialize properties into /tmp/CTLCardinality16306694686476508221.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/CTLCardinality3674422083388307508.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality16306694686476508221.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2023-03-08 20:22:41] [INFO ] Flatten gal took : 18 ms
[2023-03-08 20:22:41] [INFO ] Applying decomposition
[2023-03-08 20:22:41] [INFO ] Flatten gal took : 16 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/graph12895700753478241184.txt' '-o' '/tmp/graph12895700753478241184.bin' '-w' '/tmp/graph12895700753478241184.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph12895700753478241184.bin' '-l' '-1' '-v' '-w' '/tmp/graph12895700753478241184.weights' '-q' '0' '-e' '0.001'
[2023-03-08 20:22:41] [INFO ] Decomposing Gal with order
[2023-03-08 20:22:41] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-08 20:22:41] [INFO ] Removed a total of 418 redundant transitions.
[2023-03-08 20:22:41] [INFO ] Flatten gal took : 45 ms
[2023-03-08 20:22:41] [INFO ] Fuse similar labels procedure discarded/fused a total of 60 labels/synchronizations in 9 ms.
[2023-03-08 20:22:41] [INFO ] Time to serialize gal into /tmp/CTLCardinality16661705227323285631.gal : 4 ms
[2023-03-08 20:22:41] [INFO ] Time to serialize properties into /tmp/CTLCardinality10420326097240517647.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/CTLCardinality16661705227323285631.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality10420326097240517647.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.
Starting structural reductions in LTL mode, iteration 0 : 100/100 places, 684/684 transitions.
Applied a total of 0 rules in 11 ms. Remains 100 /100 variables (removed 0) and now considering 684/684 (removed 0) transitions.
[2023-03-08 20:23:11] [INFO ] Invariant cache hit.
[2023-03-08 20:23:12] [INFO ] Implicit Places using invariants in 36 ms returned []
[2023-03-08 20:23:12] [INFO ] Invariant cache hit.
[2023-03-08 20:23:12] [INFO ] Implicit Places using invariants and state equation in 176 ms returned []
Implicit Place search using SMT with State Equation took 214 ms to find 0 implicit places.
[2023-03-08 20:23:12] [INFO ] Invariant cache hit.
[2023-03-08 20:23:12] [INFO ] Dead Transitions using invariants and state equation in 355 ms found 0 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 581 ms. Remains : 100/100 places, 684/684 transitions.
[2023-03-08 20:23:12] [INFO ] Flatten gal took : 16 ms
[2023-03-08 20:23:12] [INFO ] Flatten gal took : 16 ms
[2023-03-08 20:23:12] [INFO ] Input system was already deterministic with 684 transitions.
[2023-03-08 20:23:12] [INFO ] Flatten gal took : 15 ms
[2023-03-08 20:23:12] [INFO ] Flatten gal took : 15 ms
[2023-03-08 20:23:12] [INFO ] Time to serialize gal into /tmp/CTLCardinality12612961467334483609.gal : 3 ms
[2023-03-08 20:23:12] [INFO ] Time to serialize properties into /tmp/CTLCardinality6030764896112422575.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/CTLCardinality12612961467334483609.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality6030764896112422575.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2023-03-08 20:23:42] [INFO ] Flatten gal took : 14 ms
[2023-03-08 20:23:42] [INFO ] Applying decomposition
[2023-03-08 20:23:42] [INFO ] Flatten gal took : 15 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/graph4702982178362750309.txt' '-o' '/tmp/graph4702982178362750309.bin' '-w' '/tmp/graph4702982178362750309.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph4702982178362750309.bin' '-l' '-1' '-v' '-w' '/tmp/graph4702982178362750309.weights' '-q' '0' '-e' '0.001'
[2023-03-08 20:23:42] [INFO ] Decomposing Gal with order
[2023-03-08 20:23:42] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-08 20:23:42] [INFO ] Removed a total of 528 redundant transitions.
[2023-03-08 20:23:42] [INFO ] Flatten gal took : 47 ms
[2023-03-08 20:23:42] [INFO ] Fuse similar labels procedure discarded/fused a total of 88 labels/synchronizations in 11 ms.
[2023-03-08 20:23:42] [INFO ] Time to serialize gal into /tmp/CTLCardinality2636304013711667137.gal : 5 ms
[2023-03-08 20:23:42] [INFO ] Time to serialize properties into /tmp/CTLCardinality6083489649379420420.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/CTLCardinality2636304013711667137.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality6083489649379420420.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.
Starting structural reductions in LTL mode, iteration 0 : 100/100 places, 684/684 transitions.
Applied a total of 0 rules in 11 ms. Remains 100 /100 variables (removed 0) and now considering 684/684 (removed 0) transitions.
[2023-03-08 20:24:12] [INFO ] Invariant cache hit.
[2023-03-08 20:24:13] [INFO ] Implicit Places using invariants in 34 ms returned []
[2023-03-08 20:24:13] [INFO ] Invariant cache hit.
[2023-03-08 20:24:13] [INFO ] Implicit Places using invariants and state equation in 154 ms returned []
Implicit Place search using SMT with State Equation took 190 ms to find 0 implicit places.
[2023-03-08 20:24:13] [INFO ] Invariant cache hit.
[2023-03-08 20:24:13] [INFO ] Dead Transitions using invariants and state equation in 394 ms found 0 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 597 ms. Remains : 100/100 places, 684/684 transitions.
[2023-03-08 20:24:13] [INFO ] Flatten gal took : 18 ms
[2023-03-08 20:24:13] [INFO ] Flatten gal took : 14 ms
[2023-03-08 20:24:13] [INFO ] Input system was already deterministic with 684 transitions.
[2023-03-08 20:24:13] [INFO ] Flatten gal took : 13 ms
[2023-03-08 20:24:13] [INFO ] Flatten gal took : 13 ms
[2023-03-08 20:24:13] [INFO ] Time to serialize gal into /tmp/CTLCardinality2633034104290736787.gal : 3 ms
[2023-03-08 20:24:13] [INFO ] Time to serialize properties into /tmp/CTLCardinality16981897259652445686.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/CTLCardinality2633034104290736787.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality16981897259652445686.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2023-03-08 20:24:43] [INFO ] Flatten gal took : 18 ms
[2023-03-08 20:24:43] [INFO ] Applying decomposition
[2023-03-08 20:24:43] [INFO ] Flatten gal took : 12 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/graph3938763567137795154.txt' '-o' '/tmp/graph3938763567137795154.bin' '-w' '/tmp/graph3938763567137795154.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph3938763567137795154.bin' '-l' '-1' '-v' '-w' '/tmp/graph3938763567137795154.weights' '-q' '0' '-e' '0.001'
[2023-03-08 20:24:43] [INFO ] Decomposing Gal with order
[2023-03-08 20:24:43] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-08 20:24:43] [INFO ] Removed a total of 414 redundant transitions.
[2023-03-08 20:24:43] [INFO ] Flatten gal took : 40 ms
[2023-03-08 20:24:43] [INFO ] Fuse similar labels procedure discarded/fused a total of 84 labels/synchronizations in 12 ms.
[2023-03-08 20:24:43] [INFO ] Time to serialize gal into /tmp/CTLCardinality15774190566449097244.gal : 4 ms
[2023-03-08 20:24:43] [INFO ] Time to serialize properties into /tmp/CTLCardinality9856519361968525292.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/CTLCardinality15774190566449097244.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality9856519361968525292.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.
Starting structural reductions in SI_CTL mode, iteration 0 : 100/100 places, 684/684 transitions.
Graph (trivial) has 642 edges and 100 vertex of which 97 / 100 are part of one of the 1 SCC in 7 ms
Free SCC test removed 96 places
Ensure Unique test removed 677 transitions
Reduce isomorphic transitions removed 677 transitions.
Applied a total of 1 rules in 16 ms. Remains 4 /100 variables (removed 96) and now considering 7/684 (removed 677) transitions.
// Phase 1: matrix 7 rows 4 cols
[2023-03-08 20:25:14] [INFO ] Computed 1 place invariants in 0 ms
[2023-03-08 20:25:14] [INFO ] Implicit Places using invariants in 23 ms returned []
[2023-03-08 20:25:14] [INFO ] Invariant cache hit.
[2023-03-08 20:25:14] [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-08 20:25:14] [INFO ] Redundant transitions in 0 ms returned []
[2023-03-08 20:25:14] [INFO ] Invariant cache hit.
[2023-03-08 20:25:14] [INFO ] Dead Transitions using invariants and state equation in 20 ms found 0 transitions.
Starting structural reductions in SI_CTL mode, iteration 1 : 4/100 places, 7/684 transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 92 ms. Remains : 4/100 places, 7/684 transitions.
[2023-03-08 20:25:14] [INFO ] Flatten gal took : 1 ms
[2023-03-08 20:25:14] [INFO ] Flatten gal took : 1 ms
[2023-03-08 20:25:14] [INFO ] Input system was already deterministic with 7 transitions.
[2023-03-08 20:25:14] [INFO ] Flatten gal took : 0 ms
[2023-03-08 20:25:14] [INFO ] Flatten gal took : 0 ms
[2023-03-08 20:25:14] [INFO ] Time to serialize gal into /tmp/CTLCardinality153880645250069280.gal : 1 ms
[2023-03-08 20:25:14] [INFO ] Time to serialize properties into /tmp/CTLCardinality9010244804855548556.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/CTLCardinality153880645250069280.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality9010244804855548556.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,1.3737e+06,0.561449,15224,2,605,5,85987,6,0,25,84788,0
Converting to forward existential form...Done !
original formula: EF(AG(((cAMP__6_7_>cAMP__6_3_)||(cAMP__8_1_>=118))))
=> equivalent forward existential formula: [(FwdU(Init,TRUE) * !(E(TRUE U !(((cAMP__6_7_>cAMP__6_3_)||(cAMP__8_1_>=118))))))] != FALSE
Reverse transition relation is exact ! Faster fixpoint algorithm enabled.
(forward)formula 0,0,28.1616,319524,1,0,6,1.35948e+06,15,0,1295,1.33427e+06,5
FORMULA Diffusion2D-PT-D10N200-CTLCardinality-06 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Formula is FALSE !
***************************************
Starting structural reductions in LTL mode, iteration 0 : 100/100 places, 684/684 transitions.
Applied a total of 0 rules in 5 ms. Remains 100 /100 variables (removed 0) and now considering 684/684 (removed 0) transitions.
// Phase 1: matrix 684 rows 100 cols
[2023-03-08 20:25:42] [INFO ] Computed 1 place invariants in 5 ms
[2023-03-08 20:25:42] [INFO ] Implicit Places using invariants in 38 ms returned []
[2023-03-08 20:25:42] [INFO ] Invariant cache hit.
[2023-03-08 20:25:42] [INFO ] Implicit Places using invariants and state equation in 158 ms returned []
Implicit Place search using SMT with State Equation took 198 ms to find 0 implicit places.
[2023-03-08 20:25:42] [INFO ] Invariant cache hit.
[2023-03-08 20:25:42] [INFO ] Dead Transitions using invariants and state equation in 357 ms found 0 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 562 ms. Remains : 100/100 places, 684/684 transitions.
[2023-03-08 20:25:42] [INFO ] Flatten gal took : 11 ms
[2023-03-08 20:25:42] [INFO ] Flatten gal took : 11 ms
[2023-03-08 20:25:42] [INFO ] Input system was already deterministic with 684 transitions.
[2023-03-08 20:25:42] [INFO ] Flatten gal took : 11 ms
[2023-03-08 20:25:42] [INFO ] Flatten gal took : 11 ms
[2023-03-08 20:25:42] [INFO ] Time to serialize gal into /tmp/CTLCardinality4716131154731989201.gal : 4 ms
[2023-03-08 20:25:42] [INFO ] Time to serialize properties into /tmp/CTLCardinality8438163314781495378.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/CTLCardinality4716131154731989201.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality8438163314781495378.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2023-03-08 20:26:13] [INFO ] Flatten gal took : 12 ms
[2023-03-08 20:26:13] [INFO ] Applying decomposition
[2023-03-08 20:26:13] [INFO ] Flatten gal took : 11 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/graph16187601315176726860.txt' '-o' '/tmp/graph16187601315176726860.bin' '-w' '/tmp/graph16187601315176726860.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph16187601315176726860.bin' '-l' '-1' '-v' '-w' '/tmp/graph16187601315176726860.weights' '-q' '0' '-e' '0.001'
[2023-03-08 20:26:13] [INFO ] Decomposing Gal with order
[2023-03-08 20:26:13] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-08 20:26:13] [INFO ] Removed a total of 476 redundant transitions.
[2023-03-08 20:26:13] [INFO ] Flatten gal took : 30 ms
[2023-03-08 20:26:13] [INFO ] Fuse similar labels procedure discarded/fused a total of 88 labels/synchronizations in 11 ms.
[2023-03-08 20:26:13] [INFO ] Time to serialize gal into /tmp/CTLCardinality15574119820722519412.gal : 4 ms
[2023-03-08 20:26:13] [INFO ] Time to serialize properties into /tmp/CTLCardinality6514675020024296088.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/CTLCardinality15574119820722519412.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality6514675020024296088.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.
Starting structural reductions in LTL mode, iteration 0 : 100/100 places, 684/684 transitions.
Applied a total of 0 rules in 4 ms. Remains 100 /100 variables (removed 0) and now considering 684/684 (removed 0) transitions.
[2023-03-08 20:26:43] [INFO ] Invariant cache hit.
[2023-03-08 20:26:43] [INFO ] Implicit Places using invariants in 35 ms returned []
[2023-03-08 20:26:43] [INFO ] Invariant cache hit.
[2023-03-08 20:26:43] [INFO ] Implicit Places using invariants and state equation in 157 ms returned []
Implicit Place search using SMT with State Equation took 195 ms to find 0 implicit places.
[2023-03-08 20:26:43] [INFO ] Invariant cache hit.
[2023-03-08 20:26:43] [INFO ] Dead Transitions using invariants and state equation in 340 ms found 0 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 540 ms. Remains : 100/100 places, 684/684 transitions.
[2023-03-08 20:26:43] [INFO ] Flatten gal took : 10 ms
[2023-03-08 20:26:43] [INFO ] Flatten gal took : 10 ms
[2023-03-08 20:26:43] [INFO ] Input system was already deterministic with 684 transitions.
[2023-03-08 20:26:43] [INFO ] Flatten gal took : 10 ms
[2023-03-08 20:26:43] [INFO ] Flatten gal took : 11 ms
[2023-03-08 20:26:43] [INFO ] Time to serialize gal into /tmp/CTLCardinality4043762829594337706.gal : 4 ms
[2023-03-08 20:26:43] [INFO ] Time to serialize properties into /tmp/CTLCardinality2770303302162217184.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/CTLCardinality4043762829594337706.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality2770303302162217184.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2023-03-08 20:27:13] [INFO ] Flatten gal took : 10 ms
[2023-03-08 20:27:13] [INFO ] Applying decomposition
[2023-03-08 20:27:13] [INFO ] Flatten gal took : 10 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/graph9091908380810664871.txt' '-o' '/tmp/graph9091908380810664871.bin' '-w' '/tmp/graph9091908380810664871.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph9091908380810664871.bin' '-l' '-1' '-v' '-w' '/tmp/graph9091908380810664871.weights' '-q' '0' '-e' '0.001'
[2023-03-08 20:27:13] [INFO ] Decomposing Gal with order
[2023-03-08 20:27:13] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-08 20:27:13] [INFO ] Removed a total of 512 redundant transitions.
[2023-03-08 20:27:14] [INFO ] Flatten gal took : 50 ms
[2023-03-08 20:27:14] [INFO ] Fuse similar labels procedure discarded/fused a total of 148 labels/synchronizations in 10 ms.
[2023-03-08 20:27:14] [INFO ] Time to serialize gal into /tmp/CTLCardinality87387563429740232.gal : 3 ms
[2023-03-08 20:27:14] [INFO ] Time to serialize properties into /tmp/CTLCardinality14730045054913172510.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/CTLCardinality87387563429740232.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality14730045054913172510.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.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 100/100 places, 684/684 transitions.
Graph (trivial) has 558 edges and 100 vertex of which 91 / 100 are part of one of the 1 SCC in 2 ms
Free SCC test removed 90 places
Ensure Unique test removed 659 transitions
Reduce isomorphic transitions removed 659 transitions.
Applied a total of 1 rules in 6 ms. Remains 10 /100 variables (removed 90) and now considering 25/684 (removed 659) transitions.
// Phase 1: matrix 25 rows 10 cols
[2023-03-08 20:27:44] [INFO ] Computed 1 place invariants in 1 ms
[2023-03-08 20:27:44] [INFO ] Implicit Places using invariants in 22 ms returned []
[2023-03-08 20:27:44] [INFO ] Invariant cache hit.
[2023-03-08 20:27:44] [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-08 20:27:44] [INFO ] Redundant transitions in 0 ms returned []
[2023-03-08 20:27:44] [INFO ] Invariant cache hit.
[2023-03-08 20:27:44] [INFO ] Dead Transitions using invariants and state equation in 27 ms found 0 transitions.
Starting structural reductions in SI_CTL mode, iteration 1 : 10/100 places, 25/684 transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 87 ms. Remains : 10/100 places, 25/684 transitions.
[2023-03-08 20:27:44] [INFO ] Flatten gal took : 2 ms
[2023-03-08 20:27:44] [INFO ] Flatten gal took : 1 ms
[2023-03-08 20:27:44] [INFO ] Input system was already deterministic with 25 transitions.
[2023-03-08 20:27:44] [INFO ] Flatten gal took : 1 ms
[2023-03-08 20:27:44] [INFO ] Flatten gal took : 1 ms
[2023-03-08 20:27:44] [INFO ] Time to serialize gal into /tmp/CTLCardinality12787891724933357257.gal : 0 ms
[2023-03-08 20:27:44] [INFO ] Time to serialize properties into /tmp/CTLCardinality17759152193961550355.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/CTLCardinality12787891724933357257.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality17759152193961550355.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,1.76081e+15,2.93678,55756,2,1811,5,401245,6,0,67,395855,0
Converting to forward existential form...Done !
original formula: (A((cAMP__10_7_<=131) U !(((A((cAMP__6_5_<76) U (cAMP__8_2_<=45)) + EF(((cAMP__4_9_<=cAMP__6_9_)||(cAMP__7_5_<=cAMP__10_4_)))) + AG((cAMP...203
=> equivalent forward existential formula: ([((Init * !(EG(!(!(((!((E(!((cAMP__8_2_<=45)) U (!((cAMP__6_5_<76)) * !((cAMP__8_2_<=45)))) + EG(!((cAMP__8_2_<...810
Reverse transition relation is exact ! Faster fixpoint algorithm enabled.
Hit Full ! (commute/partial/dont) 23/0/2
Detected timeout of ITS tools.
[2023-03-08 20:28:14] [INFO ] Flatten gal took : 1 ms
[2023-03-08 20:28:14] [INFO ] Applying decomposition
[2023-03-08 20:28:14] [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/graph16893710662457132507.txt' '-o' '/tmp/graph16893710662457132507.bin' '-w' '/tmp/graph16893710662457132507.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph16893710662457132507.bin' '-l' '-1' '-v' '-w' '/tmp/graph16893710662457132507.weights' '-q' '0' '-e' '0.001'
[2023-03-08 20:28:14] [INFO ] Decomposing Gal with order
[2023-03-08 20:28:14] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-08 20:28:14] [INFO ] Removed a total of 10 redundant transitions.
[2023-03-08 20:28:14] [INFO ] Flatten gal took : 2 ms
[2023-03-08 20:28:14] [INFO ] Fuse similar labels procedure discarded/fused a total of 8 labels/synchronizations in 1 ms.
[2023-03-08 20:28:14] [INFO ] Time to serialize gal into /tmp/CTLCardinality17390422062915175408.gal : 1 ms
[2023-03-08 20:28:14] [INFO ] Time to serialize properties into /tmp/CTLCardinality16563128615785618886.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/CTLCardinality17390422062915175408.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality16563128615785618886.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,1.76081e+15,10.1553,131064,2,1811,5,520462,6,0,67,535363,0
Converting to forward existential form...Done !
original formula: (A((gu1.cAMP__10_7_<=131) U !(((A((gu1.cAMP__6_5_<76) U (gu1.cAMP__8_2_<=45)) + EF(((gu2.cAMP__4_9_<=gu2.cAMP__6_9_)||(gu0.cAMP__7_5_<=gu...239
=> equivalent forward existential formula: ([((Init * !(EG(!(!(((!((E(!((gu1.cAMP__8_2_<=45)) U (!((gu1.cAMP__6_5_<76)) * !((gu1.cAMP__8_2_<=45)))) + EG(!(...926
Reverse transition relation is exact ! Faster fixpoint algorithm enabled.
Hit Full ! (commute/partial/dont) 19/0/2
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 100/100 places, 684/684 transitions.
Applied a total of 0 rules in 4 ms. Remains 100 /100 variables (removed 0) and now considering 684/684 (removed 0) transitions.
// Phase 1: matrix 684 rows 100 cols
[2023-03-08 20:28:44] [INFO ] Computed 1 place invariants in 4 ms
[2023-03-08 20:28:44] [INFO ] Implicit Places using invariants in 37 ms returned []
[2023-03-08 20:28:44] [INFO ] Invariant cache hit.
[2023-03-08 20:28:44] [INFO ] Implicit Places using invariants and state equation in 152 ms returned []
Implicit Place search using SMT with State Equation took 194 ms to find 0 implicit places.
[2023-03-08 20:28:44] [INFO ] Invariant cache hit.
[2023-03-08 20:28:45] [INFO ] Dead Transitions using invariants and state equation in 557 ms found 0 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 756 ms. Remains : 100/100 places, 684/684 transitions.
[2023-03-08 20:28:45] [INFO ] Flatten gal took : 10 ms
[2023-03-08 20:28:45] [INFO ] Flatten gal took : 10 ms
[2023-03-08 20:28:45] [INFO ] Input system was already deterministic with 684 transitions.
[2023-03-08 20:28:45] [INFO ] Flatten gal took : 10 ms
[2023-03-08 20:28:45] [INFO ] Flatten gal took : 9 ms
[2023-03-08 20:28:45] [INFO ] Time to serialize gal into /tmp/CTLCardinality7162070121516480370.gal : 3 ms
[2023-03-08 20:28:45] [INFO ] Time to serialize properties into /tmp/CTLCardinality15919046669900723832.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/CTLCardinality7162070121516480370.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality15919046669900723832.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2023-03-08 20:29:15] [INFO ] Flatten gal took : 10 ms
[2023-03-08 20:29:15] [INFO ] Applying decomposition
[2023-03-08 20:29:15] [INFO ] Flatten gal took : 10 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/graph11878247165112003245.txt' '-o' '/tmp/graph11878247165112003245.bin' '-w' '/tmp/graph11878247165112003245.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph11878247165112003245.bin' '-l' '-1' '-v' '-w' '/tmp/graph11878247165112003245.weights' '-q' '0' '-e' '0.001'
[2023-03-08 20:29:15] [INFO ] Decomposing Gal with order
[2023-03-08 20:29:15] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-08 20:29:15] [INFO ] Removed a total of 432 redundant transitions.
[2023-03-08 20:29:15] [INFO ] Flatten gal took : 29 ms
[2023-03-08 20:29:15] [INFO ] Fuse similar labels procedure discarded/fused a total of 64 labels/synchronizations in 3 ms.
[2023-03-08 20:29:15] [INFO ] Time to serialize gal into /tmp/CTLCardinality9548938642345791889.gal : 3 ms
[2023-03-08 20:29:15] [INFO ] Time to serialize properties into /tmp/CTLCardinality1360511584823406090.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/CTLCardinality9548938642345791889.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality1360511584823406090.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.
Starting structural reductions in SI_CTL mode, iteration 0 : 100/100 places, 684/684 transitions.
Graph (trivial) has 662 edges and 100 vertex of which 98 / 100 are part of one of the 1 SCC in 2 ms
Free SCC test removed 97 places
Ensure Unique test removed 679 transitions
Reduce isomorphic transitions removed 679 transitions.
Applied a total of 1 rules in 8 ms. Remains 3 /100 variables (removed 97) and now considering 5/684 (removed 679) transitions.
// Phase 1: matrix 5 rows 3 cols
[2023-03-08 20:29:45] [INFO ] Computed 1 place invariants in 1 ms
[2023-03-08 20:29:45] [INFO ] Implicit Places using invariants in 22 ms returned []
[2023-03-08 20:29:45] [INFO ] Invariant cache hit.
[2023-03-08 20:29:45] [INFO ] Implicit Places using invariants and state equation in 18 ms returned []
Implicit Place search using SMT with State Equation took 43 ms to find 0 implicit places.
[2023-03-08 20:29:45] [INFO ] Redundant transitions in 0 ms returned []
[2023-03-08 20:29:45] [INFO ] Invariant cache hit.
[2023-03-08 20:29:45] [INFO ] Dead Transitions using invariants and state equation in 18 ms found 0 transitions.
Starting structural reductions in SI_CTL mode, iteration 1 : 3/100 places, 5/684 transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 75 ms. Remains : 3/100 places, 5/684 transitions.
[2023-03-08 20:29:45] [INFO ] Flatten gal took : 0 ms
[2023-03-08 20:29:45] [INFO ] Flatten gal took : 0 ms
[2023-03-08 20:29:45] [INFO ] Input system was already deterministic with 5 transitions.
[2023-03-08 20:29:45] [INFO ] Flatten gal took : 0 ms
[2023-03-08 20:29:45] [INFO ] Flatten gal took : 0 ms
[2023-03-08 20:29:45] [INFO ] Time to serialize gal into /tmp/CTLCardinality10543210904367007718.gal : 1 ms
[2023-03-08 20:29:45] [INFO ] Time to serialize properties into /tmp/CTLCardinality17722242536050165454.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/CTLCardinality10543210904367007718.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality17722242536050165454.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,20301,0.391594,8100,2,404,5,23895,6,0,19,23094,0
Converting to forward existential form...Done !
original formula: E((cAMP__1_1_<=106) U (cAMP__2_4_>=155))
=> equivalent forward existential formula: [(FwdU(Init,(cAMP__1_1_<=106)) * (cAMP__2_4_>=155))] != FALSE
Hit Full ! (commute/partial/dont) 3/0/2
(forward)formula 0,1,0.660611,8364,1,0,9,23895,15,1,544,23094,4
FORMULA Diffusion2D-PT-D10N200-CTLCardinality-11 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Formula is TRUE !
***************************************
Starting structural reductions in SI_CTL mode, iteration 0 : 100/100 places, 684/684 transitions.
Graph (trivial) has 634 edges and 100 vertex of which 96 / 100 are part of one of the 1 SCC in 1 ms
Free SCC test removed 95 places
Ensure Unique test removed 673 transitions
Reduce isomorphic transitions removed 673 transitions.
Applied a total of 1 rules in 4 ms. Remains 5 /100 variables (removed 95) and now considering 11/684 (removed 673) transitions.
// Phase 1: matrix 11 rows 5 cols
[2023-03-08 20:29:46] [INFO ] Computed 1 place invariants in 1 ms
[2023-03-08 20:29:46] [INFO ] Implicit Places using invariants in 18 ms returned []
[2023-03-08 20:29:46] [INFO ] Invariant cache hit.
[2023-03-08 20:29:46] [INFO ] Implicit Places using invariants and state equation in 19 ms returned []
Implicit Place search using SMT with State Equation took 39 ms to find 0 implicit places.
[2023-03-08 20:29:46] [INFO ] Redundant transitions in 1 ms returned []
[2023-03-08 20:29:46] [INFO ] Invariant cache hit.
[2023-03-08 20:29:46] [INFO ] Dead Transitions using invariants and state equation in 21 ms found 0 transitions.
Starting structural reductions in SI_CTL mode, iteration 1 : 5/100 places, 11/684 transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 70 ms. Remains : 5/100 places, 11/684 transitions.
[2023-03-08 20:29:46] [INFO ] Flatten gal took : 1 ms
[2023-03-08 20:29:46] [INFO ] Flatten gal took : 0 ms
[2023-03-08 20:29:46] [INFO ] Input system was already deterministic with 11 transitions.
[2023-03-08 20:29:46] [INFO ] Flatten gal took : 0 ms
[2023-03-08 20:29:46] [INFO ] Flatten gal took : 0 ms
[2023-03-08 20:29:46] [INFO ] Time to serialize gal into /tmp/CTLCardinality3199052054737367154.gal : 0 ms
[2023-03-08 20:29:46] [INFO ] Time to serialize properties into /tmp/CTLCardinality2522706478727986499.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/CTLCardinality3199052054737367154.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality2522706478727986499.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,7.00588e+07,1.09691,21292,2,806,5,128381,6,0,33,126583,0
Converting to forward existential form...Done !
original formula: EG(E(((cAMP__10_4_>=25)||(cAMP__7_6_<=cAMP__1_5_)) U A((cAMP__9_4_<=96) U (cAMP__7_6_<=58))))
=> equivalent forward existential formula: [FwdG(Init,E(((cAMP__10_4_>=25)||(cAMP__7_6_<=cAMP__1_5_)) U !((E(!((cAMP__7_6_<=58)) U (!((cAMP__9_4_<=96)) * !...215
Reverse transition relation is exact ! Faster fixpoint algorithm enabled.
Hit Full ! (commute/partial/dont) 9/0/2
Hit Full ! (commute/partial/dont) 3/0/8
Detected timeout of ITS tools.
[2023-03-08 20:30:16] [INFO ] Flatten gal took : 0 ms
[2023-03-08 20:30:16] [INFO ] Applying decomposition
[2023-03-08 20:30:16] [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/graph2356122201404841150.txt' '-o' '/tmp/graph2356122201404841150.bin' '-w' '/tmp/graph2356122201404841150.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph2356122201404841150.bin' '-l' '-1' '-v' '-w' '/tmp/graph2356122201404841150.weights' '-q' '0' '-e' '0.001'
[2023-03-08 20:30:16] [INFO ] Decomposing Gal with order
[2023-03-08 20:30:16] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-08 20:30:16] [INFO ] Removed a total of 2 redundant transitions.
[2023-03-08 20:30:16] [INFO ] Flatten gal took : 1 ms
[2023-03-08 20:30:16] [INFO ] Fuse similar labels procedure discarded/fused a total of 4 labels/synchronizations in 0 ms.
[2023-03-08 20:30:16] [INFO ] Time to serialize gal into /tmp/CTLCardinality16046336191854730788.gal : 0 ms
[2023-03-08 20:30:16] [INFO ] Time to serialize properties into /tmp/CTLCardinality14846190593934691773.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/CTLCardinality16046336191854730788.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality14846190593934691773.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,7.00588e+07,7.35109,98248,2,806,5,267894,6,0,33,285790,0
Converting to forward existential form...Done !
original formula: EG(E(((gu0.cAMP__10_4_>=25)||(gu1.cAMP__7_6_<=gu1.cAMP__1_5_)) U A((gu0.cAMP__9_4_<=96) U (gu1.cAMP__7_6_<=58))))
=> equivalent forward existential formula: [FwdG(Init,E(((gu0.cAMP__10_4_>=25)||(gu1.cAMP__7_6_<=gu1.cAMP__1_5_)) U !((E(!((gu1.cAMP__7_6_<=58)) U (!((gu0....243
Reverse transition relation is exact ! Faster fixpoint algorithm enabled.
Hit Full ! (commute/partial/dont) 7/0/2
Hit Full ! (commute/partial/dont) 3/0/6
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 100/100 places, 684/684 transitions.
Graph (trivial) has 634 edges and 100 vertex of which 96 / 100 are part of one of the 1 SCC in 1 ms
Free SCC test removed 95 places
Ensure Unique test removed 673 transitions
Reduce isomorphic transitions removed 673 transitions.
Applied a total of 1 rules in 4 ms. Remains 5 /100 variables (removed 95) and now considering 11/684 (removed 673) transitions.
// Phase 1: matrix 11 rows 5 cols
[2023-03-08 20:30:46] [INFO ] Computed 1 place invariants in 0 ms
[2023-03-08 20:30:46] [INFO ] Implicit Places using invariants in 24 ms returned []
[2023-03-08 20:30:46] [INFO ] Invariant cache hit.
[2023-03-08 20:30:46] [INFO ] Implicit Places using invariants and state equation in 22 ms returned []
Implicit Place search using SMT with State Equation took 48 ms to find 0 implicit places.
[2023-03-08 20:30:46] [INFO ] Redundant transitions in 0 ms returned []
[2023-03-08 20:30:46] [INFO ] Invariant cache hit.
[2023-03-08 20:30:46] [INFO ] Dead Transitions using invariants and state equation in 20 ms found 0 transitions.
Starting structural reductions in SI_CTL mode, iteration 1 : 5/100 places, 11/684 transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 79 ms. Remains : 5/100 places, 11/684 transitions.
[2023-03-08 20:30:46] [INFO ] Flatten gal took : 1 ms
[2023-03-08 20:30:46] [INFO ] Flatten gal took : 0 ms
[2023-03-08 20:30:46] [INFO ] Input system was already deterministic with 11 transitions.
[2023-03-08 20:30:46] [INFO ] Flatten gal took : 1 ms
[2023-03-08 20:30:46] [INFO ] Flatten gal took : 0 ms
[2023-03-08 20:30:46] [INFO ] Time to serialize gal into /tmp/CTLCardinality4137398416992752231.gal : 1 ms
[2023-03-08 20:30:46] [INFO ] Time to serialize properties into /tmp/CTLCardinality6589184250667007890.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/CTLCardinality4137398416992752231.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality6589184250667007890.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,7.00588e+07,1.11751,21572,2,806,5,128978,6,0,33,126981,0
Converting to forward existential form...Done !
original formula: (EF((cAMP__9_8_>cAMP__8_10_)) + AG((cAMP__5_4_>cAMP__9_10_)))
=> equivalent forward existential formula: [(FwdU((Init * !(E(TRUE U (cAMP__9_8_>cAMP__8_10_)))),TRUE) * !((cAMP__5_4_>cAMP__9_10_)))] = FALSE
Reverse transition relation is exact ! Faster fixpoint algorithm enabled.
Detected timeout of ITS tools.
[2023-03-08 20:31:16] [INFO ] Flatten gal took : 1 ms
[2023-03-08 20:31:16] [INFO ] Applying decomposition
[2023-03-08 20:31:16] [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/graph6795656461593383817.txt' '-o' '/tmp/graph6795656461593383817.bin' '-w' '/tmp/graph6795656461593383817.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph6795656461593383817.bin' '-l' '-1' '-v' '-w' '/tmp/graph6795656461593383817.weights' '-q' '0' '-e' '0.001'
[2023-03-08 20:31:16] [INFO ] Decomposing Gal with order
[2023-03-08 20:31:16] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-08 20:31:16] [INFO ] Removed a total of 4 redundant transitions.
[2023-03-08 20:31:16] [INFO ] Flatten gal took : 1 ms
[2023-03-08 20:31:16] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 1 ms.
[2023-03-08 20:31:16] [INFO ] Time to serialize gal into /tmp/CTLCardinality12832312900646601293.gal : 1 ms
[2023-03-08 20:31:16] [INFO ] Time to serialize properties into /tmp/CTLCardinality14714839167733018376.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/CTLCardinality12832312900646601293.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality14714839167733018376.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,7.00588e+07,1.12082,21616,2,806,5,128978,6,0,33,126981,0
Converting to forward existential form...Done !
original formula: (EF((gu1.cAMP__9_8_>gu1.cAMP__8_10_)) + AG((gu0.cAMP__5_4_>gu0.cAMP__9_10_)))
=> equivalent forward existential formula: [(FwdU((Init * !(E(TRUE U (gu1.cAMP__9_8_>gu1.cAMP__8_10_)))),TRUE) * !((gu0.cAMP__5_4_>gu0.cAMP__9_10_)))] = FA...158
Reverse transition relation is exact ! Faster fixpoint algorithm enabled.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 100/100 places, 684/684 transitions.
Applied a total of 0 rules in 3 ms. Remains 100 /100 variables (removed 0) and now considering 684/684 (removed 0) transitions.
// Phase 1: matrix 684 rows 100 cols
[2023-03-08 20:31:46] [INFO ] Computed 1 place invariants in 3 ms
[2023-03-08 20:31:46] [INFO ] Implicit Places using invariants in 36 ms returned []
[2023-03-08 20:31:46] [INFO ] Invariant cache hit.
[2023-03-08 20:31:46] [INFO ] Implicit Places using invariants and state equation in 202 ms returned []
Implicit Place search using SMT with State Equation took 264 ms to find 0 implicit places.
[2023-03-08 20:31:46] [INFO ] Invariant cache hit.
[2023-03-08 20:31:47] [INFO ] Dead Transitions using invariants and state equation in 553 ms found 0 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 821 ms. Remains : 100/100 places, 684/684 transitions.
[2023-03-08 20:31:47] [INFO ] Flatten gal took : 14 ms
[2023-03-08 20:31:47] [INFO ] Flatten gal took : 14 ms
[2023-03-08 20:31:47] [INFO ] Input system was already deterministic with 684 transitions.
[2023-03-08 20:31:47] [INFO ] Flatten gal took : 16 ms
[2023-03-08 20:31:47] [INFO ] Flatten gal took : 14 ms
[2023-03-08 20:31:47] [INFO ] Time to serialize gal into /tmp/CTLCardinality3355087457982648669.gal : 4 ms
[2023-03-08 20:31:47] [INFO ] Time to serialize properties into /tmp/CTLCardinality1287170795749020972.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/CTLCardinality3355087457982648669.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality1287170795749020972.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2023-03-08 20:32:17] [INFO ] Flatten gal took : 10 ms
[2023-03-08 20:32:17] [INFO ] Applying decomposition
[2023-03-08 20:32:17] [INFO ] Flatten gal took : 10 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/graph3050468231154365923.txt' '-o' '/tmp/graph3050468231154365923.bin' '-w' '/tmp/graph3050468231154365923.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph3050468231154365923.bin' '-l' '-1' '-v' '-w' '/tmp/graph3050468231154365923.weights' '-q' '0' '-e' '0.001'
[2023-03-08 20:32:17] [INFO ] Decomposing Gal with order
[2023-03-08 20:32:17] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-08 20:32:17] [INFO ] Removed a total of 478 redundant transitions.
[2023-03-08 20:32:17] [INFO ] Flatten gal took : 33 ms
[2023-03-08 20:32:17] [INFO ] Fuse similar labels procedure discarded/fused a total of 32 labels/synchronizations in 2 ms.
[2023-03-08 20:32:17] [INFO ] Time to serialize gal into /tmp/CTLCardinality7203089663569457745.gal : 3 ms
[2023-03-08 20:32:17] [INFO ] Time to serialize properties into /tmp/CTLCardinality8199253079002164773.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/CTLCardinality7203089663569457745.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality8199253079002164773.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2023-03-08 20:32:47] [INFO ] Flatten gal took : 11 ms
[2023-03-08 20:32:47] [INFO ] Flatten gal took : 10 ms
[2023-03-08 20:32:47] [INFO ] Applying decomposition
[2023-03-08 20:32:47] [INFO ] Flatten gal took : 10 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/graph11937063399216577227.txt' '-o' '/tmp/graph11937063399216577227.bin' '-w' '/tmp/graph11937063399216577227.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph11937063399216577227.bin' '-l' '-1' '-v' '-w' '/tmp/graph11937063399216577227.weights' '-q' '0' '-e' '0.001'
[2023-03-08 20:32:47] [INFO ] Decomposing Gal with order
[2023-03-08 20:32:47] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-08 20:32:47] [INFO ] Removed a total of 780 redundant transitions.
[2023-03-08 20:32:47] [INFO ] Flatten gal took : 33 ms
[2023-03-08 20:32:47] [INFO ] Fuse similar labels procedure discarded/fused a total of 12 labels/synchronizations in 2 ms.
[2023-03-08 20:32:47] [INFO ] Time to serialize gal into /tmp/CTLCardinality11871325304022668251.gal : 4 ms
[2023-03-08 20:32:47] [INFO ] Time to serialize properties into /tmp/CTLCardinality1459643818189034479.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/CTLCardinality11871325304022668251.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality1459643818189034479.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 11 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.38608e+81,111.834,1360116,2,19901,5,9.41132e+06,6,0,1085,9.33768e+06,0
Converting to forward existential form...Done !
original formula: E((gi12.gu21.cAMP__3_2_<=50) U (!(AG(AX((gi2.gu23.cAMP__6_7_<=147)))) * (!(E(EF((gu6.cAMP__10_9_>=180)) U (gi15.gu2.cAMP__8_4_<=20))) + (...406
=> equivalent forward existential formula: ([((FwdU(Init,(gi12.gu21.cAMP__3_2_<=50)) * !(!(E(TRUE U !(!(EX(!((gi2.gu23.cAMP__6_7_<=147))))))))) * !(E(E(TRU...1142
Reverse transition relation is exact ! Faster fixpoint algorithm enabled.
Hit Full ! (commute/partial/dont) 660/0/16
Hit Full ! (commute/partial/dont) 644/0/32
Hit Full ! (commute/partial/dont) 660/0/16
Detected timeout of ITS tools.
[2023-03-08 20:56:44] [INFO ] Flatten gal took : 10 ms
[2023-03-08 20:56:44] [INFO ] Time to serialize gal into /tmp/CTLCardinality11926376790645567603.gal : 2 ms
[2023-03-08 20:56:44] [INFO ] Time to serialize properties into /tmp/CTLCardinality15346188621271451493.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/CTLCardinality11926376790645567603.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality15346188621271451493.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 11 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.38608e+81,117.713,1351004,2,19901,5,9.47654e+06,6,0,1087,9.39793e+06,0
Converting to forward existential form...Done !
original formula: E((cAMP__3_2_<=50) U (!(AG(AX((cAMP__6_7_<=147)))) * (!(E(EF((cAMP__10_9_>=180)) U (cAMP__8_4_<=20))) + ((E(((cAMP__7_7_>=82)||(cAMP__2_5...305
=> equivalent forward existential formula: ([((FwdU(Init,(cAMP__3_2_<=50)) * !(!(E(TRUE U !(!(EX(!((cAMP__6_7_<=147))))))))) * !(E(E(TRUE U (cAMP__10_9_>=1...898
Reverse transition relation is exact ! Faster fixpoint algorithm enabled.
Hit Full ! (commute/partial/dont) 668/0/16
Hit Full ! (commute/partial/dont) 652/0/32
Hit Full ! (commute/partial/dont) 668/0/16
Detected timeout of ITS tools.
[2023-03-08 21:20:40] [INFO ] Flatten gal took : 10 ms
[2023-03-08 21:20:40] [INFO ] Input system was already deterministic with 684 transitions.
[2023-03-08 21:20:40] [INFO ] Transformed 100 places.
[2023-03-08 21:20:40] [INFO ] Transformed 684 transitions.
Running greatSPN : cd /home/mcc/execution;'/home/mcc/BenchKit/bin//../itstools/bin//..//greatspn//bin/pinvar' '/home/mcc/execution/gspn'
Run of greatSPN captured in /home/mcc/execution/outPut.txt
Running greatSPN : cd /home/mcc/execution;'/home/mcc/BenchKit/bin//../itstools/bin//..//greatspn//bin/RGMEDD2' '/home/mcc/execution/gspn' '-META' '-varord-only'
Run of greatSPN captured in /home/mcc/execution/outPut.txt
Using order generated by GreatSPN with heuristic : META
[2023-03-08 21:20:40] [INFO ] Time to serialize gal into /tmp/CTLCardinality4029769482482103912.gal : 3 ms
[2023-03-08 21:20:40] [INFO ] Time to serialize properties into /tmp/CTLCardinality17851561965739432432.ctl : 2 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/CTLCardinality4029769482482103912.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality17851561965739432432.ctl' '--load-order' '/home/mcc/execution/model.ord' '--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 -...329
Successfully loaded order from file /home/mcc/execution/model.ord
No direction supplied, using forward translation only.
Parsed 11 CTL formulae.
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 15599112 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16100460 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
+ [[ CTLCardinality = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution CTLCardinality -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 CTLCardinality -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-D10N200"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool itstools"
echo " Input is Diffusion2D-PT-D10N200, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r133-smll-167819410300145"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Diffusion2D-PT-D10N200.tgz
mv Diffusion2D-PT-D10N200 execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;