About the Execution of ITS-Tools for FlexibleBarrier-PT-18b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16231.235 | 3600000.00 | 3229800.00 | 176526.40 | ??T????????????? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2021-input.r102-smll-162075331100122.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 FlexibleBarrier-PT-18b, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r102-smll-162075331100122
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.6M
-rw-r--r-- 1 mcc users 18K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 159K May 10 09:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 11K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 87K May 10 09:43 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.5K May 6 14:48 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.6K Mar 28 16:12 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Mar 28 16:12 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Mar 28 16:12 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 28 16:12 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.1K Mar 23 11:17 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 23 11:17 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 22 19:42 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Mar 22 19:42 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 22 09:15 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 22 09:15 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 5 16:51 equiv_col
-rw-r--r-- 1 mcc users 4 May 5 16:51 instance
-rw-r--r-- 1 mcc users 6 May 5 16:51 iscolored
-rw-r--r-- 1 mcc users 1.2M May 5 16:51 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME FlexibleBarrier-PT-18b-CTLFireability-00
FORMULA_NAME FlexibleBarrier-PT-18b-CTLFireability-01
FORMULA_NAME FlexibleBarrier-PT-18b-CTLFireability-02
FORMULA_NAME FlexibleBarrier-PT-18b-CTLFireability-03
FORMULA_NAME FlexibleBarrier-PT-18b-CTLFireability-04
FORMULA_NAME FlexibleBarrier-PT-18b-CTLFireability-05
FORMULA_NAME FlexibleBarrier-PT-18b-CTLFireability-06
FORMULA_NAME FlexibleBarrier-PT-18b-CTLFireability-07
FORMULA_NAME FlexibleBarrier-PT-18b-CTLFireability-08
FORMULA_NAME FlexibleBarrier-PT-18b-CTLFireability-09
FORMULA_NAME FlexibleBarrier-PT-18b-CTLFireability-10
FORMULA_NAME FlexibleBarrier-PT-18b-CTLFireability-11
FORMULA_NAME FlexibleBarrier-PT-18b-CTLFireability-12
FORMULA_NAME FlexibleBarrier-PT-18b-CTLFireability-13
FORMULA_NAME FlexibleBarrier-PT-18b-CTLFireability-14
FORMULA_NAME FlexibleBarrier-PT-18b-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1621163432119
Running Version 0
[2021-05-16 11:10:34] [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-16 11:10:34] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-16 11:10:35] [INFO ] Load time of PNML (sax parser for PT used): 711 ms
[2021-05-16 11:10:35] [INFO ] Transformed 4370 places.
[2021-05-16 11:10:35] [INFO ] Transformed 5037 transitions.
[2021-05-16 11:10:35] [INFO ] Found NUPN structural information;
[2021-05-16 11:10:35] [INFO ] Parsed PT model containing 4370 places and 5037 transitions in 936 ms.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 83 ms.
[2021-05-16 11:10:35] [INFO ] Reduced 1 identical enabling conditions.
[2021-05-16 11:10:35] [INFO ] Reduced 2 identical enabling conditions.
[2021-05-16 11:10:35] [INFO ] Reduced 1 identical enabling conditions.
[2021-05-16 11:10:35] [INFO ] Reduced 1 identical enabling conditions.
[2021-05-16 11:10:35] [INFO ] Reduced 1 identical enabling conditions.
[2021-05-16 11:10:35] [INFO ] Reduced 1 identical enabling conditions.
[2021-05-16 11:10:35] [INFO ] Reduced 1 identical enabling conditions.
Support contains 603 out of 4370 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 4370/4370 places, 5037/5037 transitions.
Discarding 1578 places :
Symmetric choice reduction at 0 with 1578 rule applications. Total rules 1578 place count 2792 transition count 3459
Iterating global reduction 0 with 1578 rules applied. Total rules applied 3156 place count 2792 transition count 3459
Discarding 669 places :
Symmetric choice reduction at 0 with 669 rule applications. Total rules 3825 place count 2123 transition count 2790
Iterating global reduction 0 with 669 rules applied. Total rules applied 4494 place count 2123 transition count 2790
Discarding 298 places :
Symmetric choice reduction at 0 with 298 rule applications. Total rules 4792 place count 1825 transition count 2492
Iterating global reduction 0 with 298 rules applied. Total rules applied 5090 place count 1825 transition count 2492
Ensure Unique test removed 81 transitions
Reduce isomorphic transitions removed 81 transitions.
Iterating post reduction 0 with 81 rules applied. Total rules applied 5171 place count 1825 transition count 2411
Applied a total of 5171 rules in 1514 ms. Remains 1825 /4370 variables (removed 2545) and now considering 2411/5037 (removed 2626) transitions.
// Phase 1: matrix 2411 rows 1825 cols
[2021-05-16 11:10:37] [INFO ] Computed 20 place invariants in 98 ms
[2021-05-16 11:10:39] [INFO ] Implicit Places using invariants in 1426 ms returned []
// Phase 1: matrix 2411 rows 1825 cols
[2021-05-16 11:10:39] [INFO ] Computed 20 place invariants in 70 ms
[2021-05-16 11:10:41] [INFO ] Implicit Places using invariants and state equation in 2592 ms returned []
Implicit Place search using SMT with State Equation took 4069 ms to find 0 implicit places.
// Phase 1: matrix 2411 rows 1825 cols
[2021-05-16 11:10:41] [INFO ] Computed 20 place invariants in 68 ms
[2021-05-16 11:10:44] [INFO ] Dead Transitions using invariants and state equation in 2555 ms returned []
Finished structural reductions, in 1 iterations. Remains : 1825/4370 places, 2411/5037 transitions.
[2021-05-16 11:10:45] [INFO ] Flatten gal took : 373 ms
[2021-05-16 11:10:45] [INFO ] Flatten gal took : 309 ms
[2021-05-16 11:10:46] [INFO ] Input system was already deterministic with 2411 transitions.
Incomplete random walk after 100000 steps, including 817 resets, run finished after 1210 ms. (steps per millisecond=82 ) properties (out of 82) seen :57
Running SMT prover for 25 properties.
// Phase 1: matrix 2411 rows 1825 cols
[2021-05-16 11:10:47] [INFO ] Computed 20 place invariants in 49 ms
[2021-05-16 11:10:49] [INFO ] [Real]Absence check using 20 positive place invariants in 40 ms returned sat
[2021-05-16 11:10:49] [INFO ] SMT Verify possible in real domain returnedunsat :0 sat :0 real:25
[2021-05-16 11:10:51] [INFO ] [Nat]Absence check using 20 positive place invariants in 38 ms returned sat
[2021-05-16 11:10:52] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-16 11:10:58] [INFO ] [Nat]Absence check using state equation in 5290 ms returned unsat :0 sat :25
Attempting to minimize the solution found.
Minimization took 3049 ms.
[2021-05-16 11:11:01] [INFO ] SMT Verify possible in nat domain returned unsat :0 sat :25
Graph (trivial) has 1728 edges and 1825 vertex of which 103 / 1825 are part of one of the 17 SCC in 14 ms
Free SCC test removed 86 places
Ensure Unique test removed 87 transitions
Reduce isomorphic transitions removed 87 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 247 transitions
Trivial Post-agglo rules discarded 247 transitions
Performed 247 trivial Post agglomeration. Transition count delta: 247
Iterating post reduction 0 with 247 rules applied. Total rules applied 248 place count 1738 transition count 2076
Reduce places removed 247 places and 0 transitions.
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Iterating post reduction 1 with 249 rules applied. Total rules applied 497 place count 1491 transition count 2074
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 2 with 2 rules applied. Total rules applied 499 place count 1489 transition count 2074
Performed 77 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 77 Pre rules applied. Total rules applied 499 place count 1489 transition count 1997
Deduced a syphon composed of 77 places in 4 ms
Reduce places removed 77 places and 0 transitions.
Iterating global reduction 3 with 154 rules applied. Total rules applied 653 place count 1412 transition count 1997
Discarding 386 places :
Symmetric choice reduction at 3 with 386 rule applications. Total rules 1039 place count 1026 transition count 1611
Iterating global reduction 3 with 386 rules applied. Total rules applied 1425 place count 1026 transition count 1611
Ensure Unique test removed 33 transitions
Reduce isomorphic transitions removed 33 transitions.
Iterating post reduction 3 with 33 rules applied. Total rules applied 1458 place count 1026 transition count 1578
Performed 2 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 2 Pre rules applied. Total rules applied 1458 place count 1026 transition count 1576
Deduced a syphon composed of 2 places in 5 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 4 with 4 rules applied. Total rules applied 1462 place count 1024 transition count 1576
Discarding 130 places :
Symmetric choice reduction at 4 with 130 rule applications. Total rules 1592 place count 894 transition count 1446
Iterating global reduction 4 with 130 rules applied. Total rules applied 1722 place count 894 transition count 1446
Ensure Unique test removed 129 transitions
Reduce isomorphic transitions removed 129 transitions.
Iterating post reduction 4 with 129 rules applied. Total rules applied 1851 place count 894 transition count 1317
Performed 110 Post agglomeration using F-continuation condition.Transition count delta: 110
Deduced a syphon composed of 110 places in 1 ms
Reduce places removed 110 places and 0 transitions.
Iterating global reduction 5 with 220 rules applied. Total rules applied 2071 place count 784 transition count 1207
Discarding 45 places :
Symmetric choice reduction at 5 with 45 rule applications. Total rules 2116 place count 739 transition count 1162
Iterating global reduction 5 with 45 rules applied. Total rules applied 2161 place count 739 transition count 1162
Ensure Unique test removed 45 transitions
Reduce isomorphic transitions removed 45 transitions.
Iterating post reduction 5 with 45 rules applied. Total rules applied 2206 place count 739 transition count 1117
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 0
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 2208 place count 738 transition count 1117
Drop transitions removed 17 transitions
Redundant transition composition rules discarded 17 transitions
Iterating global reduction 6 with 17 rules applied. Total rules applied 2225 place count 738 transition count 1100
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 6 with 1 rules applied. Total rules applied 2226 place count 737 transition count 1099
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 6 with 1 rules applied. Total rules applied 2227 place count 736 transition count 1098
Applied a total of 2227 rules in 3254 ms. Remains 736 /1825 variables (removed 1089) and now considering 1098/2411 (removed 1313) transitions.
[2021-05-16 11:11:04] [INFO ] Flatten gal took : 58 ms
[2021-05-16 11:11:04] [INFO ] Flatten gal took : 93 ms
[2021-05-16 11:11:04] [INFO ] Input system was already deterministic with 1098 transitions.
Finished random walk after 21 steps, including 0 resets, run visited all 1 properties in 3 ms. (steps per millisecond=7 )
FORMULA FlexibleBarrier-PT-18b-CTLFireability-02 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Graph (trivial) has 1397 edges and 1825 vertex of which 102 / 1825 are part of one of the 17 SCC in 2 ms
Free SCC test removed 85 places
Ensure Unique test removed 85 transitions
Reduce isomorphic transitions removed 85 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 214 transitions
Trivial Post-agglo rules discarded 214 transitions
Performed 214 trivial Post agglomeration. Transition count delta: 214
Iterating post reduction 0 with 214 rules applied. Total rules applied 215 place count 1739 transition count 2111
Reduce places removed 214 places and 0 transitions.
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 1 with 216 rules applied. Total rules applied 431 place count 1525 transition count 2109
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 432 place count 1524 transition count 2109
Performed 117 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 117 Pre rules applied. Total rules applied 432 place count 1524 transition count 1992
Deduced a syphon composed of 117 places in 2 ms
Reduce places removed 117 places and 0 transitions.
Iterating global reduction 3 with 234 rules applied. Total rules applied 666 place count 1407 transition count 1992
Discarding 388 places :
Symmetric choice reduction at 3 with 388 rule applications. Total rules 1054 place count 1019 transition count 1604
Iterating global reduction 3 with 388 rules applied. Total rules applied 1442 place count 1019 transition count 1604
Ensure Unique test removed 33 transitions
Reduce isomorphic transitions removed 33 transitions.
Iterating post reduction 3 with 33 rules applied. Total rules applied 1475 place count 1019 transition count 1571
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 1 Pre rules applied. Total rules applied 1475 place count 1019 transition count 1570
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 4 with 2 rules applied. Total rules applied 1477 place count 1018 transition count 1570
Discarding 123 places :
Symmetric choice reduction at 4 with 123 rule applications. Total rules 1600 place count 895 transition count 1447
Iterating global reduction 4 with 123 rules applied. Total rules applied 1723 place count 895 transition count 1447
Ensure Unique test removed 123 transitions
Reduce isomorphic transitions removed 123 transitions.
Iterating post reduction 4 with 123 rules applied. Total rules applied 1846 place count 895 transition count 1324
Performed 108 Post agglomeration using F-continuation condition.Transition count delta: 108
Deduced a syphon composed of 108 places in 0 ms
Reduce places removed 108 places and 0 transitions.
Iterating global reduction 5 with 216 rules applied. Total rules applied 2062 place count 787 transition count 1216
Discarding 49 places :
Symmetric choice reduction at 5 with 49 rule applications. Total rules 2111 place count 738 transition count 1167
Iterating global reduction 5 with 49 rules applied. Total rules applied 2160 place count 738 transition count 1167
Ensure Unique test removed 49 transitions
Reduce isomorphic transitions removed 49 transitions.
Iterating post reduction 5 with 49 rules applied. Total rules applied 2209 place count 738 transition count 1118
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 6 with 1 rules applied. Total rules applied 2210 place count 737 transition count 1117
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 6 with 1 rules applied. Total rules applied 2211 place count 736 transition count 1116
Applied a total of 2211 rules in 426 ms. Remains 736 /1825 variables (removed 1089) and now considering 1116/2411 (removed 1295) transitions.
[2021-05-16 11:11:05] [INFO ] Flatten gal took : 47 ms
[2021-05-16 11:11:05] [INFO ] Flatten gal took : 51 ms
[2021-05-16 11:11:05] [INFO ] Input system was already deterministic with 1116 transitions.
[2021-05-16 11:11:05] [INFO ] Flatten gal took : 50 ms
[2021-05-16 11:11:05] [INFO ] Flatten gal took : 49 ms
[2021-05-16 11:11:05] [INFO ] Time to serialize gal into /tmp/CTLFireability3021333414735719272.gal : 32 ms
[2021-05-16 11:11:05] [INFO ] Time to serialize properties into /tmp/CTLFireability9422707733429208310.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/CTLFireability3021333414735719272.gal, -t, CGAL, -ctl, /tmp/CTLFireability9422707733429208310.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/CTLFireability3021333414735719272.gal -t CGAL -ctl /tmp/CTLFireability9422707733429208310.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2021-05-16 11:11:36] [INFO ] Flatten gal took : 158 ms
[2021-05-16 11:11:36] [INFO ] Applying decomposition
[2021-05-16 11:11:36] [INFO ] Flatten gal took : 138 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/graph18121191562904262924.txt, -o, /tmp/graph18121191562904262924.bin, -w, /tmp/graph18121191562904262924.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/graph18121191562904262924.bin, -l, -1, -v, -w, /tmp/graph18121191562904262924.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-16 11:11:36] [INFO ] Decomposing Gal with order
[2021-05-16 11:11:36] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-16 11:11:37] [INFO ] Removed a total of 455 redundant transitions.
[2021-05-16 11:11:37] [INFO ] Flatten gal took : 635 ms
[2021-05-16 11:11:37] [INFO ] Fuse similar labels procedure discarded/fused a total of 62 labels/synchronizations in 28 ms.
[2021-05-16 11:11:37] [INFO ] Time to serialize gal into /tmp/CTLFireability14405112031235128333.gal : 16 ms
[2021-05-16 11:11:37] [INFO ] Time to serialize properties into /tmp/CTLFireability16313785875354592448.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/CTLFireability14405112031235128333.gal, -t, CGAL, -ctl, /tmp/CTLFireability16313785875354592448.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/CTLFireability14405112031235128333.gal -t CGAL -ctl /tmp/CTLFireability16313785875354592448.ctl
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Graph (trivial) has 1006 edges and 1825 vertex of which 30 / 1825 are part of one of the 5 SCC in 2 ms
Free SCC test removed 25 places
Ensure Unique test removed 25 transitions
Reduce isomorphic transitions removed 25 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 191 transitions
Trivial Post-agglo rules discarded 191 transitions
Performed 191 trivial Post agglomeration. Transition count delta: 191
Iterating post reduction 0 with 191 rules applied. Total rules applied 192 place count 1799 transition count 2194
Reduce places removed 191 places and 0 transitions.
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: 4
Iterating post reduction 1 with 195 rules applied. Total rules applied 387 place count 1608 transition count 2190
Reduce places removed 4 places and 0 transitions.
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 2 with 6 rules applied. Total rules applied 393 place count 1604 transition count 2188
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 3 with 1 rules applied. Total rules applied 394 place count 1603 transition count 2188
Performed 102 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 102 Pre rules applied. Total rules applied 394 place count 1603 transition count 2086
Deduced a syphon composed of 102 places in 2 ms
Reduce places removed 102 places and 0 transitions.
Iterating global reduction 4 with 204 rules applied. Total rules applied 598 place count 1501 transition count 2086
Discarding 325 places :
Symmetric choice reduction at 4 with 325 rule applications. Total rules 923 place count 1176 transition count 1761
Iterating global reduction 4 with 325 rules applied. Total rules applied 1248 place count 1176 transition count 1761
Ensure Unique test removed 29 transitions
Reduce isomorphic transitions removed 29 transitions.
Iterating post reduction 4 with 29 rules applied. Total rules applied 1277 place count 1176 transition count 1732
Performed 12 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 12 Pre rules applied. Total rules applied 1277 place count 1176 transition count 1720
Deduced a syphon composed of 12 places in 2 ms
Reduce places removed 12 places and 0 transitions.
Iterating global reduction 5 with 24 rules applied. Total rules applied 1301 place count 1164 transition count 1720
Discarding 111 places :
Symmetric choice reduction at 5 with 111 rule applications. Total rules 1412 place count 1053 transition count 1609
Iterating global reduction 5 with 111 rules applied. Total rules applied 1523 place count 1053 transition count 1609
Ensure Unique test removed 109 transitions
Reduce isomorphic transitions removed 109 transitions.
Iterating post reduction 5 with 109 rules applied. Total rules applied 1632 place count 1053 transition count 1500
Performed 152 Post agglomeration using F-continuation condition.Transition count delta: 152
Deduced a syphon composed of 152 places in 0 ms
Reduce places removed 152 places and 0 transitions.
Iterating global reduction 6 with 304 rules applied. Total rules applied 1936 place count 901 transition count 1348
Discarding 32 places :
Symmetric choice reduction at 6 with 32 rule applications. Total rules 1968 place count 869 transition count 1316
Iterating global reduction 6 with 32 rules applied. Total rules applied 2000 place count 869 transition count 1316
Ensure Unique test removed 32 transitions
Reduce isomorphic transitions removed 32 transitions.
Iterating post reduction 6 with 32 rules applied. Total rules applied 2032 place count 869 transition count 1284
Performed 12 Post agglomeration using F-continuation condition.Transition count delta: 0
Deduced a syphon composed of 12 places in 0 ms
Reduce places removed 12 places and 0 transitions.
Iterating global reduction 7 with 24 rules applied. Total rules applied 2056 place count 857 transition count 1284
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 2057 place count 856 transition count 1283
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 2058 place count 855 transition count 1282
Applied a total of 2058 rules in 596 ms. Remains 855 /1825 variables (removed 970) and now considering 1282/2411 (removed 1129) transitions.
[2021-05-16 11:12:08] [INFO ] Flatten gal took : 81 ms
[2021-05-16 11:12:08] [INFO ] Flatten gal took : 88 ms
[2021-05-16 11:12:08] [INFO ] Input system was already deterministic with 1282 transitions.
[2021-05-16 11:12:08] [INFO ] Flatten gal took : 84 ms
[2021-05-16 11:12:09] [INFO ] Flatten gal took : 84 ms
[2021-05-16 11:12:09] [INFO ] Time to serialize gal into /tmp/CTLFireability17942121447747802701.gal : 14 ms
[2021-05-16 11:12:09] [INFO ] Time to serialize properties into /tmp/CTLFireability7148725207965732004.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/CTLFireability17942121447747802701.gal, -t, CGAL, -ctl, /tmp/CTLFireability7148725207965732004.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/CTLFireability17942121447747802701.gal -t CGAL -ctl /tmp/CTLFireability7148725207965732004.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2021-05-16 11:12:39] [INFO ] Flatten gal took : 49 ms
[2021-05-16 11:12:39] [INFO ] Applying decomposition
[2021-05-16 11:12:39] [INFO ] Flatten gal took : 50 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/graph13931047175238807588.txt, -o, /tmp/graph13931047175238807588.bin, -w, /tmp/graph13931047175238807588.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/graph13931047175238807588.bin, -l, -1, -v, -w, /tmp/graph13931047175238807588.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-16 11:12:39] [INFO ] Decomposing Gal with order
[2021-05-16 11:12:39] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-16 11:12:39] [INFO ] Removed a total of 570 redundant transitions.
[2021-05-16 11:12:39] [INFO ] Flatten gal took : 327 ms
[2021-05-16 11:12:39] [INFO ] Fuse similar labels procedure discarded/fused a total of 216 labels/synchronizations in 44 ms.
[2021-05-16 11:12:39] [INFO ] Time to serialize gal into /tmp/CTLFireability9369185677832191141.gal : 18 ms
[2021-05-16 11:12:39] [INFO ] Time to serialize properties into /tmp/CTLFireability17230111156423135333.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/CTLFireability9369185677832191141.gal, -t, CGAL, -ctl, /tmp/CTLFireability17230111156423135333.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/CTLFireability9369185677832191141.gal -t CGAL -ctl /tmp/CTLFireability17230111156423135333.ctl
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Graph (trivial) has 1094 edges and 1825 vertex of which 48 / 1825 are part of one of the 8 SCC in 4 ms
Free SCC test removed 40 places
Ensure Unique test removed 40 transitions
Reduce isomorphic transitions removed 40 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 184 transitions
Trivial Post-agglo rules discarded 184 transitions
Performed 184 trivial Post agglomeration. Transition count delta: 184
Iterating post reduction 0 with 184 rules applied. Total rules applied 185 place count 1784 transition count 2186
Reduce places removed 184 places and 0 transitions.
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: 4
Iterating post reduction 1 with 189 rules applied. Total rules applied 374 place count 1600 transition count 2181
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 2 with 4 rules applied. Total rules applied 378 place count 1596 transition count 2181
Performed 104 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 104 Pre rules applied. Total rules applied 378 place count 1596 transition count 2077
Deduced a syphon composed of 104 places in 3 ms
Reduce places removed 104 places and 0 transitions.
Iterating global reduction 3 with 208 rules applied. Total rules applied 586 place count 1492 transition count 2077
Discarding 325 places :
Symmetric choice reduction at 3 with 325 rule applications. Total rules 911 place count 1167 transition count 1752
Iterating global reduction 3 with 325 rules applied. Total rules applied 1236 place count 1167 transition count 1752
Ensure Unique test removed 30 transitions
Reduce isomorphic transitions removed 30 transitions.
Iterating post reduction 3 with 30 rules applied. Total rules applied 1266 place count 1167 transition count 1722
Performed 6 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 6 Pre rules applied. Total rules applied 1266 place count 1167 transition count 1716
Deduced a syphon composed of 6 places in 2 ms
Reduce places removed 6 places and 0 transitions.
Iterating global reduction 4 with 12 rules applied. Total rules applied 1278 place count 1161 transition count 1716
Discarding 116 places :
Symmetric choice reduction at 4 with 116 rule applications. Total rules 1394 place count 1045 transition count 1600
Iterating global reduction 4 with 116 rules applied. Total rules applied 1510 place count 1045 transition count 1600
Ensure Unique test removed 110 transitions
Reduce isomorphic transitions removed 110 transitions.
Iterating post reduction 4 with 110 rules applied. Total rules applied 1620 place count 1045 transition count 1490
Performed 136 Post agglomeration using F-continuation condition.Transition count delta: 136
Deduced a syphon composed of 136 places in 1 ms
Reduce places removed 136 places and 0 transitions.
Iterating global reduction 5 with 272 rules applied. Total rules applied 1892 place count 909 transition count 1354
Discarding 27 places :
Symmetric choice reduction at 5 with 27 rule applications. Total rules 1919 place count 882 transition count 1327
Iterating global reduction 5 with 27 rules applied. Total rules applied 1946 place count 882 transition count 1327
Ensure Unique test removed 27 transitions
Reduce isomorphic transitions removed 27 transitions.
Iterating post reduction 5 with 27 rules applied. Total rules applied 1973 place count 882 transition count 1300
Performed 6 Post agglomeration using F-continuation condition.Transition count delta: 0
Deduced a syphon composed of 6 places in 0 ms
Reduce places removed 6 places and 0 transitions.
Iterating global reduction 6 with 12 rules applied. Total rules applied 1985 place count 876 transition count 1300
Partial Post-agglomeration rule applied 3 times.
Drop transitions removed 3 transitions
Iterating global reduction 6 with 3 rules applied. Total rules applied 1988 place count 876 transition count 1300
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 6 with 1 rules applied. Total rules applied 1989 place count 875 transition count 1299
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 6 with 1 rules applied. Total rules applied 1990 place count 874 transition count 1298
Applied a total of 1990 rules in 895 ms. Remains 874 /1825 variables (removed 951) and now considering 1298/2411 (removed 1113) transitions.
[2021-05-16 11:13:11] [INFO ] Flatten gal took : 40 ms
[2021-05-16 11:13:11] [INFO ] Flatten gal took : 44 ms
[2021-05-16 11:13:11] [INFO ] Input system was already deterministic with 1298 transitions.
[2021-05-16 11:13:11] [INFO ] Flatten gal took : 43 ms
[2021-05-16 11:13:11] [INFO ] Flatten gal took : 42 ms
[2021-05-16 11:13:11] [INFO ] Time to serialize gal into /tmp/CTLFireability6280983349428606717.gal : 6 ms
[2021-05-16 11:13:11] [INFO ] Time to serialize properties into /tmp/CTLFireability6967068701875113806.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/CTLFireability6280983349428606717.gal, -t, CGAL, -ctl, /tmp/CTLFireability6967068701875113806.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/CTLFireability6280983349428606717.gal -t CGAL -ctl /tmp/CTLFireability6967068701875113806.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2021-05-16 11:13:41] [INFO ] Flatten gal took : 72 ms
[2021-05-16 11:13:41] [INFO ] Applying decomposition
[2021-05-16 11:13:41] [INFO ] Flatten gal took : 72 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/graph6713003473422617264.txt, -o, /tmp/graph6713003473422617264.bin, -w, /tmp/graph6713003473422617264.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/graph6713003473422617264.bin, -l, -1, -v, -w, /tmp/graph6713003473422617264.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-16 11:13:41] [INFO ] Decomposing Gal with order
[2021-05-16 11:13:41] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-16 11:13:42] [INFO ] Removed a total of 897 redundant transitions.
[2021-05-16 11:13:42] [INFO ] Flatten gal took : 337 ms
[2021-05-16 11:13:42] [INFO ] Fuse similar labels procedure discarded/fused a total of 141 labels/synchronizations in 44 ms.
[2021-05-16 11:13:42] [INFO ] Time to serialize gal into /tmp/CTLFireability11458074763400945734.gal : 19 ms
[2021-05-16 11:13:42] [INFO ] Time to serialize properties into /tmp/CTLFireability11715904064967078907.ctl : 4 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLFireability11458074763400945734.gal, -t, CGAL, -ctl, /tmp/CTLFireability11715904064967078907.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/CTLFireability11458074763400945734.gal -t CGAL -ctl /tmp/CTLFireability11715904064967078907.ctl
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Graph (trivial) has 1361 edges and 1825 vertex of which 91 / 1825 are part of one of the 15 SCC in 1 ms
Free SCC test removed 76 places
Ensure Unique test removed 77 transitions
Reduce isomorphic transitions removed 77 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 210 transitions
Trivial Post-agglo rules discarded 210 transitions
Performed 210 trivial Post agglomeration. Transition count delta: 210
Iterating post reduction 0 with 210 rules applied. Total rules applied 211 place count 1748 transition count 2123
Reduce places removed 210 places and 0 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 1 with 211 rules applied. Total rules applied 422 place count 1538 transition count 2122
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 423 place count 1537 transition count 2122
Performed 114 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 114 Pre rules applied. Total rules applied 423 place count 1537 transition count 2008
Deduced a syphon composed of 114 places in 2 ms
Reduce places removed 114 places and 0 transitions.
Iterating global reduction 3 with 228 rules applied. Total rules applied 651 place count 1423 transition count 2008
Discarding 377 places :
Symmetric choice reduction at 3 with 377 rule applications. Total rules 1028 place count 1046 transition count 1631
Iterating global reduction 3 with 377 rules applied. Total rules applied 1405 place count 1046 transition count 1631
Ensure Unique test removed 33 transitions
Reduce isomorphic transitions removed 33 transitions.
Iterating post reduction 3 with 33 rules applied. Total rules applied 1438 place count 1046 transition count 1598
Performed 3 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 3 Pre rules applied. Total rules applied 1438 place count 1046 transition count 1595
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 4 with 6 rules applied. Total rules applied 1444 place count 1043 transition count 1595
Discarding 135 places :
Symmetric choice reduction at 4 with 135 rule applications. Total rules 1579 place count 908 transition count 1460
Iterating global reduction 4 with 135 rules applied. Total rules applied 1714 place count 908 transition count 1460
Ensure Unique test removed 134 transitions
Reduce isomorphic transitions removed 134 transitions.
Iterating post reduction 4 with 134 rules applied. Total rules applied 1848 place count 908 transition count 1326
Performed 116 Post agglomeration using F-continuation condition.Transition count delta: 116
Deduced a syphon composed of 116 places in 0 ms
Reduce places removed 116 places and 0 transitions.
Iterating global reduction 5 with 232 rules applied. Total rules applied 2080 place count 792 transition count 1210
Discarding 37 places :
Symmetric choice reduction at 5 with 37 rule applications. Total rules 2117 place count 755 transition count 1173
Iterating global reduction 5 with 37 rules applied. Total rules applied 2154 place count 755 transition count 1173
Ensure Unique test removed 37 transitions
Reduce isomorphic transitions removed 37 transitions.
Iterating post reduction 5 with 37 rules applied. Total rules applied 2191 place count 755 transition count 1136
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 0
Deduced a syphon composed of 2 places in 0 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 6 with 4 rules applied. Total rules applied 2195 place count 753 transition count 1136
Partial Post-agglomeration rule applied 1 times.
Drop transitions removed 1 transitions
Iterating global reduction 6 with 1 rules applied. Total rules applied 2196 place count 753 transition count 1136
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 6 with 1 rules applied. Total rules applied 2197 place count 752 transition count 1135
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 6 with 1 rules applied. Total rules applied 2198 place count 751 transition count 1134
Applied a total of 2198 rules in 427 ms. Remains 751 /1825 variables (removed 1074) and now considering 1134/2411 (removed 1277) transitions.
[2021-05-16 11:14:12] [INFO ] Flatten gal took : 33 ms
[2021-05-16 11:14:12] [INFO ] Flatten gal took : 39 ms
[2021-05-16 11:14:12] [INFO ] Input system was already deterministic with 1134 transitions.
[2021-05-16 11:14:12] [INFO ] Flatten gal took : 39 ms
[2021-05-16 11:14:13] [INFO ] Flatten gal took : 38 ms
[2021-05-16 11:14:13] [INFO ] Time to serialize gal into /tmp/CTLFireability7633398734349141204.gal : 7 ms
[2021-05-16 11:14:13] [INFO ] Time to serialize properties into /tmp/CTLFireability13180544397212451744.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/CTLFireability7633398734349141204.gal, -t, CGAL, -ctl, /tmp/CTLFireability13180544397212451744.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/CTLFireability7633398734349141204.gal -t CGAL -ctl /tmp/CTLFireability13180544397212451744.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2021-05-16 11:14:43] [INFO ] Flatten gal took : 38 ms
[2021-05-16 11:14:43] [INFO ] Applying decomposition
[2021-05-16 11:14:43] [INFO ] Flatten gal took : 39 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/graph932980537229644378.txt, -o, /tmp/graph932980537229644378.bin, -w, /tmp/graph932980537229644378.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/graph932980537229644378.bin, -l, -1, -v, -w, /tmp/graph932980537229644378.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-16 11:14:43] [INFO ] Decomposing Gal with order
[2021-05-16 11:14:43] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-16 11:14:43] [INFO ] Removed a total of 463 redundant transitions.
[2021-05-16 11:14:43] [INFO ] Flatten gal took : 282 ms
[2021-05-16 11:14:43] [INFO ] Fuse similar labels procedure discarded/fused a total of 78 labels/synchronizations in 23 ms.
[2021-05-16 11:14:43] [INFO ] Time to serialize gal into /tmp/CTLFireability2340306254886761571.gal : 15 ms
[2021-05-16 11:14:43] [INFO ] Time to serialize properties into /tmp/CTLFireability16129377651099431340.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/CTLFireability2340306254886761571.gal, -t, CGAL, -ctl, /tmp/CTLFireability16129377651099431340.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/CTLFireability2340306254886761571.gal -t CGAL -ctl /tmp/CTLFireability16129377651099431340.ctl
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Graph (trivial) has 1675 edges and 1825 vertex of which 97 / 1825 are part of one of the 16 SCC in 0 ms
Free SCC test removed 81 places
Ensure Unique test removed 82 transitions
Reduce isomorphic transitions removed 82 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 243 transitions
Trivial Post-agglo rules discarded 243 transitions
Performed 243 trivial Post agglomeration. Transition count delta: 243
Iterating post reduction 0 with 243 rules applied. Total rules applied 244 place count 1743 transition count 2085
Reduce places removed 243 places and 0 transitions.
Iterating post reduction 1 with 243 rules applied. Total rules applied 487 place count 1500 transition count 2085
Performed 75 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 75 Pre rules applied. Total rules applied 487 place count 1500 transition count 2010
Deduced a syphon composed of 75 places in 2 ms
Reduce places removed 75 places and 0 transitions.
Iterating global reduction 2 with 150 rules applied. Total rules applied 637 place count 1425 transition count 2010
Discarding 371 places :
Symmetric choice reduction at 2 with 371 rule applications. Total rules 1008 place count 1054 transition count 1639
Iterating global reduction 2 with 371 rules applied. Total rules applied 1379 place count 1054 transition count 1639
Ensure Unique test removed 32 transitions
Reduce isomorphic transitions removed 32 transitions.
Iterating post reduction 2 with 32 rules applied. Total rules applied 1411 place count 1054 transition count 1607
Performed 3 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 3 Pre rules applied. Total rules applied 1411 place count 1054 transition count 1604
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 3 with 6 rules applied. Total rules applied 1417 place count 1051 transition count 1604
Discarding 115 places :
Symmetric choice reduction at 3 with 115 rule applications. Total rules 1532 place count 936 transition count 1489
Iterating global reduction 3 with 115 rules applied. Total rules applied 1647 place count 936 transition count 1489
Ensure Unique test removed 109 transitions
Reduce isomorphic transitions removed 109 transitions.
Iterating post reduction 3 with 109 rules applied. Total rules applied 1756 place count 936 transition count 1380
Performed 110 Post agglomeration using F-continuation condition.Transition count delta: 110
Deduced a syphon composed of 110 places in 1 ms
Reduce places removed 110 places and 0 transitions.
Iterating global reduction 4 with 220 rules applied. Total rules applied 1976 place count 826 transition count 1270
Discarding 53 places :
Symmetric choice reduction at 4 with 53 rule applications. Total rules 2029 place count 773 transition count 1217
Iterating global reduction 4 with 53 rules applied. Total rules applied 2082 place count 773 transition count 1217
Ensure Unique test removed 53 transitions
Reduce isomorphic transitions removed 53 transitions.
Iterating post reduction 4 with 53 rules applied. Total rules applied 2135 place count 773 transition count 1164
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 0
Deduced a syphon composed of 2 places in 0 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 5 with 4 rules applied. Total rules applied 2139 place count 771 transition count 1164
Drop transitions removed 16 transitions
Redundant transition composition rules discarded 16 transitions
Iterating global reduction 5 with 16 rules applied. Total rules applied 2155 place count 771 transition count 1148
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 5 with 1 rules applied. Total rules applied 2156 place count 770 transition count 1147
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 5 with 1 rules applied. Total rules applied 2157 place count 769 transition count 1146
Applied a total of 2157 rules in 615 ms. Remains 769 /1825 variables (removed 1056) and now considering 1146/2411 (removed 1265) transitions.
[2021-05-16 11:15:14] [INFO ] Flatten gal took : 51 ms
[2021-05-16 11:15:14] [INFO ] Flatten gal took : 54 ms
[2021-05-16 11:15:14] [INFO ] Input system was already deterministic with 1146 transitions.
[2021-05-16 11:15:14] [INFO ] Flatten gal took : 54 ms
[2021-05-16 11:15:14] [INFO ] Flatten gal took : 54 ms
[2021-05-16 11:15:14] [INFO ] Time to serialize gal into /tmp/CTLFireability17535872939155350965.gal : 5 ms
[2021-05-16 11:15:14] [INFO ] Time to serialize properties into /tmp/CTLFireability17030395477234936861.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/CTLFireability17535872939155350965.gal, -t, CGAL, -ctl, /tmp/CTLFireability17030395477234936861.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/CTLFireability17535872939155350965.gal -t CGAL -ctl /tmp/CTLFireability17030395477234936861.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2021-05-16 11:15:44] [INFO ] Flatten gal took : 152 ms
[2021-05-16 11:15:44] [INFO ] Applying decomposition
[2021-05-16 11:15:45] [INFO ] Flatten gal took : 74 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/graph16151564667746702087.txt, -o, /tmp/graph16151564667746702087.bin, -w, /tmp/graph16151564667746702087.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/graph16151564667746702087.bin, -l, -1, -v, -w, /tmp/graph16151564667746702087.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-16 11:15:45] [INFO ] Decomposing Gal with order
[2021-05-16 11:15:45] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-16 11:15:45] [INFO ] Removed a total of 464 redundant transitions.
[2021-05-16 11:15:45] [INFO ] Flatten gal took : 336 ms
[2021-05-16 11:15:45] [INFO ] Fuse similar labels procedure discarded/fused a total of 132 labels/synchronizations in 15 ms.
[2021-05-16 11:15:45] [INFO ] Time to serialize gal into /tmp/CTLFireability1841619913099591078.gal : 9 ms
[2021-05-16 11:15:45] [INFO ] Time to serialize properties into /tmp/CTLFireability1036638838970715784.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/CTLFireability1841619913099591078.gal, -t, CGAL, -ctl, /tmp/CTLFireability1036638838970715784.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/CTLFireability1841619913099591078.gal -t CGAL -ctl /tmp/CTLFireability1036638838970715784.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.48727e+28,23.7733,492948,36293,971,1.27189e+06,53273,2091,1.4482e+06,2001,15778,0
Converting to forward existential form...Done !
Detected timeout of ITS tools.
[2021-05-16 11:16:15] [INFO ] Flatten gal took : 177 ms
[2021-05-16 11:16:16] [INFO ] Flatten gal took : 142 ms
[2021-05-16 11:16:16] [INFO ] Applying decomposition
[2021-05-16 11:16:16] [INFO ] Flatten gal took : 126 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/graph12939895693006795286.txt, -o, /tmp/graph12939895693006795286.bin, -w, /tmp/graph12939895693006795286.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/graph12939895693006795286.bin, -l, -1, -v, -w, /tmp/graph12939895693006795286.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-16 11:16:16] [INFO ] Decomposing Gal with order
[2021-05-16 11:16:16] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-16 11:16:17] [INFO ] Removed a total of 999 redundant transitions.
[2021-05-16 11:16:17] [INFO ] Flatten gal took : 651 ms
[2021-05-16 11:16:18] [INFO ] Fuse similar labels procedure discarded/fused a total of 229 labels/synchronizations in 88 ms.
[2021-05-16 11:16:18] [INFO ] Time to serialize gal into /tmp/CTLFireability17336218120719127005.gal : 42 ms
[2021-05-16 11:16:18] [INFO ] Time to serialize properties into /tmp/CTLFireability10823408156423308932.ctl : 6 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/CTLFireability17336218120719127005.gal, -t, CGAL, -ctl, /tmp/CTLFireability10823408156423308932.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/CTLFireability17336218120719127005.gal -t CGAL -ctl /tmp/CTLFireability10823408156423308932.ctl
No direction supplied, using forward translation only.
Parsed 15 CTL formulae.
Detected timeout of ITS tools.
[2021-05-16 11:38:14] [INFO ] Applying decomposition
[2021-05-16 11:38:15] [INFO ] Flatten gal took : 989 ms
[2021-05-16 11:38:16] [INFO ] Decomposing Gal with order
[2021-05-16 11:38:16] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-16 11:38:20] [INFO ] Removed a total of 623 redundant transitions.
[2021-05-16 11:38:21] [INFO ] Flatten gal took : 3014 ms
[2021-05-16 11:38:24] [INFO ] Fuse similar labels procedure discarded/fused a total of 2595 labels/synchronizations in 1023 ms.
[2021-05-16 11:38:25] [INFO ] Time to serialize gal into /tmp/CTLFireability1737849936308262308.gal : 75 ms
[2021-05-16 11:38:25] [INFO ] Time to serialize properties into /tmp/CTLFireability10165090952742671582.ctl : 23 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/CTLFireability1737849936308262308.gal, -t, CGAL, -ctl, /tmp/CTLFireability10165090952742671582.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/CTLFireability1737849936308262308.gal -t CGAL -ctl /tmp/CTLFireability10165090952742671582.ctl
No direction supplied, using forward translation only.
Parsed 15 CTL formulae.
Detected timeout of ITS tools.
[2021-05-16 12:00:24] [INFO ] Flatten gal took : 1559 ms
[2021-05-16 12:00:25] [INFO ] Input system was already deterministic with 2411 transitions.
[2021-05-16 12:00:26] [INFO ] Transformed 1825 places.
[2021-05-16 12:00:26] [INFO ] Transformed 2411 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-16 12:00:27] [INFO ] Time to serialize gal into /tmp/CTLFireability12824652586659231158.gal : 133 ms
[2021-05-16 12:00:27] [INFO ] Time to serialize properties into /tmp/CTLFireability13292503179341238654.ctl : 22 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/CTLFireability12824652586659231158.gal, -t, CGAL, -ctl, /tmp/CTLFireability13292503179341238654.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/CTLFireability12824652586659231158.gal -t CGAL -ctl /tmp/CTLFireability13292503179341238654.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 15 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="FlexibleBarrier-PT-18b"
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 FlexibleBarrier-PT-18b, 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 r102-smll-162075331100122"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/FlexibleBarrier-PT-18b.tgz
mv FlexibleBarrier-PT-18b 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 ;