About the Execution of ITS-Tools for DLCround-PT-09b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15902.720 | 3600000.00 | 14200852.00 | 160.80 | ???F??????F???F? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fko/mcc2019-input.r052-oct2-155234409900430.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2019-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-3954
Executing tool itstools
Input is DLCround-PT-09b, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r052-oct2-155234409900430
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.5M
-rw-r--r-- 1 mcc users 3.5K Feb 10 06:45 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Feb 10 06:45 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 6 05:06 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 6 05:06 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.9K Mar 10 17:31 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 102 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 340 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.3K Feb 4 23:21 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.7K Feb 4 23:21 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Feb 4 22:33 LTLFireability.txt
-rw-r--r-- 1 mcc users 10K Feb 4 22:33 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Feb 2 22:32 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Feb 2 22:32 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Jan 30 12:47 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Jan 30 12:47 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 4 22:19 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 4 22:19 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 4 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 1.3M Mar 10 17:31 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 DLCround-PT-09b-LTLFireability-00
FORMULA_NAME DLCround-PT-09b-LTLFireability-01
FORMULA_NAME DLCround-PT-09b-LTLFireability-02
FORMULA_NAME DLCround-PT-09b-LTLFireability-03
FORMULA_NAME DLCround-PT-09b-LTLFireability-04
FORMULA_NAME DLCround-PT-09b-LTLFireability-05
FORMULA_NAME DLCround-PT-09b-LTLFireability-06
FORMULA_NAME DLCround-PT-09b-LTLFireability-07
FORMULA_NAME DLCround-PT-09b-LTLFireability-08
FORMULA_NAME DLCround-PT-09b-LTLFireability-09
FORMULA_NAME DLCround-PT-09b-LTLFireability-10
FORMULA_NAME DLCround-PT-09b-LTLFireability-11
FORMULA_NAME DLCround-PT-09b-LTLFireability-12
FORMULA_NAME DLCround-PT-09b-LTLFireability-13
FORMULA_NAME DLCround-PT-09b-LTLFireability-14
FORMULA_NAME DLCround-PT-09b-LTLFireability-15
=== Now, execution of the tool begins
BK_START 1553444497832
Working with output stream class java.io.PrintStream
Using solver Z3 to compute partial order matrices.
Built C files in :
/home/mcc/execution
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201903171603/bin/its-ltl-linux64, --gc-threshold, 2000000, -i, /home/mcc/execution/LTLFireability.pnml.gal, -t, CGAL, -LTL, /home/mcc/execution/LTLFireability.ltl, -c, -stutter-deadlock], workingDir=/home/mcc/execution]
its-ltl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201903171603/bin/its-ltl-linux64 --gc-threshold 2000000 -i /home/mcc/execution/LTLFireability.pnml.gal -t CGAL -LTL /home/mcc/execution/LTLFireability.ltl -c -stutter-deadlock
Read 16 LTL properties
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit//lts_install_dir//include, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/home/mcc/execution]
Checking formula 0 : !(((F(F(G("(i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.u15.p134>=1)"))))U((F("(i1.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.u408.p1790>=1)"))U(F("(i1.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.u445.p1710>=1)")))))
Formula 0 simplified : !(FG"(i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.u15.p134>=1)" U (F"(i1.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.u408.p1790>=1)" U F"(i1.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.u445.p1710>=1)"))
built 4 ordering constraints for composite.
built 202 ordering constraints for composite.
built 186 ordering constraints for composite.
built 170 ordering constraints for composite.
built 154 ordering constraints for composite.
built 138 ordering constraints for composite.
built 122 ordering constraints for composite.
built 106 ordering constraints for composite.
built 90 ordering constraints for composite.
built 74 ordering constraints for composite.
built 58 ordering constraints for composite.
built 42 ordering constraints for composite.
built 31 ordering constraints for composite.
built 20 ordering constraints for composite.
built 848 ordering constraints for composite.
built 843 ordering constraints for composite.
built 838 ordering constraints for composite.
built 833 ordering constraints for composite.
built 828 ordering constraints for composite.
built 823 ordering constraints for composite.
built 818 ordering constraints for composite.
built 813 ordering constraints for composite.
built 808 ordering constraints for composite.
built 803 ordering constraints for composite.
built 798 ordering constraints for composite.
built 793 ordering constraints for composite.
built 788 ordering constraints for composite.
built 783 ordering constraints for composite.
built 778 ordering constraints for composite.
built 773 ordering constraints for composite.
built 768 ordering constraints for composite.
built 763 ordering constraints for composite.
built 758 ordering constraints for composite.
built 753 ordering constraints for composite.
built 748 ordering constraints for composite.
built 743 ordering constraints for composite.
built 738 ordering constraints for composite.
built 733 ordering constraints for composite.
built 728 ordering constraints for composite.
built 723 ordering constraints for composite.
built 718 ordering constraints for composite.
built 713 ordering constraints for composite.
built 708 ordering constraints for composite.
built 703 ordering constraints for composite.
built 698 ordering constraints for composite.
built 693 ordering constraints for composite.
built 688 ordering constraints for composite.
built 683 ordering constraints for composite.
built 678 ordering constraints for composite.
built 673 ordering constraints for composite.
built 668 ordering constraints for composite.
built 663 ordering constraints for composite.
built 658 ordering constraints for composite.
built 653 ordering constraints for composite.
built 648 ordering constraints for composite.
built 643 ordering constraints for composite.
built 638 ordering constraints for composite.
built 633 ordering constraints for composite.
built 628 ordering constraints for composite.
built 623 ordering constraints for composite.
built 618 ordering constraints for composite.
built 613 ordering constraints for composite.
built 608 ordering constraints for composite.
built 603 ordering constraints for composite.
built 598 ordering constraints for composite.
built 593 ordering constraints for composite.
built 588 ordering constraints for composite.
built 583 ordering constraints for composite.
built 578 ordering constraints for composite.
built 573 ordering constraints for composite.
built 568 ordering constraints for composite.
built 563 ordering constraints for composite.
built 558 ordering constraints for composite.
built 553 ordering constraints for composite.
built 548 ordering constraints for composite.
built 543 ordering constraints for composite.
built 538 ordering constraints for composite.
built 533 ordering constraints for composite.
built 528 ordering constraints for composite.
built 523 ordering constraints for composite.
built 518 ordering constraints for composite.
built 513 ordering constraints for composite.
built 508 ordering constraints for composite.
built 503 ordering constraints for composite.
built 498 ordering constraints for composite.
built 493 ordering constraints for composite.
built 488 ordering constraints for composite.
built 483 ordering constraints for composite.
built 478 ordering constraints for composite.
built 473 ordering constraints for composite.
built 468 ordering constraints for composite.
built 463 ordering constraints for composite.
built 458 ordering constraints for composite.
built 453 ordering constraints for composite.
built 448 ordering constraints for composite.
built 443 ordering constraints for composite.
built 438 ordering constraints for composite.
built 433 ordering constraints for composite.
built 428 ordering constraints for composite.
built 423 ordering constraints for composite.
built 418 ordering constraints for composite.
built 413 ordering constraints for composite.
built 408 ordering constraints for composite.
built 403 ordering constraints for composite.
built 398 ordering constraints for composite.
built 393 ordering constraints for composite.
built 388 ordering constraints for composite.
built 383 ordering constraints for composite.
built 378 ordering constraints for composite.
built 373 ordering constraints for composite.
built 368 ordering constraints for composite.
built 363 ordering constraints for composite.
built 358 ordering constraints for composite.
built 353 ordering constraints for composite.
built 348 ordering constraints for composite.
built 343 ordering constraints for composite.
built 338 ordering constraints for composite.
built 333 ordering constraints for composite.
built 328 ordering constraints for composite.
built 323 ordering constraints for composite.
built 318 ordering constraints for composite.
built 313 ordering constraints for composite.
built 308 ordering constraints for composite.
built 303 ordering constraints for composite.
built 298 ordering constraints for composite.
built 293 ordering constraints for composite.
built 288 ordering constraints for composite.
built 283 ordering constraints for composite.
built 278 ordering constraints for composite.
built 273 ordering constraints for composite.
built 268 ordering constraints for composite.
built 263 ordering constraints for composite.
built 258 ordering constraints for composite.
built 253 ordering constraints for composite.
built 248 ordering constraints for composite.
built 243 ordering constraints for composite.
built 238 ordering constraints for composite.
built 233 ordering constraints for composite.
built 228 ordering constraints for composite.
built 223 ordering constraints for composite.
built 218 ordering constraints for composite.
built 213 ordering constraints for composite.
built 208 ordering constraints for composite.
built 203 ordering constraints for composite.
built 198 ordering constraints for composite.
built 193 ordering constraints for composite.
built 188 ordering constraints for composite.
built 183 ordering constraints for composite.
built 178 ordering constraints for composite.
built 173 ordering constraints for composite.
built 168 ordering constraints for composite.
built 163 ordering constraints for composite.
built 158 ordering constraints for composite.
built 153 ordering constraints for composite.
built 148 ordering constraints for composite.
built 143 ordering constraints for composite.
built 138 ordering constraints for composite.
built 133 ordering constraints for composite.
built 128 ordering constraints for composite.
built 123 ordering constraints for composite.
built 118 ordering constraints for composite.
built 113 ordering constraints for composite.
built 108 ordering constraints for composite.
built 103 ordering constraints for composite.
built 98 ordering constraints for composite.
built 93 ordering constraints for composite.
built 88 ordering constraints for composite.
built 83 ordering constraints for composite.
built 78 ordering constraints for composite.
built 73 ordering constraints for composite.
built 68 ordering constraints for composite.
built 63 ordering constraints for composite.
built 58 ordering constraints for composite.
built 53 ordering constraints for composite.
built 48 ordering constraints for composite.
built 43 ordering constraints for composite.
built 38 ordering constraints for composite.
built 33 ordering constraints for composite.
built 28 ordering constraints for composite.
built 23 ordering constraints for composite.
built 18 ordering constraints for composite.
built 13 ordering constraints for composite.
built 8 ordering constraints for composite.
Compilation finished in 70628 ms.
Running link step : CommandLine [args=[gcc, -shared, -o, gal.so, model.o], workingDir=/home/mcc/execution]
Link finished in 208 ms.
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, -p, --pins-guards, --when, --ltl, (<>(<>([]((LTLAP0==true)))))U((<>((LTLAP1==true)))U(<>((LTLAP2==true)))), --buchi-type=spotba], workingDir=/home/mcc/execution]
WARNING : LTSmin timed out (>225 s) on command CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, -p, --pins-guards, --when, --ltl, (<>(<>([]((LTLAP0==true)))))U((<>((LTLAP1==true)))U(<>((LTLAP2==true)))), --buchi-type=spotba], workingDir=/home/mcc/execution]
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, -p, --pins-guards, --when, --ltl, ((<>((LTLAP3==true)))U((LTLAP4==true)))U(<>(<>([]((LTLAP5==true))))), --buchi-type=spotba], workingDir=/home/mcc/execution]
WARNING : LTSmin timed out (>225 s) on command CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, -p, --pins-guards, --when, --ltl, ((<>((LTLAP3==true)))U((LTLAP4==true)))U(<>(<>([]((LTLAP5==true))))), --buchi-type=spotba], workingDir=/home/mcc/execution]
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, -p, --pins-guards, --when, --ltl, []([]((LTLAP6==true))), --buchi-type=spotba], workingDir=/home/mcc/execution]
WARNING : LTSmin timed out (>225 s) on command CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, -p, --pins-guards, --when, --ltl, []([]((LTLAP6==true))), --buchi-type=spotba], workingDir=/home/mcc/execution]
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, --when, --ltl, ([](X(X((LTLAP7==true)))))U([](X(X((LTLAP8==true))))), --buchi-type=spotba], workingDir=/home/mcc/execution]
LTSmin run took 21516 ms.
FORMULA DLCround-PT-09b-LTLFireability-03 FALSE TECHNIQUES PARTIAL_ORDER EXPLICIT LTSMIN SAT_SMT
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, --when, --ltl, <>([](X(X(<>((LTLAP9==true)))))), --buchi-type=spotba], workingDir=/home/mcc/execution]
WARNING : LTSmin timed out (>225 s) on command CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, --when, --ltl, <>([](X(X(<>((LTLAP9==true)))))), --buchi-type=spotba], workingDir=/home/mcc/execution]
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, -p, --pins-guards, --when, --ltl, []((LTLAP10==true)), --buchi-type=spotba], workingDir=/home/mcc/execution]
terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
WARNING : LTSmin timed out (>225 s) on command CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, -p, --pins-guards, --when, --ltl, []((LTLAP10==true)), --buchi-type=spotba], workingDir=/home/mcc/execution]
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, -p, --pins-guards, --when, --ltl, false, --buchi-type=spotba], workingDir=/home/mcc/execution]
WARNING : LTSmin timed out (>225 s) on command CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, -p, --pins-guards, --when, --ltl, false, --buchi-type=spotba], workingDir=/home/mcc/execution]
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, -p, --pins-guards, --when, --ltl, ((LTLAP11==true))U([]([]((LTLAP12==true)))), --buchi-type=spotba], workingDir=/home/mcc/execution]
WARNING : LTSmin timed out (>225 s) on command CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, -p, --pins-guards, --when, --ltl, ((LTLAP11==true))U([]([]((LTLAP12==true)))), --buchi-type=spotba], workingDir=/home/mcc/execution]
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, -p, --pins-guards, --when, --ltl, <>((<>(<>((LTLAP13==true))))U([](<>((LTLAP14==true))))), --buchi-type=spotba], workingDir=/home/mcc/execution]
WARNING : LTSmin timed out (>225 s) on command CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, -p, --pins-guards, --when, --ltl, <>((<>(<>((LTLAP13==true))))U([](<>((LTLAP14==true))))), --buchi-type=spotba], workingDir=/home/mcc/execution]
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, --when, --ltl, (X([](X((LTLAP15==true)))))U((LTLAP16==true)), --buchi-type=spotba], workingDir=/home/mcc/execution]
WARNING : LTSmin timed out (>225 s) on command CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, --when, --ltl, (X([](X((LTLAP15==true)))))U((LTLAP16==true)), --buchi-type=spotba], workingDir=/home/mcc/execution]
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, --when, --ltl, (X(((LTLAP17==true))U((LTLAP18==true))))U(<>(<>([]((LTLAP19==true))))), --buchi-type=spotba], workingDir=/home/mcc/execution]
LTSmin run took 4211 ms.
FORMULA DLCround-PT-09b-LTLFireability-10 FALSE TECHNIQUES PARTIAL_ORDER EXPLICIT LTSMIN SAT_SMT
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, -p, --pins-guards, --when, --ltl, ((LTLAP20==true))U((LTLAP21==true)), --buchi-type=spotba], workingDir=/home/mcc/execution]
WARNING : LTSmin timed out (>225 s) on command CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, -p, --pins-guards, --when, --ltl, ((LTLAP20==true))U((LTLAP21==true)), --buchi-type=spotba], workingDir=/home/mcc/execution]
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, -p, --pins-guards, --when, --ltl, [](((LTLAP22==true))U([](<>((LTLAP23==true))))), --buchi-type=spotba], workingDir=/home/mcc/execution]
WARNING : LTSmin timed out (>225 s) on command CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, -p, --pins-guards, --when, --ltl, [](((LTLAP22==true))U([](<>((LTLAP23==true))))), --buchi-type=spotba], workingDir=/home/mcc/execution]
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, -p, --pins-guards, --when, --ltl, false, --buchi-type=spotba], workingDir=/home/mcc/execution]
WARNING : LTSmin timed out (>225 s) on command CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, -p, --pins-guards, --when, --ltl, false, --buchi-type=spotba], workingDir=/home/mcc/execution]
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, --when, --ltl, X((((LTLAP24==true))U((LTLAP25==true)))U(<>([]((LTLAP26==true))))), --buchi-type=spotba], workingDir=/home/mcc/execution]
LTSmin run took 2759 ms.
FORMULA DLCround-PT-09b-LTLFireability-14 FALSE TECHNIQUES PARTIAL_ORDER EXPLICIT LTSMIN SAT_SMT
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, -p, --pins-guards, --when, --ltl, false, --buchi-type=spotba], workingDir=/home/mcc/execution]
WARNING : LTSmin timed out (>225 s) on command CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, -p, --pins-guards, --when, --ltl, false, --buchi-type=spotba], workingDir=/home/mcc/execution]
Retrying LTSmin with larger timeout 1800 s
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, -p, --pins-guards, --when, --ltl, (<>(<>([]((LTLAP0==true)))))U((<>((LTLAP1==true)))U(<>((LTLAP2==true)))), --buchi-type=spotba], workingDir=/home/mcc/execution]
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/
+ BINDIR=/home/mcc/BenchKit/
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ LTLFireability = StateSpace ]]
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution LTLFireability -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -smt
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ /home/mcc/BenchKit//itstools/its-tools -data /home/mcc/execution/workspace -pnfolder /home/mcc/execution -examination LTLFireability -z3path /home/mcc/BenchKit//z3/bin/z3 -yices2path /home/mcc/BenchKit//yices/bin/yices -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -smt -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=/tmp/.eclipse -Xss8m -Xms40m -Xmx8192m -Dfile.encoding=UTF-8 -Dosgi.requiredJavaVersion=1.6
Mar 24, 2019 4:21:39 PM fr.lip6.move.gal.application.Application start
INFO: Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, LTLFireability, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -its, -ltsminpath, /home/mcc/BenchKit//lts_install_dir/, -smt]
Mar 24, 2019 4:21:39 PM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Mar 24, 2019 4:21:39 PM fr.lip6.move.gal.nupn.PTNetReader loadFromXML
INFO: Load time of PNML (sax parser for PT used): 155 ms
Mar 24, 2019 4:21:39 PM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 3495 places.
Mar 24, 2019 4:21:39 PM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 5439 transitions.
Mar 24, 2019 4:21:39 PM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Found NUPN structural information;
Mar 24, 2019 4:21:40 PM fr.lip6.move.gal.application.MccTranslator applyOrder
INFO: Applying decomposition
Mar 24, 2019 4:21:40 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 573 ms
Mar 24, 2019 4:21:40 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 384 ms
Mar 24, 2019 4:21:41 PM fr.lip6.move.gal.instantiate.CompositeBuilder decomposeWithOrder
INFO: Decomposing Gal with order
Mar 24, 2019 4:21:41 PM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting arrays to variables to allow decomposition.
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t4938,t4938,t4938,t4938,t4938,t4938,t4938,t4938,t4938,t4935,t4935,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t4737,t4737,t4737,t4734,t4734,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t3468,t3468,t3458,t3458,t3458,t3458,t3458,t3458,t3458,t3458,t3458,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t4688,t4688,t4688,t4685,t4685,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t4912,t4912,t4912,t4912,t4912,t4912,t4912,t4912,t4912,t4909,t4909,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t4751,t4751,t4751,t4748,t4748,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5146,t5146,t5146,t5146,t5146,t5146,t5146,t5146,t5146,t5143,t5143,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t3416,t3416,t3406,t3406,t3406,t3406,t3406,t3406,t3406,t3406,t3406,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t4723,t4723,t4723,t4720,t4720,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5107,t5107,t5107,t5107,t5107,t5107,t5107,t5107,t5107,t5104,t5104,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t3689,t3689,t3679,t3679,t3679,t3679,t3679,t3679,t3679,t3679,t3679,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t4142,t4142,t4142,t4132,t4132,t4132,t4132,t4132,t4132,t4132,t4132,t4132,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5289,t5289,t5289,t5289,t5289,t5289,t5289,t5289,t5289,t5286,t5286,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t4744,t4744,t4744,t4741,t4741,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t3702,t3702,t3692,t3692,t3692,t3692,t3692,t3692,t3692,t3692,t3692,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t3429,t3429,t3419,t3419,t3419,t3419,t3419,t3419,t3419,t3419,t3419,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t4821,t4821,t4821,t4821,t4821,t4821,t4821,t4821,t4821,t4818,t4818,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t4772,t4772,t4772,t4769,t4769,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t4758,t4758,t4758,t4755,t4755,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5393,t5393,t5393,t5393,t5393,t5393,t5393,t5393,t5393,t5390,t5390,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t4730,t4730,t4730,t4727,t4727,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5055,t5055,t5055,t5055,t5055,t5055,t5055,t5055,t5055,t5052,t5052,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t4394,t4394,t4394,t4384,t4384,t4384,t4384,t4384,t4384,t4384,t4384,t4384,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5302,t5302,t5302,t5302,t5302,t5302,t5302,t5302,t5302,t5299,t5299,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t4951,t4951,t4951,t4951,t4951,t4951,t4951,t4951,t4951,t4948,t4948,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t4198,t4198,t4198,t4188,t4188,t4188,t4188,t4188,t4188,t4188,t4188,t4188,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5081,t5081,t5081,t5081,t5081,t5081,t5081,t5081,t5081,t5078,t5078,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t4240,t4240,t4240,t4230,t4230,t4230,t4230,t4230,t4230,t4230,t4230,t4230,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t3598,t3598,t3588,t3588,t3588,t3588,t3588,t3588,t3588,t3588,t3588,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t4611,t4611,t4611,t4608,t4608,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t4807,t4807,t4807,t4804,t4804,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t4268,t4268,t4268,t4258,t4258,t4258,t4258,t4258,t4258,t4258,t4258,t4258,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 156 events :t3418,t3417,t3416,t3584,t3583,t3582,t3581,t3580,t3579,t3578,t3577,t3576,t3575,t3584,t3583,t3582,t3581,t3580,t3579,t3578,t3577,t3576,t3575,t3584,t3583,t3582,t3581,t3580,t3579,t3578,t3577,t3576,t3575,t3584,t3583,t3582,t3581,t3580,t3579,t3578,t3577,t3576,t3575,t3584,t3583,t3582,t3581,t3580,t3579,t3578,t3577,t3576,t3575,t3418,t3417,t3416,t3418,t3417,t3416,t3418,t3417,t3416,t3418,t3417,t3416,t3418,t3417,t3416,t3418,t3417,t3416,t3418,t3417,t3416,t3584,t3583,t3582,t3581,t3580,t3579,t3578,t3577,t3576,t3575,t3584,t3583,t3582,t3581,t3580,t3579,t3578,t3577,t3576,t3575,t3584,t3583,t3582,t3581,t3580,t3579,t3578,t3577,t3576,t3575,t3584,t3583,t3582,t3581,t3580,t3579,t3578,t3577,t3576,t3575,t3418,t3417,t3416,t3418,t3417,t3416,t3418,t3417,t3416,t3584,t3583,t3582,t3581,t3580,t3579,t3578,t3577,t3576,t3575,t3584,t3583,t3582,t3581,t3580,t3579,t3578,t3577,t3576,t3575,t3584,t3583,t3582,t3581,t3580,t3579,t3578,t3577,t3576,t3575,t3418,t3417,t3416,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 156 events :t3470,t3469,t3468,t3519,t3518,t3517,t3516,t3515,t3514,t3513,t3512,t3511,t3510,t3519,t3518,t3517,t3516,t3515,t3514,t3513,t3512,t3511,t3510,t3519,t3518,t3517,t3516,t3515,t3514,t3513,t3512,t3511,t3510,t3519,t3518,t3517,t3516,t3515,t3514,t3513,t3512,t3511,t3510,t3470,t3469,t3468,t3470,t3469,t3468,t3470,t3469,t3468,t3470,t3469,t3468,t3470,t3469,t3468,t3470,t3469,t3468,t3470,t3469,t3468,t3470,t3469,t3468,t3519,t3518,t3517,t3516,t3515,t3514,t3513,t3512,t3511,t3510,t3519,t3518,t3517,t3516,t3515,t3514,t3513,t3512,t3511,t3510,t3519,t3518,t3517,t3516,t3515,t3514,t3513,t3512,t3511,t3510,t3519,t3518,t3517,t3516,t3515,t3514,t3513,t3512,t3511,t3510,t3470,t3469,t3468,t3470,t3469,t3468,t3470,t3469,t3468,t3519,t3518,t3517,t3516,t3515,t3514,t3513,t3512,t3511,t3510,t3519,t3518,t3517,t3516,t3515,t3514,t3513,t3512,t3511,t3510,t3519,t3518,t3517,t3516,t3515,t3514,t3513,t3512,t3511,t3510,t3519,t3518,t3517,t3516,t3515,t3514,t3513,t3512,t3511,t3510,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 72 events :t4551,t4550,t4549,t4548,t4551,t4550,t4549,t4548,t4551,t4550,t4549,t4548,t4551,t4550,t4549,t4548,t4551,t4550,t4549,t4548,t4551,t4550,t4549,t4548,t4551,t4550,t4549,t4548,t4551,t4550,t4549,t4548,t4551,t4550,t4549,t4548,t4019,t4018,t4017,t4016,t4019,t4018,t4017,t4016,t4019,t4018,t4017,t4016,t4019,t4018,t4017,t4016,t4019,t4018,t4017,t4016,t4019,t4018,t4017,t4016,t4019,t4018,t4017,t4016,t4019,t4018,t4017,t4016,t4019,t4018,t4017,t4016,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t4226,t4226,t4226,t4216,t4216,t4216,t4216,t4216,t4216,t4216,t4216,t4216,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5042,t5042,t5042,t5042,t5042,t5042,t5042,t5042,t5042,t5039,t5039,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t4296,t4296,t4296,t4286,t4286,t4286,t4286,t4286,t4286,t4286,t4286,t4286,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t3871,t3871,t3861,t3861,t3861,t3861,t3861,t3861,t3861,t3861,t3861,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t4310,t4310,t4310,t4300,t4300,t4300,t4300,t4300,t4300,t4300,t4300,t4300,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t4156,t4156,t4156,t4146,t4146,t4146,t4146,t4146,t4146,t4146,t4146,t4146,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t4576,t4576,t4576,t4573,t4573,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t3793,t3793,t3783,t3783,t3783,t3783,t3783,t3783,t3783,t3783,t3783,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t3728,t3728,t3718,t3718,t3718,t3718,t3718,t3718,t3718,t3718,t3718,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t4873,t4873,t4873,t4873,t4873,t4873,t4873,t4873,t4873,t4870,t4870,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t4681,t4681,t4681,t4678,t4678,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 72 events :t4558,t4557,t4556,t4555,t4558,t4557,t4556,t4555,t4558,t4557,t4556,t4555,t4558,t4557,t4556,t4555,t4558,t4557,t4556,t4555,t4558,t4557,t4556,t4555,t4558,t4557,t4556,t4555,t4558,t4557,t4556,t4555,t4558,t4557,t4556,t4555,t4005,t4004,t4003,t4002,t4005,t4004,t4003,t4002,t4005,t4004,t4003,t4002,t4005,t4004,t4003,t4002,t4005,t4004,t4003,t4002,t4005,t4004,t4003,t4002,t4005,t4004,t4003,t4002,t4005,t4004,t4003,t4002,t4005,t4004,t4003,t4002,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t3949,t3949,t3939,t3939,t3939,t3939,t3939,t3939,t3939,t3939,t3939,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t3533,t3533,t3523,t3523,t3523,t3523,t3523,t3523,t3523,t3523,t3523,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t4282,t4282,t4282,t4272,t4272,t4272,t4272,t4272,t4272,t4272,t4272,t4272,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t4639,t4639,t4639,t4636,t4636,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t4548,t4548,t4548,t4545,t4545,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t3715,t3715,t3705,t3705,t3705,t3705,t3705,t3705,t3705,t3705,t3705,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5367,t5367,t5367,t5367,t5367,t5367,t5367,t5367,t5367,t5364,t5364,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t4254,t4254,t4254,t4244,t4244,t4244,t4244,t4244,t4244,t4244,t4244,t4244,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5354,t5354,t5354,t5354,t5354,t5354,t5354,t5354,t5354,t5351,t5351,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t4569,t4569,t4569,t4566,t4566,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 156 events :t3483,t3482,t3481,t3483,t3482,t3481,t3636,t3635,t3634,t3633,t3632,t3631,t3630,t3629,t3628,t3627,t3636,t3635,t3634,t3633,t3632,t3631,t3630,t3629,t3628,t3627,t3636,t3635,t3634,t3633,t3632,t3631,t3630,t3629,t3628,t3627,t3636,t3635,t3634,t3633,t3632,t3631,t3630,t3629,t3628,t3627,t3483,t3482,t3481,t3483,t3482,t3481,t3483,t3482,t3481,t3483,t3482,t3481,t3483,t3482,t3481,t3483,t3482,t3481,t3483,t3482,t3481,t3636,t3635,t3634,t3633,t3632,t3631,t3630,t3629,t3628,t3627,t3636,t3635,t3634,t3633,t3632,t3631,t3630,t3629,t3628,t3627,t3636,t3635,t3634,t3633,t3632,t3631,t3630,t3629,t3628,t3627,t3636,t3635,t3634,t3633,t3632,t3631,t3630,t3629,t3628,t3627,t3483,t3482,t3481,t3483,t3482,t3481,t3636,t3635,t3634,t3633,t3632,t3631,t3630,t3629,t3628,t3627,t3636,t3635,t3634,t3633,t3632,t3631,t3630,t3629,t3628,t3627,t3636,t3635,t3634,t3633,t3632,t3631,t3630,t3629,t3628,t3627,t3636,t3635,t3634,t3633,t3632,t3631,t3630,t3629,t3628,t3627,t3483,t3482,t3481,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t4695,t4695,t4695,t4692,t4692,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5029,t5029,t5029,t5029,t5029,t5029,t5029,t5029,t5029,t5026,t5026,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5003,t5003,t5003,t5003,t5003,t5003,t5003,t5003,t5003,t5000,t5000,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t4779,t4779,t4779,t4776,t4776,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t4765,t4765,t4765,t4762,t4762,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5224,t5224,t5224,t5224,t5224,t5224,t5224,t5224,t5224,t5221,t5221,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t4625,t4625,t4625,t4622,t4622,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t3624,t3624,t3614,t3614,t3614,t3614,t3614,t3614,t3614,t3614,t3614,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t4520,t4520,t4520,t4510,t4510,t4510,t4510,t4510,t4510,t4510,t4510,t4510,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t4667,t4667,t4667,t4664,t4664,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5328,t5328,t5328,t5328,t5328,t5328,t5328,t5328,t5328,t5325,t5325,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t3936,t3936,t3926,t3926,t3926,t3926,t3926,t3926,t3926,t3926,t3926,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t3767,t3767,t3757,t3757,t3757,t3757,t3757,t3757,t3757,t3757,t3757,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t4800,t4800,t4800,t4797,t4797,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t4128,t4128,t4128,t4118,t4118,t4118,t4118,t4118,t4118,t4118,t4118,t4118,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t4100,t4100,t4100,t4090,t4090,t4090,t4090,t4090,t4090,t4090,t4090,t4090,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t3611,t3611,t3601,t3601,t3601,t3601,t3601,t3601,t3601,t3601,t3601,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t3780,t3780,t3770,t3770,t3770,t3770,t3770,t3770,t3770,t3770,t3770,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t4506,t4506,t4506,t4496,t4496,t4496,t4496,t4496,t4496,t4496,t4496,t4496,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t4352,t4352,t4352,t4342,t4342,t4342,t4342,t4342,t4342,t4342,t4342,t4342,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t3481,t3481,t3471,t3471,t3471,t3471,t3471,t3471,t3471,t3471,t3471,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 156 events :t3509,t3508,t3507,t3509,t3508,t3507,t3509,t3508,t3507,t3509,t3508,t3507,t3870,t3869,t3868,t3867,t3866,t3865,t3864,t3863,t3862,t3861,t3870,t3869,t3868,t3867,t3866,t3865,t3864,t3863,t3862,t3861,t3870,t3869,t3868,t3867,t3866,t3865,t3864,t3863,t3862,t3861,t3870,t3869,t3868,t3867,t3866,t3865,t3864,t3863,t3862,t3861,t3509,t3508,t3507,t3509,t3508,t3507,t3509,t3508,t3507,t3509,t3508,t3507,t3509,t3508,t3507,t3870,t3869,t3868,t3867,t3866,t3865,t3864,t3863,t3862,t3861,t3870,t3869,t3868,t3867,t3866,t3865,t3864,t3863,t3862,t3861,t3870,t3869,t3868,t3867,t3866,t3865,t3864,t3863,t3862,t3861,t3870,t3869,t3868,t3867,t3866,t3865,t3864,t3863,t3862,t3861,t3870,t3869,t3868,t3867,t3866,t3865,t3864,t3863,t3862,t3861,t3870,t3869,t3868,t3867,t3866,t3865,t3864,t3863,t3862,t3861,t3870,t3869,t3868,t3867,t3866,t3865,t3864,t3863,t3862,t3861,t3870,t3869,t3868,t3867,t3866,t3865,t3864,t3863,t3862,t3861,t3509,t3508,t3507,t3509,t3508,t3507,t3509,t3508,t3507,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t4030,t4030,t4030,t4020,t4020,t4020,t4020,t4020,t4020,t4020,t4020,t4020,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t4618,t4618,t4618,t4615,t4615,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5250,t5250,t5250,t5250,t5250,t5250,t5250,t5250,t5250,t5247,t5247,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 156 events :t3457,t3456,t3455,t3457,t3456,t3455,t3457,t3456,t3455,t3457,t3456,t3455,t3935,t3934,t3933,t3932,t3931,t3930,t3929,t3928,t3927,t3926,t3935,t3934,t3933,t3932,t3931,t3930,t3929,t3928,t3927,t3926,t3935,t3934,t3933,t3932,t3931,t3930,t3929,t3928,t3927,t3926,t3935,t3934,t3933,t3932,t3931,t3930,t3929,t3928,t3927,t3926,t3935,t3934,t3933,t3932,t3931,t3930,t3929,t3928,t3927,t3926,t3457,t3456,t3455,t3457,t3456,t3455,t3457,t3456,t3455,t3457,t3456,t3455,t3935,t3934,t3933,t3932,t3931,t3930,t3929,t3928,t3927,t3926,t3935,t3934,t3933,t3932,t3931,t3930,t3929,t3928,t3927,t3926,t3935,t3934,t3933,t3932,t3931,t3930,t3929,t3928,t3927,t3926,t3935,t3934,t3933,t3932,t3931,t3930,t3929,t3928,t3927,t3926,t3935,t3934,t3933,t3932,t3931,t3930,t3929,t3928,t3927,t3926,t3935,t3934,t3933,t3932,t3931,t3930,t3929,t3928,t3927,t3926,t3935,t3934,t3933,t3932,t3931,t3930,t3929,t3928,t3927,t3926,t3457,t3456,t3455,t3457,t3456,t3455,t3457,t3456,t3455,t3457,t3456,t3455,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t4478,t4478,t4478,t4468,t4468,t4468,t4468,t4468,t4468,t4468,t4468,t4468,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t4562,t4562,t4562,t4559,t4559,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5211,t5211,t5211,t5211,t5211,t5211,t5211,t5211,t5211,t5208,t5208,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5094,t5094,t5094,t5094,t5094,t5094,t5094,t5094,t5094,t5091,t5091,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t4583,t4583,t4583,t4580,t4580,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t4899,t4899,t4899,t4899,t4899,t4899,t4899,t4899,t4899,t4896,t4896,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t4660,t4660,t4660,t4657,t4657,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t3494,t3494,t3484,t3484,t3484,t3484,t3484,t3484,t3484,t3484,t3484,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5172,t5172,t5172,t5172,t5172,t5172,t5172,t5172,t5172,t5169,t5169,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5068,t5068,t5068,t5068,t5068,t5068,t5068,t5068,t5068,t5065,t5065,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t4408,t4408,t4408,t4398,t4398,t4398,t4398,t4398,t4398,t4398,t4398,t4398,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t3520,t3520,t3510,t3510,t3510,t3510,t3510,t3510,t3510,t3510,t3510,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t3741,t3741,t3731,t3731,t3731,t3731,t3731,t3731,t3731,t3731,t3731,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 156 events :t3431,t3430,t3429,t3431,t3430,t3429,t3701,t3700,t3699,t3698,t3697,t3696,t3695,t3694,t3693,t3692,t3701,t3700,t3699,t3698,t3697,t3696,t3695,t3694,t3693,t3692,t3701,t3700,t3699,t3698,t3697,t3696,t3695,t3694,t3693,t3692,t3701,t3700,t3699,t3698,t3697,t3696,t3695,t3694,t3693,t3692,t3701,t3700,t3699,t3698,t3697,t3696,t3695,t3694,t3693,t3692,t3431,t3430,t3429,t3431,t3430,t3429,t3431,t3430,t3429,t3431,t3430,t3429,t3431,t3430,t3429,t3431,t3430,t3429,t3701,t3700,t3699,t3698,t3697,t3696,t3695,t3694,t3693,t3692,t3701,t3700,t3699,t3698,t3697,t3696,t3695,t3694,t3693,t3692,t3701,t3700,t3699,t3698,t3697,t3696,t3695,t3694,t3693,t3692,t3701,t3700,t3699,t3698,t3697,t3696,t3695,t3694,t3693,t3692,t3431,t3430,t3429,t3431,t3430,t3429,t3701,t3700,t3699,t3698,t3697,t3696,t3695,t3694,t3693,t3692,t3701,t3700,t3699,t3698,t3697,t3696,t3695,t3694,t3693,t3692,t3701,t3700,t3699,t3698,t3697,t3696,t3695,t3694,t3693,t3692,t3431,t3430,t3429,t3431,t3430,t3429,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t4653,t4653,t4653,t4650,t4650,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5198,t5198,t5198,t5198,t5198,t5198,t5198,t5198,t5198,t5195,t5195,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t3754,t3754,t3744,t3744,t3744,t3744,t3744,t3744,t3744,t3744,t3744,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t4002,t4002,t4002,t3992,t3992,t3992,t3992,t3992,t3992,t3992,t3992,t3992,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 156 events :t3467,t3466,t3465,t3464,t3463,t3462,t3461,t3460,t3459,t3458,t3467,t3466,t3465,t3464,t3463,t3462,t3461,t3460,t3459,t3458,t3467,t3466,t3465,t3464,t3463,t3462,t3461,t3460,t3459,t3458,t3467,t3466,t3465,t3464,t3463,t3462,t3461,t3460,t3459,t3458,t3467,t3466,t3465,t3464,t3463,t3462,t3461,t3460,t3459,t3458,t3405,t3404,t3403,t3405,t3404,t3403,t3405,t3404,t3403,t3405,t3404,t3403,t3405,t3404,t3403,t3405,t3404,t3403,t3405,t3404,t3403,t3405,t3404,t3403,t3467,t3466,t3465,t3464,t3463,t3462,t3461,t3460,t3459,t3458,t3467,t3466,t3465,t3464,t3463,t3462,t3461,t3460,t3459,t3458,t3467,t3466,t3465,t3464,t3463,t3462,t3461,t3460,t3459,t3458,t3467,t3466,t3465,t3464,t3463,t3462,t3461,t3460,t3459,t3458,t3405,t3404,t3403,t3405,t3404,t3403,t3405,t3404,t3403,t3405,t3404,t3403,t3467,t3466,t3465,t3464,t3463,t3462,t3461,t3460,t3459,t3458,t3467,t3466,t3465,t3464,t3463,t3462,t3461,t3460,t3459,t3458,t3467,t3466,t3465,t3464,t3463,t3462,t3461,t3460,t3459,t3458,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t4646,t4646,t4646,t4643,t4643,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5263,t5263,t5263,t5263,t5263,t5263,t5263,t5263,t5263,t5260,t5260,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t3910,t3910,t3900,t3900,t3900,t3900,t3900,t3900,t3900,t3900,t3900,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t4793,t4793,t4793,t4790,t4790,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5341,t5341,t5341,t5341,t5341,t5341,t5341,t5341,t5341,t5338,t5338,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t4184,t4184,t4184,t4174,t4174,t4174,t4174,t4174,t4174,t4174,t4174,t4174,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5120,t5120,t5120,t5120,t5120,t5120,t5120,t5120,t5120,t5117,t5117,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t4674,t4674,t4674,t4671,t4671,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t3962,t3962,t3952,t3952,t3952,t3952,t3952,t3952,t3952,t3952,t3952,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5016,t5016,t5016,t5016,t5016,t5016,t5016,t5016,t5016,t5013,t5013,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t4597,t4597,t4597,t4594,t4594,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t3923,t3923,t3913,t3913,t3913,t3913,t3913,t3913,t3913,t3913,t3913,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 156 events :t3496,t3495,t3494,t3496,t3495,t3494,t3496,t3495,t3494,t3753,t3752,t3751,t3750,t3749,t3748,t3747,t3746,t3745,t3744,t3753,t3752,t3751,t3750,t3749,t3748,t3747,t3746,t3745,t3744,t3753,t3752,t3751,t3750,t3749,t3748,t3747,t3746,t3745,t3744,t3753,t3752,t3751,t3750,t3749,t3748,t3747,t3746,t3745,t3744,t3496,t3495,t3494,t3496,t3495,t3494,t3496,t3495,t3494,t3496,t3495,t3494,t3496,t3495,t3494,t3496,t3495,t3494,t3753,t3752,t3751,t3750,t3749,t3748,t3747,t3746,t3745,t3744,t3753,t3752,t3751,t3750,t3749,t3748,t3747,t3746,t3745,t3744,t3753,t3752,t3751,t3750,t3749,t3748,t3747,t3746,t3745,t3744,t3753,t3752,t3751,t3750,t3749,t3748,t3747,t3746,t3745,t3744,t3496,t3495,t3494,t3753,t3752,t3751,t3750,t3749,t3748,t3747,t3746,t3745,t3744,t3753,t3752,t3751,t3750,t3749,t3748,t3747,t3746,t3745,t3744,t3753,t3752,t3751,t3750,t3749,t3748,t3747,t3746,t3745,t3744,t3753,t3752,t3751,t3750,t3749,t3748,t3747,t3746,t3745,t3744,t3496,t3495,t3494,t3496,t3495,t3494,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t4072,t4072,t4072,t4062,t4062,t4062,t4062,t4062,t4062,t4062,t4062,t4062,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t3559,t3559,t3549,t3549,t3549,t3549,t3549,t3549,t3549,t3549,t3549,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t3442,t3442,t3432,t3432,t3432,t3432,t3432,t3432,t3432,t3432,t3432,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5185,t5185,t5185,t5185,t5185,t5185,t5185,t5185,t5185,t5182,t5182,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t4590,t4590,t4590,t4587,t4587,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t4212,t4212,t4212,t4202,t4202,t4202,t4202,t4202,t4202,t4202,t4202,t4202,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5380,t5380,t5380,t5380,t5380,t5380,t5380,t5380,t5380,t5377,t5377,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 156 events :t3402,t3401,t3400,t3399,t3398,t3397,t3396,t3395,t3394,t3393,t3402,t3401,t3400,t3399,t3398,t3397,t3396,t3395,t3394,t3393,t3402,t3401,t3400,t3399,t3398,t3397,t3396,t3395,t3394,t3393,t3402,t3401,t3400,t3399,t3398,t3397,t3396,t3395,t3394,t3393,t3522,t3521,t3520,t3522,t3521,t3520,t3522,t3521,t3520,t3522,t3521,t3520,t3522,t3521,t3520,t3522,t3521,t3520,t3522,t3521,t3520,t3522,t3521,t3520,t3522,t3521,t3520,t3402,t3401,t3400,t3399,t3398,t3397,t3396,t3395,t3394,t3393,t3402,t3401,t3400,t3399,t3398,t3397,t3396,t3395,t3394,t3393,t3402,t3401,t3400,t3399,t3398,t3397,t3396,t3395,t3394,t3393,t3402,t3401,t3400,t3399,t3398,t3397,t3396,t3395,t3394,t3393,t3522,t3521,t3520,t3522,t3521,t3520,t3522,t3521,t3520,t3402,t3401,t3400,t3399,t3398,t3397,t3396,t3395,t3394,t3393,t3402,t3401,t3400,t3399,t3398,t3397,t3396,t3395,t3394,t3393,t3402,t3401,t3400,t3399,t3398,t3397,t3396,t3395,t3394,t3393,t3402,t3401,t3400,t3399,t3398,t3397,t3396,t3395,t3394,t3393,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t4847,t4847,t4847,t4847,t4847,t4847,t4847,t4847,t4847,t4844,t4844,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t4464,t4464,t4464,t4454,t4454,t4454,t4454,t4454,t4454,t4454,t4454,t4454,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t4380,t4380,t4380,t4370,t4370,t4370,t4370,t4370,t4370,t4370,t4370,t4370,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t4338,t4338,t4338,t4328,t4328,t4328,t4328,t4328,t4328,t4328,t4328,t4328,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 72 events :t4541,t4540,t4539,t4538,t4541,t4540,t4539,t4538,t4541,t4540,t4539,t4538,t4541,t4540,t4539,t4538,t4541,t4540,t4539,t4538,t4541,t4540,t4539,t4538,t4541,t4540,t4539,t4538,t4541,t4540,t4539,t4538,t4541,t4540,t4539,t4538,t4033,t4032,t4031,t4030,t4033,t4032,t4031,t4030,t4033,t4032,t4031,t4030,t4033,t4032,t4031,t4030,t4033,t4032,t4031,t4030,t4033,t4032,t4031,t4030,t4033,t4032,t4031,t4030,t4033,t4032,t4031,t4030,t4033,t4032,t4031,t4030,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t3663,t3663,t3653,t3653,t3653,t3653,t3653,t3653,t3653,t3653,t3653,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t4925,t4925,t4925,t4925,t4925,t4925,t4925,t4925,t4925,t4922,t4922,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t4977,t4977,t4977,t4977,t4977,t4977,t4977,t4977,t4977,t4974,t4974,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t4604,t4604,t4604,t4601,t4601,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5276,t5276,t5276,t5276,t5276,t5276,t5276,t5276,t5276,t5273,t5273,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t4814,t4814,t4814,t4811,t4811,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t4016,t4016,t4016,t4006,t4006,t4006,t4006,t4006,t4006,t4006,t4006,t4006,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t4632,t4632,t4632,t4629,t4629,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t3455,t3455,t3445,t3445,t3445,t3445,t3445,t3445,t3445,t3445,t3445,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5237,t5237,t5237,t5237,t5237,t5237,t5237,t5237,t5237,t5234,t5234,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t3650,t3650,t3640,t3640,t3640,t3640,t3640,t3640,t3640,t3640,t3640,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t4058,t4058,t4058,t4048,t4048,t4048,t4048,t4048,t4048,t4048,t4048,t4048,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t4555,t4555,t4555,t4552,t4552,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t3832,t3832,t3822,t3822,t3822,t3822,t3822,t3822,t3822,t3822,t3822,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t4786,t4786,t4786,t4783,t4783,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t4990,t4990,t4990,t4990,t4990,t4990,t4990,t4990,t4990,t4987,t4987,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t4964,t4964,t4964,t4964,t4964,t4964,t4964,t4964,t4964,t4961,t4961,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t4170,t4170,t4170,t4160,t4160,t4160,t4160,t4160,t4160,t4160,t4160,t4160,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t4716,t4716,t4716,t4713,t4713,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t4366,t4366,t4366,t4356,t4356,t4356,t4356,t4356,t4356,t4356,t4356,t4356,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5133,t5133,t5133,t5133,t5133,t5133,t5133,t5133,t5133,t5130,t5130,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t4860,t4860,t4860,t4860,t4860,t4860,t4860,t4860,t4860,t4857,t4857,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t3975,t3975,t3965,t3965,t3965,t3965,t3965,t3965,t3965,t3965,t3965,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t3897,t3897,t3887,t3887,t3887,t3887,t3887,t3887,t3887,t3887,t3887,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t4702,t4702,t4702,t4699,t4699,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t3845,t3845,t3835,t3835,t3835,t3835,t3835,t3835,t3835,t3835,t3835,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 72 events :t4565,t4564,t4563,t4562,t4565,t4564,t4563,t4562,t4565,t4564,t4563,t4562,t4565,t4564,t4563,t4562,t4565,t4564,t4563,t4562,t4565,t4564,t4563,t4562,t4565,t4564,t4563,t4562,t4565,t4564,t4563,t4562,t4565,t4564,t4563,t4562,t3991,t3990,t3989,t3988,t3991,t3990,t3989,t3988,t3991,t3990,t3989,t3988,t3991,t3990,t3989,t3988,t3991,t3990,t3989,t3988,t3991,t3990,t3989,t3988,t3991,t3990,t3989,t3988,t3991,t3990,t3989,t3988,t3991,t3990,t3989,t3988,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t4534,t4534,t4534,t4524,t4524,t4524,t4524,t4524,t4524,t4524,t4524,t4524,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t3858,t3858,t3848,t3848,t3848,t3848,t3848,t3848,t3848,t3848,t3848,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t4436,t4436,t4436,t4426,t4426,t4426,t4426,t4426,t4426,t4426,t4426,t4426,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t3585,t3585,t3575,t3575,t3575,t3575,t3575,t3575,t3575,t3575,t3575,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t4422,t4422,t4422,t4412,t4412,t4412,t4412,t4412,t4412,t4412,t4412,t4412,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t4450,t4450,t4450,t4440,t4440,t4440,t4440,t4440,t4440,t4440,t4440,t4440,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t4044,t4044,t4044,t4034,t4034,t4034,t4034,t4034,t4034,t4034,t4034,t4034,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t4886,t4886,t4886,t4886,t4886,t4886,t4886,t4886,t4886,t4883,t4883,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t3546,t3546,t3536,t3536,t3536,t3536,t3536,t3536,t3536,t3536,t3536,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t3988,t3988,t3988,t3978,t3978,t3978,t3978,t3978,t3978,t3978,t3978,t3978,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t4324,t4324,t4324,t4314,t4314,t4314,t4314,t4314,t4314,t4314,t4314,t4314,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5159,t5159,t5159,t5159,t5159,t5159,t5159,t5159,t5159,t5156,t5156,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t4834,t4834,t4834,t4834,t4834,t4834,t4834,t4834,t4834,t4831,t4831,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t3507,t3507,t3497,t3497,t3497,t3497,t3497,t3497,t3497,t3497,t3497,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t3572,t3572,t3562,t3562,t3562,t3562,t3562,t3562,t3562,t3562,t3562,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t3884,t3884,t3874,t3874,t3874,t3874,t3874,t3874,t3874,t3874,t3874,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5315,t5315,t5315,t5315,t5315,t5315,t5315,t5315,t5315,t5312,t5312,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t4086,t4086,t4086,t4076,t4076,t4076,t4076,t4076,t4076,t4076,t4076,t4076,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t4492,t4492,t4492,t4482,t4482,t4482,t4482,t4482,t4482,t4482,t4482,t4482,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t3403,t3403,t3393,t3393,t3393,t3393,t3393,t3393,t3393,t3393,t3393,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t4709,t4709,t4709,t4706,t4706,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t4542,t4542,t4538,t4538,t4538,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t4114,t4114,t4114,t4104,t4104,t4104,t4104,t4104,t4104,t4104,t4104,t4104,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 156 events :t3444,t3443,t3442,t3444,t3443,t3442,t3444,t3443,t3442,t3818,t3817,t3816,t3815,t3814,t3813,t3812,t3811,t3810,t3809,t3818,t3817,t3816,t3815,t3814,t3813,t3812,t3811,t3810,t3809,t3818,t3817,t3816,t3815,t3814,t3813,t3812,t3811,t3810,t3809,t3818,t3817,t3816,t3815,t3814,t3813,t3812,t3811,t3810,t3809,t3818,t3817,t3816,t3815,t3814,t3813,t3812,t3811,t3810,t3809,t3444,t3443,t3442,t3444,t3443,t3442,t3444,t3443,t3442,t3444,t3443,t3442,t3444,t3443,t3442,t3818,t3817,t3816,t3815,t3814,t3813,t3812,t3811,t3810,t3809,t3818,t3817,t3816,t3815,t3814,t3813,t3812,t3811,t3810,t3809,t3818,t3817,t3816,t3815,t3814,t3813,t3812,t3811,t3810,t3809,t3818,t3817,t3816,t3815,t3814,t3813,t3812,t3811,t3810,t3809,t3444,t3443,t3442,t3818,t3817,t3816,t3815,t3814,t3813,t3812,t3811,t3810,t3809,t3818,t3817,t3816,t3815,t3814,t3813,t3812,t3811,t3810,t3809,t3818,t3817,t3816,t3815,t3814,t3813,t3812,t3811,t3810,t3809,t3444,t3443,t3442,t3444,t3443,t3442,t3444,t3443,t3442,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t3806,t3806,t3796,t3796,t3796,t3796,t3796,t3796,t3796,t3796,t3796,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t3637,t3637,t3627,t3627,t3627,t3627,t3627,t3627,t3627,t3627,t3627,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t3676,t3676,t3666,t3666,t3666,t3666,t3666,t3666,t3666,t3666,t3666,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t3819,t3819,t3809,t3809,t3809,t3809,t3809,t3809,t3809,t3809,t3809,
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.Instantiator fuseIsomorphicEffects
INFO: Removed a total of 3518 redundant transitions.
Mar 24, 2019 4:21:42 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 727 ms
Mar 24, 2019 4:21:44 PM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/LTLFireability.pnml.gal : 227 ms
Mar 24, 2019 4:21:44 PM fr.lip6.move.serialization.SerializationUtil serializePropertiesForITSLTLTools
INFO: Time to serialize properties into /home/mcc/execution/LTLFireability.ltl : 20 ms
Mar 24, 2019 4:21:46 PM fr.lip6.move.gal.semantics.DeterministicNextBuilder getDeterministicNext
INFO: Input system was already deterministic with 5439 transitions.
Mar 24, 2019 4:21:46 PM fr.lip6.move.gal.gal2pins.Gal2PinsTransformerNext transform
INFO: Too many transitions (5439) to apply POR reductions. Disabling POR matrices.
Mar 24, 2019 4:21:47 PM fr.lip6.move.gal.gal2pins.Gal2PinsTransformerNext transform
INFO: Built C files in 2650ms conformant to PINS in folder :/home/mcc/execution
ITS-tools command line returned an error code 134
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="DLCround-PT-09b"
export BK_EXAMINATION="LTLFireability"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# 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-3954"
echo " Executing tool itstools"
echo " Input is DLCround-PT-09b, examination is LTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r052-oct2-155234409900430"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DLCround-PT-09b.tgz
mv DLCround-PT-09b execution
cd execution
if [ "LTLFireability" = "GlobalProperties" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
if [ "LTLFireability" = "UpperBounds" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "LTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "LTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
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 ;