About the Execution of ITS-Tools for CANInsertWithFailure-PT-080
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 8975.531 | 3600000.00 | 3833294.00 | 11981.80 | ??????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-165463872400065.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-080, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r294-smll-165463872400065
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 39M
-rw-r--r-- 1 mcc users 7.3K May 30 15:34 CTLCardinality.txt
-rw-r--r-- 1 mcc users 59K May 30 15:34 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.5K May 30 15:23 CTLFireability.txt
-rw-r--r-- 1 mcc users 68K May 30 15:23 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 25 12:59 LTLCardinality.txt
-rw-r--r-- 1 mcc users 21K May 25 12:59 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.3K May 25 12:59 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K May 25 12:59 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 29 12:20 NewModel
-rw-r--r-- 1 mcc users 17K May 30 15:44 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 141K May 30 15:44 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K May 30 15:41 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 75K May 30 15:41 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 39M 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-080-CTLCardinality-00
FORMULA_NAME CANInsertWithFailure-PT-080-CTLCardinality-01
FORMULA_NAME CANInsertWithFailure-PT-080-CTLCardinality-02
FORMULA_NAME CANInsertWithFailure-PT-080-CTLCardinality-03
FORMULA_NAME CANInsertWithFailure-PT-080-CTLCardinality-04
FORMULA_NAME CANInsertWithFailure-PT-080-CTLCardinality-05
FORMULA_NAME CANInsertWithFailure-PT-080-CTLCardinality-06
FORMULA_NAME CANInsertWithFailure-PT-080-CTLCardinality-07
FORMULA_NAME CANInsertWithFailure-PT-080-CTLCardinality-08
FORMULA_NAME CANInsertWithFailure-PT-080-CTLCardinality-09
FORMULA_NAME CANInsertWithFailure-PT-080-CTLCardinality-10
FORMULA_NAME CANInsertWithFailure-PT-080-CTLCardinality-11
FORMULA_NAME CANInsertWithFailure-PT-080-CTLCardinality-12
FORMULA_NAME CANInsertWithFailure-PT-080-CTLCardinality-13
FORMULA_NAME CANInsertWithFailure-PT-080-CTLCardinality-14
FORMULA_NAME CANInsertWithFailure-PT-080-CTLCardinality-15
=== Now, execution of the tool begins
BK_START 1654729763977
Running Version 202205111006
[2022-06-08 23:09:26] [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-08 23:09:26] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2022-06-08 23:09:28] [INFO ] Load time of PNML (sax parser for PT used): 1935 ms
[2022-06-08 23:09:28] [INFO ] Transformed 13764 places.
[2022-06-08 23:09:28] [INFO ] Transformed 38880 transitions.
[2022-06-08 23:09:28] [INFO ] Parsed PT model containing 13764 places and 38880 transitions in 2425 ms.
Parsed 16 properties from file /home/mcc/execution/CTLCardinality.xml in 43 ms.
Support contains 114 out of 13764 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 13764/13764 places, 38880/38880 transitions.
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 1 place count 13763 transition count 38880
Applied a total of 1 rules in 6686 ms. Remains 13763 /13764 variables (removed 1) and now considering 38880/38880 (removed 0) transitions.
// Phase 1: matrix 38880 rows 13763 cols
[2022-06-08 23:09:48] [INFO ] Computed 82 place invariants in 12729 ms
[2022-06-08 23:09:51] [INFO ] Implicit Places using invariants in 15242 ms returned []
Implicit Place search using SMT only with invariants took 15290 ms to find 0 implicit places.
// Phase 1: matrix 38880 rows 13763 cols
[2022-06-08 23:10:03] [INFO ] Computed 82 place invariants in 12103 ms
[2022-06-08 23:10:05] [INFO ] Dead Transitions using invariants and state equation in 14318 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 13763/13764 places, 38880/38880 transitions.
Finished structural reductions, in 1 iterations. Remains : 13763/13764 places, 38880/38880 transitions.
Support contains 114 out of 13763 places after structural reductions.
[2022-06-08 23:10:07] [INFO ] Flatten gal took : 1589 ms
[2022-06-08 23:10:09] [INFO ] Flatten gal took : 1311 ms
[2022-06-08 23:10:11] [INFO ] Input system was already deterministic with 38880 transitions.
Incomplete random walk after 10000 steps, including 4 resets, run finished after 1199 ms. (steps per millisecond=8 ) properties (out of 69) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 62) 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 62) 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 62) 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 62) 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 62) 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 62) 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 62) 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 62) 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 62) 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 62) 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 62) 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 62) 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 62) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 61) 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 61) 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 61) 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 61) 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 61) 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 61) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 61) 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 61) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 61) 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 61) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 61) 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 61) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 61) 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 61) 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 61) 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 61) 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 61) 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 61) 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 61) 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 61) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 61) 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 61) 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 61) 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 61) 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 61) 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 61) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 61) 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 61) 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 61) 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 61) 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 61) 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 61) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 61) 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 61) 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 61) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 61) 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 61) 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 61) 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 61) 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 61) 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 61) 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 61) 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 61) 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 61) 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 61) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 61) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 61) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 61) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 61) seen :0
Running SMT prover for 61 properties.
// Phase 1: matrix 38880 rows 13763 cols
[2022-06-08 23:10:25] [INFO ] Computed 82 place invariants in 11787 ms
[2022-06-08 23:10:49] [INFO ] [Real]Absence check using 80 positive place invariants in 248 ms returned sat
[2022-06-08 23:10:50] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 23:10:50] [INFO ] [Real]Absence check using 80 positive and 2 generalized place invariants in 633 ms returned unknown
[2022-06-08 23:10:50] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2022-06-08 23:10:50] [INFO ] After 25165ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 61 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 1 ms.
Support contains 101 out of 13763 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 13763/13763 places, 38880/38880 transitions.
Drop transitions removed 551 transitions
Trivial Post-agglo rules discarded 551 transitions
Performed 551 trivial Post agglomeration. Transition count delta: 551
Iterating post reduction 0 with 551 rules applied. Total rules applied 551 place count 13763 transition count 38329
Reduce places removed 551 places and 0 transitions.
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: 3
Iterating post reduction 1 with 554 rules applied. Total rules applied 1105 place count 13212 transition count 38326
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 2 with 3 rules applied. Total rules applied 1108 place count 13209 transition count 38326
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 1 Pre rules applied. Total rules applied 1108 place count 13209 transition count 38325
Deduced a syphon composed of 1 places in 15 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 3 with 2 rules applied. Total rules applied 1110 place count 13208 transition count 38325
Performed 6112 Post agglomeration using F-continuation condition.Transition count delta: 6112
Deduced a syphon composed of 6112 places in 30 ms
Reduce places removed 6112 places and 0 transitions.
Iterating global reduction 3 with 12224 rules applied. Total rules applied 13334 place count 7096 transition count 32213
Free-agglomeration rule (complex) applied 1 times.
Iterating global reduction 3 with 1 rules applied. Total rules applied 13335 place count 7096 transition count 32212
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 3 with 1 rules applied. Total rules applied 13336 place count 7095 transition count 32212
Partial Free-agglomeration rule applied 6744 times.
Drop transitions removed 6744 transitions
Iterating global reduction 4 with 6744 rules applied. Total rules applied 20080 place count 7095 transition count 32212
Partial Free-agglomeration rule applied 81 times.
Drop transitions removed 81 transitions
Iterating global reduction 4 with 81 rules applied. Total rules applied 20161 place count 7095 transition count 32212
Applied a total of 20161 rules in 24108 ms. Remains 7095 /13763 variables (removed 6668) and now considering 32212/38880 (removed 6668) transitions.
Finished structural reductions, in 1 iterations. Remains : 7095/13763 places, 32212/38880 transitions.
Incomplete random walk after 10000 steps, including 20 resets, run finished after 697 ms. (steps per millisecond=14 ) properties (out of 61) seen :15
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 46) seen :0
Running SMT prover for 46 properties.
[2022-06-08 23:11:15] [INFO ] Flow matrix only has 32174 transitions (discarded 38 similar events)
// Phase 1: matrix 32174 rows 7095 cols
[2022-06-08 23:11:18] [INFO ] Computed 82 place invariants in 2948 ms
[2022-06-08 23:11:29] [INFO ] [Real]Absence check using 80 positive place invariants in 160 ms returned sat
[2022-06-08 23:11:29] [INFO ] [Real]Absence check using 80 positive and 2 generalized place invariants in 251 ms returned sat
[2022-06-08 23:11:29] [INFO ] After 10769ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:46
[2022-06-08 23:11:39] [INFO ] [Nat]Absence check using 80 positive place invariants in 142 ms returned sat
[2022-06-08 23:11:39] [INFO ] [Nat]Absence check using 80 positive and 2 generalized place invariants in 252 ms returned sat
[2022-06-08 23:11:54] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2022-06-08 23:11:54] [INFO ] After 25014ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :0 real:46
Fused 46 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 77 out of 7095 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 7095/7095 places, 32212/32212 transitions.
Drop transitions removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 0 with 1 rules applied. Total rules applied 1 place count 7095 transition count 32211
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 2 place count 7094 transition count 32211
Performed 11 Post agglomeration using F-continuation condition.Transition count delta: 11
Deduced a syphon composed of 11 places in 7 ms
Reduce places removed 11 places and 0 transitions.
Iterating global reduction 2 with 22 rules applied. Total rules applied 24 place count 7083 transition count 32200
Partial Free-agglomeration rule applied 247 times.
Drop transitions removed 247 transitions
Iterating global reduction 2 with 247 rules applied. Total rules applied 271 place count 7083 transition count 32200
Applied a total of 271 rules in 9112 ms. Remains 7083 /7095 variables (removed 12) and now considering 32200/32212 (removed 12) transitions.
Finished structural reductions, in 1 iterations. Remains : 7083/7095 places, 32200/32212 transitions.
Successfully simplified 1 atomic propositions for a total of 16 simplifications.
[2022-06-08 23:12:04] [INFO ] Flatten gal took : 875 ms
[2022-06-08 23:12:05] [INFO ] Flatten gal took : 965 ms
[2022-06-08 23:12:07] [INFO ] Input system was already deterministic with 38880 transitions.
Computed a total of 322 stabilizing places and 560 stable transitions
Starting structural reductions in SI_CTL mode, iteration 0 : 13763/13763 places, 38880/38880 transitions.
Drop transitions removed 560 transitions
Trivial Post-agglo rules discarded 560 transitions
Performed 560 trivial Post agglomeration. Transition count delta: 560
Iterating post reduction 0 with 560 rules applied. Total rules applied 560 place count 13763 transition count 38320
Reduce places removed 560 places and 0 transitions.
Iterating post reduction 1 with 560 rules applied. Total rules applied 1120 place count 13203 transition count 38320
Performed 80 Post agglomeration using F-continuation condition.Transition count delta: 80
Deduced a syphon composed of 80 places in 16 ms
Reduce places removed 80 places and 0 transitions.
Iterating global reduction 2 with 160 rules applied. Total rules applied 1280 place count 13123 transition count 38240
Applied a total of 1280 rules in 9791 ms. Remains 13123 /13763 variables (removed 640) and now considering 38240/38880 (removed 640) transitions.
// Phase 1: matrix 38240 rows 13123 cols
[2022-06-08 23:12:30] [INFO ] Computed 82 place invariants in 12893 ms
[2022-06-08 23:12:31] [INFO ] Implicit Places using invariants in 14551 ms returned []
Implicit Place search using SMT only with invariants took 14557 ms to find 0 implicit places.
// Phase 1: matrix 38240 rows 13123 cols
[2022-06-08 23:12:44] [INFO ] Computed 82 place invariants in 12588 ms
[2022-06-08 23:12:46] [INFO ] Dead Transitions using invariants and state equation in 14187 ms found 0 transitions.
Starting structural reductions in SI_CTL mode, iteration 1 : 13123/13763 places, 38240/38880 transitions.
Finished structural reductions, in 1 iterations. Remains : 13123/13763 places, 38240/38880 transitions.
[2022-06-08 23:12:47] [INFO ] Flatten gal took : 904 ms
[2022-06-08 23:12:48] [INFO ] Flatten gal took : 1169 ms
[2022-06-08 23:12:49] [INFO ] Input system was already deterministic with 38240 transitions.
[2022-06-08 23:12:50] [INFO ] Flatten gal took : 897 ms
[2022-06-08 23:12:51] [INFO ] Flatten gal took : 929 ms
[2022-06-08 23:12:52] [INFO ] Time to serialize gal into /tmp/CTLCardinality5459669691176016613.gal : 346 ms
[2022-06-08 23:12:52] [INFO ] Time to serialize properties into /tmp/CTLCardinality12636604889507375212.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/CTLCardinality5459669691176016613.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality12636604889507375212.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-08 23:13:23] [INFO ] Flatten gal took : 908 ms
[2022-06-08 23:13:23] [INFO ] Applying decomposition
[2022-06-08 23:13:24] [INFO ] Flatten gal took : 901 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/graph13888883665643167556.txt' '-o' '/tmp/graph13888883665643167556.bin' '-w' '/tmp/graph13888883665643167556.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph13888883665643167556.bin' '-l' '-1' '-v' '-w' '/tmp/graph13888883665643167556.weights' '-q' '0' '-e' '0.001'
[2022-06-08 23:13:26] [INFO ] Decomposing Gal with order
[2022-06-08 23:13:27] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-08 23:13:34] [INFO ] Removed a total of 18885 redundant transitions.
[2022-06-08 23:13:35] [INFO ] Flatten gal took : 6327 ms
[2022-06-08 23:13:40] [INFO ] Fuse similar labels procedure discarded/fused a total of 12475 labels/synchronizations in 4218 ms.
[2022-06-08 23:13:42] [INFO ] Time to serialize gal into /tmp/CTLCardinality1563526740851098949.gal : 199 ms
[2022-06-08 23:13:42] [INFO ] Time to serialize properties into /tmp/CTLCardinality6995389008633646164.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/CTLCardinality1563526740851098949.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality6995389008633646164.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 : 13763/13763 places, 38880/38880 transitions.
Applied a total of 0 rules in 5178 ms. Remains 13763 /13763 variables (removed 0) and now considering 38880/38880 (removed 0) transitions.
// Phase 1: matrix 38880 rows 13763 cols
[2022-06-08 23:14:29] [INFO ] Computed 82 place invariants in 11763 ms
[2022-06-08 23:14:31] [INFO ] Implicit Places using invariants in 13730 ms returned []
Implicit Place search using SMT only with invariants took 13731 ms to find 0 implicit places.
// Phase 1: matrix 38880 rows 13763 cols
[2022-06-08 23:14:44] [INFO ] Computed 82 place invariants in 12283 ms
[2022-06-08 23:14:46] [INFO ] Dead Transitions using invariants and state equation in 14330 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 13763/13763 places, 38880/38880 transitions.
[2022-06-08 23:14:47] [INFO ] Flatten gal took : 1211 ms
[2022-06-08 23:14:49] [INFO ] Flatten gal took : 1656 ms
[2022-06-08 23:14:51] [INFO ] Input system was already deterministic with 38880 transitions.
[2022-06-08 23:14:52] [INFO ] Flatten gal took : 955 ms
[2022-06-08 23:14:53] [INFO ] Flatten gal took : 989 ms
[2022-06-08 23:14:53] [INFO ] Time to serialize gal into /tmp/CTLCardinality4549202497417814114.gal : 117 ms
[2022-06-08 23:14:53] [INFO ] Time to serialize properties into /tmp/CTLCardinality13541611010959526995.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/CTLCardinality4549202497417814114.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality13541611010959526995.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-08 23:15:24] [INFO ] Flatten gal took : 1149 ms
[2022-06-08 23:15:24] [INFO ] Applying decomposition
[2022-06-08 23:15:25] [INFO ] Flatten gal took : 960 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/graph6807891958732836353.txt' '-o' '/tmp/graph6807891958732836353.bin' '-w' '/tmp/graph6807891958732836353.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph6807891958732836353.bin' '-l' '-1' '-v' '-w' '/tmp/graph6807891958732836353.weights' '-q' '0' '-e' '0.001'
[2022-06-08 23:15:27] [INFO ] Decomposing Gal with order
[2022-06-08 23:15:28] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-08 23:15:36] [INFO ] Removed a total of 19257 redundant transitions.
[2022-06-08 23:15:37] [INFO ] Flatten gal took : 5613 ms
[2022-06-08 23:15:42] [INFO ] Fuse similar labels procedure discarded/fused a total of 12511 labels/synchronizations in 4222 ms.
[2022-06-08 23:15:47] [INFO ] Time to serialize gal into /tmp/CTLCardinality13118983378522532053.gal : 198 ms
[2022-06-08 23:15:47] [INFO ] Time to serialize properties into /tmp/CTLCardinality11981179978717265425.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/CTLCardinality13118983378522532053.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality11981179978717265425.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 : 13763/13763 places, 38880/38880 transitions.
Drop transitions removed 560 transitions
Trivial Post-agglo rules discarded 560 transitions
Performed 560 trivial Post agglomeration. Transition count delta: 560
Iterating post reduction 0 with 560 rules applied. Total rules applied 560 place count 13763 transition count 38320
Reduce places removed 560 places and 0 transitions.
Iterating post reduction 1 with 560 rules applied. Total rules applied 1120 place count 13203 transition count 38320
Performed 80 Post agglomeration using F-continuation condition.Transition count delta: 80
Deduced a syphon composed of 80 places in 10 ms
Reduce places removed 80 places and 0 transitions.
Iterating global reduction 2 with 160 rules applied. Total rules applied 1280 place count 13123 transition count 38240
Applied a total of 1280 rules in 9609 ms. Remains 13123 /13763 variables (removed 640) and now considering 38240/38880 (removed 640) transitions.
// Phase 1: matrix 38240 rows 13123 cols
[2022-06-08 23:16:40] [INFO ] Computed 82 place invariants in 13043 ms
[2022-06-08 23:16:42] [INFO ] Implicit Places using invariants in 14869 ms returned []
Implicit Place search using SMT only with invariants took 14870 ms to find 0 implicit places.
// Phase 1: matrix 38240 rows 13123 cols
[2022-06-08 23:16:56] [INFO ] Computed 82 place invariants in 14134 ms
[2022-06-08 23:16:58] [INFO ] Dead Transitions using invariants and state equation in 15904 ms found 0 transitions.
Starting structural reductions in SI_CTL mode, iteration 1 : 13123/13763 places, 38240/38880 transitions.
Finished structural reductions, in 1 iterations. Remains : 13123/13763 places, 38240/38880 transitions.
[2022-06-08 23:16:59] [INFO ] Flatten gal took : 1251 ms
[2022-06-08 23:17:00] [INFO ] Flatten gal took : 991 ms
[2022-06-08 23:17:02] [INFO ] Input system was already deterministic with 38240 transitions.
Incomplete random walk after 10000 steps, including 11 resets, run finished after 474 ms. (steps per millisecond=21 ) properties (out of 1) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 51 ms. (steps per millisecond=196 ) properties (out of 1) seen :0
Interrupted probabilistic random walk after 113628 steps, run timeout after 3001 ms. (steps per millisecond=37 ) properties seen :{}
Probabilistic random walk after 113628 steps, saw 108050 distinct states, run finished after 3005 ms. (steps per millisecond=37 ) properties seen :0
Running SMT prover for 1 properties.
// Phase 1: matrix 38240 rows 13123 cols
[2022-06-08 23:17:18] [INFO ] Computed 82 place invariants in 13040 ms
[2022-06-08 23:17:21] [INFO ] [Real]Absence check using 80 positive place invariants in 157 ms returned sat
[2022-06-08 23:17:21] [INFO ] [Real]Absence check using 80 positive and 2 generalized place invariants in 451 ms returned sat
[2022-06-08 23:17:43] [INFO ] After 25013ms 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 13123 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 13123/13123 places, 38240/38240 transitions.
Performed 6239 Post agglomeration using F-continuation condition.Transition count delta: 6239
Deduced a syphon composed of 6239 places in 21 ms
Reduce places removed 6239 places and 0 transitions.
Iterating global reduction 0 with 12478 rules applied. Total rules applied 12478 place count 6884 transition count 32001
Free-agglomeration rule (complex) applied 1 times.
Iterating global reduction 0 with 1 rules applied. Total rules applied 12479 place count 6884 transition count 32000
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 12480 place count 6883 transition count 32000
Partial Free-agglomeration rule applied 6481 times.
Drop transitions removed 6481 transitions
Iterating global reduction 1 with 6481 rules applied. Total rules applied 18961 place count 6883 transition count 32000
Applied a total of 18961 rules in 20500 ms. Remains 6883 /13123 variables (removed 6240) and now considering 32000/38240 (removed 6240) transitions.
Finished structural reductions, in 1 iterations. Remains : 6883/13123 places, 32000/38240 transitions.
Interrupted random walk after 800201 steps, including 1665 resets, run timeout after 30001 ms. (steps per millisecond=26 ) properties seen 0
Incomplete Best-First random walk after 1000001 steps, including 18 resets, run finished after 2691 ms. (steps per millisecond=371 ) properties (out of 1) seen :0
Interrupted probabilistic random walk after 754939 steps, run timeout after 96002 ms. (steps per millisecond=7 ) properties seen :{}
Probabilistic random walk after 754939 steps, saw 180951 distinct states, run finished after 96003 ms. (steps per millisecond=7 ) properties seen :0
Running SMT prover for 1 properties.
// Phase 1: matrix 32000 rows 6883 cols
[2022-06-08 23:20:15] [INFO ] Computed 82 place invariants in 2963 ms
[2022-06-08 23:20:17] [INFO ] [Real]Absence check using 80 positive place invariants in 140 ms returned sat
[2022-06-08 23:20:17] [INFO ] [Real]Absence check using 80 positive and 2 generalized place invariants in 247 ms returned sat
[2022-06-08 23:20:40] [INFO ] After 22151ms SMT Verify possible using state equation in real domain returned unsat :0 sat :1
[2022-06-08 23:20:40] [INFO ] State equation strengthened by 31758 read => feed constraints.
[2022-06-08 23:20:46] [INFO ] After 6298ms SMT Verify possible using 31758 Read/Feed constraints in real domain returned unsat :0 sat :0 real:1
[2022-06-08 23:20:46] [INFO ] After 30995ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:1
[2022-06-08 23:20:48] [INFO ] [Nat]Absence check using 80 positive place invariants in 82 ms returned sat
[2022-06-08 23:20:48] [INFO ] [Nat]Absence check using 80 positive and 2 generalized place invariants in 140 ms returned sat
[2022-06-08 23:21:10] [INFO ] After 22314ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :1
[2022-06-08 23:21:17] [INFO ] After 6793ms SMT Verify possible using 31758 Read/Feed constraints in natural domain returned unsat :0 sat :1
[2022-06-08 23:21:19] [INFO ] After 8963ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :1
Attempting to minimize the solution found.
Minimization took 1689 ms.
[2022-06-08 23:21:21] [INFO ] After 34612ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :1
Parikh walk visited 0 properties in 0 ms.
Support contains 1 out of 6883 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 6883/6883 places, 32000/32000 transitions.
Applied a total of 0 rules in 2972 ms. Remains 6883 /6883 variables (removed 0) and now considering 32000/32000 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 6883/6883 places, 32000/32000 transitions.
Starting structural reductions in SAFETY mode, iteration 0 : 6883/6883 places, 32000/32000 transitions.
Applied a total of 0 rules in 2940 ms. Remains 6883 /6883 variables (removed 0) and now considering 32000/32000 (removed 0) transitions.
// Phase 1: matrix 32000 rows 6883 cols
[2022-06-08 23:21:30] [INFO ] Computed 82 place invariants in 3013 ms
[2022-06-08 23:21:31] [INFO ] Implicit Places using invariants in 4102 ms returned []
Implicit Place search using SMT only with invariants took 4104 ms to find 0 implicit places.
// Phase 1: matrix 32000 rows 6883 cols
[2022-06-08 23:21:34] [INFO ] Computed 82 place invariants in 2847 ms
[2022-06-08 23:21:35] [INFO ] Dead Transitions using invariants and state equation in 3960 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 6883/6883 places, 32000/32000 transitions.
Incomplete random walk after 100000 steps, including 207 resets, run finished after 4123 ms. (steps per millisecond=24 ) properties (out of 1) seen :0
Running SMT prover for 1 properties.
// Phase 1: matrix 32000 rows 6883 cols
[2022-06-08 23:21:42] [INFO ] Computed 82 place invariants in 2951 ms
[2022-06-08 23:21:44] [INFO ] [Real]Absence check using 80 positive place invariants in 113 ms returned sat
[2022-06-08 23:21:44] [INFO ] [Real]Absence check using 80 positive and 2 generalized place invariants in 241 ms returned sat
[2022-06-08 23:22:06] [INFO ] After 21586ms SMT Verify possible using state equation in real domain returned unsat :0 sat :1
[2022-06-08 23:22:06] [INFO ] State equation strengthened by 31758 read => feed constraints.
[2022-06-08 23:22:12] [INFO ] After 6318ms SMT Verify possible using 31758 Read/Feed constraints in real domain returned unsat :0 sat :0 real:1
[2022-06-08 23:22:12] [INFO ] After 30246ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:1
[2022-06-08 23:22:14] [INFO ] [Nat]Absence check using 80 positive place invariants in 88 ms returned sat
[2022-06-08 23:22:14] [INFO ] [Nat]Absence check using 80 positive and 2 generalized place invariants in 143 ms returned sat
[2022-06-08 23:22:37] [INFO ] After 23447ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :1
[2022-06-08 23:22:44] [INFO ] After 6356ms SMT Verify possible using 31758 Read/Feed constraints in natural domain returned unsat :0 sat :1
[2022-06-08 23:22:46] [INFO ] After 8318ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :1
Attempting to minimize the solution found.
Minimization took 1762 ms.
[2022-06-08 23:22:47] [INFO ] After 34987ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :1
Interrupted random walk after 770636 steps, including 1604 resets, run timeout after 30001 ms. (steps per millisecond=25 ) properties seen 0
Incomplete Best-First random walk after 1000001 steps, including 19 resets, run finished after 2899 ms. (steps per millisecond=344 ) properties (out of 1) seen :0
Interrupted probabilistic random walk after 757744 steps, run timeout after 96002 ms. (steps per millisecond=7 ) properties seen :{}
Probabilistic random walk after 757744 steps, saw 181295 distinct states, run finished after 96002 ms. (steps per millisecond=7 ) properties seen :0
Running SMT prover for 1 properties.
// Phase 1: matrix 32000 rows 6883 cols
[2022-06-08 23:24:59] [INFO ] Computed 82 place invariants in 3049 ms
[2022-06-08 23:25:01] [INFO ] [Real]Absence check using 80 positive place invariants in 84 ms returned sat
[2022-06-08 23:25:01] [INFO ] [Real]Absence check using 80 positive and 2 generalized place invariants in 144 ms returned sat
[2022-06-08 23:25:23] [INFO ] After 21904ms SMT Verify possible using state equation in real domain returned unsat :0 sat :1
[2022-06-08 23:25:23] [INFO ] State equation strengthened by 31758 read => feed constraints.
[2022-06-08 23:25:30] [INFO ] After 6575ms SMT Verify possible using 31758 Read/Feed constraints in real domain returned unsat :0 sat :0 real:1
[2022-06-08 23:25:30] [INFO ] After 30411ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:1
[2022-06-08 23:25:31] [INFO ] [Nat]Absence check using 80 positive place invariants in 82 ms returned sat
[2022-06-08 23:25:32] [INFO ] [Nat]Absence check using 80 positive and 2 generalized place invariants in 140 ms returned sat
[2022-06-08 23:25:54] [INFO ] After 22427ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :1
[2022-06-08 23:26:01] [INFO ] After 6804ms SMT Verify possible using 31758 Read/Feed constraints in natural domain returned unsat :0 sat :1
[2022-06-08 23:26:03] [INFO ] After 8992ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :1
Attempting to minimize the solution found.
Minimization took 1509 ms.
[2022-06-08 23:26:05] [INFO ] After 34832ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :1
Parikh walk visited 0 properties in 0 ms.
Support contains 1 out of 6883 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 6883/6883 places, 32000/32000 transitions.
Applied a total of 0 rules in 3037 ms. Remains 6883 /6883 variables (removed 0) and now considering 32000/32000 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 6883/6883 places, 32000/32000 transitions.
Starting structural reductions in SAFETY mode, iteration 0 : 6883/6883 places, 32000/32000 transitions.
Applied a total of 0 rules in 2823 ms. Remains 6883 /6883 variables (removed 0) and now considering 32000/32000 (removed 0) transitions.
// Phase 1: matrix 32000 rows 6883 cols
[2022-06-08 23:26:13] [INFO ] Computed 82 place invariants in 2843 ms
[2022-06-08 23:26:14] [INFO ] Implicit Places using invariants in 3784 ms returned []
Implicit Place search using SMT only with invariants took 3785 ms to find 0 implicit places.
// Phase 1: matrix 32000 rows 6883 cols
[2022-06-08 23:26:17] [INFO ] Computed 82 place invariants in 2830 ms
[2022-06-08 23:26:18] [INFO ] Dead Transitions using invariants and state equation in 3773 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 6883/6883 places, 32000/32000 transitions.
Incomplete random walk after 100000 steps, including 209 resets, run finished after 3636 ms. (steps per millisecond=27 ) properties (out of 1) seen :0
Running SMT prover for 1 properties.
// Phase 1: matrix 32000 rows 6883 cols
[2022-06-08 23:26:25] [INFO ] Computed 82 place invariants in 2837 ms
[2022-06-08 23:26:26] [INFO ] [Real]Absence check using 80 positive place invariants in 119 ms returned sat
[2022-06-08 23:26:26] [INFO ] [Real]Absence check using 80 positive and 2 generalized place invariants in 235 ms returned sat
[2022-06-08 23:26:47] [INFO ] After 20600ms SMT Verify possible using state equation in real domain returned unsat :0 sat :1
[2022-06-08 23:26:47] [INFO ] State equation strengthened by 31758 read => feed constraints.
[2022-06-08 23:26:53] [INFO ] After 6226ms SMT Verify possible using 31758 Read/Feed constraints in real domain returned unsat :0 sat :0 real:1
[2022-06-08 23:26:53] [INFO ] After 28731ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:1
[2022-06-08 23:26:55] [INFO ] [Nat]Absence check using 80 positive place invariants in 133 ms returned sat
[2022-06-08 23:26:55] [INFO ] [Nat]Absence check using 80 positive and 2 generalized place invariants in 233 ms returned sat
[2022-06-08 23:27:19] [INFO ] After 23980ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :1
[2022-06-08 23:27:25] [INFO ] After 5824ms SMT Verify possible using 31758 Read/Feed constraints in natural domain returned unsat :0 sat :1
[2022-06-08 23:27:28] [INFO ] After 8389ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :1
Attempting to minimize the solution found.
Minimization took 1533 ms.
[2022-06-08 23:27:29] [INFO ] After 35801ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :1
Incomplete random walk after 10000 steps, including 20 resets, run finished after 532 ms. (steps per millisecond=18 ) properties (out of 1) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 44 ms. (steps per millisecond=227 ) properties (out of 1) seen :0
Interrupted probabilistic random walk after 72050 steps, run timeout after 3001 ms. (steps per millisecond=24 ) properties seen :{}
Probabilistic random walk after 72050 steps, saw 63765 distinct states, run finished after 3002 ms. (steps per millisecond=24 ) properties seen :0
Running SMT prover for 1 properties.
// Phase 1: matrix 32000 rows 6883 cols
[2022-06-08 23:27:36] [INFO ] Computed 82 place invariants in 2856 ms
[2022-06-08 23:27:37] [INFO ] [Real]Absence check using 80 positive place invariants in 82 ms returned sat
[2022-06-08 23:27:37] [INFO ] [Real]Absence check using 80 positive and 2 generalized place invariants in 139 ms returned sat
[2022-06-08 23:27:58] [INFO ] After 21253ms SMT Verify possible using state equation in real domain returned unsat :0 sat :1
[2022-06-08 23:27:59] [INFO ] State equation strengthened by 31758 read => feed constraints.
[2022-06-08 23:28:01] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2022-06-08 23:28:01] [INFO ] After 25016ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Parikh walk visited 0 properties in 17 ms.
Support contains 1 out of 6883 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 6883/6883 places, 32000/32000 transitions.
Applied a total of 0 rules in 2850 ms. Remains 6883 /6883 variables (removed 0) and now considering 32000/32000 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 6883/6883 places, 32000/32000 transitions.
Incomplete random walk after 10000 steps, including 20 resets, run finished after 356 ms. (steps per millisecond=28 ) properties (out of 1) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 28 ms. (steps per millisecond=357 ) properties (out of 1) seen :0
Interrupted probabilistic random walk after 72976 steps, run timeout after 3001 ms. (steps per millisecond=24 ) properties seen :{}
Probabilistic random walk after 72976 steps, saw 63892 distinct states, run finished after 3002 ms. (steps per millisecond=24 ) properties seen :0
Running SMT prover for 1 properties.
// Phase 1: matrix 32000 rows 6883 cols
[2022-06-08 23:28:10] [INFO ] Computed 82 place invariants in 3017 ms
[2022-06-08 23:28:11] [INFO ] [Real]Absence check using 80 positive place invariants in 127 ms returned sat
[2022-06-08 23:28:12] [INFO ] [Real]Absence check using 80 positive and 2 generalized place invariants in 216 ms returned sat
[2022-06-08 23:28:33] [INFO ] After 21117ms SMT Verify possible using state equation in real domain returned unsat :0 sat :1
[2022-06-08 23:28:33] [INFO ] State equation strengthened by 31758 read => feed constraints.
[2022-06-08 23:28:35] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2022-06-08 23:28:35] [INFO ] After 25018ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Parikh walk visited 0 properties in 15 ms.
Support contains 1 out of 6883 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 6883/6883 places, 32000/32000 transitions.
Applied a total of 0 rules in 3201 ms. Remains 6883 /6883 variables (removed 0) and now considering 32000/32000 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 6883/6883 places, 32000/32000 transitions.
Starting structural reductions in SAFETY mode, iteration 0 : 6883/6883 places, 32000/32000 transitions.
Applied a total of 0 rules in 3082 ms. Remains 6883 /6883 variables (removed 0) and now considering 32000/32000 (removed 0) transitions.
// Phase 1: matrix 32000 rows 6883 cols
[2022-06-08 23:28:44] [INFO ] Computed 82 place invariants in 2813 ms
[2022-06-08 23:28:45] [INFO ] Implicit Places using invariants in 3949 ms returned []
Implicit Place search using SMT only with invariants took 3951 ms to find 0 implicit places.
// Phase 1: matrix 32000 rows 6883 cols
[2022-06-08 23:28:48] [INFO ] Computed 82 place invariants in 2768 ms
[2022-06-08 23:28:49] [INFO ] Dead Transitions using invariants and state equation in 4081 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 6883/6883 places, 32000/32000 transitions.
Graph (trivial) has 31517 edges and 6883 vertex of which 6559 / 6883 are part of one of the 2 SCC in 11 ms
Free SCC test removed 6557 places
Drop transitions removed 25199 transitions
Ensure Unique test removed 6472 transitions
Reduce isomorphic transitions removed 31671 transitions.
Graph (complete) has 811 edges and 326 vertex of which 85 are kept as prefixes of interest. Removing 241 places using SCC suffix rule.1 ms
Discarding 241 places :
Also discarding 79 output transitions
Drop transitions removed 79 transitions
Drop transitions removed 161 transitions
Reduce isomorphic transitions removed 161 transitions.
Drop transitions removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 0 with 162 rules applied. Total rules applied 164 place count 85 transition count 88
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 165 place count 84 transition count 88
Discarding 78 places :
Symmetric choice reduction at 2 with 78 rule applications. Total rules 243 place count 6 transition count 10
Iterating global reduction 2 with 78 rules applied. Total rules applied 321 place count 6 transition count 10
Drop transitions removed 2 transitions
Redundant transition composition rules discarded 2 transitions
Iterating global reduction 2 with 2 rules applied. Total rules applied 323 place count 6 transition count 8
Free-agglomeration rule (complex) applied 1 times.
Iterating global reduction 2 with 1 rules applied. Total rules applied 324 place count 6 transition count 7
Reduce places removed 1 places and 0 transitions.
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 2 with 2 rules applied. Total rules applied 326 place count 5 transition count 6
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 3 with 1 rules applied. Total rules applied 327 place count 4 transition count 5
Applied a total of 327 rules in 202 ms. Remains 4 /6883 variables (removed 6879) and now considering 5/32000 (removed 31995) transitions.
Running SMT prover for 1 properties.
// Phase 1: matrix 5 rows 4 cols
[2022-06-08 23:28:50] [INFO ] Computed 0 place invariants in 0 ms
[2022-06-08 23:28:50] [INFO ] After 26ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:1
[2022-06-08 23:28:50] [INFO ] After 8ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :1
[2022-06-08 23:28:50] [INFO ] After 15ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :1
Attempting to minimize the solution found.
Minimization took 4 ms.
[2022-06-08 23:28:50] [INFO ] After 52ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :1
[2022-06-08 23:28:50] [INFO ] Flatten gal took : 1 ms
[2022-06-08 23:28:50] [INFO ] Flatten gal took : 0 ms
[2022-06-08 23:28:50] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality811543645650698337.gal : 5 ms
[2022-06-08 23:28:50] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality12727223688121983602.prop : 0 ms
Invoking ITS tools like this :cd /tmp/redAtoms1106215459811840681;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality811543645650698337.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality12727223688121983602.prop' '--nowitness' '--gen-order' 'FOLLOW'
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp...319
Loading property file /tmp/ReachabilityCardinality12727223688121983602.prop.
Invariant property AtomicProp does not hold.
Found states matching all0 target predicate
Will report total states built up to this point. Computation was interrupted after 3 fixpoint passes
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
petri\_inst\_inst,6,0.013386,3288,2,7,6,33,6,0,21,18,0
Total reachable state count : 6
Verifying 1 reachability properties.
Invariant property AtomicProp does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
AtomicProp,1,0.013839,3712,2,5,6,33,7,0,24,18,0
Graph (trivial) has 31517 edges and 6883 vertex of which 6559 / 6883 are part of one of the 2 SCC in 8 ms
Free SCC test removed 6557 places
Drop transitions removed 25199 transitions
Ensure Unique test removed 6472 transitions
Reduce isomorphic transitions removed 31671 transitions.
Graph (complete) has 811 edges and 326 vertex of which 85 are kept as prefixes of interest. Removing 241 places using SCC suffix rule.0 ms
Discarding 241 places :
Also discarding 79 output transitions
Drop transitions removed 79 transitions
Drop transitions removed 161 transitions
Reduce isomorphic transitions removed 161 transitions.
Drop transitions removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 0 with 162 rules applied. Total rules applied 164 place count 85 transition count 88
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 165 place count 84 transition count 88
Discarding 78 places :
Symmetric choice reduction at 2 with 78 rule applications. Total rules 243 place count 6 transition count 10
Iterating global reduction 2 with 78 rules applied. Total rules applied 321 place count 6 transition count 10
Drop transitions removed 2 transitions
Redundant transition composition rules discarded 2 transitions
Iterating global reduction 2 with 2 rules applied. Total rules applied 323 place count 6 transition count 8
Free-agglomeration rule (complex) applied 1 times.
Iterating global reduction 2 with 1 rules applied. Total rules applied 324 place count 6 transition count 7
Reduce places removed 1 places and 0 transitions.
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 2 with 2 rules applied. Total rules applied 326 place count 5 transition count 6
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 3 with 1 rules applied. Total rules applied 327 place count 4 transition count 5
Applied a total of 327 rules in 174 ms. Remains 4 /6883 variables (removed 6879) and now considering 5/32000 (removed 31995) transitions.
Running SMT prover for 1 properties.
// Phase 1: matrix 5 rows 4 cols
[2022-06-08 23:28:50] [INFO ] Computed 0 place invariants in 0 ms
[2022-06-08 23:28:50] [INFO ] After 23ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:1
[2022-06-08 23:28:50] [INFO ] After 4ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :1
[2022-06-08 23:28:50] [INFO ] After 6ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :1
Attempting to minimize the solution found.
Minimization took 2 ms.
[2022-06-08 23:28:50] [INFO ] After 32ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :1
[2022-06-08 23:28:50] [INFO ] Flatten gal took : 0 ms
[2022-06-08 23:28:50] [INFO ] Flatten gal took : 0 ms
[2022-06-08 23:28:50] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality63572590705271952.gal : 0 ms
[2022-06-08 23:28:50] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality115422968210678026.prop : 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-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality63572590705271952.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality115422968210678026.prop' '--nowitness' '--gen-order' 'FOLLOW'
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp...316
Loading property file /tmp/ReachabilityCardinality115422968210678026.prop.
Invariant property CANInsertWithFailure-PT-080-CTLCardinality-02 does not hold.
Found states matching all0 target predicate
Will report total states built up to this point. Computation was interrupted after 3 fixpoint passes
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
petri\_inst\_inst,6,0.002955,3472,2,7,6,33,6,0,21,18,0
Total reachable state count : 6
Verifying 1 reachability properties.
Invariant property CANInsertWithFailure-PT-080-CTLCardinality-02 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
CANInsertWithFailure-PT-080-CTLCardinality-02,1,0.003492,3912,2,5,6,33,7,0,24,18,0
[2022-06-08 23:28:51] [INFO ] Flatten gal took : 1084 ms
[2022-06-08 23:28:52] [INFO ] Flatten gal took : 948 ms
[2022-06-08 23:28:52] [INFO ] Time to serialize gal into /tmp/CTLCardinality10957674310195312825.gal : 229 ms
[2022-06-08 23:28:52] [INFO ] Time to serialize properties into /tmp/CTLCardinality6840334190344339451.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/CTLCardinality10957674310195312825.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality6840334190344339451.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-08 23:29:23] [INFO ] Flatten gal took : 900 ms
[2022-06-08 23:29:23] [INFO ] Applying decomposition
[2022-06-08 23:29:24] [INFO ] Flatten gal took : 920 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/graph15497684858980015968.txt' '-o' '/tmp/graph15497684858980015968.bin' '-w' '/tmp/graph15497684858980015968.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph15497684858980015968.bin' '-l' '-1' '-v' '-w' '/tmp/graph15497684858980015968.weights' '-q' '0' '-e' '0.001'
[2022-06-08 23:29:26] [INFO ] Decomposing Gal with order
[2022-06-08 23:29:26] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-08 23:29:35] [INFO ] Removed a total of 25904 redundant transitions.
[2022-06-08 23:29:35] [INFO ] Flatten gal took : 8098 ms
[2022-06-08 23:29:45] [INFO ] Fuse similar labels procedure discarded/fused a total of 19356 labels/synchronizations in 9794 ms.
[2022-06-08 23:29:46] [INFO ] Time to serialize gal into /tmp/CTLCardinality8497682036837959302.gal : 130 ms
[2022-06-08 23:29:46] [INFO ] Time to serialize properties into /tmp/CTLCardinality9478553113521161227.ctl : 6 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality8497682036837959302.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality9478553113521161227.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...253
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 13763/13763 places, 38880/38880 transitions.
Applied a total of 0 rules in 6830 ms. Remains 13763 /13763 variables (removed 0) and now considering 38880/38880 (removed 0) transitions.
// Phase 1: matrix 38880 rows 13763 cols
[2022-06-08 23:30:35] [INFO ] Computed 82 place invariants in 12706 ms
[2022-06-08 23:30:37] [INFO ] Implicit Places using invariants in 14747 ms returned []
Implicit Place search using SMT only with invariants took 14749 ms to find 0 implicit places.
// Phase 1: matrix 38880 rows 13763 cols
[2022-06-08 23:30:50] [INFO ] Computed 82 place invariants in 12962 ms
[2022-06-08 23:30:52] [INFO ] Dead Transitions using invariants and state equation in 14899 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 13763/13763 places, 38880/38880 transitions.
[2022-06-08 23:30:53] [INFO ] Flatten gal took : 1040 ms
[2022-06-08 23:30:54] [INFO ] Flatten gal took : 936 ms
[2022-06-08 23:30:56] [INFO ] Input system was already deterministic with 38880 transitions.
[2022-06-08 23:30:57] [INFO ] Flatten gal took : 946 ms
[2022-06-08 23:30:58] [INFO ] Flatten gal took : 1146 ms
[2022-06-08 23:30:58] [INFO ] Time to serialize gal into /tmp/CTLCardinality9090109403785291743.gal : 112 ms
[2022-06-08 23:30:58] [INFO ] Time to serialize properties into /tmp/CTLCardinality8973815463610146801.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/CTLCardinality9090109403785291743.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality8973815463610146801.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-08 23:31:30] [INFO ] Flatten gal took : 1273 ms
[2022-06-08 23:31:30] [INFO ] Applying decomposition
[2022-06-08 23:31:31] [INFO ] Flatten gal took : 1075 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/graph4009520651178817286.txt' '-o' '/tmp/graph4009520651178817286.bin' '-w' '/tmp/graph4009520651178817286.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph4009520651178817286.bin' '-l' '-1' '-v' '-w' '/tmp/graph4009520651178817286.weights' '-q' '0' '-e' '0.001'
[2022-06-08 23:31:33] [INFO ] Decomposing Gal with order
[2022-06-08 23:31:34] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-08 23:31:40] [INFO ] Removed a total of 19238 redundant transitions.
[2022-06-08 23:31:41] [INFO ] Flatten gal took : 4973 ms
[2022-06-08 23:31:46] [INFO ] Fuse similar labels procedure discarded/fused a total of 25215 labels/synchronizations in 4598 ms.
[2022-06-08 23:31:46] [INFO ] Time to serialize gal into /tmp/CTLCardinality11233733743501247408.gal : 146 ms
[2022-06-08 23:31:46] [INFO ] Time to serialize properties into /tmp/CTLCardinality7851496531046828617.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/CTLCardinality11233733743501247408.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality7851496531046828617.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 : 13763/13763 places, 38880/38880 transitions.
Applied a total of 0 rules in 6213 ms. Remains 13763 /13763 variables (removed 0) and now considering 38880/38880 (removed 0) transitions.
// Phase 1: matrix 38880 rows 13763 cols
[2022-06-08 23:32:34] [INFO ] Computed 82 place invariants in 11386 ms
[2022-06-08 23:32:36] [INFO ] Implicit Places using invariants in 13393 ms returned []
Implicit Place search using SMT only with invariants took 13400 ms to find 0 implicit places.
// Phase 1: matrix 38880 rows 13763 cols
[2022-06-08 23:32:49] [INFO ] Computed 82 place invariants in 13003 ms
[2022-06-08 23:32:51] [INFO ] Dead Transitions using invariants and state equation in 14947 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 13763/13763 places, 38880/38880 transitions.
[2022-06-08 23:32:52] [INFO ] Flatten gal took : 1117 ms
[2022-06-08 23:32:53] [INFO ] Flatten gal took : 996 ms
[2022-06-08 23:32:55] [INFO ] Input system was already deterministic with 38880 transitions.
[2022-06-08 23:32:56] [INFO ] Flatten gal took : 974 ms
[2022-06-08 23:32:57] [INFO ] Flatten gal took : 959 ms
[2022-06-08 23:32:57] [INFO ] Time to serialize gal into /tmp/CTLCardinality3861085023294517349.gal : 107 ms
[2022-06-08 23:32:57] [INFO ] Time to serialize properties into /tmp/CTLCardinality5178191280079409171.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/CTLCardinality3861085023294517349.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality5178191280079409171.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-08 23:33:28] [INFO ] Flatten gal took : 996 ms
[2022-06-08 23:33:28] [INFO ] Applying decomposition
[2022-06-08 23:33:29] [INFO ] Flatten gal took : 936 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/graph4014292856458657685.txt' '-o' '/tmp/graph4014292856458657685.bin' '-w' '/tmp/graph4014292856458657685.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph4014292856458657685.bin' '-l' '-1' '-v' '-w' '/tmp/graph4014292856458657685.weights' '-q' '0' '-e' '0.001'
[2022-06-08 23:33:31] [INFO ] Decomposing Gal with order
[2022-06-08 23:33:32] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-08 23:33:39] [INFO ] Removed a total of 19240 redundant transitions.
[2022-06-08 23:33:39] [INFO ] Flatten gal took : 5076 ms
[2022-06-08 23:33:44] [INFO ] Fuse similar labels procedure discarded/fused a total of 12481 labels/synchronizations in 4384 ms.
[2022-06-08 23:33:46] [INFO ] Time to serialize gal into /tmp/CTLCardinality3761225463072185004.gal : 136 ms
[2022-06-08 23:33:46] [INFO ] Time to serialize properties into /tmp/CTLCardinality8477347103056529266.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/CTLCardinality3761225463072185004.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality8477347103056529266.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 SI_CTL mode, iteration 0 : 13763/13763 places, 38880/38880 transitions.
Drop transitions removed 559 transitions
Trivial Post-agglo rules discarded 559 transitions
Performed 559 trivial Post agglomeration. Transition count delta: 559
Iterating post reduction 0 with 559 rules applied. Total rules applied 559 place count 13763 transition count 38321
Reduce places removed 559 places and 0 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 1 with 560 rules applied. Total rules applied 1119 place count 13204 transition count 38320
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 1120 place count 13203 transition count 38320
Performed 80 Post agglomeration using F-continuation condition.Transition count delta: 80
Deduced a syphon composed of 80 places in 12 ms
Reduce places removed 80 places and 0 transitions.
Iterating global reduction 3 with 160 rules applied. Total rules applied 1280 place count 13123 transition count 38240
Applied a total of 1280 rules in 11363 ms. Remains 13123 /13763 variables (removed 640) and now considering 38240/38880 (removed 640) transitions.
// Phase 1: matrix 38240 rows 13123 cols
[2022-06-08 23:34:40] [INFO ] Computed 82 place invariants in 12859 ms
[2022-06-08 23:34:42] [INFO ] Implicit Places using invariants in 14619 ms returned []
Implicit Place search using SMT only with invariants took 14621 ms to find 0 implicit places.
// Phase 1: matrix 38240 rows 13123 cols
[2022-06-08 23:34:55] [INFO ] Computed 82 place invariants in 12962 ms
[2022-06-08 23:34:57] [INFO ] Dead Transitions using invariants and state equation in 14684 ms found 0 transitions.
Starting structural reductions in SI_CTL mode, iteration 1 : 13123/13763 places, 38240/38880 transitions.
Finished structural reductions, in 1 iterations. Remains : 13123/13763 places, 38240/38880 transitions.
[2022-06-08 23:34:58] [INFO ] Flatten gal took : 900 ms
[2022-06-08 23:34:59] [INFO ] Flatten gal took : 927 ms
[2022-06-08 23:35:00] [INFO ] Input system was already deterministic with 38240 transitions.
[2022-06-08 23:35:01] [INFO ] Flatten gal took : 910 ms
[2022-06-08 23:35:02] [INFO ] Flatten gal took : 930 ms
[2022-06-08 23:35:02] [INFO ] Time to serialize gal into /tmp/CTLCardinality17803481390382842005.gal : 105 ms
[2022-06-08 23:35:02] [INFO ] Time to serialize properties into /tmp/CTLCardinality824905285397790338.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/CTLCardinality17803481390382842005.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality824905285397790338.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-08 23:35:33] [INFO ] Flatten gal took : 1099 ms
[2022-06-08 23:35:33] [INFO ] Applying decomposition
[2022-06-08 23:35:35] [INFO ] Flatten gal took : 1175 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/graph13304876213061893405.txt' '-o' '/tmp/graph13304876213061893405.bin' '-w' '/tmp/graph13304876213061893405.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph13304876213061893405.bin' '-l' '-1' '-v' '-w' '/tmp/graph13304876213061893405.weights' '-q' '0' '-e' '0.001'
[2022-06-08 23:35:36] [INFO ] Decomposing Gal with order
[2022-06-08 23:35:37] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-08 23:35:43] [INFO ] Removed a total of 18890 redundant transitions.
[2022-06-08 23:35:44] [INFO ] Flatten gal took : 4973 ms
[2022-06-08 23:35:49] [INFO ] Fuse similar labels procedure discarded/fused a total of 12476 labels/synchronizations in 4300 ms.
[2022-06-08 23:35:51] [INFO ] Time to serialize gal into /tmp/CTLCardinality15625558253094204501.gal : 137 ms
[2022-06-08 23:35:51] [INFO ] Time to serialize properties into /tmp/CTLCardinality16210930229815719347.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/CTLCardinality15625558253094204501.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality16210930229815719347.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 : 13763/13763 places, 38880/38880 transitions.
Drop transitions removed 560 transitions
Trivial Post-agglo rules discarded 560 transitions
Performed 560 trivial Post agglomeration. Transition count delta: 560
Iterating post reduction 0 with 560 rules applied. Total rules applied 560 place count 13763 transition count 38320
Reduce places removed 560 places and 0 transitions.
Iterating post reduction 1 with 560 rules applied. Total rules applied 1120 place count 13203 transition count 38320
Performed 80 Post agglomeration using F-continuation condition.Transition count delta: 80
Deduced a syphon composed of 80 places in 20 ms
Reduce places removed 80 places and 0 transitions.
Iterating global reduction 2 with 160 rules applied. Total rules applied 1280 place count 13123 transition count 38240
Applied a total of 1280 rules in 10673 ms. Remains 13123 /13763 variables (removed 640) and now considering 38240/38880 (removed 640) transitions.
// Phase 1: matrix 38240 rows 13123 cols
[2022-06-08 23:36:44] [INFO ] Computed 82 place invariants in 12709 ms
[2022-06-08 23:36:46] [INFO ] Implicit Places using invariants in 14592 ms returned []
Implicit Place search using SMT only with invariants took 14595 ms to find 0 implicit places.
// Phase 1: matrix 38240 rows 13123 cols
[2022-06-08 23:36:59] [INFO ] Computed 82 place invariants in 12795 ms
[2022-06-08 23:37:01] [INFO ] Dead Transitions using invariants and state equation in 14636 ms found 0 transitions.
Starting structural reductions in SI_CTL mode, iteration 1 : 13123/13763 places, 38240/38880 transitions.
Finished structural reductions, in 1 iterations. Remains : 13123/13763 places, 38240/38880 transitions.
[2022-06-08 23:37:02] [INFO ] Flatten gal took : 1104 ms
[2022-06-08 23:37:03] [INFO ] Flatten gal took : 964 ms
[2022-06-08 23:37:05] [INFO ] Input system was already deterministic with 38240 transitions.
Finished random walk after 3241 steps, including 3 resets, run visited all 1 properties in 98 ms. (steps per millisecond=33 )
FORMULA CANInsertWithFailure-PT-080-CTLCardinality-06 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Starting structural reductions in LTL mode, iteration 0 : 13763/13763 places, 38880/38880 transitions.
Applied a total of 0 rules in 4398 ms. Remains 13763 /13763 variables (removed 0) and now considering 38880/38880 (removed 0) transitions.
// Phase 1: matrix 38880 rows 13763 cols
[2022-06-08 23:37:22] [INFO ] Computed 82 place invariants in 12473 ms
[2022-06-08 23:37:23] [INFO ] Implicit Places using invariants in 14198 ms returned []
Implicit Place search using SMT only with invariants took 14199 ms to find 0 implicit places.
// Phase 1: matrix 38880 rows 13763 cols
[2022-06-08 23:37:36] [INFO ] Computed 82 place invariants in 12212 ms
[2022-06-08 23:37:38] [INFO ] Dead Transitions using invariants and state equation in 14091 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 13763/13763 places, 38880/38880 transitions.
[2022-06-08 23:37:39] [INFO ] Flatten gal took : 886 ms
[2022-06-08 23:37:39] [INFO ] Flatten gal took : 947 ms
[2022-06-08 23:37:41] [INFO ] Input system was already deterministic with 38880 transitions.
[2022-06-08 23:37:42] [INFO ] Flatten gal took : 950 ms
[2022-06-08 23:37:43] [INFO ] Flatten gal took : 956 ms
[2022-06-08 23:37:43] [INFO ] Time to serialize gal into /tmp/CTLCardinality17263971654199130154.gal : 97 ms
[2022-06-08 23:37:43] [INFO ] Time to serialize properties into /tmp/CTLCardinality2515297478409361191.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/CTLCardinality17263971654199130154.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality2515297478409361191.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-08 23:38:14] [INFO ] Flatten gal took : 944 ms
[2022-06-08 23:38:14] [INFO ] Applying decomposition
[2022-06-08 23:38:15] [INFO ] Flatten gal took : 976 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/graph6152262258311004874.txt' '-o' '/tmp/graph6152262258311004874.bin' '-w' '/tmp/graph6152262258311004874.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph6152262258311004874.bin' '-l' '-1' '-v' '-w' '/tmp/graph6152262258311004874.weights' '-q' '0' '-e' '0.001'
[2022-06-08 23:38:17] [INFO ] Decomposing Gal with order
[2022-06-08 23:38:18] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-08 23:38:25] [INFO ] Removed a total of 19249 redundant transitions.
[2022-06-08 23:38:26] [INFO ] Flatten gal took : 5504 ms
[2022-06-08 23:38:31] [INFO ] Fuse similar labels procedure discarded/fused a total of 12478 labels/synchronizations in 4563 ms.
[2022-06-08 23:38:35] [INFO ] Time to serialize gal into /tmp/CTLCardinality8400259999574132034.gal : 155 ms
[2022-06-08 23:38:35] [INFO ] Time to serialize properties into /tmp/CTLCardinality12010783075165657600.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/CTLCardinality8400259999574132034.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality12010783075165657600.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 : 13763/13763 places, 38880/38880 transitions.
Applied a total of 0 rules in 5085 ms. Remains 13763 /13763 variables (removed 0) and now considering 38880/38880 (removed 0) transitions.
// Phase 1: matrix 38880 rows 13763 cols
[2022-06-08 23:39:22] [INFO ] Computed 82 place invariants in 11909 ms
[2022-06-08 23:39:23] [INFO ] Implicit Places using invariants in 13604 ms returned []
Implicit Place search using SMT only with invariants took 13607 ms to find 0 implicit places.
// Phase 1: matrix 38880 rows 13763 cols
[2022-06-08 23:39:35] [INFO ] Computed 82 place invariants in 12067 ms
[2022-06-08 23:39:37] [INFO ] Dead Transitions using invariants and state equation in 14210 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 13763/13763 places, 38880/38880 transitions.
[2022-06-08 23:39:39] [INFO ] Flatten gal took : 1061 ms
[2022-06-08 23:39:40] [INFO ] Flatten gal took : 1019 ms
[2022-06-08 23:39:42] [INFO ] Input system was already deterministic with 38880 transitions.
[2022-06-08 23:39:43] [INFO ] Flatten gal took : 1028 ms
[2022-06-08 23:39:44] [INFO ] Flatten gal took : 964 ms
[2022-06-08 23:39:44] [INFO ] Time to serialize gal into /tmp/CTLCardinality13278404660301275019.gal : 97 ms
[2022-06-08 23:39:44] [INFO ] Time to serialize properties into /tmp/CTLCardinality10714685420792889159.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/CTLCardinality13278404660301275019.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality10714685420792889159.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-08 23:40:15] [INFO ] Flatten gal took : 951 ms
[2022-06-08 23:40:15] [INFO ] Applying decomposition
[2022-06-08 23:40:16] [INFO ] Flatten gal took : 972 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/graph9897452529100808814.txt' '-o' '/tmp/graph9897452529100808814.bin' '-w' '/tmp/graph9897452529100808814.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph9897452529100808814.bin' '-l' '-1' '-v' '-w' '/tmp/graph9897452529100808814.weights' '-q' '0' '-e' '0.001'
[2022-06-08 23:40:18] [INFO ] Decomposing Gal with order
[2022-06-08 23:40:19] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-08 23:40:25] [INFO ] Removed a total of 19249 redundant transitions.
[2022-06-08 23:40:26] [INFO ] Flatten gal took : 4971 ms
[2022-06-08 23:40:31] [INFO ] Fuse similar labels procedure discarded/fused a total of 12488 labels/synchronizations in 4252 ms.
[2022-06-08 23:40:34] [INFO ] Time to serialize gal into /tmp/CTLCardinality18050171936848733939.gal : 305 ms
[2022-06-08 23:40:34] [INFO ] Time to serialize properties into /tmp/CTLCardinality6391900499052087677.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/CTLCardinality18050171936848733939.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality6391900499052087677.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 : 13763/13763 places, 38880/38880 transitions.
Applied a total of 0 rules in 5399 ms. Remains 13763 /13763 variables (removed 0) and now considering 38880/38880 (removed 0) transitions.
// Phase 1: matrix 38880 rows 13763 cols
[2022-06-08 23:41:23] [INFO ] Computed 82 place invariants in 13195 ms
[2022-06-08 23:41:25] [INFO ] Implicit Places using invariants in 15182 ms returned []
Implicit Place search using SMT only with invariants took 15183 ms to find 0 implicit places.
// Phase 1: matrix 38880 rows 13763 cols
[2022-06-08 23:41:37] [INFO ] Computed 82 place invariants in 12209 ms
[2022-06-08 23:41:39] [INFO ] Dead Transitions using invariants and state equation in 14375 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 13763/13763 places, 38880/38880 transitions.
[2022-06-08 23:41:40] [INFO ] Flatten gal took : 868 ms
[2022-06-08 23:41:41] [INFO ] Flatten gal took : 1016 ms
[2022-06-08 23:41:43] [INFO ] Input system was already deterministic with 38880 transitions.
[2022-06-08 23:41:44] [INFO ] Flatten gal took : 982 ms
[2022-06-08 23:41:45] [INFO ] Flatten gal took : 951 ms
[2022-06-08 23:41:45] [INFO ] Time to serialize gal into /tmp/CTLCardinality697839116403292912.gal : 97 ms
[2022-06-08 23:41:45] [INFO ] Time to serialize properties into /tmp/CTLCardinality8461729201541685247.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/CTLCardinality697839116403292912.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality8461729201541685247.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...273
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-06-08 23:42:16] [INFO ] Flatten gal took : 1146 ms
[2022-06-08 23:42:16] [INFO ] Applying decomposition
[2022-06-08 23:42:17] [INFO ] Flatten gal took : 992 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/graph17666765098058717329.txt' '-o' '/tmp/graph17666765098058717329.bin' '-w' '/tmp/graph17666765098058717329.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph17666765098058717329.bin' '-l' '-1' '-v' '-w' '/tmp/graph17666765098058717329.weights' '-q' '0' '-e' '0.001'
[2022-06-08 23:42:19] [INFO ] Decomposing Gal with order
[2022-06-08 23:42:20] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-08 23:42:27] [INFO ] Removed a total of 19246 redundant transitions.
[2022-06-08 23:42:28] [INFO ] Flatten gal took : 5310 ms
[2022-06-08 23:42:32] [INFO ] Fuse similar labels procedure discarded/fused a total of 12482 labels/synchronizations in 4294 ms.
[2022-06-08 23:42:35] [INFO ] Time to serialize gal into /tmp/CTLCardinality3887306802459125383.gal : 136 ms
[2022-06-08 23:42:35] [INFO ] Time to serialize properties into /tmp/CTLCardinality4952875982875984828.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/CTLCardinality3887306802459125383.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality4952875982875984828.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 SI_CTL mode, iteration 0 : 13763/13763 places, 38880/38880 transitions.
Drop transitions removed 560 transitions
Trivial Post-agglo rules discarded 560 transitions
Performed 560 trivial Post agglomeration. Transition count delta: 560
Iterating post reduction 0 with 560 rules applied. Total rules applied 560 place count 13763 transition count 38320
Reduce places removed 560 places and 0 transitions.
Iterating post reduction 1 with 560 rules applied. Total rules applied 1120 place count 13203 transition count 38320
Performed 80 Post agglomeration using F-continuation condition.Transition count delta: 80
Deduced a syphon composed of 80 places in 10 ms
Reduce places removed 80 places and 0 transitions.
Iterating global reduction 2 with 160 rules applied. Total rules applied 1280 place count 13123 transition count 38240
Applied a total of 1280 rules in 9825 ms. Remains 13123 /13763 variables (removed 640) and now considering 38240/38880 (removed 640) transitions.
// Phase 1: matrix 38240 rows 13123 cols
[2022-06-08 23:43:27] [INFO ] Computed 82 place invariants in 13034 ms
[2022-06-08 23:43:29] [INFO ] Implicit Places using invariants in 14753 ms returned []
Implicit Place search using SMT only with invariants took 14754 ms to find 0 implicit places.
// Phase 1: matrix 38240 rows 13123 cols
[2022-06-08 23:43:42] [INFO ] Computed 82 place invariants in 12882 ms
[2022-06-08 23:43:44] [INFO ] Dead Transitions using invariants and state equation in 14750 ms found 0 transitions.
Starting structural reductions in SI_CTL mode, iteration 1 : 13123/13763 places, 38240/38880 transitions.
Finished structural reductions, in 1 iterations. Remains : 13123/13763 places, 38240/38880 transitions.
[2022-06-08 23:43:45] [INFO ] Flatten gal took : 1052 ms
[2022-06-08 23:43:46] [INFO ] Flatten gal took : 944 ms
[2022-06-08 23:43:48] [INFO ] Input system was already deterministic with 38240 transitions.
[2022-06-08 23:43:49] [INFO ] Flatten gal took : 924 ms
[2022-06-08 23:43:50] [INFO ] Flatten gal took : 939 ms
[2022-06-08 23:43:50] [INFO ] Time to serialize gal into /tmp/CTLCardinality3622368356451725025.gal : 172 ms
[2022-06-08 23:43:50] [INFO ] Time to serialize properties into /tmp/CTLCardinality14425530494472203405.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/CTLCardinality3622368356451725025.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality14425530494472203405.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-08 23:44:21] [INFO ] Flatten gal took : 1116 ms
[2022-06-08 23:44:21] [INFO ] Applying decomposition
[2022-06-08 23:44:22] [INFO ] Flatten gal took : 940 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/graph17389891550734929278.txt' '-o' '/tmp/graph17389891550734929278.bin' '-w' '/tmp/graph17389891550734929278.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph17389891550734929278.bin' '-l' '-1' '-v' '-w' '/tmp/graph17389891550734929278.weights' '-q' '0' '-e' '0.001'
[2022-06-08 23:44:24] [INFO ] Decomposing Gal with order
[2022-06-08 23:44:24] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-08 23:44:30] [INFO ] Removed a total of 18881 redundant transitions.
[2022-06-08 23:44:31] [INFO ] Flatten gal took : 4916 ms
[2022-06-08 23:44:35] [INFO ] Fuse similar labels procedure discarded/fused a total of 12479 labels/synchronizations in 4166 ms.
[2022-06-08 23:44:37] [INFO ] Time to serialize gal into /tmp/CTLCardinality4872935771553975156.gal : 125 ms
[2022-06-08 23:44:38] [INFO ] Time to serialize properties into /tmp/CTLCardinality14551986424747210309.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/CTLCardinality4872935771553975156.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality14551986424747210309.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 : 13763/13763 places, 38880/38880 transitions.
Drop transitions removed 560 transitions
Trivial Post-agglo rules discarded 560 transitions
Performed 560 trivial Post agglomeration. Transition count delta: 560
Iterating post reduction 0 with 560 rules applied. Total rules applied 560 place count 13763 transition count 38320
Reduce places removed 560 places and 0 transitions.
Iterating post reduction 1 with 560 rules applied. Total rules applied 1120 place count 13203 transition count 38320
Performed 80 Post agglomeration using F-continuation condition.Transition count delta: 80
Deduced a syphon composed of 80 places in 10 ms
Reduce places removed 80 places and 0 transitions.
Iterating global reduction 2 with 160 rules applied. Total rules applied 1280 place count 13123 transition count 38240
Applied a total of 1280 rules in 9570 ms. Remains 13123 /13763 variables (removed 640) and now considering 38240/38880 (removed 640) transitions.
// Phase 1: matrix 38240 rows 13123 cols
[2022-06-08 23:45:31] [INFO ] Computed 82 place invariants in 14213 ms
[2022-06-08 23:45:33] [INFO ] Implicit Places using invariants in 15984 ms returned []
Implicit Place search using SMT only with invariants took 15986 ms to find 0 implicit places.
// Phase 1: matrix 38240 rows 13123 cols
[2022-06-08 23:45:47] [INFO ] Computed 82 place invariants in 13447 ms
[2022-06-08 23:45:48] [INFO ] Dead Transitions using invariants and state equation in 15158 ms found 0 transitions.
Starting structural reductions in SI_CTL mode, iteration 1 : 13123/13763 places, 38240/38880 transitions.
Finished structural reductions, in 1 iterations. Remains : 13123/13763 places, 38240/38880 transitions.
[2022-06-08 23:45:49] [INFO ] Flatten gal took : 974 ms
[2022-06-08 23:45:50] [INFO ] Flatten gal took : 1115 ms
[2022-06-08 23:45:52] [INFO ] Input system was already deterministic with 38240 transitions.
[2022-06-08 23:45:53] [INFO ] Flatten gal took : 976 ms
[2022-06-08 23:45:54] [INFO ] Flatten gal took : 1009 ms
[2022-06-08 23:45:54] [INFO ] Time to serialize gal into /tmp/CTLCardinality1383527322302705743.gal : 121 ms
[2022-06-08 23:45:54] [INFO ] Time to serialize properties into /tmp/CTLCardinality6798257616910530418.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/CTLCardinality1383527322302705743.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality6798257616910530418.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-08 23:46:26] [INFO ] Flatten gal took : 1203 ms
[2022-06-08 23:46:26] [INFO ] Applying decomposition
[2022-06-08 23:46:27] [INFO ] Flatten gal took : 1053 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/graph12137578244547763459.txt' '-o' '/tmp/graph12137578244547763459.bin' '-w' '/tmp/graph12137578244547763459.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph12137578244547763459.bin' '-l' '-1' '-v' '-w' '/tmp/graph12137578244547763459.weights' '-q' '0' '-e' '0.001'
[2022-06-08 23:46:29] [INFO ] Decomposing Gal with order
[2022-06-08 23:46:29] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-08 23:46:36] [INFO ] Removed a total of 18896 redundant transitions.
[2022-06-08 23:46:36] [INFO ] Flatten gal took : 5064 ms
[2022-06-08 23:46:41] [INFO ] Fuse similar labels procedure discarded/fused a total of 12475 labels/synchronizations in 4386 ms.
[2022-06-08 23:46:44] [INFO ] Time to serialize gal into /tmp/CTLCardinality791854546370518112.gal : 130 ms
[2022-06-08 23:46:44] [INFO ] Time to serialize properties into /tmp/CTLCardinality11394022947168495842.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/CTLCardinality791854546370518112.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality11394022947168495842.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 SI_CTL mode, iteration 0 : 13763/13763 places, 38880/38880 transitions.
Drop transitions removed 560 transitions
Trivial Post-agglo rules discarded 560 transitions
Performed 560 trivial Post agglomeration. Transition count delta: 560
Iterating post reduction 0 with 560 rules applied. Total rules applied 560 place count 13763 transition count 38320
Reduce places removed 560 places and 0 transitions.
Iterating post reduction 1 with 560 rules applied. Total rules applied 1120 place count 13203 transition count 38320
Performed 80 Post agglomeration using F-continuation condition.Transition count delta: 80
Deduced a syphon composed of 80 places in 10 ms
Reduce places removed 80 places and 0 transitions.
Iterating global reduction 2 with 160 rules applied. Total rules applied 1280 place count 13123 transition count 38240
Applied a total of 1280 rules in 10677 ms. Remains 13123 /13763 variables (removed 640) and now considering 38240/38880 (removed 640) transitions.
// Phase 1: matrix 38240 rows 13123 cols
[2022-06-08 23:47:38] [INFO ] Computed 82 place invariants in 14181 ms
[2022-06-08 23:47:40] [INFO ] Implicit Places using invariants in 15921 ms returned []
Implicit Place search using SMT only with invariants took 15925 ms to find 0 implicit places.
// Phase 1: matrix 38240 rows 13123 cols
[2022-06-08 23:47:53] [INFO ] Computed 82 place invariants in 12665 ms
[2022-06-08 23:47:55] [INFO ] Dead Transitions using invariants and state equation in 14586 ms found 0 transitions.
Starting structural reductions in SI_CTL mode, iteration 1 : 13123/13763 places, 38240/38880 transitions.
Finished structural reductions, in 1 iterations. Remains : 13123/13763 places, 38240/38880 transitions.
[2022-06-08 23:47:56] [INFO ] Flatten gal took : 856 ms
[2022-06-08 23:47:57] [INFO ] Flatten gal took : 938 ms
[2022-06-08 23:47:58] [INFO ] Input system was already deterministic with 38240 transitions.
[2022-06-08 23:47:59] [INFO ] Flatten gal took : 924 ms
[2022-06-08 23:48:00] [INFO ] Flatten gal took : 959 ms
[2022-06-08 23:48:00] [INFO ] Time to serialize gal into /tmp/CTLCardinality1569065554068168957.gal : 164 ms
[2022-06-08 23:48:00] [INFO ] Time to serialize properties into /tmp/CTLCardinality15231718524920657706.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/CTLCardinality1569065554068168957.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality15231718524920657706.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-08 23:48:32] [INFO ] Flatten gal took : 939 ms
[2022-06-08 23:48:32] [INFO ] Applying decomposition
[2022-06-08 23:48:32] [INFO ] Flatten gal took : 967 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/graph13476761440753723024.txt' '-o' '/tmp/graph13476761440753723024.bin' '-w' '/tmp/graph13476761440753723024.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph13476761440753723024.bin' '-l' '-1' '-v' '-w' '/tmp/graph13476761440753723024.weights' '-q' '0' '-e' '0.001'
[2022-06-08 23:48:35] [INFO ] Decomposing Gal with order
[2022-06-08 23:48:35] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-08 23:48:42] [INFO ] Removed a total of 18917 redundant transitions.
[2022-06-08 23:48:42] [INFO ] Flatten gal took : 5154 ms
[2022-06-08 23:48:47] [INFO ] Fuse similar labels procedure discarded/fused a total of 13602 labels/synchronizations in 4663 ms.
[2022-06-08 23:48:47] [INFO ] Time to serialize gal into /tmp/CTLCardinality6619748000766201669.gal : 136 ms
[2022-06-08 23:48:47] [INFO ] Time to serialize properties into /tmp/CTLCardinality9705425873954886973.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/CTLCardinality6619748000766201669.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality9705425873954886973.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...253
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 13763/13763 places, 38880/38880 transitions.
Applied a total of 0 rules in 5251 ms. Remains 13763 /13763 variables (removed 0) and now considering 38880/38880 (removed 0) transitions.
// Phase 1: matrix 38880 rows 13763 cols
[2022-06-08 23:49:35] [INFO ] Computed 82 place invariants in 12702 ms
[2022-06-08 23:49:37] [INFO ] Implicit Places using invariants in 14702 ms returned []
Implicit Place search using SMT only with invariants took 14707 ms to find 0 implicit places.
// Phase 1: matrix 38880 rows 13763 cols
[2022-06-08 23:49:49] [INFO ] Computed 82 place invariants in 11714 ms
[2022-06-08 23:49:51] [INFO ] Dead Transitions using invariants and state equation in 13821 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 13763/13763 places, 38880/38880 transitions.
[2022-06-08 23:49:52] [INFO ] Flatten gal took : 1012 ms
[2022-06-08 23:49:53] [INFO ] Flatten gal took : 1009 ms
[2022-06-08 23:49:55] [INFO ] Input system was already deterministic with 38880 transitions.
[2022-06-08 23:49:56] [INFO ] Flatten gal took : 974 ms
[2022-06-08 23:49:57] [INFO ] Flatten gal took : 1182 ms
[2022-06-08 23:49:57] [INFO ] Time to serialize gal into /tmp/CTLCardinality5299379798771708082.gal : 113 ms
[2022-06-08 23:49:57] [INFO ] Time to serialize properties into /tmp/CTLCardinality6037323024399984619.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/CTLCardinality5299379798771708082.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality6037323024399984619.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-08 23:50:28] [INFO ] Flatten gal took : 951 ms
[2022-06-08 23:50:28] [INFO ] Applying decomposition
[2022-06-08 23:50:29] [INFO ] Flatten gal took : 1006 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/graph4336549773828279800.txt' '-o' '/tmp/graph4336549773828279800.bin' '-w' '/tmp/graph4336549773828279800.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph4336549773828279800.bin' '-l' '-1' '-v' '-w' '/tmp/graph4336549773828279800.weights' '-q' '0' '-e' '0.001'
[2022-06-08 23:50:32] [INFO ] Decomposing Gal with order
[2022-06-08 23:50:33] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-08 23:50:40] [INFO ] Removed a total of 19239 redundant transitions.
[2022-06-08 23:50:40] [INFO ] Flatten gal took : 5244 ms
[2022-06-08 23:50:45] [INFO ] Fuse similar labels procedure discarded/fused a total of 25206 labels/synchronizations in 4462 ms.
[2022-06-08 23:50:45] [INFO ] Time to serialize gal into /tmp/CTLCardinality12511596611860790885.gal : 152 ms
[2022-06-08 23:50:45] [INFO ] Time to serialize properties into /tmp/CTLCardinality11265843168992880832.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/CTLCardinality12511596611860790885.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality11265843168992880832.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...255
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 13763/13763 places, 38880/38880 transitions.
Applied a total of 0 rules in 5205 ms. Remains 13763 /13763 variables (removed 0) and now considering 38880/38880 (removed 0) transitions.
// Phase 1: matrix 38880 rows 13763 cols
[2022-06-08 23:51:33] [INFO ] Computed 82 place invariants in 12359 ms
[2022-06-08 23:51:35] [INFO ] Implicit Places using invariants in 14349 ms returned []
Implicit Place search using SMT only with invariants took 14364 ms to find 0 implicit places.
// Phase 1: matrix 38880 rows 13763 cols
[2022-06-08 23:51:47] [INFO ] Computed 82 place invariants in 12405 ms
[2022-06-08 23:51:49] [INFO ] Dead Transitions using invariants and state equation in 14416 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 13763/13763 places, 38880/38880 transitions.
[2022-06-08 23:51:50] [INFO ] Flatten gal took : 1094 ms
[2022-06-08 23:51:51] [INFO ] Flatten gal took : 1015 ms
[2022-06-08 23:51:53] [INFO ] Input system was already deterministic with 38880 transitions.
[2022-06-08 23:51:54] [INFO ] Flatten gal took : 956 ms
[2022-06-08 23:51:55] [INFO ] Flatten gal took : 1155 ms
[2022-06-08 23:51:55] [INFO ] Time to serialize gal into /tmp/CTLCardinality12518880112136433702.gal : 105 ms
[2022-06-08 23:51:55] [INFO ] Time to serialize properties into /tmp/CTLCardinality12462069583317598405.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/CTLCardinality12518880112136433702.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality12462069583317598405.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-08 23:52:27] [INFO ] Flatten gal took : 1170 ms
[2022-06-08 23:52:27] [INFO ] Applying decomposition
[2022-06-08 23:52:28] [INFO ] Flatten gal took : 986 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/graph15933351543359491146.txt' '-o' '/tmp/graph15933351543359491146.bin' '-w' '/tmp/graph15933351543359491146.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph15933351543359491146.bin' '-l' '-1' '-v' '-w' '/tmp/graph15933351543359491146.weights' '-q' '0' '-e' '0.001'
[2022-06-08 23:52:30] [INFO ] Decomposing Gal with order
[2022-06-08 23:52:31] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-08 23:52:37] [INFO ] Removed a total of 19251 redundant transitions.
[2022-06-08 23:52:38] [INFO ] Flatten gal took : 5040 ms
[2022-06-08 23:52:43] [INFO ] Fuse similar labels procedure discarded/fused a total of 12482 labels/synchronizations in 4253 ms.
[2022-06-08 23:52:46] [INFO ] Time to serialize gal into /tmp/CTLCardinality3101428332547477877.gal : 136 ms
[2022-06-08 23:52:46] [INFO ] Time to serialize properties into /tmp/CTLCardinality17615470174835238609.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/CTLCardinality3101428332547477877.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality17615470174835238609.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 : 13763/13763 places, 38880/38880 transitions.
Applied a total of 0 rules in 5023 ms. Remains 13763 /13763 variables (removed 0) and now considering 38880/38880 (removed 0) transitions.
// Phase 1: matrix 38880 rows 13763 cols
[2022-06-08 23:53:34] [INFO ] Computed 82 place invariants in 12292 ms
[2022-06-08 23:53:36] [INFO ] Implicit Places using invariants in 14330 ms returned []
Implicit Place search using SMT only with invariants took 14331 ms to find 0 implicit places.
// Phase 1: matrix 38880 rows 13763 cols
[2022-06-08 23:53:47] [INFO ] Computed 82 place invariants in 11619 ms
[2022-06-08 23:53:49] [INFO ] Dead Transitions using invariants and state equation in 13748 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 13763/13763 places, 38880/38880 transitions.
[2022-06-08 23:53:51] [INFO ] Flatten gal took : 1198 ms
[2022-06-08 23:53:52] [INFO ] Flatten gal took : 1010 ms
[2022-06-08 23:53:53] [INFO ] Input system was already deterministic with 38880 transitions.
[2022-06-08 23:53:54] [INFO ] Flatten gal took : 973 ms
[2022-06-08 23:53:55] [INFO ] Flatten gal took : 1035 ms
[2022-06-08 23:53:56] [INFO ] Time to serialize gal into /tmp/CTLCardinality910517453167757591.gal : 132 ms
[2022-06-08 23:53:56] [INFO ] Time to serialize properties into /tmp/CTLCardinality1975630454946769729.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/CTLCardinality910517453167757591.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality1975630454946769729.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...273
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-06-08 23:54:27] [INFO ] Flatten gal took : 1289 ms
[2022-06-08 23:54:27] [INFO ] Applying decomposition
[2022-06-08 23:54:28] [INFO ] Flatten gal took : 966 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/graph16228253657250471032.txt' '-o' '/tmp/graph16228253657250471032.bin' '-w' '/tmp/graph16228253657250471032.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph16228253657250471032.bin' '-l' '-1' '-v' '-w' '/tmp/graph16228253657250471032.weights' '-q' '0' '-e' '0.001'
[2022-06-08 23:54:30] [INFO ] Decomposing Gal with order
[2022-06-08 23:54:31] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-08 23:54:38] [INFO ] Removed a total of 19236 redundant transitions.
[2022-06-08 23:54:38] [INFO ] Flatten gal took : 5183 ms
[2022-06-08 23:54:43] [INFO ] Fuse similar labels procedure discarded/fused a total of 12539 labels/synchronizations in 4154 ms.
[2022-06-08 23:54:48] [INFO ] Time to serialize gal into /tmp/CTLCardinality12803922220090429331.gal : 151 ms
[2022-06-08 23:54:48] [INFO ] Time to serialize properties into /tmp/CTLCardinality8483052798615831126.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/CTLCardinality12803922220090429331.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality8483052798615831126.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-08 23:55:20] [INFO ] Flatten gal took : 1233 ms
[2022-06-08 23:55:21] [INFO ] Flatten gal took : 982 ms
[2022-06-08 23:55:21] [INFO ] Applying decomposition
[2022-06-08 23:55:23] [INFO ] Flatten gal took : 1507 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/graph6710497823450574882.txt' '-o' '/tmp/graph6710497823450574882.bin' '-w' '/tmp/graph6710497823450574882.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph6710497823450574882.bin' '-l' '-1' '-v' '-w' '/tmp/graph6710497823450574882.weights' '-q' '0' '-e' '0.001'
[2022-06-08 23:55:25] [INFO ] Decomposing Gal with order
[2022-06-08 23:55:25] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-08 23:55:32] [INFO ] Removed a total of 19404 redundant transitions.
[2022-06-08 23:55:33] [INFO ] Flatten gal took : 4970 ms
[2022-06-08 23:55:38] [INFO ] Fuse similar labels procedure discarded/fused a total of 12454 labels/synchronizations in 4514 ms.
[2022-06-08 23:55:41] [INFO ] Time to serialize gal into /tmp/CTLCardinality6202538213916626027.gal : 211 ms
[2022-06-08 23:55:41] [INFO ] Time to serialize properties into /tmp/CTLCardinality16619008890310516019.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/CTLCardinality6202538213916626027.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality16619008890310516019.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 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-080"
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-080, 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-165463872400065"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/CANInsertWithFailure-PT-080.tgz
mv CANInsertWithFailure-PT-080 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 ;