About the Execution of ITS-Tools for ViralEpidemic-PT-S04D1C1A03
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16229.300 | 3600000.00 | 3656399.00 | 16956.40 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2021-input.r273-smll-162123879900282.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2021-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itstools
Input is ViralEpidemic-PT-S04D1C1A03, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r273-smll-162123879900282
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 940K
-rw-r--r-- 1 mcc users 13K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 83K May 10 09:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 14K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 95K May 10 09:44 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.8K May 6 14:48 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.8K Mar 28 16:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Mar 28 16:47 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 28 16:48 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 28 16:48 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Mar 27 15:10 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 27 15:10 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.7K Mar 26 06:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 21K Mar 26 06:14 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Mar 22 08:17 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Mar 22 08:17 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 5 16:52 equiv_col
-rw-r--r-- 1 mcc users 11 May 5 16:52 instance
-rw-r--r-- 1 mcc users 6 May 5 16:52 iscolored
-rw-r--r-- 1 mcc users 585K May 5 16:52 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 ViralEpidemic-PT-S04D1C1A03-CTLFireability-00
FORMULA_NAME ViralEpidemic-PT-S04D1C1A03-CTLFireability-01
FORMULA_NAME ViralEpidemic-PT-S04D1C1A03-CTLFireability-02
FORMULA_NAME ViralEpidemic-PT-S04D1C1A03-CTLFireability-03
FORMULA_NAME ViralEpidemic-PT-S04D1C1A03-CTLFireability-04
FORMULA_NAME ViralEpidemic-PT-S04D1C1A03-CTLFireability-05
FORMULA_NAME ViralEpidemic-PT-S04D1C1A03-CTLFireability-06
FORMULA_NAME ViralEpidemic-PT-S04D1C1A03-CTLFireability-07
FORMULA_NAME ViralEpidemic-PT-S04D1C1A03-CTLFireability-08
FORMULA_NAME ViralEpidemic-PT-S04D1C1A03-CTLFireability-09
FORMULA_NAME ViralEpidemic-PT-S04D1C1A03-CTLFireability-10
FORMULA_NAME ViralEpidemic-PT-S04D1C1A03-CTLFireability-11
FORMULA_NAME ViralEpidemic-PT-S04D1C1A03-CTLFireability-12
FORMULA_NAME ViralEpidemic-PT-S04D1C1A03-CTLFireability-13
FORMULA_NAME ViralEpidemic-PT-S04D1C1A03-CTLFireability-14
FORMULA_NAME ViralEpidemic-PT-S04D1C1A03-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1621529642885
Running Version 0
[2021-05-20 16:54:05] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLFireability, -spotpath, /home/mcc/BenchKit/bin//..//ltlfilt, -z3path, /home/mcc/BenchKit/bin//..//z3/bin/z3, -yices2path, /home/mcc/BenchKit/bin//..//yices/bin/yices, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2021-05-20 16:54:05] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-20 16:54:06] [INFO ] Load time of PNML (sax parser for PT used): 183 ms
[2021-05-20 16:54:06] [INFO ] Transformed 511 places.
[2021-05-20 16:54:06] [INFO ] Transformed 765 transitions.
[2021-05-20 16:54:06] [INFO ] Found NUPN structural information;
[2021-05-20 16:54:06] [INFO ] Parsed PT model containing 511 places and 765 transitions in 257 ms.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 20 ms.
Support contains 457 out of 511 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 511/511 places, 765/765 transitions.
Discarding 10 places :
Symmetric choice reduction at 0 with 10 rule applications. Total rules 10 place count 501 transition count 745
Iterating global reduction 0 with 10 rules applied. Total rules applied 20 place count 501 transition count 745
Applied a total of 20 rules in 36 ms. Remains 501 /511 variables (removed 10) and now considering 745/765 (removed 20) transitions.
// Phase 1: matrix 745 rows 501 cols
[2021-05-20 16:54:06] [INFO ] Computed 1 place invariants in 68 ms
[2021-05-20 16:54:06] [INFO ] Implicit Places using invariants in 491 ms returned []
// Phase 1: matrix 745 rows 501 cols
[2021-05-20 16:54:06] [INFO ] Computed 1 place invariants in 31 ms
[2021-05-20 16:54:07] [INFO ] Implicit Places using invariants and state equation in 588 ms returned []
Implicit Place search using SMT with State Equation took 1131 ms to find 0 implicit places.
// Phase 1: matrix 745 rows 501 cols
[2021-05-20 16:54:07] [INFO ] Computed 1 place invariants in 20 ms
[2021-05-20 16:54:07] [INFO ] Dead Transitions using invariants and state equation in 584 ms returned []
Finished structural reductions, in 1 iterations. Remains : 501/511 places, 745/765 transitions.
[2021-05-20 16:54:08] [INFO ] Flatten gal took : 181 ms
[2021-05-20 16:54:08] [INFO ] Flatten gal took : 125 ms
[2021-05-20 16:54:09] [INFO ] Input system was already deterministic with 745 transitions.
Finished random walk after 713 steps, including 12 resets, run visited all 84 properties in 36 ms. (steps per millisecond=19 )
Reduce places removed 1 places and 1 transitions.
Discarding 220 places :
Symmetric choice reduction at 0 with 220 rule applications. Total rules 220 place count 280 transition count 316
Iterating global reduction 0 with 220 rules applied. Total rules applied 440 place count 280 transition count 316
Applied a total of 440 rules in 104 ms. Remains 280 /501 variables (removed 221) and now considering 316/745 (removed 429) transitions.
[2021-05-20 16:54:09] [INFO ] Flatten gal took : 29 ms
[2021-05-20 16:54:09] [INFO ] Flatten gal took : 36 ms
[2021-05-20 16:54:09] [INFO ] Input system was already deterministic with 316 transitions.
[2021-05-20 16:54:09] [INFO ] Flatten gal took : 28 ms
[2021-05-20 16:54:09] [INFO ] Flatten gal took : 29 ms
[2021-05-20 16:54:09] [INFO ] Time to serialize gal into /tmp/CTLFireability17705693508772876191.gal : 92 ms
[2021-05-20 16:54:09] [INFO ] Time to serialize properties into /tmp/CTLFireability3184575337666263154.ctl : 2 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLFireability17705693508772876191.gal, -t, CGAL, -ctl, /tmp/CTLFireability3184575337666263154.ctl, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLFireability17705693508772876191.gal -t CGAL -ctl /tmp/CTLFireability3184575337666263154.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,5.73159e+50,0.817229,21992,2,18531,5,111925,6,0,1325,54469,0
Converting to forward existential form...Done !
Detected timeout of ITS tools.
[2021-05-20 16:54:39] [INFO ] Flatten gal took : 22 ms
[2021-05-20 16:54:39] [INFO ] Applying decomposition
[2021-05-20 16:54:39] [INFO ] Flatten gal took : 48 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph2329057259791714328.txt, -o, /tmp/graph2329057259791714328.bin, -w, /tmp/graph2329057259791714328.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph2329057259791714328.bin, -l, -1, -v, -w, /tmp/graph2329057259791714328.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-20 16:54:39] [INFO ] Decomposing Gal with order
[2021-05-20 16:54:40] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-20 16:54:40] [INFO ] Removed a total of 192 redundant transitions.
[2021-05-20 16:54:40] [INFO ] Flatten gal took : 101 ms
[2021-05-20 16:54:40] [INFO ] Fuse similar labels procedure discarded/fused a total of 137 labels/synchronizations in 21 ms.
[2021-05-20 16:54:40] [INFO ] Time to serialize gal into /tmp/CTLFireability3086532766244886612.gal : 10 ms
[2021-05-20 16:54:40] [INFO ] Time to serialize properties into /tmp/CTLFireability2539575729303163838.ctl : 2 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLFireability3086532766244886612.gal, -t, CGAL, -ctl, /tmp/CTLFireability2539575729303163838.ctl], workingDir=/home/mcc/execution]
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLFireability3086532766244886612.gal -t CGAL -ctl /tmp/CTLFireability2539575729303163838.ctl
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Reduce places removed 1 places and 1 transitions.
Discarding 208 places :
Symmetric choice reduction at 0 with 208 rule applications. Total rules 208 place count 292 transition count 337
Iterating global reduction 0 with 208 rules applied. Total rules applied 416 place count 292 transition count 337
Applied a total of 416 rules in 34 ms. Remains 292 /501 variables (removed 209) and now considering 337/745 (removed 408) transitions.
[2021-05-20 16:55:10] [INFO ] Flatten gal took : 17 ms
[2021-05-20 16:55:10] [INFO ] Flatten gal took : 18 ms
[2021-05-20 16:55:10] [INFO ] Input system was already deterministic with 337 transitions.
[2021-05-20 16:55:10] [INFO ] Flatten gal took : 16 ms
[2021-05-20 16:55:10] [INFO ] Flatten gal took : 16 ms
[2021-05-20 16:55:10] [INFO ] Time to serialize gal into /tmp/CTLFireability8002799284811314718.gal : 3 ms
[2021-05-20 16:55:10] [INFO ] Time to serialize properties into /tmp/CTLFireability7255858399374342269.ctl : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLFireability8002799284811314718.gal, -t, CGAL, -ctl, /tmp/CTLFireability7255858399374342269.ctl, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLFireability8002799284811314718.gal -t CGAL -ctl /tmp/CTLFireability7255858399374342269.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,8.76564e+51,2.13644,48844,2,38927,5,289801,6,0,1388,137914,0
Converting to forward existential form...Done !
original formula: A(A(!(AG((((((((((dFactor3141==1)&&(patient1413==1))||(patient313==1))||((dFactor3331==1)&&(patient3311==1)))||((cFactor3413==1)&&(patient4134==1)))||((cFactor3313==1)&&(patient3133==1)))||(patient211==1))||((cFactor12==1)&&(patient23==1)))||(patient344==1)))) U (((((((((patient331==1)||(patient212==1))||((dFactor3344==1)&&(patient3444==1)))||((dFactor3423==1)&&(patient4231==1)))||((cFactor3211==1)&&(patient2113==1)))||((cFactor3111==1)&&(patient1112==1)))||((cFactor232==1)&&(patient324==1)))||((dFactor3444==1)&&(patient4441==1)))||((dFactor3233==1)&&(patient2331==1)))) U AF(E(A(((((((cFactor3223==1)&&(patient2231==1))||((cFactor3242==1)&&(patient2422==1)))||((dFactor3444==1)&&(patient4441==1)))||((dFactor3341==1)&&(patient3414==1)))||((cFactor3444==1)&&(patient4444==1))) U (((((((((((dFactor3332==1)&&(patient3322==1))||((cFactor3333==1)&&(patient3331==1)))||((cFactor3112==1)&&(patient1121==1)))||((dFactor11==1)&&(patient13==1)))||((dFactor14==1)&&(patient41==1)))||((dFactor3114==1)&&(patient1144==1)))||((dFactor3333==1)&&(patient3332==1)))||((cFactor243==1)&&(patient433==1)))||((dFactor3133==1)&&(patient1331==1)))||((cFactor214==1)&&(patient143==1)))) U (((((((((dFactor3124==1)&&(patient1242==1))||((dFactor3344==1)&&(patient3444==1)))||((dFactor3313==1)&&(patient3133==1)))||((cFactor3422==1)&&(patient4222==1)))||((cFactor3143==1)&&(patient1433==1)))||((cFactor3112==1)&&(patient1124==1)))||((dFactor3131==1)&&(patient1311==1)))&&((((((cFactor3221==1)&&(patient2214==1))||((dFactor3321==1)&&(patient3213==1)))||((cFactor11==1)&&(patient14==1)))||((cFactor3342==1)&&(patient3424==1)))||((dFactor14==1)&&(patient43==1)))))))
=> equivalent forward existential formula: [((Init * !(EG(!(!(EG(!(E(!((E(!((((((((((((dFactor3332==1)&&(patient3322==1))||((cFactor3333==1)&&(patient3331==1)))||((cFactor3112==1)&&(patient1121==1)))||((dFactor11==1)&&(patient13==1)))||((dFactor14==1)&&(patient41==1)))||((dFactor3114==1)&&(patient1144==1)))||((dFactor3333==1)&&(patient3332==1)))||((cFactor243==1)&&(patient433==1)))||((dFactor3133==1)&&(patient1331==1)))||((cFactor214==1)&&(patient143==1)))) U (!(((((((cFactor3223==1)&&(patient2231==1))||((cFactor3242==1)&&(patient2422==1)))||((dFactor3444==1)&&(patient4441==1)))||((dFactor3341==1)&&(patient3414==1)))||((cFactor3444==1)&&(patient4444==1)))) * !((((((((((((dFactor3332==1)&&(patient3322==1))||((cFactor3333==1)&&(patient3331==1)))||((cFactor3112==1)&&(patient1121==1)))||((dFactor11==1)&&(patient13==1)))||((dFactor14==1)&&(patient41==1)))||((dFactor3114==1)&&(patient1144==1)))||((dFactor3333==1)&&(patient3332==1)))||((cFactor243==1)&&(patient433==1)))||((dFactor3133==1)&&(patient1331==1)))||((cFactor214==1)&&(patient143==1)))))) + EG(!((((((((((((dFactor3332==1)&&(patient3322==1))||((cFactor3333==1)&&(patient3331==1)))||((cFactor3112==1)&&(patient1121==1)))||((dFactor11==1)&&(patient13==1)))||((dFactor14==1)&&(patient41==1)))||((dFactor3114==1)&&(patient1144==1)))||((dFactor3333==1)&&(patient3332==1)))||((cFactor243==1)&&(patient433==1)))||((dFactor3133==1)&&(patient1331==1)))||((cFactor214==1)&&(patient143==1))))))) U (((((((((dFactor3124==1)&&(patient1242==1))||((dFactor3344==1)&&(patient3444==1)))||((dFactor3313==1)&&(patient3133==1)))||((cFactor3422==1)&&(patient4222==1)))||((cFactor3143==1)&&(patient1433==1)))||((cFactor3112==1)&&(patient1124==1)))||((dFactor3131==1)&&(patient1311==1)))&&((((((cFactor3221==1)&&(patient2214==1))||((dFactor3321==1)&&(patient3213==1)))||((cFactor11==1)&&(patient14==1)))||((cFactor3342==1)&&(patient3424==1)))||((dFactor14==1)&&(patient43==1)))))))))))) * !(E(!(!(EG(!(E(!((E(!((((((((((((dFactor3332==1)&&(patient3322==1))||((cFactor3333==1)&&(patient3331==1)))||((cFactor3112==1)&&(patient1121==1)))||((dFactor11==1)&&(patient13==1)))||((dFactor14==1)&&(patient41==1)))||((dFactor3114==1)&&(patient1144==1)))||((dFactor3333==1)&&(patient3332==1)))||((cFactor243==1)&&(patient433==1)))||((dFactor3133==1)&&(patient1331==1)))||((cFactor214==1)&&(patient143==1)))) U (!(((((((cFactor3223==1)&&(patient2231==1))||((cFactor3242==1)&&(patient2422==1)))||((dFactor3444==1)&&(patient4441==1)))||((dFactor3341==1)&&(patient3414==1)))||((cFactor3444==1)&&(patient4444==1)))) * !((((((((((((dFactor3332==1)&&(patient3322==1))||((cFactor3333==1)&&(patient3331==1)))||((cFactor3112==1)&&(patient1121==1)))||((dFactor11==1)&&(patient13==1)))||((dFactor14==1)&&(patient41==1)))||((dFactor3114==1)&&(patient1144==1)))||((dFactor3333==1)&&(patient3332==1)))||((cFactor243==1)&&(patient433==1)))||((dFactor3133==1)&&(patient1331==1)))||((cFactor214==1)&&(patient143==1)))))) + EG(!((((((((((((dFactor3332==1)&&(patient3322==1))||((cFactor3333==1)&&(patient3331==1)))||((cFactor3112==1)&&(patient1121==1)))||((dFactor11==1)&&(patient13==1)))||((dFactor14==1)&&(patient41==1)))||((dFactor3114==1)&&(patient1144==1)))||((dFactor3333==1)&&(patient3332==1)))||((cFactor243==1)&&(patient433==1)))||((dFactor3133==1)&&(patient1331==1)))||((cFactor214==1)&&(patient143==1))))))) U (((((((((dFactor3124==1)&&(patient1242==1))||((dFactor3344==1)&&(patient3444==1)))||((dFactor3313==1)&&(patient3133==1)))||((cFactor3422==1)&&(patient4222==1)))||((cFactor3143==1)&&(patient1433==1)))||((cFactor3112==1)&&(patient1124==1)))||((dFactor3131==1)&&(patient1311==1)))&&((((((cFactor3221==1)&&(patient2214==1))||((dFactor3321==1)&&(patient3213==1)))||((cFactor11==1)&&(patient14==1)))||((cFactor3342==1)&&(patient3424==1)))||((dFactor14==1)&&(patient43==1))))))))) U (!(!((E(!((((((((((patient331==1)||(patient212==1))||((dFactor3344==1)&&(patient3444==1)))||((dFactor3423==1)&&(patient4231==1)))||((cFactor3211==1)&&(patient2113==1)))||((cFactor3111==1)&&(patient1112==1)))||((cFactor232==1)&&(patient324==1)))||((dFactor3444==1)&&(patient4441==1)))||((dFactor3233==1)&&(patient2331==1)))) U (!(!(!(E(TRUE U !((((((((((dFactor3141==1)&&(patient1413==1))||(patient313==1))||((dFactor3331==1)&&(patient3311==1)))||((cFactor3413==1)&&(patient4134==1)))||((cFactor3313==1)&&(patient3133==1)))||(patient211==1))||((cFactor12==1)&&(patient23==1)))||(patient344==1))))))) * !((((((((((patient331==1)||(patient212==1))||((dFactor3344==1)&&(patient3444==1)))||((dFactor3423==1)&&(patient4231==1)))||((cFactor3211==1)&&(patient2113==1)))||((cFactor3111==1)&&(patient1112==1)))||((cFactor232==1)&&(patient324==1)))||((dFactor3444==1)&&(patient4441==1)))||((dFactor3233==1)&&(patient2331==1)))))) + EG(!((((((((((patient331==1)||(patient212==1))||((dFactor3344==1)&&(patient3444==1)))||((dFactor3423==1)&&(patient4231==1)))||((cFactor3211==1)&&(patient2113==1)))||((cFactor3111==1)&&(patient1112==1)))||((cFactor232==1)&&(patient324==1)))||((dFactor3444==1)&&(patient4441==1)))||((dFactor3233==1)&&(patient2331==1)))))))) * !(!(EG(!(E(!((E(!((((((((((((dFactor3332==1)&&(patient3322==1))||((cFactor3333==1)&&(patient3331==1)))||((cFactor3112==1)&&(patient1121==1)))||((dFactor11==1)&&(patient13==1)))||((dFactor14==1)&&(patient41==1)))||((dFactor3114==1)&&(patient1144==1)))||((dFactor3333==1)&&(patient3332==1)))||((cFactor243==1)&&(patient433==1)))||((dFactor3133==1)&&(patient1331==1)))||((cFactor214==1)&&(patient143==1)))) U (!(((((((cFactor3223==1)&&(patient2231==1))||((cFactor3242==1)&&(patient2422==1)))||((dFactor3444==1)&&(patient4441==1)))||((dFactor3341==1)&&(patient3414==1)))||((cFactor3444==1)&&(patient4444==1)))) * !((((((((((((dFactor3332==1)&&(patient3322==1))||((cFactor3333==1)&&(patient3331==1)))||((cFactor3112==1)&&(patient1121==1)))||((dFactor11==1)&&(patient13==1)))||((dFactor14==1)&&(patient41==1)))||((dFactor3114==1)&&(patient1144==1)))||((dFactor3333==1)&&(patient3332==1)))||((cFactor243==1)&&(patient433==1)))||((dFactor3133==1)&&(patient1331==1)))||((cFactor214==1)&&(patient143==1)))))) + EG(!((((((((((((dFactor3332==1)&&(patient3322==1))||((cFactor3333==1)&&(patient3331==1)))||((cFactor3112==1)&&(patient1121==1)))||((dFactor11==1)&&(patient13==1)))||((dFactor14==1)&&(patient41==1)))||((dFactor3114==1)&&(patient1144==1)))||((dFactor3333==1)&&(patient3332==1)))||((cFactor243==1)&&(patient433==1)))||((dFactor3133==1)&&(patient1331==1)))||((cFactor214==1)&&(patient143==1))))))) U (((((((((dFactor3124==1)&&(patient1242==1))||((dFactor3344==1)&&(patient344
Detected timeout of ITS tools.
java.io.IOException: Stream closed
at java.base/java.io.BufferedInputStream.getBufIfOpen(BufferedInputStream.java:176)
at java.base/java.io.BufferedInputStream.read(BufferedInputStream.java:342)
at java.base/sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284)
at java.base/sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326)
at java.base/sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178)
at java.base/java.io.InputStreamReader.read(InputStreamReader.java:185)
at java.base/java.io.BufferedReader.fill(BufferedReader.java:161)
at java.base/java.io.BufferedReader.readLine(BufferedReader.java:326)
at java.base/java.io.BufferedReader.readLine(BufferedReader.java:392)
at fr.lip6.move.gal.application.ITSRunner$ITSInterpreter.run(ITSRunner.java:182)
at java.base/java.lang.Thread.run(Thread.java:834)
[2021-05-20 16:55:40] [INFO ] Flatten gal took : 15 ms
[2021-05-20 16:55:40] [INFO ] Applying decomposition
[2021-05-20 16:55:40] [INFO ] Flatten gal took : 14 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph9671195225440137987.txt, -o, /tmp/graph9671195225440137987.bin, -w, /tmp/graph9671195225440137987.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph9671195225440137987.bin, -l, -1, -v, -w, /tmp/graph9671195225440137987.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-20 16:55:40] [INFO ] Decomposing Gal with order
[2021-05-20 16:55:40] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-20 16:55:40] [INFO ] Removed a total of 222 redundant transitions.
[2021-05-20 16:55:40] [INFO ] Flatten gal took : 38 ms
[2021-05-20 16:55:40] [INFO ] Fuse similar labels procedure discarded/fused a total of 156 labels/synchronizations in 19 ms.
[2021-05-20 16:55:40] [INFO ] Time to serialize gal into /tmp/CTLFireability4321633901952406550.gal : 7 ms
[2021-05-20 16:55:40] [INFO ] Time to serialize properties into /tmp/CTLFireability13153568858816018648.ctl : 2 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLFireability4321633901952406550.gal, -t, CGAL, -ctl, /tmp/CTLFireability13153568858816018648.ctl], workingDir=/home/mcc/execution]
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLFireability4321633901952406550.gal -t CGAL -ctl /tmp/CTLFireability13153568858816018648.ctl
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Discarding 185 places :
Symmetric choice reduction at 0 with 185 rule applications. Total rules 185 place count 316 transition count 397
Iterating global reduction 0 with 185 rules applied. Total rules applied 370 place count 316 transition count 397
Applied a total of 370 rules in 26 ms. Remains 316 /501 variables (removed 185) and now considering 397/745 (removed 348) transitions.
[2021-05-20 16:56:10] [INFO ] Flatten gal took : 15 ms
[2021-05-20 16:56:10] [INFO ] Flatten gal took : 16 ms
[2021-05-20 16:56:10] [INFO ] Input system was already deterministic with 397 transitions.
[2021-05-20 16:56:10] [INFO ] Flatten gal took : 15 ms
[2021-05-20 16:56:10] [INFO ] Flatten gal took : 24 ms
[2021-05-20 16:56:10] [INFO ] Time to serialize gal into /tmp/CTLFireability2362480468979865121.gal : 3 ms
[2021-05-20 16:56:10] [INFO ] Time to serialize properties into /tmp/CTLFireability3357526738187005970.ctl : 0 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLFireability2362480468979865121.gal, -t, CGAL, -ctl, /tmp/CTLFireability3357526738187005970.ctl, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLFireability2362480468979865121.gal -t CGAL -ctl /tmp/CTLFireability3357526738187005970.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,2.08048e+55,5.27608,128984,2,100379,5,899940,6,0,1536,377835,0
Converting to forward existential form...Done !
original formula: EF(((EG((((((((((((dFactor3112==0)||(patient1121==0))&&((dFactor3141==0)||(patient1411==0)))&&((dFactor3221==0)||(patient2212==0)))&&((cFactor3112==0)||(patient1123==0)))&&((dFactor3433==0)||(patient4331==0)))&&((dFactor223==0)||(patient233==0)))&&((cFactor3442==0)||(patient4422==0)))&&((cFactor3133==0)||(patient1331==0))) + !(EG((((((cFactor224==1)&&(patient241==1))||((cFactor13==1)&&(patient33==1)))||((dFactor3343==1)&&(patient3432==1)))||((cFactor3133==1)&&(patient1331==1)))))) * (((((cFactor221==1)&&(patient212==1))||(patient343==1))||((cFactor3311==1)&&(patient3114==1)))||((cFactor3313==1)&&(patient3131==1))))) * (!(AG(((((((cFactor3323==1)&&(patient3232==1))||(patient43==1))||((dFactor3424==1)&&(patient4242==1)))||(patient343==1))&&(((((((((((dFactor3324==1)&&(patient3244==1))||((cFactor3121==1)&&(patient1212==1)))||((dFactor3431==1)&&(patient4313==1)))||(patient443==1))||((dFactor233==1)&&(patient333==1)))||((cFactor3424==1)&&(patient4243==1)))||((dFactor3134==1)&&(patient1342==1)))||((dFactor3333==1)&&(patient3332==1)))||((dFactor13==1)&&(patient31==1)))||((cFactor3132==1)&&(patient1321==1)))))) + ((((patient444==0)&&((dFactor3441==0)||(patient4412==0)))&&((cFactor211==0)||(patient112==0)))&&((cFactor3334==0)||(patient3344==0))))) * ((!(E(((((((((((patient14==1)||((dFactor3323==1)&&(patient3234==1)))||((dFactor3142==1)&&(patient1424==1)))||((dFactor241==1)&&(patient412==1)))||((cFactor244==1)&&(patient443==1)))||(patient44==1))||((dFactor3431==1)&&(patient4311==1)))||(patient314==1))||((cFactor211==1)&&(patient112==1)))||((cFactor3123==1)&&(patient1234==1))) U ((((((((cFactor3121==1)&&(patient1213==1))||((dFactor231==1)&&(patient312==1)))||((dFactor12==1)&&(patient21==1)))||((dFactor232==1)&&(patient321==1)))||((dFactor223==1)&&(patient233==1)))||(patient244==1))||(patient444==1)))) + ((((((((patient4==0)&&((dFactor3112==0)||(patient1122==0)))&&((dFactor3144==0)||(patient1441==0)))&&((dFactor3144==0)||(patient1442==0)))&&((dFactor3143==0)||(patient1432==0)))&&((dFactor3433==0)||(patient4333==0)))&&((dFactor3441==0)||(patient4414==0)))&&((cFactor3344==0)||(patient3443==0)))) + ((((((((((patient122==1)||((dFactor3144==1)&&(patient1442==1)))||((cFactor3144==1)&&(patient1443==1)))||((dFactor214==1)&&(patient144==1)))||((dFactor3342==1)&&(patient3424==1)))||((cFactor3434==1)&&(patient4342==1)))||((cFactor3123==1)&&(patient1232==1)))||((dFactor222==1)&&(patient224==1)))||((dFactor3234==1)&&(patient2341==1)))&&((((cFactor213==1)&&(patient131==1))||((dFactor3132==1)&&(patient1323==1)))||((cFactor3242==1)&&(patient2421==1)))))))
=> equivalent forward existential formula: (([((FwdU(Init,TRUE) * (EG((((((((((((dFactor3112==0)||(patient1121==0))&&((dFactor3141==0)||(patient1411==0)))&&((dFactor3221==0)||(patient2212==0)))&&((cFactor3112==0)||(patient1123==0)))&&((dFactor3433==0)||(patient4331==0)))&&((dFactor223==0)||(patient233==0)))&&((cFactor3442==0)||(patient4422==0)))&&((cFactor3133==0)||(patient1331==0))) + !(EG((((((cFactor224==1)&&(patient241==1))||((cFactor13==1)&&(patient33==1)))||((dFactor3343==1)&&(patient3432==1)))||((cFactor3133==1)&&(patient1331==1)))))) * (((((cFactor221==1)&&(patient212==1))||(patient343==1))||((cFactor3311==1)&&(patient3114==1)))||((cFactor3313==1)&&(patient3131==1))))) * (!(!(E(TRUE U !(((((((cFactor3323==1)&&(patient3232==1))||(patient43==1))||((dFactor3424==1)&&(patient4242==1)))||(patient343==1))&&(((((((((((dFactor3324==1)&&(patient3244==1))||((cFactor3121==1)&&(patient1212==1)))||((dFactor3431==1)&&(patient4313==1)))||(patient443==1))||((dFactor233==1)&&(patient333==1)))||((cFactor3424==1)&&(patient4243==1)))||((dFactor3134==1)&&(patient1342==1)))||((dFactor3333==1)&&(patient3332==1)))||((dFactor13==1)&&(patient31==1)))||((cFactor3132==1)&&(patient1321==1)))))))) + ((((patient444==0)&&((dFactor3441==0)||(patient4412==0)))&&((cFactor211==0)||(patient112==0)))&&((cFactor3334==0)||(patient3344==0)))))) * !(E(((((((((((patient14==1)||((dFactor3323==1)&&(patient3234==1)))||((dFactor3142==1)&&(patient1424==1)))||((dFactor241==1)&&(patient412==1)))||((cFactor244==1)&&(patie
Detected timeout of ITS tools.
java.io.IOException: Stream closed
at java.base/java.io.BufferedInputStream.getBufIfOpen(BufferedInputStream.java:176)
at java.base/java.io.BufferedInputStream.read(BufferedInputStream.java:342)
at java.base/sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284)
at java.base/sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326)
at java.base/sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178)
at java.base/java.io.InputStreamReader.read(InputStreamReader.java:185)
at java.base/java.io.BufferedReader.fill(BufferedReader.java:161)
at java.base/java.io.BufferedReader.readLine(BufferedReader.java:326)
at java.base/java.io.BufferedReader.readLine(BufferedReader.java:392)
at fr.lip6.move.gal.application.ITSRunner$ITSInterpreter.run(ITSRunner.java:182)
at java.base/java.lang.Thread.run(Thread.java:834)
[2021-05-20 16:56:41] [INFO ] Flatten gal took : 16 ms
[2021-05-20 16:56:41] [INFO ] Applying decomposition
[2021-05-20 16:56:41] [INFO ] Flatten gal took : 33 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph10549446447564250239.txt, -o, /tmp/graph10549446447564250239.bin, -w, /tmp/graph10549446447564250239.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph10549446447564250239.bin, -l, -1, -v, -w, /tmp/graph10549446447564250239.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-20 16:56:41] [INFO ] Decomposing Gal with order
[2021-05-20 16:56:41] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-20 16:56:41] [INFO ] Removed a total of 313 redundant transitions.
[2021-05-20 16:56:41] [INFO ] Flatten gal took : 71 ms
[2021-05-20 16:56:41] [INFO ] Fuse similar labels procedure discarded/fused a total of 196 labels/synchronizations in 48 ms.
[2021-05-20 16:56:41] [INFO ] Time to serialize gal into /tmp/CTLFireability1939273877245566802.gal : 8 ms
[2021-05-20 16:56:41] [INFO ] Time to serialize properties into /tmp/CTLFireability10060582276587908130.ctl : 2 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLFireability1939273877245566802.gal, -t, CGAL, -ctl, /tmp/CTLFireability10060582276587908130.ctl], workingDir=/home/mcc/execution]
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLFireability1939273877245566802.gal -t CGAL -ctl /tmp/CTLFireability10060582276587908130.ctl
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,2.08048e+55,5.46164,101600,41645,42,331264,647,636,88674,61,769,0
Converting to forward existential form...Done !
original formula: EF(((EG((((((((((((u7.dFactor3112==0)||(i5.u9.patient1121==0))&&((u40.dFactor3141==0)||(i1.u42.patient1411==0)))&&((u68.dFactor3221==0)||(i39.u67.patient2212==0)))&&((u8.cFactor3112==0)||(i5.u9.patient1123==0)))&&((u177.dFactor3433==0)||(i128.u179.patient4331==0)))&&((u76.dFactor223==0)||(i59.u83.patient233==0)))&&((u189.cFactor3442==0)||(i141.u190.patient4422==0)))&&((u34.cFactor3133==0)||(i24.u32.patient1331==0))) + !(EG((((((u88.cFactor224==1)&&(i67.u90.patient241==1))||((u100.cFactor13==1)&&(i94.u127.patient33==1)))||((u143.dFactor3343==1)&&(i102.u145.patient3432==1)))||((u34.cFactor3133==1)&&(i24.u32.patient1331==1)))))) * (((((u56.cFactor221==1)&&(i45.u60.patient212==1))||(i102.u145.patient343==1))||((u104.cFactor3311==1)&&(i72.u105.patient3114==1)))||((u109.cFactor3313==1)&&(i72.u110.patient3131==1))))) * (!(AG(((((((u120.cFactor3323==1)&&(i87.u121.patient3232==1))||(i128.u149.patient43==1))||((u169.dFactor3424==1)&&(i121.u168.patient4242==1)))||(i102.u145.patient343==1))&&(((((((((((u122.dFactor3324==1)&&(i87.u124.patient3244==1))||((u16.cFactor3121==1)&&(i14.u17.patient1212==1)))||((u173.dFactor3431==1)&&(i128.u172.patient4313==1)))||(i141.u192.patient443==1))||((u125.dFactor233==1)&&(i94.u131.patient333==1)))||((u170.cFactor3424==1)&&(i121.u168.patient4243==1)))||((u36.dFactor3134==1)&&(i24.u35.patient1342==1)))||((u132.dFactor3333==1)&&(i94.u131.patient3332==1)))||((u99.dFactor13==1)&&(i72.u98.patient31==1)))||((u31.cFactor3132==1)&&(i24.u29.patient1321==1)))))) + ((((i141.u194.patient444==0)&&((u186.dFactor3441==0)||(i141.u185.patient4412==0)))&&((u4.cFactor211==0)||(i5.u9.patient112==0)))&&((u135.cFactor3334==0)||(i94.u136.patient3344==0))))) * ((!(E(((((((((((i1.u1.patient14==1)||((u119.dFactor3323==1)&&(i87.u121.patient3234==1)))||((u43.dFactor3142==1)&&(i1.u45.patient1424==1)))||((u151.dFactor241==1)&&(i113.u156.patient412==1)))||((u184.cFactor244==1)&&(i141.u192.patient443==1)))||(i141.u192.patient44==1))||((u173.dFactor3431==1)&&(i128.u172.patient4311==1)))||(i72.u111.patient314==1))||((u4.cFactor211==1)&&(i5.u9.patient112==1)))||((u22.cFactor3123==1)&&(i14.u20.patient1234==1))) U ((((((((u16.cFactor3121==1)&&(i14.u17.patient1213==1))||((u101.dFactor231==1)&&(i72.u107.patient312==1)))||((u53.dFactor12==1)&&(i45.u58.patient21==1)))||((u113.dFactor232==1)&&(i87.u116.patient321==1)))||((u76.dFactor223==1)&&(i59.u83.patient233==1)))||(i67.u97.patient244==1))||(i141.u194.patient444==1)))) + ((((((((i128.u149.patient4==0)&&((u7.dFactor3112==0)||(i5.u9.patient1122==0)))&&((u50.dFactor3144==0)||(i1.u49.patient1441==0)))&&((u50.dFactor3144==0)||(i1.u49.patient1442==0)))&&((u47.dFactor3143==0)||(i1.u46.patient1432==0)))&&((u177.dFactor3433==0)||(i128.u179.patient4333==0)))&&((u186.dFactor3441==0)||(i141.u185.patient4414==0)))&&((u147.cFactor3344==0)||(i102.u148.patient3443==0)))) + ((((((((((i14.u18.patient122==1)||((u50.dFactor3144==1)&&(i1.u49.patient1442==1)))||((u51.cFactor3144==1)&&(i1.u49.patient1443==1)))||((u38.dFactor214==1)&&(i1.u49.patient144==1)))||((u141.dFactor3342==1)&&(i102.u140.patient3424==1)))||((u182.cFactor3434==1)&&(i128.u180.patient4342==1)))||((u22.cFactor3123==1)&&(i14.u20.patient1232==1)))||((u65.dFactor222==1)&&(i39.u75.patient224==1)))||((u85.dFactor3234==1)&&(i59.u84.patient2341==1)))&&((((u26.cFactor213==1)&&(i24.u28.patient131==1))||((u30.dFactor3132==1)&&(i24.u29.patient1323==1)))||((u93.cFactor3242==1)&&(i67.u91.patient2421==1)))))))
=> equivalent forward existential formula: (([((FwdU(Init,TRUE) * (EG((((((((((((u7.dFactor3112==0)||(i5.u9.patient1121==0))&&((u40.dFactor3141==0)||(i1.u42.patient1411==0)))&&((u68.dFactor3221==0)||(i39.u67.patient2212==0)))&&((u8.cFactor3112==0)||(i5.u9.patient1123==0)))&&((u177.dFactor3433==0)||(i128.u179.patient4331==0)))&&((u76.dFactor223==0)||(i59.u83.patient233==0)))&&((u189.cFactor3442==0)||(i141.u190.patient4422==0)))&&((u34.cFactor3133==0)||(i24.u32.patient1331==0))) + !(EG((((((u88.cFactor224==1)&&(i67.u90.patient241==1))||((u100.cFactor13==1)&&(i94.u127.patient33==1)))||((u143.dFactor3343==1)&&(i102.u145.patient3432==1)))||((u34.cFactor3133==1)&&(i24.u32.patient1331==1)))))) * (((((u56.cFactor221==1)&&(i45.u60.patient212==1))||(i102.u145.patient343==1))||((u104.cFactor3311==1)&&(i72.u105.patient3114==1)))||((u109.cFactor3313==1)&&(i72.u110.patient3131==1))))) * (!(!(E(TRUE U !(((((((u120.cFactor3323==1)&&(i87.u121.patient3232==1))||(i128.u149.patient43==1))||((u169.dFactor3424==1)&&(i121.u168.patient4242==1)))||(i102.u145.patient343==1))&&(((((((((((u122.dFactor3324==1)&&(i87.u124.patient3244==1))||((u16.cFactor3121==1)&&(i14.u17.patient1212==1)))||((u173.dFactor3431==1)&&(i128.u172.patient4313==1)))||(i141.u192.patient443==1))||((u125.dFactor233==1)&&(i94.u131.patient333==1)))||((u170.cFactor3424==1)&&(i121.u168.patient4243==1)))||((u36.dFactor3134==1)&&(i24.u35.patient1342==1)))||((u132.dFactor3333==1)&&(i94.u131.patient3332==1)))||((u99.dFactor13==1)&&(i72.u98.patient31==1)))||((u31.cFactor3132==1)&&(i24.u29.patient1321==1)))))))) + ((((i141.u194.patient444==0)&&((u186.dFactor3441==0)||(i141.u185.patient4412==0)))&&((u4.cFactor211==0)||(i5.u9.patient112==0)))&&((u135.cFactor3334==0)||(i94.u136.patient3344==0)))))) * !(E(((((((((((i1.u1.patient14==1)||((u119.dFactor3323==1)&&(i87.u121.patient3234==1)))||((u43.dFactor3142==1)&&(i1.u45.patient1424==1)))||((u151.dFactor241==1)&&(i113.u156.patient412==1)))||((u184.cFactor244==1)&&(i141.u192.patient443==1)))||(i141.u192.patient44==1))||((u173.dFactor3431==1)&&(i128.u172.patient4311==1)))||(i72.u111.patient314==1))||((u4.cFactor211==1)&&(i5.u9.patient112==1)))||((u22.cFactor3123==1)&&(i14.u20.patient1234==1))) U ((((((((u16.cFactor3121==1)&&(i14.u17.patient1213==1))||((u101.dFactor231==1)&&(i72.u107.patient312==1)))||((u53.dFactor12==1)&&(i45.u58.patient21==1)))||((u113.dFactor232==1)&&(i87.u116.patient321==1)))||((u76.dFactor223==1)&&(i59.u83.patient233==1)))||(i67.u97.patient244==1))||(i141.u194.patient444==1)))))] != FALSE + [((FwdU(Init,TRUE) * (EG((((((((((((u7.dFactor3112==0)||(i5.u9.patient1121==0))&&((u40.dFactor3141==0)||(i1.u42.patient1411==0)))&&((u68.dFactor3221==0)||(i39.u67.patient2212==0)))&&((u8.cFactor3112==0)||(i5.u9.patient1123==0)))&&((u177.dFactor3433==0)||(i128.u179.patient4331==0)))&&((u76.dFactor223==0)||(i59.u83.patient233==0)))&&((u189.cFactor3442==0)||(i141.u190.patient4422==0)))&&((u34.cFactor3133==0)||(i24.u32.patient1331==0))) + !(EG((((((u88.cFactor224==1)&&(i67.u90.patient241==1))||((u100.cFactor13==1)&&(i94.u127.patient33==1)))||((u143.dFactor3343==1)&&(i102.u145.patient3432==1)))||((u34.cFactor3133==1)&&(i24.u32.patient1331==1)))))) * (((((u56.cFactor221==1)&&(i45.u60.patient212==1))||(i102.u145.patient343==1))||((u104.cFactor3311==1)&&(i72.u105.patient3114==1)))||((u109.cFactor3313==1)&&(i72.u110.patient3131==1))))) * (!(!(E(TRUE U !(((((((u120.cFactor3323==1)&&(i87.u121.patient3232==1))||(i128.u149.patient43==1))||((u169.dFactor3424==1)&&(i121.u168.patient4242==1)))||(i102.u145.patient343==1))&&(((((((((((u122.dFactor3324==1)&&(i87.u124.patient3244==1))||((u16.cFactor3121==1)&&(i14.u17.patient1212==1)))||((u173.dFactor3431==1)&&(i128.u172.patient4313==1)))||(i141.u192.patient443==1))||((u125.dFactor233==1)&&(i94.u131.patient333==1)))||((u170.cFactor3424==1)&&(i121.u168.patient4243==1)))||((u36.dFactor3134==1)&&(i24.u35.patient1342==1)))||((u132.dFactor3333==1)&&(i94.u131.patient3332==1)))||((u99.dFactor13==1)&&(i72.u98.patient31==1)))||((u31.cFactor3132==1)&&(i24.u29.patient1321==1)))))))) + ((((i141.u194.patient444==0)&&((u186.dFactor3441==0)||(i141.u185.patient4412==0)))&&((u4.cFactor211==0)||(i5.u9.patient112==0)))&&((u135.cFactor3334==0)||(i94.u136.patient3344==0)))))) * ((((((((i128.u149.patient4==0)&&((u7.dFactor3112==0)||(i5.u9.patient1122==0)))&&((u50.dFactor3144==0)||(i1.u49.patient1441==0)))&&((u50.dFactor3144==0)||(i1.u49.patient1442==0)))&&((u47.dFactor3143==0)||(i1.u46.patient1432==0)))&&((u177.dFactor3433==0)||(i128.u179.patient4333==0)))&&((u186.dFactor3441==0)||(i141.u185.patient4414==0)))&&((u147.cFactor3344==0)||(i102.u148.patient3443==0))))] != FALSE) + [((FwdU(Init,TRUE) * (EG((((((((((((u7.dFactor3112==0)||(i5.u9.patient1121==0))&&((u4
Detected timeout of ITS tools.
java.io.IOException: Stream closed
at java.base/java.io.BufferedInputStream.getBufIfOpen(BufferedInputStream.java:176)
at java.base/java.io.BufferedInputStream.read(BufferedInputStream.java:342)
at java.base/sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284)
at java.base/sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326)
at java.base/sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178)
at java.base/java.io.InputStreamReader.read(InputStreamReader.java:185)
at java.base/java.io.BufferedReader.fill(BufferedReader.java:161)
at java.base/java.io.BufferedReader.readLine(BufferedReader.java:326)
at java.base/java.io.BufferedReader.readLine(BufferedReader.java:392)
at fr.lip6.move.gal.application.ITSRunner$ITSInterpreter.run(ITSRunner.java:182)
at java.base/java.lang.Thread.run(Thread.java:834)
Discarding 254 places :
Symmetric choice reduction at 0 with 254 rule applications. Total rules 254 place count 247 transition count 258
Iterating global reduction 0 with 254 rules applied. Total rules applied 508 place count 247 transition count 258
Applied a total of 508 rules in 32 ms. Remains 247 /501 variables (removed 254) and now considering 258/745 (removed 487) transitions.
[2021-05-20 16:57:11] [INFO ] Flatten gal took : 8 ms
[2021-05-20 16:57:11] [INFO ] Flatten gal took : 8 ms
[2021-05-20 16:57:11] [INFO ] Input system was already deterministic with 258 transitions.
[2021-05-20 16:57:11] [INFO ] Flatten gal took : 9 ms
[2021-05-20 16:57:11] [INFO ] Flatten gal took : 17 ms
[2021-05-20 16:57:11] [INFO ] Time to serialize gal into /tmp/CTLFireability7358028818026797397.gal : 19 ms
[2021-05-20 16:57:11] [INFO ] Time to serialize properties into /tmp/CTLFireability1957167072251568655.ctl : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLFireability7358028818026797397.gal, -t, CGAL, -ctl, /tmp/CTLFireability1957167072251568655.ctl, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLFireability7358028818026797397.gal -t CGAL -ctl /tmp/CTLFireability1957167072251568655.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,1.04814e+46,0.747885,19236,2,15720,5,97748,6,0,1156,42780,0
Converting to forward existential form...Done !
Detected timeout of ITS tools.
[2021-05-20 16:57:41] [INFO ] Flatten gal took : 9 ms
[2021-05-20 16:57:41] [INFO ] Applying decomposition
[2021-05-20 16:57:41] [INFO ] Flatten gal took : 8 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph18385656470944676348.txt, -o, /tmp/graph18385656470944676348.bin, -w, /tmp/graph18385656470944676348.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph18385656470944676348.bin, -l, -1, -v, -w, /tmp/graph18385656470944676348.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-20 16:57:41] [INFO ] Decomposing Gal with order
[2021-05-20 16:57:41] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-20 16:57:41] [INFO ] Removed a total of 104 redundant transitions.
[2021-05-20 16:57:41] [INFO ] Flatten gal took : 32 ms
[2021-05-20 16:57:41] [INFO ] Fuse similar labels procedure discarded/fused a total of 85 labels/synchronizations in 14 ms.
[2021-05-20 16:57:41] [INFO ] Time to serialize gal into /tmp/CTLFireability13736392600166198905.gal : 4 ms
[2021-05-20 16:57:41] [INFO ] Time to serialize properties into /tmp/CTLFireability6733674523966531705.ctl : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLFireability13736392600166198905.gal, -t, CGAL, -ctl, /tmp/CTLFireability6733674523966531705.ctl], workingDir=/home/mcc/execution]
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLFireability13736392600166198905.gal -t CGAL -ctl /tmp/CTLFireability6733674523966531705.ctl
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,1.04814e+46,9.7859,261668,128217,29,776517,469,461,153915,37,467,0
Converting to forward existential form...Done !
Detected timeout of ITS tools.
[2021-05-20 16:58:11] [INFO ] Flatten gal took : 35 ms
[2021-05-20 16:58:11] [INFO ] Flatten gal took : 28 ms
[2021-05-20 16:58:12] [INFO ] Applying decomposition
[2021-05-20 16:58:12] [INFO ] Flatten gal took : 29 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph13897609729473396872.txt, -o, /tmp/graph13897609729473396872.bin, -w, /tmp/graph13897609729473396872.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph13897609729473396872.bin, -l, -1, -v, -w, /tmp/graph13897609729473396872.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-20 16:58:12] [INFO ] Decomposing Gal with order
[2021-05-20 16:58:12] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-20 16:58:12] [INFO ] Removed a total of 824 redundant transitions.
[2021-05-20 16:58:12] [INFO ] Flatten gal took : 117 ms
[2021-05-20 16:58:12] [INFO ] Fuse similar labels procedure discarded/fused a total of 547 labels/synchronizations in 42 ms.
[2021-05-20 16:58:12] [INFO ] Time to serialize gal into /tmp/CTLFireability14448455556694774416.gal : 8 ms
[2021-05-20 16:58:12] [INFO ] Time to serialize properties into /tmp/CTLFireability12065306115825561699.ctl : 21 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLFireability14448455556694774416.gal, -t, CGAL, -ctl, /tmp/CTLFireability12065306115825561699.ctl], workingDir=/home/mcc/execution]
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLFireability14448455556694774416.gal -t CGAL -ctl /tmp/CTLFireability12065306115825561699.ctl
No direction supplied, using forward translation only.
Parsed 16 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,6.15021e+78,12.4407,216648,93322,51,699017,745,848,188205,98,797,0
Converting to forward existential form...Done !
original formula: AF(E((AX((((((((((((u51.dFactor3141==1)&&(i2.u50.patient1414==1))||((u16.cFactor3113==1)&&(i11.u14.patient1132==1)))||((u197.cFactor242==1)&&(i157.u207.patient424==1)))||((u134.cFactor3313==1)&&(i105.u132.patient3132==1)))||((u223.cFactor3434==1)&&(i166.u221.patient4341==1)))||((u165.cFactor3334==1)&&(i121.u163.patient3342==1)))||((u219.dFactor3433==1)&&(i166.u218.patient4332==1)))||((u9.dFactor3111==1)&&(i11.u8.patient1113==1)))||((u40.dFactor3132==1)&&(i35.u39.patient1322==1)))||((u153.cFactor233==1)&&(i121.u163.patient334==1)))) + ((u147.cFactor3323==1)&&(i110.u148.patient3232==1))) U ((((u120.cFactor3244==1)&&(i87.u118.patient2442==1))||((u134.cFactor3313==1)&&(i105.u132.patient3134==1)))||((u102.cFactor3233==1)&&(i76.u103.patient2333==1)))))
=> equivalent forward existential formula: [FwdG(Init,!(E((!(EX(!((((((((((((u51.dFactor3141==1)&&(i2.u50.patient1414==1))||((u16.cFactor3113==1)&&(i11.u14.patient1132==1)))||((u197.cFactor242==1)&&(i157.u207.patient424==1)))||((u134.cFactor3313==1)&&(i105.u132.patient3132==1)))||((u223.cFactor3434==1)&&(i166.u221.patient4341==1)))||((u165.cFactor3334==1)&&(i121.u163.patient3342==1)))||((u219.dFactor3433==1)&&(i166.u218.patient4332==1)))||((u9.dFactor3111==1)&&(i11.u8.patient1113==1)))||((u40.dFactor3132==1)&&(i35.u39.patient1322==1)))||((u153.cFactor233==1)&&(i121.u163.patient334==1)))))) + ((u147.cFactor3323==1)&&(i110.u148.patient3232==1))) U ((((u120.cFactor3244==1)&&(i87.u118.patient2442==1))||((u134.cFactor3313==1)&&(i105.u132.patient3134==1)))||((u102.cFactor3233==1)&&(i76.u103.patient2333==1))))))] = FALSE
Reverse transition relation is NOT exact ! Due to transitions t1, t2, t3, t5, t6, t7, t9, t10, t33, t39, t49, t50, t52, t53, t96, t97, t101, t111, t123, t133, t141, t143, t144, t145, t155, t156, t166, t187, t188, t190, t191, t192, t207, t217, t236, t237, t239, t240, t283, t284, t308, t318, t328, t330, t331, t343, t351, t372, t373, t375, t376, t377, t403, t413, t423, t424, t426, t427, t450, t460, t470, t471, t484, t494, t495, t505, t515, t517, t518, t519, t529, t541, t551, t561, t563, t564, t565, t569, t579, t591, t601, t609, t610, t621, t631, t652, t653, t679, t689, t699, t725, t735, Intersection with reachable at each step enabled. (destroyed/reverse/intersect/total) :0/213/92/305
Detected timeout of ITS tools.
[2021-05-20 17:19:34] [INFO ] Applying decomposition
[2021-05-20 17:19:35] [INFO ] Flatten gal took : 34 ms
[2021-05-20 17:19:35] [INFO ] Decomposing Gal with order
[2021-05-20 17:19:35] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-20 17:19:35] [INFO ] Removed a total of 824 redundant transitions.
[2021-05-20 17:19:35] [INFO ] Flatten gal took : 142 ms
[2021-05-20 17:19:35] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 20 ms.
[2021-05-20 17:19:35] [INFO ] Time to serialize gal into /tmp/CTLFireability6350974000352590053.gal : 7 ms
[2021-05-20 17:19:35] [INFO ] Time to serialize properties into /tmp/CTLFireability12405530528910767232.ctl : 5 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLFireability6350974000352590053.gal, -t, CGAL, -ctl, /tmp/CTLFireability12405530528910767232.ctl], workingDir=/home/mcc/execution]
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLFireability6350974000352590053.gal -t CGAL -ctl /tmp/CTLFireability12405530528910767232.ctl
No direction supplied, using forward translation only.
Parsed 16 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,6.15021e+78,1.88657,48020,21073,23,84392,1368,1591,39894,26,975,0
Converting to forward existential form...Done !
original formula: AF(E((AX((((((((((((u137.dFactor3141==1)&&(u141.patient1414==1))||((u82.cFactor3113==1)&&(u84.patient1132==1)))||((u362.cFactor242==1)&&(u10.patient424==1)))||((u262.cFactor3313==1)&&(u264.patient3132==1)))||((u401.cFactor3434==1)&&(u402.patient4341==1)))||((u311.cFactor3334==1)&&(u313.patient3342==1)))||((u395.dFactor3433==1)&&(u398.patient4332==1)))||((u71.dFactor3111==1)&&(u18.patient1113==1)))||((u120.dFactor3132==1)&&(u123.patient1322==1)))||((u294.cFactor233==1)&&(u44.patient334==1)))) + ((u284.cFactor3323==1)&&(u43.patient3232==1))) U ((((u243.cFactor3244==1)&&(u244.patient2442==1))||((u262.cFactor3313==1)&&(u265.patient3134==1)))||((u216.cFactor3233==1)&&(u218.patient2333==1)))))
=> equivalent forward existential formula: [FwdG(Init,!(E((!(EX(!((((((((((((u137.dFactor3141==1)&&(u141.patient1414==1))||((u82.cFactor3113==1)&&(u84.patient1132==1)))||((u362.cFactor242==1)&&(u10.patient424==1)))||((u262.cFactor3313==1)&&(u264.patient3132==1)))||((u401.cFactor3434==1)&&(u402.patient4341==1)))||((u311.cFactor3334==1)&&(u313.patient3342==1)))||((u395.dFactor3433==1)&&(u398.patient4332==1)))||((u71.dFactor3111==1)&&(u18.patient1113==1)))||((u120.dFactor3132==1)&&(u123.patient1322==1)))||((u294.cFactor233==1)&&(u44.patient334==1)))))) + ((u284.cFactor3323==1)&&(u43.patient3232==1))) U ((((u243.cFactor3244==1)&&(u244.patient2442==1))||((u262.cFactor3313==1)&&(u265.patient3134==1)))||((u216.cFactor3233==1)&&(u218.patient2333==1))))))] = FALSE
Reverse transition relation is NOT exact ! Due to transitions t1, t2, t3, t5, t6, t7, t9, t10, t11, t21, t22, t32, t33, t39, t49, t50, t52, t53, t54, t64, t65, t75, t76, t86, t96, t97, t99, t100, t101, t111, t112, t122, t123, t133, t141, t143, t144, t145, t155, t156, t166, t167, t177, t187, t188, t190, t191, t192, t194, t195, t196, t206, t207, t217, t218, t226, t236, t237, t239, t240, t241, t251, t252, t262, t263, t273, t283, t284, t286, t287, t288, t298, t299, t307, t308, t318, t328, t330, t331, t332, t342, t343, t351, t352, t362, t372, t373, t375, t376, t377, t379, t380, t381, t391, t392, t402, t403, t413, t423, t424, t426, t427, t428, t438, t439, t449, t450, t460, t470, t471, t473, t474, t475, t483, t484, t494, t495, t505, t515, t517, t518, t519, t529, t530, t540, t541, t551, t561, t563, t564, t565, t567, t568, t569, t579, t580, t590, t591, t601, t609, t610, t612, t613, t614, t620, t621, t631, t632, t642, t652, t653, t655, t656, t657, t667, t668, t678, t679, t689, t699, t701, t702, t703, t713, t714, t724, t725, t735, Intersection with reachable at each step enabled. (destroyed/reverse/intersect/total) :0/577/168/745
Detected timeout of ITS tools.
[2021-05-20 17:40:57] [INFO ] Flatten gal took : 31 ms
[2021-05-20 17:40:57] [INFO ] Input system was already deterministic with 745 transitions.
[2021-05-20 17:40:57] [INFO ] Transformed 501 places.
[2021-05-20 17:40:57] [INFO ] Transformed 745 transitions.
Running greatSPN : CommandLine [args=[/home/mcc/BenchKit/bin//..//greatspn//bin/pinvar, /home/mcc/execution/gspn], workingDir=/home/mcc/execution]
Run of greatSPN captured in /home/mcc/execution/outPut.txt
Running greatSPN : CommandLine [args=[/home/mcc/BenchKit/bin//..//greatspn//bin/RGMEDD2, /home/mcc/execution/gspn, -META, -varord-only], workingDir=/home/mcc/execution]
Run of greatSPN captured in /home/mcc/execution/outPut.txt
Using order generated by GreatSPN with heuristic : META
[2021-05-20 17:40:57] [INFO ] Time to serialize gal into /tmp/CTLFireability10420418459153787127.gal : 6 ms
[2021-05-20 17:40:57] [INFO ] Time to serialize properties into /tmp/CTLFireability10903151577679082261.ctl : 5 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLFireability10420418459153787127.gal, -t, CGAL, -ctl, /tmp/CTLFireability10903151577679082261.ctl, --load-order, /home/mcc/execution/model.ord, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLFireability10420418459153787127.gal -t CGAL -ctl /tmp/CTLFireability10903151577679082261.ctl --load-order /home/mcc/execution/model.ord --gen-order FOLLOW
Successfully loaded order from file /home/mcc/execution/model.ord
No direction supplied, using forward translation only.
Parsed 16 CTL formulae.
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ CTLFireability = StateSpace ]]
+ /home/mcc/BenchKit/bin//..//runeclipse.sh /home/mcc/execution CTLFireability -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ cut -d . -f 9
++ ls /home/mcc/BenchKit/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202104292328.jar
+ VERSION=0
+ echo 'Running Version 0'
+ /home/mcc/BenchKit/bin//..//itstools/its-tools -data /home/mcc/execution/workspace -pnfolder /home/mcc/execution -examination CTLFireability -spotpath /home/mcc/BenchKit/bin//..//ltlfilt -z3path /home/mcc/BenchKit/bin//..//z3/bin/z3 -yices2path /home/mcc/BenchKit/bin//..//yices/bin/yices -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600 -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=/tmp/.eclipse -Xss128m -Xms40m -Xmx16000m
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ViralEpidemic-PT-S04D1C1A03"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool itstools"
echo " Input is ViralEpidemic-PT-S04D1C1A03, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r273-smll-162123879900282"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ViralEpidemic-PT-S04D1C1A03.tgz
mv ViralEpidemic-PT-S04D1C1A03 execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;