About the Execution of ITS-Tools for CANInsertWithFailure-PT-090
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 10500.735 | 3600000.00 | 3863825.00 | 11906.90 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2022-input.r294-smll-165463872400073.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2022-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itstools
Input is CANInsertWithFailure-PT-090, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r294-smll-165463872400073
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 50M
-rw-r--r-- 1 mcc users 11K May 30 15:39 CTLCardinality.txt
-rw-r--r-- 1 mcc users 96K May 30 15:39 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.5K May 30 15:28 CTLFireability.txt
-rw-r--r-- 1 mcc users 62K May 30 15:28 CTLFireability.xml
-rw-r--r-- 1 mcc users 5.2K May 25 12:59 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K May 25 12:59 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.3K May 25 12:59 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K May 25 12:59 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 29 12:20 NewModel
-rw-r--r-- 1 mcc users 14K May 30 15:48 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 103K May 30 15:48 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 10K May 30 15:45 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 62K May 30 15:45 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K May 25 12:59 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K May 25 12:59 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 29 12:20 equiv_col
-rw-r--r-- 1 mcc users 4 May 29 12:20 instance
-rw-r--r-- 1 mcc users 6 May 29 12:20 iscolored
-rw-r--r-- 1 mcc users 49M May 29 12:20 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 CANInsertWithFailure-PT-090-CTLCardinality-00
FORMULA_NAME CANInsertWithFailure-PT-090-CTLCardinality-01
FORMULA_NAME CANInsertWithFailure-PT-090-CTLCardinality-02
FORMULA_NAME CANInsertWithFailure-PT-090-CTLCardinality-03
FORMULA_NAME CANInsertWithFailure-PT-090-CTLCardinality-04
FORMULA_NAME CANInsertWithFailure-PT-090-CTLCardinality-05
FORMULA_NAME CANInsertWithFailure-PT-090-CTLCardinality-06
FORMULA_NAME CANInsertWithFailure-PT-090-CTLCardinality-07
FORMULA_NAME CANInsertWithFailure-PT-090-CTLCardinality-08
FORMULA_NAME CANInsertWithFailure-PT-090-CTLCardinality-09
FORMULA_NAME CANInsertWithFailure-PT-090-CTLCardinality-10
FORMULA_NAME CANInsertWithFailure-PT-090-CTLCardinality-11
FORMULA_NAME CANInsertWithFailure-PT-090-CTLCardinality-12
FORMULA_NAME CANInsertWithFailure-PT-090-CTLCardinality-13
FORMULA_NAME CANInsertWithFailure-PT-090-CTLCardinality-14
FORMULA_NAME CANInsertWithFailure-PT-090-CTLCardinality-15
=== Now, execution of the tool begins
BK_START 1654742025681
Running Version 202205111006
[2022-06-09 02:33:47] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLCardinality, -spotpath, /home/mcc/BenchKit/bin//..//ltlfilt, -z3path, /home/mcc/BenchKit/bin//..//z3/bin/z3, -yices2path, /home/mcc/BenchKit/bin//..//yices/bin/yices, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2022-06-09 02:33:47] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2022-06-09 02:33:50] [INFO ] Load time of PNML (sax parser for PT used): 2141 ms
[2022-06-09 02:33:50] [INFO ] Transformed 17284 places.
[2022-06-09 02:33:50] [INFO ] Transformed 49140 transitions.
[2022-06-09 02:33:50] [INFO ] Parsed PT model containing 17284 places and 49140 transitions in 2577 ms.
Parsed 16 properties from file /home/mcc/execution/CTLCardinality.xml in 115 ms.
Support contains 194 out of 17284 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 17284/17284 places, 49140/49140 transitions.
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 1 place count 17283 transition count 49140
Applied a total of 1 rules in 12108 ms. Remains 17283 /17284 variables (removed 1) and now considering 49140/49140 (removed 0) transitions.
// Phase 1: matrix 49140 rows 17283 cols
[2022-06-09 02:34:23] [INFO ] Computed 92 place invariants in 20375 ms
[2022-06-09 02:34:27] [INFO ] Implicit Places using invariants in 23905 ms returned []
Implicit Place search using SMT only with invariants took 23951 ms to find 0 implicit places.
// Phase 1: matrix 49140 rows 17283 cols
[2022-06-09 02:34:46] [INFO ] Computed 92 place invariants in 19360 ms
[2022-06-09 02:34:49] [INFO ] Dead Transitions using invariants and state equation in 22215 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 17283/17284 places, 49140/49140 transitions.
Finished structural reductions, in 1 iterations. Remains : 17283/17284 places, 49140/49140 transitions.
Support contains 194 out of 17283 places after structural reductions.
[2022-06-09 02:34:52] [INFO ] Flatten gal took : 1996 ms
[2022-06-09 02:34:54] [INFO ] Flatten gal took : 1598 ms
[2022-06-09 02:34:56] [INFO ] Input system was already deterministic with 49140 transitions.
Incomplete random walk after 10000 steps, including 4 resets, run finished after 1742 ms. (steps per millisecond=5 ) properties (out of 108) seen :12
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 12 ms. (steps per millisecond=83 ) properties (out of 96) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 96) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 96) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 96) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 96) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 96) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 96) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 96) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 96) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 96) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 96) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 95) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 95) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 95) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 95) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 95) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 95) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 95) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 95) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 95) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 95) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 95) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 95) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 95) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 95) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 95) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 95) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 95) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 95) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 95) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 95) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 95) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 95) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 95) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 95) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 95) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 95) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 95) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 95) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 95) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 95) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 95) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 95) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 95) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 95) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 95) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 95) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 95) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 95) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 95) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 95) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 95) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 95) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 95) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 95) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 95) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 95) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 95) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 95) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 95) seen :0
Running SMT prover for 95 properties.
// Phase 1: matrix 49140 rows 17283 cols
[2022-06-09 02:35:18] [INFO ] Computed 92 place invariants in 18871 ms
[2022-06-09 02:35:43] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2022-06-09 02:35:43] [INFO ] After 25145ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 95 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 1 ms.
Support contains 171 out of 17283 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 17283/17283 places, 49140/49140 transitions.
Drop transitions removed 617 transitions
Trivial Post-agglo rules discarded 617 transitions
Performed 617 trivial Post agglomeration. Transition count delta: 617
Iterating post reduction 0 with 617 rules applied. Total rules applied 617 place count 17283 transition count 48523
Reduce places removed 617 places and 0 transitions.
Performed 6 Post agglomeration using F-continuation condition.Transition count delta: 6
Iterating post reduction 1 with 623 rules applied. Total rules applied 1240 place count 16666 transition count 48517
Reduce places removed 6 places and 0 transitions.
Iterating post reduction 2 with 6 rules applied. Total rules applied 1246 place count 16660 transition count 48517
Performed 7928 Post agglomeration using F-continuation condition.Transition count delta: 7928
Deduced a syphon composed of 7928 places in 32 ms
Reduce places removed 7928 places and 0 transitions.
Iterating global reduction 3 with 15856 rules applied. Total rules applied 17102 place count 8732 transition count 40589
Free-agglomeration rule (complex) applied 3 times.
Iterating global reduction 3 with 3 rules applied. Total rules applied 17105 place count 8732 transition count 40586
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 3 with 3 rules applied. Total rules applied 17108 place count 8729 transition count 40586
Partial Free-agglomeration rule applied 8194 times.
Drop transitions removed 8194 transitions
Iterating global reduction 4 with 8194 rules applied. Total rules applied 25302 place count 8729 transition count 40586
Applied a total of 25302 rules in 40676 ms. Remains 8729 /17283 variables (removed 8554) and now considering 40586/49140 (removed 8554) transitions.
Finished structural reductions, in 1 iterations. Remains : 8729/17283 places, 40586/49140 transitions.
Incomplete random walk after 10000 steps, including 18 resets, run finished after 1082 ms. (steps per millisecond=9 ) properties (out of 95) seen :14
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 81) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 81) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 81) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 81) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 81) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 81) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 81) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 81) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 81) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 81) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 81) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 81) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 81) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 81) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 81) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 81) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 81) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 81) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 81) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 81) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 81) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 81) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 81) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 81) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 81) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 81) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 81) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 81) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 81) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 81) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 81) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 81) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 81) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 81) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 81) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 81) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 81) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 81) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 81) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 81) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 81) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 81) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 81) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 81) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 81) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 81) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 81) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 81) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 81) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 81) seen :0
Running SMT prover for 81 properties.
[2022-06-09 02:36:25] [INFO ] Flow matrix only has 40512 transitions (discarded 74 similar events)
// Phase 1: matrix 40512 rows 8729 cols
[2022-06-09 02:36:30] [INFO ] Computed 92 place invariants in 4899 ms
[2022-06-09 02:36:53] [INFO ] After 22503ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:81
[2022-06-09 02:37:14] [INFO ] [Nat]Absence check using 90 positive place invariants in 233 ms returned sat
[2022-06-09 02:37:14] [INFO ] [Nat]Absence check using 90 positive and 2 generalized place invariants in 360 ms returned sat
[2022-06-09 02:37:18] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2022-06-09 02:37:18] [INFO ] After 25154ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :0 real:81
Fused 81 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 139 out of 8729 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 8729/8729 places, 40586/40586 transitions.
Performed 12 Post agglomeration using F-continuation condition.Transition count delta: 12
Deduced a syphon composed of 12 places in 17 ms
Reduce places removed 12 places and 0 transitions.
Iterating global reduction 0 with 24 rules applied. Total rules applied 24 place count 8717 transition count 40574
Free-agglomeration rule applied 1 times.
Iterating global reduction 0 with 1 rules applied. Total rules applied 25 place count 8717 transition count 40573
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 26 place count 8716 transition count 40573
Partial Free-agglomeration rule applied 21 times.
Drop transitions removed 21 transitions
Iterating global reduction 1 with 21 rules applied. Total rules applied 47 place count 8716 transition count 40573
Applied a total of 47 rules in 23402 ms. Remains 8716 /8729 variables (removed 13) and now considering 40573/40586 (removed 13) transitions.
Finished structural reductions, in 1 iterations. Remains : 8716/8729 places, 40573/40586 transitions.
[2022-06-09 02:37:43] [INFO ] Flatten gal took : 1127 ms
[2022-06-09 02:37:44] [INFO ] Flatten gal took : 1310 ms
[2022-06-09 02:37:46] [INFO ] Input system was already deterministic with 49140 transitions.
Computed a total of 362 stabilizing places and 630 stable transitions
Starting structural reductions in LTL mode, iteration 0 : 17283/17283 places, 49140/49140 transitions.
Applied a total of 0 rules in 10860 ms. Remains 17283 /17283 variables (removed 0) and now considering 49140/49140 (removed 0) transitions.
// Phase 1: matrix 49140 rows 17283 cols
[2022-06-09 02:38:18] [INFO ] Computed 92 place invariants in 20840 ms
[2022-06-09 02:38:21] [INFO ] Implicit Places using invariants in 23395 ms returned []
Implicit Place search using SMT only with invariants took 23397 ms to find 0 implicit places.
// Phase 1: matrix 49140 rows 17283 cols
[2022-06-09 02:38:39] [INFO ] Computed 92 place invariants in 18278 ms
[2022-06-09 02:38:41] [INFO ] Dead Transitions using invariants and state equation in 20837 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 17283/17283 places, 49140/49140 transitions.
[2022-06-09 02:38:43] [INFO ] Flatten gal took : 1417 ms
[2022-06-09 02:38:45] [INFO ] Flatten gal took : 1457 ms
[2022-06-09 02:38:46] [INFO ] Input system was already deterministic with 49140 transitions.
[2022-06-09 02:38:48] [INFO ] Flatten gal took : 1542 ms
[2022-06-09 02:38:49] [INFO ] Flatten gal took : 1199 ms
[2022-06-09 02:38:50] [INFO ] Time to serialize gal into /tmp/CTLCardinality16169336149666416628.gal : 501 ms
[2022-06-09 02:38:50] [INFO ] Time to serialize properties into /tmp/CTLCardinality11864723744112186671.ctl : 4 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality16169336149666416628.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality11864723744112186671.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...276
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-06-09 02:39:22] [INFO ] Flatten gal took : 1407 ms
[2022-06-09 02:39:22] [INFO ] Applying decomposition
[2022-06-09 02:39:23] [INFO ] Flatten gal took : 1254 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph12002127424949895016.txt' '-o' '/tmp/graph12002127424949895016.bin' '-w' '/tmp/graph12002127424949895016.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph12002127424949895016.bin' '-l' '-1' '-v' '-w' '/tmp/graph12002127424949895016.weights' '-q' '0' '-e' '0.001'
[2022-06-09 02:39:27] [INFO ] Decomposing Gal with order
[2022-06-09 02:39:28] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-09 02:39:39] [INFO ] Removed a total of 24347 redundant transitions.
[2022-06-09 02:39:40] [INFO ] Flatten gal took : 7404 ms
[2022-06-09 02:39:48] [INFO ] Fuse similar labels procedure discarded/fused a total of 15836 labels/synchronizations in 6964 ms.
[2022-06-09 02:39:54] [INFO ] Time to serialize gal into /tmp/CTLCardinality16386284803396643719.gal : 240 ms
[2022-06-09 02:39:54] [INFO ] Time to serialize properties into /tmp/CTLCardinality17948175369730664136.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality16386284803396643719.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality17948175369730664136.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...276
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 17283/17283 places, 49140/49140 transitions.
Applied a total of 0 rules in 11393 ms. Remains 17283 /17283 variables (removed 0) and now considering 49140/49140 (removed 0) transitions.
// Phase 1: matrix 49140 rows 17283 cols
[2022-06-09 02:40:56] [INFO ] Computed 92 place invariants in 20650 ms
[2022-06-09 02:40:58] [INFO ] Implicit Places using invariants in 23072 ms returned []
Implicit Place search using SMT only with invariants took 23073 ms to find 0 implicit places.
// Phase 1: matrix 49140 rows 17283 cols
[2022-06-09 02:41:18] [INFO ] Computed 92 place invariants in 19913 ms
[2022-06-09 02:41:21] [INFO ] Dead Transitions using invariants and state equation in 22354 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 17283/17283 places, 49140/49140 transitions.
[2022-06-09 02:41:22] [INFO ] Flatten gal took : 1325 ms
[2022-06-09 02:41:23] [INFO ] Flatten gal took : 1388 ms
[2022-06-09 02:41:25] [INFO ] Input system was already deterministic with 49140 transitions.
[2022-06-09 02:41:27] [INFO ] Flatten gal took : 1245 ms
[2022-06-09 02:41:28] [INFO ] Flatten gal took : 1251 ms
[2022-06-09 02:41:28] [INFO ] Time to serialize gal into /tmp/CTLCardinality3089517320633314609.gal : 146 ms
[2022-06-09 02:41:28] [INFO ] Time to serialize properties into /tmp/CTLCardinality16660627601798467187.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality3089517320633314609.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality16660627601798467187.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...275
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-06-09 02:42:00] [INFO ] Flatten gal took : 1274 ms
[2022-06-09 02:42:00] [INFO ] Applying decomposition
[2022-06-09 02:42:01] [INFO ] Flatten gal took : 1521 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph17653910389530468112.txt' '-o' '/tmp/graph17653910389530468112.bin' '-w' '/tmp/graph17653910389530468112.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph17653910389530468112.bin' '-l' '-1' '-v' '-w' '/tmp/graph17653910389530468112.weights' '-q' '0' '-e' '0.001'
[2022-06-09 02:42:04] [INFO ] Decomposing Gal with order
[2022-06-09 02:42:05] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-09 02:42:14] [INFO ] Removed a total of 24439 redundant transitions.
[2022-06-09 02:42:15] [INFO ] Flatten gal took : 6182 ms
[2022-06-09 02:42:23] [INFO ] Fuse similar labels procedure discarded/fused a total of 15672 labels/synchronizations in 6509 ms.
[2022-06-09 02:42:30] [INFO ] Time to serialize gal into /tmp/CTLCardinality9634084998815083679.gal : 196 ms
[2022-06-09 02:42:30] [INFO ] Time to serialize properties into /tmp/CTLCardinality2893099275485047931.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality9634084998815083679.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality2893099275485047931.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...274
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 17283/17283 places, 49140/49140 transitions.
Applied a total of 0 rules in 10377 ms. Remains 17283 /17283 variables (removed 0) and now considering 49140/49140 (removed 0) transitions.
// Phase 1: matrix 49140 rows 17283 cols
[2022-06-09 02:43:31] [INFO ] Computed 92 place invariants in 19863 ms
[2022-06-09 02:43:33] [INFO ] Implicit Places using invariants in 22159 ms returned []
Implicit Place search using SMT only with invariants took 22163 ms to find 0 implicit places.
// Phase 1: matrix 49140 rows 17283 cols
[2022-06-09 02:43:52] [INFO ] Computed 92 place invariants in 18947 ms
[2022-06-09 02:43:54] [INFO ] Dead Transitions using invariants and state equation in 21396 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 17283/17283 places, 49140/49140 transitions.
[2022-06-09 02:43:56] [INFO ] Flatten gal took : 1443 ms
[2022-06-09 02:43:58] [INFO ] Flatten gal took : 1531 ms
[2022-06-09 02:44:00] [INFO ] Input system was already deterministic with 49140 transitions.
[2022-06-09 02:44:01] [INFO ] Flatten gal took : 1249 ms
[2022-06-09 02:44:02] [INFO ] Flatten gal took : 1300 ms
[2022-06-09 02:44:03] [INFO ] Time to serialize gal into /tmp/CTLCardinality9671980135209406278.gal : 138 ms
[2022-06-09 02:44:03] [INFO ] Time to serialize properties into /tmp/CTLCardinality16531604623455764158.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality9671980135209406278.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality16531604623455764158.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...275
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-06-09 02:44:34] [INFO ] Flatten gal took : 1273 ms
[2022-06-09 02:44:34] [INFO ] Applying decomposition
[2022-06-09 02:44:35] [INFO ] Flatten gal took : 1242 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph7568659200389289760.txt' '-o' '/tmp/graph7568659200389289760.bin' '-w' '/tmp/graph7568659200389289760.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph7568659200389289760.bin' '-l' '-1' '-v' '-w' '/tmp/graph7568659200389289760.weights' '-q' '0' '-e' '0.001'
[2022-06-09 02:44:38] [INFO ] Decomposing Gal with order
[2022-06-09 02:44:39] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-09 02:44:48] [INFO ] Removed a total of 24371 redundant transitions.
[2022-06-09 02:44:49] [INFO ] Flatten gal took : 6315 ms
[2022-06-09 02:44:56] [INFO ] Fuse similar labels procedure discarded/fused a total of 15842 labels/synchronizations in 6347 ms.
[2022-06-09 02:45:01] [INFO ] Time to serialize gal into /tmp/CTLCardinality15839927520123444010.gal : 185 ms
[2022-06-09 02:45:01] [INFO ] Time to serialize properties into /tmp/CTLCardinality17052936534845704217.ctl : 3 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality15839927520123444010.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality17052936534845704217.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...276
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 17283/17283 places, 49140/49140 transitions.
Applied a total of 0 rules in 11472 ms. Remains 17283 /17283 variables (removed 0) and now considering 49140/49140 (removed 0) transitions.
// Phase 1: matrix 49140 rows 17283 cols
[2022-06-09 02:46:03] [INFO ] Computed 92 place invariants in 20304 ms
[2022-06-09 02:46:05] [INFO ] Implicit Places using invariants in 22626 ms returned []
Implicit Place search using SMT only with invariants took 22627 ms to find 0 implicit places.
// Phase 1: matrix 49140 rows 17283 cols
[2022-06-09 02:46:24] [INFO ] Computed 92 place invariants in 18700 ms
[2022-06-09 02:46:26] [INFO ] Dead Transitions using invariants and state equation in 21162 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 17283/17283 places, 49140/49140 transitions.
[2022-06-09 02:46:28] [INFO ] Flatten gal took : 1383 ms
[2022-06-09 02:46:29] [INFO ] Flatten gal took : 1209 ms
[2022-06-09 02:46:31] [INFO ] Input system was already deterministic with 49140 transitions.
[2022-06-09 02:46:33] [INFO ] Flatten gal took : 1198 ms
[2022-06-09 02:46:34] [INFO ] Flatten gal took : 1446 ms
[2022-06-09 02:46:34] [INFO ] Time to serialize gal into /tmp/CTLCardinality14462706625674439215.gal : 135 ms
[2022-06-09 02:46:34] [INFO ] Time to serialize properties into /tmp/CTLCardinality12334269620959039072.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality14462706625674439215.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality12334269620959039072.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...276
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-06-09 02:47:06] [INFO ] Flatten gal took : 1330 ms
[2022-06-09 02:47:06] [INFO ] Applying decomposition
[2022-06-09 02:47:07] [INFO ] Flatten gal took : 1278 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph13192277695744894155.txt' '-o' '/tmp/graph13192277695744894155.bin' '-w' '/tmp/graph13192277695744894155.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph13192277695744894155.bin' '-l' '-1' '-v' '-w' '/tmp/graph13192277695744894155.weights' '-q' '0' '-e' '0.001'
[2022-06-09 02:47:09] [INFO ] Decomposing Gal with order
[2022-06-09 02:47:11] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-09 02:47:20] [INFO ] Removed a total of 24363 redundant transitions.
[2022-06-09 02:47:20] [INFO ] Flatten gal took : 6038 ms
[2022-06-09 02:47:27] [INFO ] Fuse similar labels procedure discarded/fused a total of 15854 labels/synchronizations in 6079 ms.
[2022-06-09 02:47:32] [INFO ] Time to serialize gal into /tmp/CTLCardinality18393736640315695764.gal : 201 ms
[2022-06-09 02:47:32] [INFO ] Time to serialize properties into /tmp/CTLCardinality360865689495509302.ctl : 5 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality18393736640315695764.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality360865689495509302.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...274
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 17283/17283 places, 49140/49140 transitions.
Applied a total of 0 rules in 9904 ms. Remains 17283 /17283 variables (removed 0) and now considering 49140/49140 (removed 0) transitions.
// Phase 1: matrix 49140 rows 17283 cols
[2022-06-09 02:48:31] [INFO ] Computed 92 place invariants in 19297 ms
[2022-06-09 02:48:34] [INFO ] Implicit Places using invariants in 21673 ms returned []
Implicit Place search using SMT only with invariants took 21678 ms to find 0 implicit places.
// Phase 1: matrix 49140 rows 17283 cols
[2022-06-09 02:48:53] [INFO ] Computed 92 place invariants in 18808 ms
[2022-06-09 02:48:55] [INFO ] Dead Transitions using invariants and state equation in 20954 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 17283/17283 places, 49140/49140 transitions.
[2022-06-09 02:48:56] [INFO ] Flatten gal took : 1364 ms
[2022-06-09 02:48:58] [INFO ] Flatten gal took : 1353 ms
[2022-06-09 02:49:00] [INFO ] Input system was already deterministic with 49140 transitions.
[2022-06-09 02:49:01] [INFO ] Flatten gal took : 1506 ms
[2022-06-09 02:49:03] [INFO ] Flatten gal took : 1202 ms
[2022-06-09 02:49:03] [INFO ] Time to serialize gal into /tmp/CTLCardinality9994255566555619434.gal : 183 ms
[2022-06-09 02:49:03] [INFO ] Time to serialize properties into /tmp/CTLCardinality8474861629517299805.ctl : 2 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality9994255566555619434.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality8474861629517299805.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...274
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-06-09 02:49:34] [INFO ] Flatten gal took : 1223 ms
[2022-06-09 02:49:34] [INFO ] Applying decomposition
[2022-06-09 02:49:36] [INFO ] Flatten gal took : 1409 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph5566471667793039225.txt' '-o' '/tmp/graph5566471667793039225.bin' '-w' '/tmp/graph5566471667793039225.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph5566471667793039225.bin' '-l' '-1' '-v' '-w' '/tmp/graph5566471667793039225.weights' '-q' '0' '-e' '0.001'
[2022-06-09 02:49:38] [INFO ] Decomposing Gal with order
[2022-06-09 02:49:39] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-09 02:49:48] [INFO ] Removed a total of 24619 redundant transitions.
[2022-06-09 02:49:49] [INFO ] Flatten gal took : 6218 ms
[2022-06-09 02:49:56] [INFO ] Fuse similar labels procedure discarded/fused a total of 15846 labels/synchronizations in 6470 ms.
[2022-06-09 02:50:02] [INFO ] Time to serialize gal into /tmp/CTLCardinality10381846987206029644.gal : 235 ms
[2022-06-09 02:50:02] [INFO ] Time to serialize properties into /tmp/CTLCardinality16112781403286101162.ctl : 6 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality10381846987206029644.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality16112781403286101162.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...276
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 17283/17283 places, 49140/49140 transitions.
Applied a total of 0 rules in 10032 ms. Remains 17283 /17283 variables (removed 0) and now considering 49140/49140 (removed 0) transitions.
// Phase 1: matrix 49140 rows 17283 cols
[2022-06-09 02:51:02] [INFO ] Computed 92 place invariants in 19698 ms
[2022-06-09 02:51:04] [INFO ] Implicit Places using invariants in 22097 ms returned []
Implicit Place search using SMT only with invariants took 22098 ms to find 0 implicit places.
// Phase 1: matrix 49140 rows 17283 cols
[2022-06-09 02:51:24] [INFO ] Computed 92 place invariants in 20113 ms
[2022-06-09 02:51:26] [INFO ] Dead Transitions using invariants and state equation in 22361 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 17283/17283 places, 49140/49140 transitions.
[2022-06-09 02:51:28] [INFO ] Flatten gal took : 1582 ms
[2022-06-09 02:51:30] [INFO ] Flatten gal took : 1390 ms
[2022-06-09 02:51:32] [INFO ] Input system was already deterministic with 49140 transitions.
[2022-06-09 02:51:33] [INFO ] Flatten gal took : 1304 ms
[2022-06-09 02:51:35] [INFO ] Flatten gal took : 1373 ms
[2022-06-09 02:51:35] [INFO ] Time to serialize gal into /tmp/CTLCardinality10801247482041837695.gal : 149 ms
[2022-06-09 02:51:35] [INFO ] Time to serialize properties into /tmp/CTLCardinality9145391947587460793.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality10801247482041837695.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality9145391947587460793.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...275
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-06-09 02:52:06] [INFO ] Flatten gal took : 1250 ms
[2022-06-09 02:52:06] [INFO ] Applying decomposition
[2022-06-09 02:52:08] [INFO ] Flatten gal took : 1302 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph16742515584521111754.txt' '-o' '/tmp/graph16742515584521111754.bin' '-w' '/tmp/graph16742515584521111754.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph16742515584521111754.bin' '-l' '-1' '-v' '-w' '/tmp/graph16742515584521111754.weights' '-q' '0' '-e' '0.001'
[2022-06-09 02:52:10] [INFO ] Decomposing Gal with order
[2022-06-09 02:52:11] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-09 02:52:21] [INFO ] Removed a total of 24358 redundant transitions.
[2022-06-09 02:52:22] [INFO ] Flatten gal took : 6782 ms
[2022-06-09 02:52:29] [INFO ] Fuse similar labels procedure discarded/fused a total of 15844 labels/synchronizations in 6831 ms.
[2022-06-09 02:52:35] [INFO ] Time to serialize gal into /tmp/CTLCardinality13815060691633468673.gal : 190 ms
[2022-06-09 02:52:35] [INFO ] Time to serialize properties into /tmp/CTLCardinality1420740991990832938.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality13815060691633468673.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality1420740991990832938.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...275
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 17283/17283 places, 49140/49140 transitions.
Applied a total of 0 rules in 11178 ms. Remains 17283 /17283 variables (removed 0) and now considering 49140/49140 (removed 0) transitions.
// Phase 1: matrix 49140 rows 17283 cols
[2022-06-09 02:53:37] [INFO ] Computed 92 place invariants in 20670 ms
[2022-06-09 02:53:39] [INFO ] Implicit Places using invariants in 23347 ms returned []
Implicit Place search using SMT only with invariants took 23356 ms to find 0 implicit places.
// Phase 1: matrix 49140 rows 17283 cols
[2022-06-09 02:53:59] [INFO ] Computed 92 place invariants in 19806 ms
[2022-06-09 02:54:02] [INFO ] Dead Transitions using invariants and state equation in 22279 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 17283/17283 places, 49140/49140 transitions.
[2022-06-09 02:54:03] [INFO ] Flatten gal took : 1310 ms
[2022-06-09 02:54:04] [INFO ] Flatten gal took : 1323 ms
[2022-06-09 02:54:07] [INFO ] Input system was already deterministic with 49140 transitions.
[2022-06-09 02:54:09] [INFO ] Flatten gal took : 1373 ms
[2022-06-09 02:54:10] [INFO ] Flatten gal took : 1250 ms
[2022-06-09 02:54:10] [INFO ] Time to serialize gal into /tmp/CTLCardinality13327227738447104501.gal : 144 ms
[2022-06-09 02:54:10] [INFO ] Time to serialize properties into /tmp/CTLCardinality612134996814869677.ctl : 2 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality13327227738447104501.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality612134996814869677.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...274
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-06-09 02:54:42] [INFO ] Flatten gal took : 1652 ms
[2022-06-09 02:54:42] [INFO ] Applying decomposition
[2022-06-09 02:54:43] [INFO ] Flatten gal took : 1374 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph2846510097315877882.txt' '-o' '/tmp/graph2846510097315877882.bin' '-w' '/tmp/graph2846510097315877882.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph2846510097315877882.bin' '-l' '-1' '-v' '-w' '/tmp/graph2846510097315877882.weights' '-q' '0' '-e' '0.001'
[2022-06-09 02:54:46] [INFO ] Decomposing Gal with order
[2022-06-09 02:54:47] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-09 02:54:57] [INFO ] Removed a total of 24351 redundant transitions.
[2022-06-09 02:54:57] [INFO ] Flatten gal took : 6446 ms
[2022-06-09 02:55:04] [INFO ] Fuse similar labels procedure discarded/fused a total of 15839 labels/synchronizations in 6328 ms.
[2022-06-09 02:55:07] [INFO ] Time to serialize gal into /tmp/CTLCardinality6688117859253968030.gal : 194 ms
[2022-06-09 02:55:07] [INFO ] Time to serialize properties into /tmp/CTLCardinality14358351882817467312.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality6688117859253968030.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality14358351882817467312.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...275
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 17283/17283 places, 49140/49140 transitions.
Applied a total of 0 rules in 11543 ms. Remains 17283 /17283 variables (removed 0) and now considering 49140/49140 (removed 0) transitions.
// Phase 1: matrix 49140 rows 17283 cols
[2022-06-09 02:56:08] [INFO ] Computed 92 place invariants in 18870 ms
[2022-06-09 02:56:10] [INFO ] Implicit Places using invariants in 21402 ms returned []
Implicit Place search using SMT only with invariants took 21408 ms to find 0 implicit places.
// Phase 1: matrix 49140 rows 17283 cols
[2022-06-09 02:56:30] [INFO ] Computed 92 place invariants in 19193 ms
[2022-06-09 02:56:32] [INFO ] Dead Transitions using invariants and state equation in 21671 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 17283/17283 places, 49140/49140 transitions.
[2022-06-09 02:56:34] [INFO ] Flatten gal took : 1450 ms
[2022-06-09 02:56:35] [INFO ] Flatten gal took : 1559 ms
[2022-06-09 02:56:37] [INFO ] Input system was already deterministic with 49140 transitions.
[2022-06-09 02:56:39] [INFO ] Flatten gal took : 1366 ms
[2022-06-09 02:56:40] [INFO ] Flatten gal took : 1255 ms
[2022-06-09 02:56:40] [INFO ] Time to serialize gal into /tmp/CTLCardinality1418223992745591282.gal : 121 ms
[2022-06-09 02:56:40] [INFO ] Time to serialize properties into /tmp/CTLCardinality2960434103253686408.ctl : 3 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality1418223992745591282.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality2960434103253686408.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...274
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-06-09 02:57:12] [INFO ] Flatten gal took : 1537 ms
[2022-06-09 02:57:12] [INFO ] Applying decomposition
[2022-06-09 02:57:13] [INFO ] Flatten gal took : 1300 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph17920986930379743898.txt' '-o' '/tmp/graph17920986930379743898.bin' '-w' '/tmp/graph17920986930379743898.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph17920986930379743898.bin' '-l' '-1' '-v' '-w' '/tmp/graph17920986930379743898.weights' '-q' '0' '-e' '0.001'
[2022-06-09 02:57:16] [INFO ] Decomposing Gal with order
[2022-06-09 02:57:17] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-09 02:57:26] [INFO ] Removed a total of 24371 redundant transitions.
[2022-06-09 02:57:27] [INFO ] Flatten gal took : 6221 ms
[2022-06-09 02:57:34] [INFO ] Fuse similar labels procedure discarded/fused a total of 15845 labels/synchronizations in 6286 ms.
[2022-06-09 02:57:39] [INFO ] Time to serialize gal into /tmp/CTLCardinality15951405046069727407.gal : 179 ms
[2022-06-09 02:57:39] [INFO ] Time to serialize properties into /tmp/CTLCardinality16014789674324437895.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality15951405046069727407.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality16014789674324437895.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...276
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 17283/17283 places, 49140/49140 transitions.
Applied a total of 0 rules in 11796 ms. Remains 17283 /17283 variables (removed 0) and now considering 49140/49140 (removed 0) transitions.
// Phase 1: matrix 49140 rows 17283 cols
[2022-06-09 02:58:42] [INFO ] Computed 92 place invariants in 20527 ms
[2022-06-09 02:58:44] [INFO ] Implicit Places using invariants in 22979 ms returned []
Implicit Place search using SMT only with invariants took 22983 ms to find 0 implicit places.
// Phase 1: matrix 49140 rows 17283 cols
[2022-06-09 02:59:03] [INFO ] Computed 92 place invariants in 19448 ms
[2022-06-09 02:59:06] [INFO ] Dead Transitions using invariants and state equation in 21851 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 17283/17283 places, 49140/49140 transitions.
[2022-06-09 02:59:07] [INFO ] Flatten gal took : 1393 ms
[2022-06-09 02:59:09] [INFO ] Flatten gal took : 1303 ms
[2022-06-09 02:59:11] [INFO ] Input system was already deterministic with 49140 transitions.
[2022-06-09 02:59:12] [INFO ] Flatten gal took : 1245 ms
[2022-06-09 02:59:14] [INFO ] Flatten gal took : 1282 ms
[2022-06-09 02:59:14] [INFO ] Time to serialize gal into /tmp/CTLCardinality18315825815717122785.gal : 143 ms
[2022-06-09 02:59:14] [INFO ] Time to serialize properties into /tmp/CTLCardinality16019036387958479000.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality18315825815717122785.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality16019036387958479000.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...276
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-06-09 02:59:45] [INFO ] Flatten gal took : 1333 ms
[2022-06-09 02:59:45] [INFO ] Applying decomposition
[2022-06-09 02:59:46] [INFO ] Flatten gal took : 1255 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph527860140128388895.txt' '-o' '/tmp/graph527860140128388895.bin' '-w' '/tmp/graph527860140128388895.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph527860140128388895.bin' '-l' '-1' '-v' '-w' '/tmp/graph527860140128388895.weights' '-q' '0' '-e' '0.001'
[2022-06-09 02:59:49] [INFO ] Decomposing Gal with order
[2022-06-09 02:59:50] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-09 02:59:59] [INFO ] Removed a total of 24346 redundant transitions.
[2022-06-09 03:00:00] [INFO ] Flatten gal took : 6292 ms
[2022-06-09 03:00:07] [INFO ] Fuse similar labels procedure discarded/fused a total of 15886 labels/synchronizations in 6171 ms.
[2022-06-09 03:00:14] [INFO ] Time to serialize gal into /tmp/CTLCardinality11332887268080632873.gal : 185 ms
[2022-06-09 03:00:14] [INFO ] Time to serialize properties into /tmp/CTLCardinality11913693505944552150.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality11332887268080632873.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality11913693505944552150.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...276
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 17283/17283 places, 49140/49140 transitions.
Applied a total of 0 rules in 12641 ms. Remains 17283 /17283 variables (removed 0) and now considering 49140/49140 (removed 0) transitions.
// Phase 1: matrix 49140 rows 17283 cols
[2022-06-09 03:01:17] [INFO ] Computed 92 place invariants in 20440 ms
[2022-06-09 03:01:20] [INFO ] Implicit Places using invariants in 23006 ms returned []
Implicit Place search using SMT only with invariants took 23011 ms to find 0 implicit places.
// Phase 1: matrix 49140 rows 17283 cols
[2022-06-09 03:01:40] [INFO ] Computed 92 place invariants in 20326 ms
[2022-06-09 03:01:43] [INFO ] Dead Transitions using invariants and state equation in 22895 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 17283/17283 places, 49140/49140 transitions.
[2022-06-09 03:01:44] [INFO ] Flatten gal took : 1402 ms
[2022-06-09 03:01:46] [INFO ] Flatten gal took : 1312 ms
[2022-06-09 03:01:48] [INFO ] Input system was already deterministic with 49140 transitions.
[2022-06-09 03:01:49] [INFO ] Flatten gal took : 1215 ms
[2022-06-09 03:01:51] [INFO ] Flatten gal took : 1267 ms
[2022-06-09 03:01:51] [INFO ] Time to serialize gal into /tmp/CTLCardinality11089731520765898971.gal : 144 ms
[2022-06-09 03:01:51] [INFO ] Time to serialize properties into /tmp/CTLCardinality3340826220591372007.ctl : 3 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality11089731520765898971.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality3340826220591372007.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...275
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-06-09 03:02:22] [INFO ] Flatten gal took : 1325 ms
[2022-06-09 03:02:22] [INFO ] Applying decomposition
[2022-06-09 03:02:24] [INFO ] Flatten gal took : 1319 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph13126686244100267236.txt' '-o' '/tmp/graph13126686244100267236.bin' '-w' '/tmp/graph13126686244100267236.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph13126686244100267236.bin' '-l' '-1' '-v' '-w' '/tmp/graph13126686244100267236.weights' '-q' '0' '-e' '0.001'
[2022-06-09 03:02:26] [INFO ] Decomposing Gal with order
[2022-06-09 03:02:27] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-09 03:02:37] [INFO ] Removed a total of 24341 redundant transitions.
[2022-06-09 03:02:37] [INFO ] Flatten gal took : 6455 ms
[2022-06-09 03:02:45] [INFO ] Fuse similar labels procedure discarded/fused a total of 15845 labels/synchronizations in 6461 ms.
[2022-06-09 03:02:52] [INFO ] Time to serialize gal into /tmp/CTLCardinality2147455550077265528.gal : 187 ms
[2022-06-09 03:02:52] [INFO ] Time to serialize properties into /tmp/CTLCardinality12791008269895532898.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality2147455550077265528.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality12791008269895532898.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...275
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 17283/17283 places, 49140/49140 transitions.
Applied a total of 0 rules in 11282 ms. Remains 17283 /17283 variables (removed 0) and now considering 49140/49140 (removed 0) transitions.
// Phase 1: matrix 49140 rows 17283 cols
[2022-06-09 03:03:53] [INFO ] Computed 92 place invariants in 20173 ms
[2022-06-09 03:03:56] [INFO ] Implicit Places using invariants in 22587 ms returned []
Implicit Place search using SMT only with invariants took 22588 ms to find 0 implicit places.
// Phase 1: matrix 49140 rows 17283 cols
[2022-06-09 03:04:16] [INFO ] Computed 92 place invariants in 19832 ms
[2022-06-09 03:04:18] [INFO ] Dead Transitions using invariants and state equation in 22238 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 17283/17283 places, 49140/49140 transitions.
[2022-06-09 03:04:19] [INFO ] Flatten gal took : 1283 ms
[2022-06-09 03:04:21] [INFO ] Flatten gal took : 1315 ms
[2022-06-09 03:04:23] [INFO ] Input system was already deterministic with 49140 transitions.
[2022-06-09 03:04:24] [INFO ] Flatten gal took : 1244 ms
[2022-06-09 03:04:26] [INFO ] Flatten gal took : 1307 ms
[2022-06-09 03:04:26] [INFO ] Time to serialize gal into /tmp/CTLCardinality4889753766846293988.gal : 149 ms
[2022-06-09 03:04:26] [INFO ] Time to serialize properties into /tmp/CTLCardinality681826483041700153.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality4889753766846293988.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality681826483041700153.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...273
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-06-09 03:04:57] [INFO ] Flatten gal took : 1326 ms
[2022-06-09 03:04:57] [INFO ] Applying decomposition
[2022-06-09 03:04:58] [INFO ] Flatten gal took : 1363 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph16612487036055149366.txt' '-o' '/tmp/graph16612487036055149366.bin' '-w' '/tmp/graph16612487036055149366.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph16612487036055149366.bin' '-l' '-1' '-v' '-w' '/tmp/graph16612487036055149366.weights' '-q' '0' '-e' '0.001'
[2022-06-09 03:05:01] [INFO ] Decomposing Gal with order
[2022-06-09 03:05:02] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-09 03:05:11] [INFO ] Removed a total of 24351 redundant transitions.
[2022-06-09 03:05:12] [INFO ] Flatten gal took : 6056 ms
[2022-06-09 03:05:20] [INFO ] Fuse similar labels procedure discarded/fused a total of 33028 labels/synchronizations in 6829 ms.
[2022-06-09 03:05:20] [INFO ] Time to serialize gal into /tmp/CTLCardinality9160130208344678138.gal : 252 ms
[2022-06-09 03:05:20] [INFO ] Time to serialize properties into /tmp/CTLCardinality8509699256414244921.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality9160130208344678138.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality8509699256414244921.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...253
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 17283/17283 places, 49140/49140 transitions.
Applied a total of 0 rules in 11091 ms. Remains 17283 /17283 variables (removed 0) and now considering 49140/49140 (removed 0) transitions.
// Phase 1: matrix 49140 rows 17283 cols
[2022-06-09 03:06:20] [INFO ] Computed 92 place invariants in 18825 ms
[2022-06-09 03:06:22] [INFO ] Implicit Places using invariants in 21256 ms returned []
Implicit Place search using SMT only with invariants took 21258 ms to find 0 implicit places.
// Phase 1: matrix 49140 rows 17283 cols
[2022-06-09 03:06:42] [INFO ] Computed 92 place invariants in 19515 ms
[2022-06-09 03:06:44] [INFO ] Dead Transitions using invariants and state equation in 21825 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 17283/17283 places, 49140/49140 transitions.
[2022-06-09 03:06:46] [INFO ] Flatten gal took : 1663 ms
[2022-06-09 03:06:47] [INFO ] Flatten gal took : 1364 ms
[2022-06-09 03:06:49] [INFO ] Input system was already deterministic with 49140 transitions.
[2022-06-09 03:06:51] [INFO ] Flatten gal took : 1423 ms
[2022-06-09 03:06:52] [INFO ] Flatten gal took : 1254 ms
[2022-06-09 03:06:52] [INFO ] Time to serialize gal into /tmp/CTLCardinality6683556289705987226.gal : 153 ms
[2022-06-09 03:06:52] [INFO ] Time to serialize properties into /tmp/CTLCardinality16739539282490379644.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality6683556289705987226.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality16739539282490379644.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...275
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-06-09 03:07:24] [INFO ] Flatten gal took : 1352 ms
[2022-06-09 03:07:24] [INFO ] Applying decomposition
[2022-06-09 03:07:25] [INFO ] Flatten gal took : 1269 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph7513029123376795409.txt' '-o' '/tmp/graph7513029123376795409.bin' '-w' '/tmp/graph7513029123376795409.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph7513029123376795409.bin' '-l' '-1' '-v' '-w' '/tmp/graph7513029123376795409.weights' '-q' '0' '-e' '0.001'
[2022-06-09 03:07:28] [INFO ] Decomposing Gal with order
[2022-06-09 03:07:29] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-09 03:07:39] [INFO ] Removed a total of 24342 redundant transitions.
[2022-06-09 03:07:39] [INFO ] Flatten gal took : 6188 ms
[2022-06-09 03:07:46] [INFO ] Fuse similar labels procedure discarded/fused a total of 33554 labels/synchronizations in 6564 ms.
[2022-06-09 03:07:47] [INFO ] Time to serialize gal into /tmp/CTLCardinality18061867951669026574.gal : 196 ms
[2022-06-09 03:07:47] [INFO ] Time to serialize properties into /tmp/CTLCardinality8667528321225295013.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality18061867951669026574.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality8667528321225295013.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...254
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 17283/17283 places, 49140/49140 transitions.
Applied a total of 0 rules in 10401 ms. Remains 17283 /17283 variables (removed 0) and now considering 49140/49140 (removed 0) transitions.
// Phase 1: matrix 49140 rows 17283 cols
[2022-06-09 03:08:47] [INFO ] Computed 92 place invariants in 20273 ms
[2022-06-09 03:08:50] [INFO ] Implicit Places using invariants in 22869 ms returned []
Implicit Place search using SMT only with invariants took 22871 ms to find 0 implicit places.
// Phase 1: matrix 49140 rows 17283 cols
[2022-06-09 03:09:10] [INFO ] Computed 92 place invariants in 20095 ms
[2022-06-09 03:09:13] [INFO ] Dead Transitions using invariants and state equation in 22680 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 17283/17283 places, 49140/49140 transitions.
[2022-06-09 03:09:14] [INFO ] Flatten gal took : 1349 ms
[2022-06-09 03:09:16] [INFO ] Flatten gal took : 1423 ms
[2022-06-09 03:09:18] [INFO ] Input system was already deterministic with 49140 transitions.
[2022-06-09 03:09:20] [INFO ] Flatten gal took : 1285 ms
[2022-06-09 03:09:21] [INFO ] Flatten gal took : 1268 ms
[2022-06-09 03:09:21] [INFO ] Time to serialize gal into /tmp/CTLCardinality1057135833522678846.gal : 165 ms
[2022-06-09 03:09:21] [INFO ] Time to serialize properties into /tmp/CTLCardinality2652785077124090931.ctl : 4 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality1057135833522678846.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality2652785077124090931.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...274
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-06-09 03:09:52] [INFO ] Flatten gal took : 1309 ms
[2022-06-09 03:09:52] [INFO ] Applying decomposition
[2022-06-09 03:09:54] [INFO ] Flatten gal took : 1417 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph8963553260496134234.txt' '-o' '/tmp/graph8963553260496134234.bin' '-w' '/tmp/graph8963553260496134234.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph8963553260496134234.bin' '-l' '-1' '-v' '-w' '/tmp/graph8963553260496134234.weights' '-q' '0' '-e' '0.001'
[2022-06-09 03:09:56] [INFO ] Decomposing Gal with order
[2022-06-09 03:09:58] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-09 03:10:07] [INFO ] Removed a total of 24456 redundant transitions.
[2022-06-09 03:10:08] [INFO ] Flatten gal took : 6472 ms
[2022-06-09 03:10:16] [INFO ] Fuse similar labels procedure discarded/fused a total of 15666 labels/synchronizations in 6943 ms.
[2022-06-09 03:10:21] [INFO ] Time to serialize gal into /tmp/CTLCardinality12833290589156730517.gal : 193 ms
[2022-06-09 03:10:21] [INFO ] Time to serialize properties into /tmp/CTLCardinality3222410630718098832.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality12833290589156730517.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality3222410630718098832.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...275
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 17283/17283 places, 49140/49140 transitions.
Applied a total of 0 rules in 10504 ms. Remains 17283 /17283 variables (removed 0) and now considering 49140/49140 (removed 0) transitions.
// Phase 1: matrix 49140 rows 17283 cols
[2022-06-09 03:11:23] [INFO ] Computed 92 place invariants in 21702 ms
[2022-06-09 03:11:25] [INFO ] Implicit Places using invariants in 23923 ms returned []
Implicit Place search using SMT only with invariants took 23924 ms to find 0 implicit places.
// Phase 1: matrix 49140 rows 17283 cols
[2022-06-09 03:11:45] [INFO ] Computed 92 place invariants in 19846 ms
[2022-06-09 03:11:47] [INFO ] Dead Transitions using invariants and state equation in 22090 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 17283/17283 places, 49140/49140 transitions.
[2022-06-09 03:11:49] [INFO ] Flatten gal took : 1435 ms
[2022-06-09 03:11:50] [INFO ] Flatten gal took : 1373 ms
[2022-06-09 03:11:53] [INFO ] Input system was already deterministic with 49140 transitions.
[2022-06-09 03:11:54] [INFO ] Flatten gal took : 1343 ms
[2022-06-09 03:11:55] [INFO ] Flatten gal took : 1280 ms
[2022-06-09 03:11:56] [INFO ] Time to serialize gal into /tmp/CTLCardinality8404180617581581935.gal : 145 ms
[2022-06-09 03:11:56] [INFO ] Time to serialize properties into /tmp/CTLCardinality6861832790724480189.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality8404180617581581935.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality6861832790724480189.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...274
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-06-09 03:12:27] [INFO ] Flatten gal took : 1771 ms
[2022-06-09 03:12:27] [INFO ] Applying decomposition
[2022-06-09 03:12:29] [INFO ] Flatten gal took : 1720 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph13053283897781489004.txt' '-o' '/tmp/graph13053283897781489004.bin' '-w' '/tmp/graph13053283897781489004.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph13053283897781489004.bin' '-l' '-1' '-v' '-w' '/tmp/graph13053283897781489004.weights' '-q' '0' '-e' '0.001'
[2022-06-09 03:12:32] [INFO ] Decomposing Gal with order
[2022-06-09 03:12:33] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-09 03:12:43] [INFO ] Removed a total of 24402 redundant transitions.
[2022-06-09 03:12:44] [INFO ] Flatten gal took : 6494 ms
[2022-06-09 03:12:51] [INFO ] Fuse similar labels procedure discarded/fused a total of 15858 labels/synchronizations in 6374 ms.
[2022-06-09 03:12:56] [INFO ] Time to serialize gal into /tmp/CTLCardinality14863855698172850275.gal : 178 ms
[2022-06-09 03:12:56] [INFO ] Time to serialize properties into /tmp/CTLCardinality6633722450515865192.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality14863855698172850275.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality6633722450515865192.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...275
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 17283/17283 places, 49140/49140 transitions.
Applied a total of 0 rules in 12338 ms. Remains 17283 /17283 variables (removed 0) and now considering 49140/49140 (removed 0) transitions.
// Phase 1: matrix 49140 rows 17283 cols
[2022-06-09 03:13:59] [INFO ] Computed 92 place invariants in 20771 ms
[2022-06-09 03:14:01] [INFO ] Implicit Places using invariants in 23101 ms returned []
Implicit Place search using SMT only with invariants took 23105 ms to find 0 implicit places.
// Phase 1: matrix 49140 rows 17283 cols
[2022-06-09 03:14:21] [INFO ] Computed 92 place invariants in 19233 ms
[2022-06-09 03:14:23] [INFO ] Dead Transitions using invariants and state equation in 21690 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 17283/17283 places, 49140/49140 transitions.
[2022-06-09 03:14:24] [INFO ] Flatten gal took : 1144 ms
[2022-06-09 03:14:26] [INFO ] Flatten gal took : 1398 ms
[2022-06-09 03:14:28] [INFO ] Input system was already deterministic with 49140 transitions.
[2022-06-09 03:14:29] [INFO ] Flatten gal took : 1307 ms
[2022-06-09 03:14:31] [INFO ] Flatten gal took : 1314 ms
[2022-06-09 03:14:31] [INFO ] Time to serialize gal into /tmp/CTLCardinality759616078982591916.gal : 137 ms
[2022-06-09 03:14:31] [INFO ] Time to serialize properties into /tmp/CTLCardinality12334692563215396904.ctl : 5 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality759616078982591916.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality12334692563215396904.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...274
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-06-09 03:15:02] [INFO ] Flatten gal took : 1469 ms
[2022-06-09 03:15:02] [INFO ] Applying decomposition
[2022-06-09 03:15:04] [INFO ] Flatten gal took : 1322 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph2258068659016449123.txt' '-o' '/tmp/graph2258068659016449123.bin' '-w' '/tmp/graph2258068659016449123.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph2258068659016449123.bin' '-l' '-1' '-v' '-w' '/tmp/graph2258068659016449123.weights' '-q' '0' '-e' '0.001'
[2022-06-09 03:15:06] [INFO ] Decomposing Gal with order
[2022-06-09 03:15:07] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-09 03:15:17] [INFO ] Removed a total of 24354 redundant transitions.
[2022-06-09 03:15:18] [INFO ] Flatten gal took : 6275 ms
[2022-06-09 03:15:25] [INFO ] Fuse similar labels procedure discarded/fused a total of 15848 labels/synchronizations in 6385 ms.
[2022-06-09 03:15:30] [INFO ] Time to serialize gal into /tmp/CTLCardinality2157279283962690206.gal : 196 ms
[2022-06-09 03:15:30] [INFO ] Time to serialize properties into /tmp/CTLCardinality1199629013153323138.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality2157279283962690206.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality1199629013153323138.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...274
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 17283/17283 places, 49140/49140 transitions.
Applied a total of 0 rules in 10681 ms. Remains 17283 /17283 variables (removed 0) and now considering 49140/49140 (removed 0) transitions.
// Phase 1: matrix 49140 rows 17283 cols
[2022-06-09 03:16:29] [INFO ] Computed 92 place invariants in 18629 ms
[2022-06-09 03:16:32] [INFO ] Implicit Places using invariants in 21179 ms returned []
Implicit Place search using SMT only with invariants took 21181 ms to find 0 implicit places.
// Phase 1: matrix 49140 rows 17283 cols
[2022-06-09 03:16:51] [INFO ] Computed 92 place invariants in 19233 ms
[2022-06-09 03:16:53] [INFO ] Dead Transitions using invariants and state equation in 21522 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 17283/17283 places, 49140/49140 transitions.
[2022-06-09 03:16:55] [INFO ] Flatten gal took : 1561 ms
[2022-06-09 03:16:56] [INFO ] Flatten gal took : 1331 ms
[2022-06-09 03:16:59] [INFO ] Input system was already deterministic with 49140 transitions.
[2022-06-09 03:17:00] [INFO ] Flatten gal took : 1321 ms
[2022-06-09 03:17:01] [INFO ] Flatten gal took : 1350 ms
[2022-06-09 03:17:02] [INFO ] Time to serialize gal into /tmp/CTLCardinality1674864343424410594.gal : 160 ms
[2022-06-09 03:17:02] [INFO ] Time to serialize properties into /tmp/CTLCardinality6563550711838404309.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality1674864343424410594.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality6563550711838404309.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...274
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-06-09 03:17:33] [INFO ] Flatten gal took : 1325 ms
[2022-06-09 03:17:33] [INFO ] Applying decomposition
[2022-06-09 03:17:34] [INFO ] Flatten gal took : 1286 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph8925408208482223490.txt' '-o' '/tmp/graph8925408208482223490.bin' '-w' '/tmp/graph8925408208482223490.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph8925408208482223490.bin' '-l' '-1' '-v' '-w' '/tmp/graph8925408208482223490.weights' '-q' '0' '-e' '0.001'
[2022-06-09 03:17:37] [INFO ] Decomposing Gal with order
[2022-06-09 03:17:38] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-09 03:17:47] [INFO ] Removed a total of 24545 redundant transitions.
[2022-06-09 03:17:48] [INFO ] Flatten gal took : 6310 ms
[2022-06-09 03:17:56] [INFO ] Fuse similar labels procedure discarded/fused a total of 16014 labels/synchronizations in 6614 ms.
[2022-06-09 03:18:01] [INFO ] Time to serialize gal into /tmp/CTLCardinality587225150143194641.gal : 341 ms
[2022-06-09 03:18:01] [INFO ] Time to serialize properties into /tmp/CTLCardinality10832283142800365702.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality587225150143194641.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality10832283142800365702.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...274
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-06-09 03:18:33] [INFO ] Flatten gal took : 1476 ms
[2022-06-09 03:18:34] [INFO ] Flatten gal took : 1302 ms
[2022-06-09 03:18:35] [INFO ] Applying decomposition
[2022-06-09 03:18:36] [INFO ] Flatten gal took : 1346 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph16184967000674022262.txt' '-o' '/tmp/graph16184967000674022262.bin' '-w' '/tmp/graph16184967000674022262.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph16184967000674022262.bin' '-l' '-1' '-v' '-w' '/tmp/graph16184967000674022262.weights' '-q' '0' '-e' '0.001'
[2022-06-09 03:18:39] [INFO ] Decomposing Gal with order
[2022-06-09 03:18:41] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-09 03:18:50] [INFO ] Removed a total of 26021 redundant transitions.
[2022-06-09 03:18:51] [INFO ] Flatten gal took : 6016 ms
[2022-06-09 03:18:59] [INFO ] Fuse similar labels procedure discarded/fused a total of 17337 labels/synchronizations in 6234 ms.
[2022-06-09 03:19:06] [INFO ] Time to serialize gal into /tmp/CTLCardinality16390863002237708671.gal : 210 ms
[2022-06-09 03:19:06] [INFO ] Time to serialize properties into /tmp/CTLCardinality11235578716279421634.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality16390863002237708671.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality11235578716279421634.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...276
No direction supplied, using forward translation only.
Parsed 16 CTL formulae.
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export LANG=C
+ LANG=C
+ export BINDIR=/home/mcc/BenchKit/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ CTLCardinality = StateSpace ]]
+ /home/mcc/BenchKit/bin//..//runeclipse.sh /home/mcc/execution CTLCardinality -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ export PYTHONPATH=/usr/lib/python3.9/site-packages/
+ PYTHONPATH=/usr/lib/python3.9/site-packages/
+ export LD_LIBRARY_PATH=/usr/local/lib:
+ LD_LIBRARY_PATH=/usr/local/lib:
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202205111006.jar
+ VERSION=202205111006
+ echo 'Running Version 202205111006'
+ /home/mcc/BenchKit/bin//..//itstools/its-tools -data @none -pnfolder /home/mcc/execution -examination CTLCardinality -spotpath /home/mcc/BenchKit/bin//..//ltlfilt -z3path /home/mcc/BenchKit/bin//..//z3/bin/z3 -yices2path /home/mcc/BenchKit/bin//..//yices/bin/yices -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600 -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=@none -Xss128m -Xms40m -Xmx8192m
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="CANInsertWithFailure-PT-090"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool itstools"
echo " Input is CANInsertWithFailure-PT-090, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r294-smll-165463872400073"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/CANInsertWithFailure-PT-090.tgz
mv CANInsertWithFailure-PT-090 execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;