About the Execution of ITS-Tools for CANInsertWithFailure-PT-100
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 7299.607 | 3600000.00 | 3943435.00 | 11290.20 | T??????????????? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2022-input.r294-smll-165463872400081.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-100, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r294-smll-165463872400081
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 61M
-rw-r--r-- 1 mcc users 11K May 30 15:35 CTLCardinality.txt
-rw-r--r-- 1 mcc users 95K May 30 15:35 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.4K May 30 15:26 CTLFireability.txt
-rw-r--r-- 1 mcc users 57K May 30 15:26 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.9K May 25 12:59 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K May 25 12:59 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.2K May 25 12:59 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 25 12:59 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 29 12:20 NewModel
-rw-r--r-- 1 mcc users 19K May 30 15:43 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 155K May 30 15:43 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.4K May 30 15:38 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 43K May 30 15:38 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 60M 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-100-CTLCardinality-00
FORMULA_NAME CANInsertWithFailure-PT-100-CTLCardinality-01
FORMULA_NAME CANInsertWithFailure-PT-100-CTLCardinality-02
FORMULA_NAME CANInsertWithFailure-PT-100-CTLCardinality-03
FORMULA_NAME CANInsertWithFailure-PT-100-CTLCardinality-04
FORMULA_NAME CANInsertWithFailure-PT-100-CTLCardinality-05
FORMULA_NAME CANInsertWithFailure-PT-100-CTLCardinality-06
FORMULA_NAME CANInsertWithFailure-PT-100-CTLCardinality-07
FORMULA_NAME CANInsertWithFailure-PT-100-CTLCardinality-08
FORMULA_NAME CANInsertWithFailure-PT-100-CTLCardinality-09
FORMULA_NAME CANInsertWithFailure-PT-100-CTLCardinality-10
FORMULA_NAME CANInsertWithFailure-PT-100-CTLCardinality-11
FORMULA_NAME CANInsertWithFailure-PT-100-CTLCardinality-12
FORMULA_NAME CANInsertWithFailure-PT-100-CTLCardinality-13
FORMULA_NAME CANInsertWithFailure-PT-100-CTLCardinality-14
FORMULA_NAME CANInsertWithFailure-PT-100-CTLCardinality-15
=== Now, execution of the tool begins
BK_START 1654754929435
Running Version 202205111006
[2022-06-09 06:08:51] [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 06:08:51] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2022-06-09 06:08:54] [INFO ] Load time of PNML (sax parser for PT used): 2477 ms
[2022-06-09 06:08:54] [INFO ] Transformed 21204 places.
[2022-06-09 06:08:54] [INFO ] Transformed 60600 transitions.
[2022-06-09 06:08:54] [INFO ] Parsed PT model containing 21204 places and 60600 transitions in 2889 ms.
Parsed 16 properties from file /home/mcc/execution/CTLCardinality.xml in 54 ms.
Support contains 186 out of 21204 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 21204/21204 places, 60600/60600 transitions.
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 1 place count 21203 transition count 60600
Applied a total of 1 rules in 14091 ms. Remains 21203 /21204 variables (removed 1) and now considering 60600/60600 (removed 0) transitions.
// Phase 1: matrix 60600 rows 21203 cols
[2022-06-09 06:09:48] [INFO ] Computed 102 place invariants in 39108 ms
[2022-06-09 06:09:51] [INFO ] Implicit Places using invariants in 42825 ms returned []
Implicit Place search using SMT only with invariants took 42869 ms to find 0 implicit places.
// Phase 1: matrix 60600 rows 21203 cols
[2022-06-09 06:10:23] [INFO ] Computed 102 place invariants in 31239 ms
[2022-06-09 06:10:26] [INFO ] Dead Transitions using invariants and state equation in 34557 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 21203/21204 places, 60600/60600 transitions.
Finished structural reductions, in 1 iterations. Remains : 21203/21204 places, 60600/60600 transitions.
Support contains 186 out of 21203 places after structural reductions.
[2022-06-09 06:10:29] [INFO ] Flatten gal took : 2061 ms
[2022-06-09 06:10:31] [INFO ] Flatten gal took : 1640 ms
[2022-06-09 06:10:34] [INFO ] Input system was already deterministic with 60600 transitions.
Support contains 180 out of 21203 places (down from 186) after GAL structural reductions.
Incomplete random walk after 10000 steps, including 3 resets, run finished after 1731 ms. (steps per millisecond=5 ) properties (out of 101) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 96) seen :0
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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 9 ms. (steps per millisecond=111 ) properties (out of 96) seen :0
Interrupted probabilistic random walk after 68487 steps, run timeout after 6005 ms. (steps per millisecond=11 ) properties seen :{83=1}
Probabilistic random walk after 68487 steps, saw 67608 distinct states, run finished after 6007 ms. (steps per millisecond=11 ) properties seen :1
Running SMT prover for 95 properties.
// Phase 1: matrix 60600 rows 21203 cols
[2022-06-09 06:11:15] [INFO ] Computed 102 place invariants in 32101 ms
[2022-06-09 06:11:40] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2022-06-09 06:11:40] [INFO ] After 25038ms 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 164 out of 21203 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 21203/21203 places, 60600/60600 transitions.
Drop transitions removed 692 transitions
Trivial Post-agglo rules discarded 692 transitions
Performed 692 trivial Post agglomeration. Transition count delta: 692
Iterating post reduction 0 with 692 rules applied. Total rules applied 692 place count 21203 transition count 59908
Reduce places removed 692 places and 0 transitions.
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Iterating post reduction 1 with 694 rules applied. Total rules applied 1386 place count 20511 transition count 59906
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 2 with 2 rules applied. Total rules applied 1388 place count 20509 transition count 59906
Performed 2 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 2 Pre rules applied. Total rules applied 1388 place count 20509 transition count 59904
Deduced a syphon composed of 2 places in 36 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 3 with 4 rules applied. Total rules applied 1392 place count 20507 transition count 59904
Performed 9728 Post agglomeration using F-continuation condition.Transition count delta: 9728
Deduced a syphon composed of 9728 places in 48 ms
Reduce places removed 9728 places and 0 transitions.
Iterating global reduction 3 with 19456 rules applied. Total rules applied 20848 place count 10779 transition count 50176
Free-agglomeration rule (complex) applied 1 times.
Iterating global reduction 3 with 1 rules applied. Total rules applied 20849 place count 10779 transition count 50175
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 3 with 1 rules applied. Total rules applied 20850 place count 10778 transition count 50175
Partial Free-agglomeration rule applied 10212 times.
Drop transitions removed 10212 transitions
Iterating global reduction 4 with 10212 rules applied. Total rules applied 31062 place count 10778 transition count 50175
Partial Free-agglomeration rule applied 201 times.
Drop transitions removed 201 transitions
Iterating global reduction 4 with 201 rules applied. Total rules applied 31263 place count 10778 transition count 50175
Applied a total of 31263 rules in 68529 ms. Remains 10778 /21203 variables (removed 10425) and now considering 50175/60600 (removed 10425) transitions.
Finished structural reductions, in 1 iterations. Remains : 10778/21203 places, 50175/60600 transitions.
[2022-06-09 06:12:50] [INFO ] Flatten gal took : 1370 ms
[2022-06-09 06:12:52] [INFO ] Flatten gal took : 1460 ms
[2022-06-09 06:12:54] [INFO ] Input system was already deterministic with 60600 transitions.
Computed a total of 402 stabilizing places and 700 stable transitions
Starting structural reductions in SI_CTL mode, iteration 0 : 21203/21203 places, 60600/60600 transitions.
Drop transitions removed 700 transitions
Trivial Post-agglo rules discarded 700 transitions
Performed 700 trivial Post agglomeration. Transition count delta: 700
Iterating post reduction 0 with 700 rules applied. Total rules applied 700 place count 21203 transition count 59900
Reduce places removed 700 places and 0 transitions.
Iterating post reduction 1 with 700 rules applied. Total rules applied 1400 place count 20503 transition count 59900
Performed 100 Post agglomeration using F-continuation condition.Transition count delta: 100
Deduced a syphon composed of 100 places in 22 ms
Reduce places removed 100 places and 0 transitions.
Iterating global reduction 2 with 200 rules applied. Total rules applied 1600 place count 20403 transition count 59800
Applied a total of 1600 rules in 25159 ms. Remains 20403 /21203 variables (removed 800) and now considering 59800/60600 (removed 800) transitions.
// Phase 1: matrix 59800 rows 20403 cols
[2022-06-09 06:13:50] [INFO ] Computed 102 place invariants in 30238 ms
[2022-06-09 06:13:53] [INFO ] Implicit Places using invariants in 33047 ms returned []
Implicit Place search using SMT only with invariants took 33048 ms to find 0 implicit places.
// Phase 1: matrix 59800 rows 20403 cols
[2022-06-09 06:14:24] [INFO ] Computed 102 place invariants in 31165 ms
[2022-06-09 06:14:27] [INFO ] Dead Transitions using invariants and state equation in 34070 ms found 0 transitions.
Starting structural reductions in SI_CTL mode, iteration 1 : 20403/21203 places, 59800/60600 transitions.
Finished structural reductions, in 1 iterations. Remains : 20403/21203 places, 59800/60600 transitions.
[2022-06-09 06:14:29] [INFO ] Flatten gal took : 1457 ms
[2022-06-09 06:14:30] [INFO ] Flatten gal took : 1433 ms
[2022-06-09 06:14:33] [INFO ] Input system was already deterministic with 59800 transitions.
Incomplete random walk after 10000 steps, including 9 resets, run finished after 525 ms. (steps per millisecond=19 ) properties (out of 1) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 33 ms. (steps per millisecond=303 ) properties (out of 1) seen :0
Interrupted probabilistic random walk after 84704 steps, run timeout after 3004 ms. (steps per millisecond=28 ) properties seen :{}
Probabilistic random walk after 84704 steps, saw 81776 distinct states, run finished after 3005 ms. (steps per millisecond=28 ) properties seen :0
Running SMT prover for 1 properties.
// Phase 1: matrix 59800 rows 20403 cols
[2022-06-09 06:15:11] [INFO ] Computed 102 place invariants in 34462 ms
[2022-06-09 06:15:15] [INFO ] [Real]Absence check using 100 positive place invariants in 286 ms returned sat
[2022-06-09 06:15:16] [INFO ] [Real]Absence check using 100 positive and 2 generalized place invariants in 973 ms returned sat
[2022-06-09 06:15:36] [INFO ] After 25021ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Parikh walk visited 0 properties in 0 ms.
Support contains 1 out of 20403 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 20403/20403 places, 59800/59800 transitions.
Performed 9799 Post agglomeration using F-continuation condition.Transition count delta: 9799
Deduced a syphon composed of 9799 places in 27 ms
Reduce places removed 9799 places and 0 transitions.
Iterating global reduction 0 with 19598 rules applied. Total rules applied 19598 place count 10604 transition count 50001
Free-agglomeration rule (complex) applied 1 times.
Iterating global reduction 0 with 1 rules applied. Total rules applied 19599 place count 10604 transition count 50000
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 19600 place count 10603 transition count 50000
Partial Free-agglomeration rule applied 10101 times.
Drop transitions removed 10101 transitions
Iterating global reduction 1 with 10101 rules applied. Total rules applied 29701 place count 10603 transition count 50000
Applied a total of 29701 rules in 57840 ms. Remains 10603 /20403 variables (removed 9800) and now considering 50000/59800 (removed 9800) transitions.
Finished structural reductions, in 1 iterations. Remains : 10603/20403 places, 50000/59800 transitions.
Finished random walk after 16019 steps, including 26 resets, run visited all 1 properties in 816 ms. (steps per millisecond=19 )
FORMULA CANInsertWithFailure-PT-100-CTLCardinality-00 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Starting structural reductions in LTL mode, iteration 0 : 21203/21203 places, 60600/60600 transitions.
Applied a total of 0 rules in 11907 ms. Remains 21203 /21203 variables (removed 0) and now considering 60600/60600 (removed 0) transitions.
// Phase 1: matrix 60600 rows 21203 cols
[2022-06-09 06:17:20] [INFO ] Computed 102 place invariants in 32538 ms
[2022-06-09 06:17:23] [INFO ] Implicit Places using invariants in 35834 ms returned []
Implicit Place search using SMT only with invariants took 35836 ms to find 0 implicit places.
// Phase 1: matrix 60600 rows 21203 cols
[2022-06-09 06:17:57] [INFO ] Computed 102 place invariants in 33652 ms
[2022-06-09 06:17:59] [INFO ] Dead Transitions using invariants and state equation in 36610 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 21203/21203 places, 60600/60600 transitions.
[2022-06-09 06:18:01] [INFO ] Flatten gal took : 1539 ms
[2022-06-09 06:18:03] [INFO ] Flatten gal took : 1782 ms
[2022-06-09 06:18:05] [INFO ] Input system was already deterministic with 60600 transitions.
[2022-06-09 06:18:07] [INFO ] Flatten gal took : 1410 ms
[2022-06-09 06:18:08] [INFO ] Flatten gal took : 1459 ms
[2022-06-09 06:18:09] [INFO ] Time to serialize gal into /tmp/CTLCardinality15621780624300472152.gal : 458 ms
[2022-06-09 06:18:09] [INFO ] Time to serialize properties into /tmp/CTLCardinality2620418129672264025.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/CTLCardinality15621780624300472152.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality2620418129672264025.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 06:18:41] [INFO ] Flatten gal took : 1528 ms
[2022-06-09 06:18:41] [INFO ] Applying decomposition
[2022-06-09 06:18:42] [INFO ] Flatten gal took : 1518 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/graph4140147335069435531.txt' '-o' '/tmp/graph4140147335069435531.bin' '-w' '/tmp/graph4140147335069435531.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph4140147335069435531.bin' '-l' '-1' '-v' '-w' '/tmp/graph4140147335069435531.weights' '-q' '0' '-e' '0.001'
[2022-06-09 06:18:46] [INFO ] Decomposing Gal with order
[2022-06-09 06:18:48] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-09 06:19:03] [INFO ] Removed a total of 30261 redundant transitions.
[2022-06-09 06:19:04] [INFO ] Flatten gal took : 9942 ms
[2022-06-09 06:19:17] [INFO ] Fuse similar labels procedure discarded/fused a total of 19800 labels/synchronizations in 11324 ms.
[2022-06-09 06:19:25] [INFO ] Time to serialize gal into /tmp/CTLCardinality4591727703308560753.gal : 318 ms
[2022-06-09 06:19:25] [INFO ] Time to serialize properties into /tmp/CTLCardinality3515796750990740049.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/CTLCardinality4591727703308560753.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality3515796750990740049.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 : 21203/21203 places, 60600/60600 transitions.
Applied a total of 0 rules in 12769 ms. Remains 21203 /21203 variables (removed 0) and now considering 60600/60600 (removed 0) transitions.
// Phase 1: matrix 60600 rows 21203 cols
[2022-06-09 06:20:42] [INFO ] Computed 102 place invariants in 34081 ms
[2022-06-09 06:20:45] [INFO ] Implicit Places using invariants in 37180 ms returned []
Implicit Place search using SMT only with invariants took 37181 ms to find 0 implicit places.
// Phase 1: matrix 60600 rows 21203 cols
[2022-06-09 06:21:16] [INFO ] Computed 102 place invariants in 31344 ms
[2022-06-09 06:21:19] [INFO ] Dead Transitions using invariants and state equation in 34389 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 21203/21203 places, 60600/60600 transitions.
[2022-06-09 06:21:21] [INFO ] Flatten gal took : 1496 ms
[2022-06-09 06:21:23] [INFO ] Flatten gal took : 1512 ms
[2022-06-09 06:21:25] [INFO ] Input system was already deterministic with 60600 transitions.
[2022-06-09 06:21:27] [INFO ] Flatten gal took : 1474 ms
[2022-06-09 06:21:28] [INFO ] Flatten gal took : 1514 ms
[2022-06-09 06:21:28] [INFO ] Time to serialize gal into /tmp/CTLCardinality2054765766521670536.gal : 184 ms
[2022-06-09 06:21:28] [INFO ] Time to serialize properties into /tmp/CTLCardinality2017570722432055458.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/CTLCardinality2054765766521670536.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality2017570722432055458.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 06:22:00] [INFO ] Flatten gal took : 1684 ms
[2022-06-09 06:22:00] [INFO ] Applying decomposition
[2022-06-09 06:22:02] [INFO ] Flatten gal took : 1496 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/graph17997471738607193778.txt' '-o' '/tmp/graph17997471738607193778.bin' '-w' '/tmp/graph17997471738607193778.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph17997471738607193778.bin' '-l' '-1' '-v' '-w' '/tmp/graph17997471738607193778.weights' '-q' '0' '-e' '0.001'
[2022-06-09 06:22:05] [INFO ] Decomposing Gal with order
[2022-06-09 06:22:07] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-09 06:22:21] [INFO ] Removed a total of 30055 redundant transitions.
[2022-06-09 06:22:22] [INFO ] Flatten gal took : 9291 ms
[2022-06-09 06:22:34] [INFO ] Fuse similar labels procedure discarded/fused a total of 19600 labels/synchronizations in 10751 ms.
[2022-06-09 06:22:41] [INFO ] Time to serialize gal into /tmp/CTLCardinality6550414657212534498.gal : 750 ms
[2022-06-09 06:22:41] [INFO ] Time to serialize properties into /tmp/CTLCardinality6190666063066757179.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/CTLCardinality6550414657212534498.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality6190666063066757179.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 : 21203/21203 places, 60600/60600 transitions.
Applied a total of 0 rules in 15078 ms. Remains 21203 /21203 variables (removed 0) and now considering 60600/60600 (removed 0) transitions.
// Phase 1: matrix 60600 rows 21203 cols
[2022-06-09 06:24:03] [INFO ] Computed 102 place invariants in 36225 ms
[2022-06-09 06:24:06] [INFO ] Implicit Places using invariants in 39291 ms returned []
Implicit Place search using SMT only with invariants took 39299 ms to find 0 implicit places.
// Phase 1: matrix 60600 rows 21203 cols
[2022-06-09 06:24:39] [INFO ] Computed 102 place invariants in 33438 ms
[2022-06-09 06:24:42] [INFO ] Dead Transitions using invariants and state equation in 36402 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 21203/21203 places, 60600/60600 transitions.
[2022-06-09 06:24:44] [INFO ] Flatten gal took : 1657 ms
[2022-06-09 06:24:46] [INFO ] Flatten gal took : 1790 ms
[2022-06-09 06:24:48] [INFO ] Input system was already deterministic with 60600 transitions.
[2022-06-09 06:24:50] [INFO ] Flatten gal took : 1548 ms
[2022-06-09 06:24:52] [INFO ] Flatten gal took : 1654 ms
[2022-06-09 06:24:52] [INFO ] Time to serialize gal into /tmp/CTLCardinality12108321837809358363.gal : 165 ms
[2022-06-09 06:24:52] [INFO ] Time to serialize properties into /tmp/CTLCardinality9137396669416506950.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/CTLCardinality12108321837809358363.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality9137396669416506950.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 06:25:23] [INFO ] Flatten gal took : 1522 ms
[2022-06-09 06:25:23] [INFO ] Applying decomposition
[2022-06-09 06:25:25] [INFO ] Flatten gal took : 1699 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/graph14436012406177827695.txt' '-o' '/tmp/graph14436012406177827695.bin' '-w' '/tmp/graph14436012406177827695.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph14436012406177827695.bin' '-l' '-1' '-v' '-w' '/tmp/graph14436012406177827695.weights' '-q' '0' '-e' '0.001'
[2022-06-09 06:25:29] [INFO ] Decomposing Gal with order
[2022-06-09 06:25:31] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-09 06:25:44] [INFO ] Removed a total of 30081 redundant transitions.
[2022-06-09 06:25:45] [INFO ] Flatten gal took : 8622 ms
[2022-06-09 06:25:57] [INFO ] Fuse similar labels procedure discarded/fused a total of 19602 labels/synchronizations in 10886 ms.
[2022-06-09 06:26:05] [INFO ] Time to serialize gal into /tmp/CTLCardinality16482126730765457122.gal : 232 ms
[2022-06-09 06:26:05] [INFO ] Time to serialize properties into /tmp/CTLCardinality11877980047489391267.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/CTLCardinality16482126730765457122.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality11877980047489391267.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 SI_CTL mode, iteration 0 : 21203/21203 places, 60600/60600 transitions.
Drop transitions removed 700 transitions
Trivial Post-agglo rules discarded 700 transitions
Performed 700 trivial Post agglomeration. Transition count delta: 700
Iterating post reduction 0 with 700 rules applied. Total rules applied 700 place count 21203 transition count 59900
Reduce places removed 700 places and 0 transitions.
Iterating post reduction 1 with 700 rules applied. Total rules applied 1400 place count 20503 transition count 59900
Performed 100 Post agglomeration using F-continuation condition.Transition count delta: 100
Deduced a syphon composed of 100 places in 21 ms
Reduce places removed 100 places and 0 transitions.
Iterating global reduction 2 with 200 rules applied. Total rules applied 1600 place count 20403 transition count 59800
Applied a total of 1600 rules in 30256 ms. Remains 20403 /21203 variables (removed 800) and now considering 59800/60600 (removed 800) transitions.
// Phase 1: matrix 59800 rows 20403 cols
[2022-06-09 06:27:40] [INFO ] Computed 102 place invariants in 34964 ms
[2022-06-09 06:27:43] [INFO ] Implicit Places using invariants in 37884 ms returned []
Implicit Place search using SMT only with invariants took 37888 ms to find 0 implicit places.
// Phase 1: matrix 59800 rows 20403 cols
[2022-06-09 06:28:17] [INFO ] Computed 102 place invariants in 33308 ms
[2022-06-09 06:28:20] [INFO ] Dead Transitions using invariants and state equation in 36420 ms found 0 transitions.
Starting structural reductions in SI_CTL mode, iteration 1 : 20403/21203 places, 59800/60600 transitions.
Finished structural reductions, in 1 iterations. Remains : 20403/21203 places, 59800/60600 transitions.
[2022-06-09 06:28:21] [INFO ] Flatten gal took : 1412 ms
[2022-06-09 06:28:23] [INFO ] Flatten gal took : 1585 ms
[2022-06-09 06:28:25] [INFO ] Input system was already deterministic with 59800 transitions.
[2022-06-09 06:28:27] [INFO ] Flatten gal took : 1571 ms
[2022-06-09 06:28:29] [INFO ] Flatten gal took : 1614 ms
[2022-06-09 06:28:29] [INFO ] Time to serialize gal into /tmp/CTLCardinality8412381521463288222.gal : 163 ms
[2022-06-09 06:28:29] [INFO ] Time to serialize properties into /tmp/CTLCardinality15518505067625536813.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/CTLCardinality8412381521463288222.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality15518505067625536813.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 06:29:01] [INFO ] Flatten gal took : 1551 ms
[2022-06-09 06:29:01] [INFO ] Applying decomposition
[2022-06-09 06:29:03] [INFO ] Flatten gal took : 1840 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/graph14281819689116593453.txt' '-o' '/tmp/graph14281819689116593453.bin' '-w' '/tmp/graph14281819689116593453.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph14281819689116593453.bin' '-l' '-1' '-v' '-w' '/tmp/graph14281819689116593453.weights' '-q' '0' '-e' '0.001'
[2022-06-09 06:29:06] [INFO ] Decomposing Gal with order
[2022-06-09 06:29:07] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-09 06:29:19] [INFO ] Removed a total of 29614 redundant transitions.
[2022-06-09 06:29:20] [INFO ] Flatten gal took : 8364 ms
[2022-06-09 06:29:31] [INFO ] Fuse similar labels procedure discarded/fused a total of 19586 labels/synchronizations in 9974 ms.
[2022-06-09 06:29:35] [INFO ] Time to serialize gal into /tmp/CTLCardinality16637698236048061742.gal : 205 ms
[2022-06-09 06:29:35] [INFO ] Time to serialize properties into /tmp/CTLCardinality17579388317048058417.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/CTLCardinality16637698236048061742.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality17579388317048058417.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 : 21203/21203 places, 60600/60600 transitions.
Applied a total of 0 rules in 14930 ms. Remains 21203 /21203 variables (removed 0) and now considering 60600/60600 (removed 0) transitions.
// Phase 1: matrix 60600 rows 21203 cols
[2022-06-09 06:30:52] [INFO ] Computed 102 place invariants in 32206 ms
[2022-06-09 06:30:55] [INFO ] Implicit Places using invariants in 35072 ms returned []
Implicit Place search using SMT only with invariants took 35076 ms to find 0 implicit places.
// Phase 1: matrix 60600 rows 21203 cols
[2022-06-09 06:31:29] [INFO ] Computed 102 place invariants in 33992 ms
[2022-06-09 06:31:32] [INFO ] Dead Transitions using invariants and state equation in 37011 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 21203/21203 places, 60600/60600 transitions.
[2022-06-09 06:31:33] [INFO ] Flatten gal took : 1545 ms
[2022-06-09 06:31:35] [INFO ] Flatten gal took : 1573 ms
[2022-06-09 06:31:37] [INFO ] Input system was already deterministic with 60600 transitions.
[2022-06-09 06:31:39] [INFO ] Flatten gal took : 1562 ms
[2022-06-09 06:31:41] [INFO ] Flatten gal took : 1505 ms
[2022-06-09 06:31:41] [INFO ] Time to serialize gal into /tmp/CTLCardinality1498111055803211145.gal : 175 ms
[2022-06-09 06:31:41] [INFO ] Time to serialize properties into /tmp/CTLCardinality16767186158834902167.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/CTLCardinality1498111055803211145.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality16767186158834902167.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 06:32:12] [INFO ] Flatten gal took : 1477 ms
[2022-06-09 06:32:12] [INFO ] Applying decomposition
[2022-06-09 06:32:14] [INFO ] Flatten gal took : 1547 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/graph83669500990869093.txt' '-o' '/tmp/graph83669500990869093.bin' '-w' '/tmp/graph83669500990869093.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph83669500990869093.bin' '-l' '-1' '-v' '-w' '/tmp/graph83669500990869093.weights' '-q' '0' '-e' '0.001'
[2022-06-09 06:32:17] [INFO ] Decomposing Gal with order
[2022-06-09 06:32:19] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-09 06:32:33] [INFO ] Removed a total of 30074 redundant transitions.
[2022-06-09 06:32:33] [INFO ] Flatten gal took : 8374 ms
[2022-06-09 06:32:45] [INFO ] Fuse similar labels procedure discarded/fused a total of 19606 labels/synchronizations in 10184 ms.
[2022-06-09 06:32:52] [INFO ] Time to serialize gal into /tmp/CTLCardinality12815333985832173456.gal : 221 ms
[2022-06-09 06:32:52] [INFO ] Time to serialize properties into /tmp/CTLCardinality8071606048179744880.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/CTLCardinality12815333985832173456.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality8071606048179744880.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 SI_CTL mode, iteration 0 : 21203/21203 places, 60600/60600 transitions.
Drop transitions removed 700 transitions
Trivial Post-agglo rules discarded 700 transitions
Performed 700 trivial Post agglomeration. Transition count delta: 700
Iterating post reduction 0 with 700 rules applied. Total rules applied 700 place count 21203 transition count 59900
Reduce places removed 700 places and 0 transitions.
Iterating post reduction 1 with 700 rules applied. Total rules applied 1400 place count 20503 transition count 59900
Performed 100 Post agglomeration using F-continuation condition.Transition count delta: 100
Deduced a syphon composed of 100 places in 32 ms
Reduce places removed 100 places and 0 transitions.
Iterating global reduction 2 with 200 rules applied. Total rules applied 1600 place count 20403 transition count 59800
Applied a total of 1600 rules in 30139 ms. Remains 20403 /21203 variables (removed 800) and now considering 59800/60600 (removed 800) transitions.
// Phase 1: matrix 59800 rows 20403 cols
[2022-06-09 06:34:25] [INFO ] Computed 102 place invariants in 32902 ms
[2022-06-09 06:34:28] [INFO ] Implicit Places using invariants in 36179 ms returned []
Implicit Place search using SMT only with invariants took 36181 ms to find 0 implicit places.
// Phase 1: matrix 59800 rows 20403 cols
[2022-06-09 06:35:01] [INFO ] Computed 102 place invariants in 32513 ms
[2022-06-09 06:35:04] [INFO ] Dead Transitions using invariants and state equation in 35428 ms found 0 transitions.
Starting structural reductions in SI_CTL mode, iteration 1 : 20403/21203 places, 59800/60600 transitions.
Finished structural reductions, in 1 iterations. Remains : 20403/21203 places, 59800/60600 transitions.
[2022-06-09 06:35:05] [INFO ] Flatten gal took : 1569 ms
[2022-06-09 06:35:07] [INFO ] Flatten gal took : 1602 ms
[2022-06-09 06:35:10] [INFO ] Input system was already deterministic with 59800 transitions.
[2022-06-09 06:35:12] [INFO ] Flatten gal took : 1572 ms
[2022-06-09 06:35:13] [INFO ] Flatten gal took : 1627 ms
[2022-06-09 06:35:13] [INFO ] Time to serialize gal into /tmp/CTLCardinality6674395410402811202.gal : 239 ms
[2022-06-09 06:35:13] [INFO ] Time to serialize properties into /tmp/CTLCardinality13000535424773545347.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/CTLCardinality6674395410402811202.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality13000535424773545347.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 06:35:45] [INFO ] Flatten gal took : 1521 ms
[2022-06-09 06:35:45] [INFO ] Applying decomposition
[2022-06-09 06:35:47] [INFO ] Flatten gal took : 1683 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/graph15493066686717867700.txt' '-o' '/tmp/graph15493066686717867700.bin' '-w' '/tmp/graph15493066686717867700.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph15493066686717867700.bin' '-l' '-1' '-v' '-w' '/tmp/graph15493066686717867700.weights' '-q' '0' '-e' '0.001'
[2022-06-09 06:35:50] [INFO ] Decomposing Gal with order
[2022-06-09 06:35:51] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-09 06:36:03] [INFO ] Removed a total of 29605 redundant transitions.
[2022-06-09 06:36:04] [INFO ] Flatten gal took : 8403 ms
[2022-06-09 06:36:15] [INFO ] Fuse similar labels procedure discarded/fused a total of 19594 labels/synchronizations in 10015 ms.
[2022-06-09 06:36:18] [INFO ] Time to serialize gal into /tmp/CTLCardinality318515558658072567.gal : 212 ms
[2022-06-09 06:36:18] [INFO ] Time to serialize properties into /tmp/CTLCardinality9936287793653007266.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/CTLCardinality318515558658072567.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality9936287793653007266.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.
Starting structural reductions in SI_CTL mode, iteration 0 : 21203/21203 places, 60600/60600 transitions.
Drop transitions removed 700 transitions
Trivial Post-agglo rules discarded 700 transitions
Performed 700 trivial Post agglomeration. Transition count delta: 700
Iterating post reduction 0 with 700 rules applied. Total rules applied 700 place count 21203 transition count 59900
Reduce places removed 700 places and 0 transitions.
Iterating post reduction 1 with 700 rules applied. Total rules applied 1400 place count 20503 transition count 59900
Performed 100 Post agglomeration using F-continuation condition.Transition count delta: 100
Deduced a syphon composed of 100 places in 25 ms
Reduce places removed 100 places and 0 transitions.
Iterating global reduction 2 with 200 rules applied. Total rules applied 1600 place count 20403 transition count 59800
Applied a total of 1600 rules in 27300 ms. Remains 20403 /21203 variables (removed 800) and now considering 59800/60600 (removed 800) transitions.
// Phase 1: matrix 59800 rows 20403 cols
[2022-06-09 06:37:51] [INFO ] Computed 102 place invariants in 35290 ms
[2022-06-09 06:37:54] [INFO ] Implicit Places using invariants in 38103 ms returned []
Implicit Place search using SMT only with invariants took 38104 ms to find 0 implicit places.
// Phase 1: matrix 59800 rows 20403 cols
[2022-06-09 06:38:26] [INFO ] Computed 102 place invariants in 31815 ms
[2022-06-09 06:38:29] [INFO ] Dead Transitions using invariants and state equation in 34852 ms found 0 transitions.
Starting structural reductions in SI_CTL mode, iteration 1 : 20403/21203 places, 59800/60600 transitions.
Finished structural reductions, in 1 iterations. Remains : 20403/21203 places, 59800/60600 transitions.
[2022-06-09 06:38:31] [INFO ] Flatten gal took : 1549 ms
[2022-06-09 06:38:32] [INFO ] Flatten gal took : 1412 ms
[2022-06-09 06:38:34] [INFO ] Input system was already deterministic with 59800 transitions.
[2022-06-09 06:38:36] [INFO ] Flatten gal took : 1463 ms
[2022-06-09 06:38:37] [INFO ] Flatten gal took : 1396 ms
[2022-06-09 06:38:38] [INFO ] Time to serialize gal into /tmp/CTLCardinality10933509043978757011.gal : 163 ms
[2022-06-09 06:38:38] [INFO ] Time to serialize properties into /tmp/CTLCardinality5704261889402150757.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/CTLCardinality10933509043978757011.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality5704261889402150757.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 06:39:09] [INFO ] Flatten gal took : 1566 ms
[2022-06-09 06:39:09] [INFO ] Applying decomposition
[2022-06-09 06:39:11] [INFO ] Flatten gal took : 1541 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/graph12333732722561772626.txt' '-o' '/tmp/graph12333732722561772626.bin' '-w' '/tmp/graph12333732722561772626.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph12333732722561772626.bin' '-l' '-1' '-v' '-w' '/tmp/graph12333732722561772626.weights' '-q' '0' '-e' '0.001'
[2022-06-09 06:39:14] [INFO ] Decomposing Gal with order
[2022-06-09 06:39:16] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-09 06:39:27] [INFO ] Removed a total of 29645 redundant transitions.
[2022-06-09 06:39:28] [INFO ] Flatten gal took : 8490 ms
[2022-06-09 06:39:39] [INFO ] Fuse similar labels procedure discarded/fused a total of 21396 labels/synchronizations in 10215 ms.
[2022-06-09 06:39:39] [INFO ] Time to serialize gal into /tmp/CTLCardinality15614430513406345153.gal : 239 ms
[2022-06-09 06:39:39] [INFO ] Time to serialize properties into /tmp/CTLCardinality2525412579771199093.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/CTLCardinality15614430513406345153.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality2525412579771199093.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 SI_CTL mode, iteration 0 : 21203/21203 places, 60600/60600 transitions.
Drop transitions removed 697 transitions
Trivial Post-agglo rules discarded 697 transitions
Performed 697 trivial Post agglomeration. Transition count delta: 697
Iterating post reduction 0 with 697 rules applied. Total rules applied 697 place count 21203 transition count 59903
Reduce places removed 697 places and 0 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 1 with 698 rules applied. Total rules applied 1395 place count 20506 transition count 59902
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 1396 place count 20505 transition count 59902
Performed 99 Post agglomeration using F-continuation condition.Transition count delta: 99
Deduced a syphon composed of 99 places in 25 ms
Reduce places removed 99 places and 0 transitions.
Iterating global reduction 3 with 198 rules applied. Total rules applied 1594 place count 20406 transition count 59803
Applied a total of 1594 rules in 25916 ms. Remains 20406 /21203 variables (removed 797) and now considering 59803/60600 (removed 797) transitions.
// Phase 1: matrix 59803 rows 20406 cols
[2022-06-09 06:41:10] [INFO ] Computed 102 place invariants in 34627 ms
[2022-06-09 06:41:13] [INFO ] Implicit Places using invariants in 37734 ms returned []
Implicit Place search using SMT only with invariants took 37736 ms to find 0 implicit places.
// Phase 1: matrix 59803 rows 20406 cols
[2022-06-09 06:41:46] [INFO ] Computed 102 place invariants in 32606 ms
[2022-06-09 06:41:48] [INFO ] Dead Transitions using invariants and state equation in 35476 ms found 0 transitions.
Starting structural reductions in SI_CTL mode, iteration 1 : 20406/21203 places, 59803/60600 transitions.
Finished structural reductions, in 1 iterations. Remains : 20406/21203 places, 59803/60600 transitions.
[2022-06-09 06:41:50] [INFO ] Flatten gal took : 1606 ms
[2022-06-09 06:41:52] [INFO ] Flatten gal took : 1539 ms
[2022-06-09 06:41:55] [INFO ] Input system was already deterministic with 59803 transitions.
[2022-06-09 06:41:56] [INFO ] Flatten gal took : 1574 ms
[2022-06-09 06:41:58] [INFO ] Flatten gal took : 1726 ms
[2022-06-09 06:41:58] [INFO ] Time to serialize gal into /tmp/CTLCardinality10203267066439458398.gal : 163 ms
[2022-06-09 06:41:58] [INFO ] Time to serialize properties into /tmp/CTLCardinality10642305724790034434.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/CTLCardinality10203267066439458398.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality10642305724790034434.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 06:42:30] [INFO ] Flatten gal took : 1620 ms
[2022-06-09 06:42:30] [INFO ] Applying decomposition
[2022-06-09 06:42:32] [INFO ] Flatten gal took : 1652 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/graph8792669089407515532.txt' '-o' '/tmp/graph8792669089407515532.bin' '-w' '/tmp/graph8792669089407515532.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph8792669089407515532.bin' '-l' '-1' '-v' '-w' '/tmp/graph8792669089407515532.weights' '-q' '0' '-e' '0.001'
[2022-06-09 06:42:35] [INFO ] Decomposing Gal with order
[2022-06-09 06:42:37] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-09 06:42:49] [INFO ] Removed a total of 29619 redundant transitions.
[2022-06-09 06:42:49] [INFO ] Flatten gal took : 8873 ms
[2022-06-09 06:43:00] [INFO ] Fuse similar labels procedure discarded/fused a total of 19590 labels/synchronizations in 10072 ms.
[2022-06-09 06:43:04] [INFO ] Time to serialize gal into /tmp/CTLCardinality4576591846727986704.gal : 212 ms
[2022-06-09 06:43:04] [INFO ] Time to serialize properties into /tmp/CTLCardinality1655070746137801297.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/CTLCardinality4576591846727986704.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality1655070746137801297.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 : 21203/21203 places, 60600/60600 transitions.
Applied a total of 0 rules in 12843 ms. Remains 21203 /21203 variables (removed 0) and now considering 60600/60600 (removed 0) transitions.
// Phase 1: matrix 60600 rows 21203 cols
[2022-06-09 06:44:19] [INFO ] Computed 102 place invariants in 32029 ms
[2022-06-09 06:44:22] [INFO ] Implicit Places using invariants in 35197 ms returned []
Implicit Place search using SMT only with invariants took 35201 ms to find 0 implicit places.
// Phase 1: matrix 60600 rows 21203 cols
[2022-06-09 06:44:50] [INFO ] Computed 102 place invariants in 27280 ms
[2022-06-09 06:44:52] [INFO ] Dead Transitions using invariants and state equation in 29864 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 21203/21203 places, 60600/60600 transitions.
[2022-06-09 06:44:54] [INFO ] Flatten gal took : 1511 ms
[2022-06-09 06:44:55] [INFO ] Flatten gal took : 1468 ms
[2022-06-09 06:44:58] [INFO ] Input system was already deterministic with 60600 transitions.
[2022-06-09 06:45:00] [INFO ] Flatten gal took : 1688 ms
[2022-06-09 06:45:01] [INFO ] Flatten gal took : 1471 ms
[2022-06-09 06:45:01] [INFO ] Time to serialize gal into /tmp/CTLCardinality7627294193639025289.gal : 178 ms
[2022-06-09 06:45:01] [INFO ] Time to serialize properties into /tmp/CTLCardinality17258456533242864133.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/CTLCardinality7627294193639025289.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality17258456533242864133.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 06:45:33] [INFO ] Flatten gal took : 1628 ms
[2022-06-09 06:45:33] [INFO ] Applying decomposition
[2022-06-09 06:45:35] [INFO ] Flatten gal took : 1604 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/graph17518858954183130161.txt' '-o' '/tmp/graph17518858954183130161.bin' '-w' '/tmp/graph17518858954183130161.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph17518858954183130161.bin' '-l' '-1' '-v' '-w' '/tmp/graph17518858954183130161.weights' '-q' '0' '-e' '0.001'
[2022-06-09 06:45:38] [INFO ] Decomposing Gal with order
[2022-06-09 06:45:40] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-09 06:45:53] [INFO ] Removed a total of 30068 redundant transitions.
[2022-06-09 06:45:54] [INFO ] Flatten gal took : 9084 ms
[2022-06-09 06:46:06] [INFO ] Fuse similar labels procedure discarded/fused a total of 19612 labels/synchronizations in 10073 ms.
[2022-06-09 06:46:13] [INFO ] Time to serialize gal into /tmp/CTLCardinality6505368823808377060.gal : 571 ms
[2022-06-09 06:46:13] [INFO ] Time to serialize properties into /tmp/CTLCardinality12414836069820600713.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/CTLCardinality6505368823808377060.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality12414836069820600713.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 : 21203/21203 places, 60600/60600 transitions.
Applied a total of 0 rules in 10513 ms. Remains 21203 /21203 variables (removed 0) and now considering 60600/60600 (removed 0) transitions.
// Phase 1: matrix 60600 rows 21203 cols
[2022-06-09 06:47:26] [INFO ] Computed 102 place invariants in 32124 ms
[2022-06-09 06:47:29] [INFO ] Implicit Places using invariants in 35107 ms returned []
Implicit Place search using SMT only with invariants took 35112 ms to find 0 implicit places.
// Phase 1: matrix 60600 rows 21203 cols
[2022-06-09 06:47:58] [INFO ] Computed 102 place invariants in 29047 ms
[2022-06-09 06:48:01] [INFO ] Dead Transitions using invariants and state equation in 31684 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 21203/21203 places, 60600/60600 transitions.
[2022-06-09 06:48:02] [INFO ] Flatten gal took : 1644 ms
[2022-06-09 06:48:04] [INFO ] Flatten gal took : 1534 ms
[2022-06-09 06:48:06] [INFO ] Input system was already deterministic with 60600 transitions.
[2022-06-09 06:48:08] [INFO ] Flatten gal took : 1463 ms
[2022-06-09 06:48:10] [INFO ] Flatten gal took : 1646 ms
[2022-06-09 06:48:10] [INFO ] Time to serialize gal into /tmp/CTLCardinality11395117387682443784.gal : 175 ms
[2022-06-09 06:48:10] [INFO ] Time to serialize properties into /tmp/CTLCardinality14101083611760814524.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/CTLCardinality11395117387682443784.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality14101083611760814524.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 06:48:42] [INFO ] Flatten gal took : 1750 ms
[2022-06-09 06:48:42] [INFO ] Applying decomposition
[2022-06-09 06:48:43] [INFO ] Flatten gal took : 1608 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/graph12218414585607950557.txt' '-o' '/tmp/graph12218414585607950557.bin' '-w' '/tmp/graph12218414585607950557.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph12218414585607950557.bin' '-l' '-1' '-v' '-w' '/tmp/graph12218414585607950557.weights' '-q' '0' '-e' '0.001'
[2022-06-09 06:48:47] [INFO ] Decomposing Gal with order
[2022-06-09 06:48:49] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-09 06:49:03] [INFO ] Removed a total of 30053 redundant transitions.
[2022-06-09 06:49:03] [INFO ] Flatten gal took : 8917 ms
[2022-06-09 06:49:15] [INFO ] Fuse similar labels procedure discarded/fused a total of 19608 labels/synchronizations in 10116 ms.
[2022-06-09 06:49:21] [INFO ] Time to serialize gal into /tmp/CTLCardinality18170119141590221305.gal : 215 ms
[2022-06-09 06:49:21] [INFO ] Time to serialize properties into /tmp/CTLCardinality15810437146727595865.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/CTLCardinality18170119141590221305.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality15810437146727595865.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 : 21203/21203 places, 60600/60600 transitions.
Applied a total of 0 rules in 11728 ms. Remains 21203 /21203 variables (removed 0) and now considering 60600/60600 (removed 0) transitions.
// Phase 1: matrix 60600 rows 21203 cols
[2022-06-09 06:50:39] [INFO ] Computed 102 place invariants in 35515 ms
[2022-06-09 06:50:42] [INFO ] Implicit Places using invariants in 38645 ms returned []
Implicit Place search using SMT only with invariants took 38649 ms to find 0 implicit places.
// Phase 1: matrix 60600 rows 21203 cols
[2022-06-09 06:51:14] [INFO ] Computed 102 place invariants in 32121 ms
[2022-06-09 06:51:17] [INFO ] Dead Transitions using invariants and state equation in 35054 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 21203/21203 places, 60600/60600 transitions.
[2022-06-09 06:51:19] [INFO ] Flatten gal took : 1544 ms
[2022-06-09 06:51:20] [INFO ] Flatten gal took : 1562 ms
[2022-06-09 06:51:23] [INFO ] Input system was already deterministic with 60600 transitions.
[2022-06-09 06:51:25] [INFO ] Flatten gal took : 1622 ms
[2022-06-09 06:51:27] [INFO ] Flatten gal took : 1637 ms
[2022-06-09 06:51:27] [INFO ] Time to serialize gal into /tmp/CTLCardinality13624661272623885006.gal : 199 ms
[2022-06-09 06:51:27] [INFO ] Time to serialize properties into /tmp/CTLCardinality5751471695363947276.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/CTLCardinality13624661272623885006.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality5751471695363947276.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 06:51:59] [INFO ] Flatten gal took : 1825 ms
[2022-06-09 06:51:59] [INFO ] Applying decomposition
[2022-06-09 06:52:01] [INFO ] Flatten gal took : 1962 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/graph8755957924917766233.txt' '-o' '/tmp/graph8755957924917766233.bin' '-w' '/tmp/graph8755957924917766233.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph8755957924917766233.bin' '-l' '-1' '-v' '-w' '/tmp/graph8755957924917766233.weights' '-q' '0' '-e' '0.001'
[2022-06-09 06:52:04] [INFO ] Decomposing Gal with order
[2022-06-09 06:52:07] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-09 06:52:20] [INFO ] Removed a total of 30073 redundant transitions.
[2022-06-09 06:52:21] [INFO ] Flatten gal took : 8559 ms
[2022-06-09 06:52:33] [INFO ] Fuse similar labels procedure discarded/fused a total of 19602 labels/synchronizations in 10813 ms.
[2022-06-09 06:52:41] [INFO ] Time to serialize gal into /tmp/CTLCardinality4388575764085291987.gal : 229 ms
[2022-06-09 06:52:41] [INFO ] Time to serialize properties into /tmp/CTLCardinality5570779804116181420.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/CTLCardinality4388575764085291987.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality5570779804116181420.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 : 21203/21203 places, 60600/60600 transitions.
Applied a total of 0 rules in 12029 ms. Remains 21203 /21203 variables (removed 0) and now considering 60600/60600 (removed 0) transitions.
// Phase 1: matrix 60600 rows 21203 cols
[2022-06-09 06:53:54] [INFO ] Computed 102 place invariants in 31699 ms
[2022-06-09 06:53:57] [INFO ] Implicit Places using invariants in 34305 ms returned []
Implicit Place search using SMT only with invariants took 34307 ms to find 0 implicit places.
// Phase 1: matrix 60600 rows 21203 cols
[2022-06-09 06:54:29] [INFO ] Computed 102 place invariants in 31425 ms
[2022-06-09 06:54:32] [INFO ] Dead Transitions using invariants and state equation in 34614 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 21203/21203 places, 60600/60600 transitions.
[2022-06-09 06:54:33] [INFO ] Flatten gal took : 1632 ms
[2022-06-09 06:54:35] [INFO ] Flatten gal took : 1531 ms
[2022-06-09 06:54:38] [INFO ] Input system was already deterministic with 60600 transitions.
[2022-06-09 06:54:40] [INFO ] Flatten gal took : 1607 ms
[2022-06-09 06:54:41] [INFO ] Flatten gal took : 1583 ms
[2022-06-09 06:54:41] [INFO ] Time to serialize gal into /tmp/CTLCardinality17098533624897111339.gal : 188 ms
[2022-06-09 06:54:41] [INFO ] Time to serialize properties into /tmp/CTLCardinality16747890929067877922.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/CTLCardinality17098533624897111339.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality16747890929067877922.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 06:55:13] [INFO ] Flatten gal took : 1732 ms
[2022-06-09 06:55:13] [INFO ] Applying decomposition
[2022-06-09 06:55:15] [INFO ] Flatten gal took : 1584 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/graph14544550645572056847.txt' '-o' '/tmp/graph14544550645572056847.bin' '-w' '/tmp/graph14544550645572056847.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph14544550645572056847.bin' '-l' '-1' '-v' '-w' '/tmp/graph14544550645572056847.weights' '-q' '0' '-e' '0.001'
[2022-06-09 06:55:18] [INFO ] Decomposing Gal with order
[2022-06-09 06:55:20] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-09 06:55:34] [INFO ] Removed a total of 30077 redundant transitions.
[2022-06-09 06:55:35] [INFO ] Flatten gal took : 9080 ms
[2022-06-09 06:55:47] [INFO ] Fuse similar labels procedure discarded/fused a total of 19594 labels/synchronizations in 10295 ms.
[2022-06-09 06:55:57] [INFO ] Time to serialize gal into /tmp/CTLCardinality11219376274804810083.gal : 243 ms
[2022-06-09 06:55:57] [INFO ] Time to serialize properties into /tmp/CTLCardinality2231390677216839638.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/CTLCardinality11219376274804810083.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality2231390677216839638.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 : 21203/21203 places, 60600/60600 transitions.
Applied a total of 0 rules in 12078 ms. Remains 21203 /21203 variables (removed 0) and now considering 60600/60600 (removed 0) transitions.
// Phase 1: matrix 60600 rows 21203 cols
[2022-06-09 06:57:13] [INFO ] Computed 102 place invariants in 33723 ms
[2022-06-09 06:57:16] [INFO ] Implicit Places using invariants in 36732 ms returned []
Implicit Place search using SMT only with invariants took 36734 ms to find 0 implicit places.
// Phase 1: matrix 60600 rows 21203 cols
[2022-06-09 06:57:50] [INFO ] Computed 102 place invariants in 34634 ms
[2022-06-09 06:57:53] [INFO ] Dead Transitions using invariants and state equation in 37724 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 21203/21203 places, 60600/60600 transitions.
[2022-06-09 06:57:55] [INFO ] Flatten gal took : 1604 ms
[2022-06-09 06:57:57] [INFO ] Flatten gal took : 1668 ms
[2022-06-09 06:58:00] [INFO ] Input system was already deterministic with 60600 transitions.
[2022-06-09 06:58:02] [INFO ] Flatten gal took : 1614 ms
[2022-06-09 06:58:03] [INFO ] Flatten gal took : 1602 ms
[2022-06-09 06:58:03] [INFO ] Time to serialize gal into /tmp/CTLCardinality16581102313264686643.gal : 188 ms
[2022-06-09 06:58:03] [INFO ] Time to serialize properties into /tmp/CTLCardinality5310150558270002294.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/CTLCardinality16581102313264686643.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality5310150558270002294.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 06:58:35] [INFO ] Flatten gal took : 1773 ms
[2022-06-09 06:58:35] [INFO ] Applying decomposition
[2022-06-09 06:58:37] [INFO ] Flatten gal took : 1531 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/graph1746627918858519357.txt' '-o' '/tmp/graph1746627918858519357.bin' '-w' '/tmp/graph1746627918858519357.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph1746627918858519357.bin' '-l' '-1' '-v' '-w' '/tmp/graph1746627918858519357.weights' '-q' '0' '-e' '0.001'
[2022-06-09 06:58:40] [INFO ] Decomposing Gal with order
[2022-06-09 06:58:42] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-09 06:58:55] [INFO ] Removed a total of 30050 redundant transitions.
[2022-06-09 06:58:56] [INFO ] Flatten gal took : 8703 ms
[2022-06-09 06:59:08] [INFO ] Fuse similar labels procedure discarded/fused a total of 19605 labels/synchronizations in 10815 ms.
[2022-06-09 06:59:18] [INFO ] Time to serialize gal into /tmp/CTLCardinality2423019474109377303.gal : 227 ms
[2022-06-09 06:59:18] [INFO ] Time to serialize properties into /tmp/CTLCardinality17800089248452676540.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/CTLCardinality2423019474109377303.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality17800089248452676540.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 SI_CTL mode, iteration 0 : 21203/21203 places, 60600/60600 transitions.
Drop transitions removed 700 transitions
Trivial Post-agglo rules discarded 700 transitions
Performed 700 trivial Post agglomeration. Transition count delta: 700
Iterating post reduction 0 with 700 rules applied. Total rules applied 700 place count 21203 transition count 59900
Reduce places removed 700 places and 0 transitions.
Iterating post reduction 1 with 700 rules applied. Total rules applied 1400 place count 20503 transition count 59900
Performed 100 Post agglomeration using F-continuation condition.Transition count delta: 100
Deduced a syphon composed of 100 places in 33 ms
Reduce places removed 100 places and 0 transitions.
Iterating global reduction 2 with 200 rules applied. Total rules applied 1600 place count 20403 transition count 59800
Applied a total of 1600 rules in 32656 ms. Remains 20403 /21203 variables (removed 800) and now considering 59800/60600 (removed 800) transitions.
// Phase 1: matrix 59800 rows 20403 cols
[2022-06-09 07:00:57] [INFO ] Computed 102 place invariants in 36535 ms
[2022-06-09 07:01:00] [INFO ] Implicit Places using invariants in 39415 ms returned []
Implicit Place search using SMT only with invariants took 39425 ms to find 0 implicit places.
// Phase 1: matrix 59800 rows 20403 cols
[2022-06-09 07:01:32] [INFO ] Computed 102 place invariants in 31996 ms
[2022-06-09 07:01:35] [INFO ] Dead Transitions using invariants and state equation in 34834 ms found 0 transitions.
Starting structural reductions in SI_CTL mode, iteration 1 : 20403/21203 places, 59800/60600 transitions.
Finished structural reductions, in 1 iterations. Remains : 20403/21203 places, 59800/60600 transitions.
[2022-06-09 07:01:37] [INFO ] Flatten gal took : 1544 ms
[2022-06-09 07:01:38] [INFO ] Flatten gal took : 1869 ms
[2022-06-09 07:01:41] [INFO ] Input system was already deterministic with 59800 transitions.
[2022-06-09 07:01:43] [INFO ] Flatten gal took : 1588 ms
[2022-06-09 07:01:45] [INFO ] Flatten gal took : 1730 ms
[2022-06-09 07:01:45] [INFO ] Time to serialize gal into /tmp/CTLCardinality9331052916893676658.gal : 164 ms
[2022-06-09 07:01:45] [INFO ] Time to serialize properties into /tmp/CTLCardinality11611275455051186532.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/CTLCardinality9331052916893676658.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality11611275455051186532.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 07:02:17] [INFO ] Flatten gal took : 1631 ms
[2022-06-09 07:02:17] [INFO ] Applying decomposition
[2022-06-09 07:02:18] [INFO ] Flatten gal took : 1463 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/graph12522311045220969553.txt' '-o' '/tmp/graph12522311045220969553.bin' '-w' '/tmp/graph12522311045220969553.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph12522311045220969553.bin' '-l' '-1' '-v' '-w' '/tmp/graph12522311045220969553.weights' '-q' '0' '-e' '0.001'
[2022-06-09 07:02:22] [INFO ] Decomposing Gal with order
[2022-06-09 07:02:23] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-09 07:02:35] [INFO ] Removed a total of 29681 redundant transitions.
[2022-06-09 07:02:36] [INFO ] Flatten gal took : 8967 ms
[2022-06-09 07:02:47] [INFO ] Fuse similar labels procedure discarded/fused a total of 22984 labels/synchronizations in 10592 ms.
[2022-06-09 07:02:48] [INFO ] Time to serialize gal into /tmp/CTLCardinality6023430466328993782.gal : 212 ms
[2022-06-09 07:02:48] [INFO ] Time to serialize properties into /tmp/CTLCardinality14373809657019474495.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/CTLCardinality6023430466328993782.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality14373809657019474495.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 : 21203/21203 places, 60600/60600 transitions.
Applied a total of 0 rules in 11952 ms. Remains 21203 /21203 variables (removed 0) and now considering 60600/60600 (removed 0) transitions.
// Phase 1: matrix 60600 rows 21203 cols
[2022-06-09 07:04:04] [INFO ] Computed 102 place invariants in 34265 ms
[2022-06-09 07:04:07] [INFO ] Implicit Places using invariants in 36917 ms returned []
Implicit Place search using SMT only with invariants took 36922 ms to find 0 implicit places.
// Phase 1: matrix 60600 rows 21203 cols
[2022-06-09 07:04:39] [INFO ] Computed 102 place invariants in 32547 ms
[2022-06-09 07:04:42] [INFO ] Dead Transitions using invariants and state equation in 35172 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 21203/21203 places, 60600/60600 transitions.
[2022-06-09 07:04:43] [INFO ] Flatten gal took : 1468 ms
[2022-06-09 07:04:45] [INFO ] Flatten gal took : 1746 ms
[2022-06-09 07:04:48] [INFO ] Input system was already deterministic with 60600 transitions.
[2022-06-09 07:04:50] [INFO ] Flatten gal took : 1578 ms
[2022-06-09 07:04:51] [INFO ] Flatten gal took : 1545 ms
[2022-06-09 07:04:51] [INFO ] Time to serialize gal into /tmp/CTLCardinality17852817883790525729.gal : 192 ms
[2022-06-09 07:04:51] [INFO ] Time to serialize properties into /tmp/CTLCardinality10203740293752388030.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/CTLCardinality17852817883790525729.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality10203740293752388030.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 07:05:24] [INFO ] Flatten gal took : 1968 ms
[2022-06-09 07:05:24] [INFO ] Applying decomposition
[2022-06-09 07:05:25] [INFO ] Flatten gal took : 1611 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/graph9353201967809189029.txt' '-o' '/tmp/graph9353201967809189029.bin' '-w' '/tmp/graph9353201967809189029.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph9353201967809189029.bin' '-l' '-1' '-v' '-w' '/tmp/graph9353201967809189029.weights' '-q' '0' '-e' '0.001'
[2022-06-09 07:05:28] [INFO ] Decomposing Gal with order
[2022-06-09 07:05:30] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-09 07:05:44] [INFO ] Removed a total of 30066 redundant transitions.
[2022-06-09 07:05:45] [INFO ] Flatten gal took : 8996 ms
[2022-06-09 07:05:56] [INFO ] Fuse similar labels procedure discarded/fused a total of 19598 labels/synchronizations in 10017 ms.
[2022-06-09 07:06:03] [INFO ] Time to serialize gal into /tmp/CTLCardinality2731658036108410482.gal : 231 ms
[2022-06-09 07:06:03] [INFO ] Time to serialize properties into /tmp/CTLCardinality8985096606800426213.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/CTLCardinality2731658036108410482.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality8985096606800426213.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 07:06:35] [INFO ] Flatten gal took : 1675 ms
[2022-06-09 07:06:37] [INFO ] Flatten gal took : 1446 ms
[2022-06-09 07:06:38] [INFO ] Applying decomposition
[2022-06-09 07:06:39] [INFO ] Flatten gal took : 1512 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/graph9621284354714440563.txt' '-o' '/tmp/graph9621284354714440563.bin' '-w' '/tmp/graph9621284354714440563.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph9621284354714440563.bin' '-l' '-1' '-v' '-w' '/tmp/graph9621284354714440563.weights' '-q' '0' '-e' '0.001'
[2022-06-09 07:06:42] [INFO ] Decomposing Gal with order
[2022-06-09 07:06:44] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-09 07:06:59] [INFO ] Removed a total of 30754 redundant transitions.
[2022-06-09 07:06:59] [INFO ] Flatten gal took : 8261 ms
[2022-06-09 07:07:11] [INFO ] Fuse similar labels procedure discarded/fused a total of 19684 labels/synchronizations in 10117 ms.
[2022-06-09 07:07:17] [INFO ] Time to serialize gal into /tmp/CTLCardinality4621332230972428198.gal : 220 ms
[2022-06-09 07:07:17] [INFO ] Time to serialize properties into /tmp/CTLCardinality1520579501605878219.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/CTLCardinality4621332230972428198.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality1520579501605878219.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 15 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-100"
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-100, 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-165463872400081"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/CANInsertWithFailure-PT-100.tgz
mv CANInsertWithFailure-PT-100 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 ;