About the Execution of 2021-gold for CANInsertWithFailure-PT-030
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 12863.000 | 3600000.00 | 13081419.00 | 1590.40 | FTFTT??FT?TTTTFF | 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.r305-smll-165463878300011.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 gold2021
Input is CANInsertWithFailure-PT-030, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r305-smll-165463878300011
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 6.1M
-rw-r--r-- 1 mcc users 8.8K May 30 15:16 CTLCardinality.txt
-rw-r--r-- 1 mcc users 76K May 30 15:16 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.2K May 30 15:08 CTLFireability.txt
-rw-r--r-- 1 mcc users 42K May 30 15:08 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.6K May 25 12:58 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K May 25 12:58 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.2K May 25 12:58 LTLFireability.txt
-rw-r--r-- 1 mcc users 20K May 25 12:58 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 29 12:20 NewModel
-rw-r--r-- 1 mcc users 15K May 30 15:19 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 120K May 30 15:19 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K May 30 15:18 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 67K May 30 15:18 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K May 25 12:58 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K May 25 12:58 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 5.6M 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-030-ReachabilityCardinality-00
FORMULA_NAME CANInsertWithFailure-PT-030-ReachabilityCardinality-01
FORMULA_NAME CANInsertWithFailure-PT-030-ReachabilityCardinality-02
FORMULA_NAME CANInsertWithFailure-PT-030-ReachabilityCardinality-03
FORMULA_NAME CANInsertWithFailure-PT-030-ReachabilityCardinality-04
FORMULA_NAME CANInsertWithFailure-PT-030-ReachabilityCardinality-05
FORMULA_NAME CANInsertWithFailure-PT-030-ReachabilityCardinality-06
FORMULA_NAME CANInsertWithFailure-PT-030-ReachabilityCardinality-07
FORMULA_NAME CANInsertWithFailure-PT-030-ReachabilityCardinality-08
FORMULA_NAME CANInsertWithFailure-PT-030-ReachabilityCardinality-09
FORMULA_NAME CANInsertWithFailure-PT-030-ReachabilityCardinality-10
FORMULA_NAME CANInsertWithFailure-PT-030-ReachabilityCardinality-11
FORMULA_NAME CANInsertWithFailure-PT-030-ReachabilityCardinality-12
FORMULA_NAME CANInsertWithFailure-PT-030-ReachabilityCardinality-13
FORMULA_NAME CANInsertWithFailure-PT-030-ReachabilityCardinality-14
FORMULA_NAME CANInsertWithFailure-PT-030-ReachabilityCardinality-15
=== Now, execution of the tool begins
BK_START 1654680170619
Running Version 0
[2022-06-08 09:22:53] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, ReachabilityCardinality, -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 09:22:53] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2022-06-08 09:22:53] [INFO ] Load time of PNML (sax parser for PT used): 553 ms
[2022-06-08 09:22:53] [INFO ] Transformed 2164 places.
[2022-06-08 09:22:53] [INFO ] Transformed 5580 transitions.
[2022-06-08 09:22:53] [INFO ] Parsed PT model containing 2164 places and 5580 transitions in 669 ms.
Parsed 16 properties from file /home/mcc/execution/ReachabilityCardinality.xml in 27 ms.
Working with output stream class java.io.PrintStream
Incomplete random walk after 10000 steps, including 13 resets, run finished after 179 ms. (steps per millisecond=55 ) properties (out of 16) seen :3
FORMULA CANInsertWithFailure-PT-030-ReachabilityCardinality-15 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA CANInsertWithFailure-PT-030-ReachabilityCardinality-13 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA CANInsertWithFailure-PT-030-ReachabilityCardinality-03 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 46 ms. (steps per millisecond=217 ) properties (out of 13) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 50 ms. (steps per millisecond=200 ) properties (out of 13) 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 13) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 54 ms. (steps per millisecond=185 ) properties (out of 13) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 56 ms. (steps per millisecond=178 ) properties (out of 13) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 57 ms. (steps per millisecond=175 ) properties (out of 13) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 76 ms. (steps per millisecond=131 ) properties (out of 13) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 26 ms. (steps per millisecond=384 ) properties (out of 13) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 21 ms. (steps per millisecond=476 ) properties (out of 13) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 26 ms. (steps per millisecond=384 ) properties (out of 13) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 18 ms. (steps per millisecond=555 ) properties (out of 13) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 15 ms. (steps per millisecond=666 ) properties (out of 13) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 20 ms. (steps per millisecond=500 ) properties (out of 13) seen :0
Running SMT prover for 13 properties.
// Phase 1: matrix 5580 rows 2164 cols
[2022-06-08 09:22:55] [INFO ] Computed 33 place invariants in 327 ms
[2022-06-08 09:22:55] [INFO ] [Real]Absence check using 31 positive place invariants in 62 ms returned sat
[2022-06-08 09:22:55] [INFO ] [Real]Absence check using 31 positive and 2 generalized place invariants in 22 ms returned sat
[2022-06-08 09:22:55] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-08 09:22:59] [INFO ] [Real]Absence check using state equation in 3341 ms returned sat
[2022-06-08 09:22:59] [INFO ] Solution in real domain found non-integer solution.
[2022-06-08 09:22:59] [INFO ] [Nat]Absence check using 31 positive place invariants in 60 ms returned sat
[2022-06-08 09:22:59] [INFO ] [Nat]Absence check using 31 positive and 2 generalized place invariants in 21 ms returned sat
[2022-06-08 09:22:59] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-08 09:23:02] [INFO ] [Nat]Absence check using state equation in 2384 ms returned sat
[2022-06-08 09:23:02] [INFO ] State equation strengthened by 1770 read => feed constraints.
[2022-06-08 09:23:04] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 09:23:04] [INFO ] [Nat]Added 1770 Read/Feed constraints in 2164 ms returned unknown
[2022-06-08 09:23:04] [INFO ] [Real]Absence check using 31 positive place invariants in 51 ms returned sat
[2022-06-08 09:23:04] [INFO ] [Real]Absence check using 31 positive and 2 generalized place invariants in 21 ms returned sat
[2022-06-08 09:23:04] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-08 09:23:07] [INFO ] [Real]Absence check using state equation in 2590 ms returned sat
[2022-06-08 09:23:07] [INFO ] Solution in real domain found non-integer solution.
[2022-06-08 09:23:08] [INFO ] [Nat]Absence check using 31 positive place invariants in 69 ms returned sat
[2022-06-08 09:23:08] [INFO ] [Nat]Absence check using 31 positive and 2 generalized place invariants in 22 ms returned sat
[2022-06-08 09:23:08] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-08 09:23:10] [INFO ] [Nat]Absence check using state equation in 2329 ms returned sat
[2022-06-08 09:23:12] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 09:23:12] [INFO ] [Nat]Added 1770 Read/Feed constraints in 2319 ms returned unknown
[2022-06-08 09:23:13] [INFO ] [Real]Absence check using 31 positive place invariants in 30 ms returned unsat
[2022-06-08 09:23:13] [INFO ] [Real]Absence check using 31 positive place invariants in 54 ms returned sat
[2022-06-08 09:23:13] [INFO ] [Real]Absence check using 31 positive and 2 generalized place invariants in 20 ms returned sat
[2022-06-08 09:23:13] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-08 09:23:15] [INFO ] [Real]Absence check using state equation in 2320 ms returned sat
[2022-06-08 09:23:15] [INFO ] Solution in real domain found non-integer solution.
[2022-06-08 09:23:16] [INFO ] [Nat]Absence check using 31 positive place invariants in 53 ms returned sat
[2022-06-08 09:23:16] [INFO ] [Nat]Absence check using 31 positive and 2 generalized place invariants in 20 ms returned sat
[2022-06-08 09:23:16] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-08 09:23:19] [INFO ] [Nat]Absence check using state equation in 2818 ms returned sat
[2022-06-08 09:23:20] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 09:23:20] [INFO ] [Nat]Added 1770 Read/Feed constraints in 1860 ms returned unknown
[2022-06-08 09:23:21] [INFO ] [Real]Absence check using 31 positive place invariants in 51 ms returned sat
[2022-06-08 09:23:21] [INFO ] [Real]Absence check using 31 positive and 2 generalized place invariants in 22 ms returned sat
[2022-06-08 09:23:21] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-08 09:23:23] [INFO ] [Real]Absence check using state equation in 2515 ms returned sat
[2022-06-08 09:23:24] [INFO ] Solution in real domain found non-integer solution.
[2022-06-08 09:23:24] [INFO ] [Nat]Absence check using 31 positive place invariants in 80 ms returned sat
[2022-06-08 09:23:24] [INFO ] [Nat]Absence check using 31 positive and 2 generalized place invariants in 33 ms returned sat
[2022-06-08 09:23:24] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-08 09:23:26] [INFO ] [Nat]Absence check using state equation in 2573 ms returned sat
[2022-06-08 09:23:28] [INFO ] [Nat]Added 1770 Read/Feed constraints in 1927 ms returned sat
[2022-06-08 09:23:31] [INFO ] Deduced a trap composed of 11 places in 2435 ms of which 5 ms to minimize.
[2022-06-08 09:23:31] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close... while checking expression at index 4
[2022-06-08 09:23:31] [INFO ] [Real]Absence check using 31 positive place invariants in 54 ms returned sat
[2022-06-08 09:23:31] [INFO ] [Real]Absence check using 31 positive and 2 generalized place invariants in 21 ms returned sat
[2022-06-08 09:23:31] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-08 09:23:34] [INFO ] [Real]Absence check using state equation in 2246 ms returned sat
[2022-06-08 09:23:34] [INFO ] Solution in real domain found non-integer solution.
[2022-06-08 09:23:34] [INFO ] [Nat]Absence check using 31 positive place invariants in 54 ms returned sat
[2022-06-08 09:23:34] [INFO ] [Nat]Absence check using 31 positive and 2 generalized place invariants in 22 ms returned sat
[2022-06-08 09:23:34] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-08 09:23:36] [INFO ] [Nat]Absence check using state equation in 2231 ms returned sat
[2022-06-08 09:23:39] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 09:23:39] [INFO ] [Nat]Added 1770 Read/Feed constraints in 2448 ms returned unknown
[2022-06-08 09:23:39] [INFO ] [Real]Absence check using 31 positive place invariants in 50 ms returned sat
[2022-06-08 09:23:39] [INFO ] [Real]Absence check using 31 positive and 2 generalized place invariants in 22 ms returned sat
[2022-06-08 09:23:39] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-08 09:23:41] [INFO ] [Real]Absence check using state equation in 2161 ms returned sat
[2022-06-08 09:23:42] [INFO ] Solution in real domain found non-integer solution.
[2022-06-08 09:23:42] [INFO ] [Nat]Absence check using 31 positive place invariants in 54 ms returned sat
[2022-06-08 09:23:42] [INFO ] [Nat]Absence check using 31 positive and 2 generalized place invariants in 22 ms returned sat
[2022-06-08 09:23:42] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-08 09:23:44] [INFO ] [Nat]Absence check using state equation in 2174 ms returned sat
[2022-06-08 09:23:47] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 09:23:47] [INFO ] [Nat]Added 1770 Read/Feed constraints in 2504 ms returned unknown
[2022-06-08 09:23:47] [INFO ] [Real]Absence check using 31 positive place invariants in 47 ms returned sat
[2022-06-08 09:23:47] [INFO ] [Real]Absence check using 31 positive and 2 generalized place invariants in 21 ms returned sat
[2022-06-08 09:23:47] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-08 09:23:49] [INFO ] [Real]Absence check using state equation in 2387 ms returned sat
[2022-06-08 09:23:50] [INFO ] Solution in real domain found non-integer solution.
[2022-06-08 09:23:50] [INFO ] [Nat]Absence check using 31 positive place invariants in 51 ms returned sat
[2022-06-08 09:23:50] [INFO ] [Nat]Absence check using 31 positive and 2 generalized place invariants in 19 ms returned sat
[2022-06-08 09:23:50] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-08 09:23:52] [INFO ] [Nat]Absence check using state equation in 2268 ms returned sat
[2022-06-08 09:23:55] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 09:23:55] [INFO ] [Nat]Added 1770 Read/Feed constraints in 2414 ms returned unknown
[2022-06-08 09:23:55] [INFO ] [Real]Absence check using 31 positive place invariants in 47 ms returned sat
[2022-06-08 09:23:55] [INFO ] [Real]Absence check using 31 positive and 2 generalized place invariants in 19 ms returned sat
[2022-06-08 09:23:55] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-08 09:23:57] [INFO ] [Real]Absence check using state equation in 2395 ms returned sat
[2022-06-08 09:23:58] [INFO ] Solution in real domain found non-integer solution.
[2022-06-08 09:23:58] [INFO ] [Nat]Absence check using 31 positive place invariants in 50 ms returned sat
[2022-06-08 09:23:58] [INFO ] [Nat]Absence check using 31 positive and 2 generalized place invariants in 19 ms returned sat
[2022-06-08 09:23:58] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-08 09:24:00] [INFO ] [Nat]Absence check using state equation in 2166 ms returned sat
[2022-06-08 09:24:03] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 09:24:03] [INFO ] [Nat]Added 1770 Read/Feed constraints in 2515 ms returned unknown
[2022-06-08 09:24:03] [INFO ] [Real]Absence check using 31 positive place invariants in 48 ms returned sat
[2022-06-08 09:24:03] [INFO ] [Real]Absence check using 31 positive and 2 generalized place invariants in 21 ms returned sat
[2022-06-08 09:24:03] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-08 09:24:05] [INFO ] [Real]Absence check using state equation in 2251 ms returned sat
[2022-06-08 09:24:05] [INFO ] Solution in real domain found non-integer solution.
[2022-06-08 09:24:06] [INFO ] [Nat]Absence check using 31 positive place invariants in 52 ms returned sat
[2022-06-08 09:24:06] [INFO ] [Nat]Absence check using 31 positive and 2 generalized place invariants in 19 ms returned sat
[2022-06-08 09:24:06] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-08 09:24:08] [INFO ] [Nat]Absence check using state equation in 2292 ms returned sat
[2022-06-08 09:24:10] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 09:24:10] [INFO ] [Nat]Added 1770 Read/Feed constraints in 2396 ms returned unknown
[2022-06-08 09:24:11] [INFO ] [Real]Absence check using 31 positive place invariants in 47 ms returned sat
[2022-06-08 09:24:11] [INFO ] [Real]Absence check using 31 positive and 2 generalized place invariants in 20 ms returned sat
[2022-06-08 09:24:11] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-08 09:24:14] [INFO ] [Real]Absence check using state equation in 3243 ms returned sat
[2022-06-08 09:24:14] [INFO ] Solution in real domain found non-integer solution.
[2022-06-08 09:24:14] [INFO ] [Nat]Absence check using 31 positive place invariants in 48 ms returned sat
[2022-06-08 09:24:14] [INFO ] [Nat]Absence check using 31 positive and 2 generalized place invariants in 20 ms returned sat
[2022-06-08 09:24:14] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-08 09:24:18] [INFO ] [Nat]Absence check using state equation in 3208 ms returned sat
[2022-06-08 09:24:19] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 09:24:19] [INFO ] [Nat]Added 1770 Read/Feed constraints in 1476 ms returned unknown
[2022-06-08 09:24:19] [INFO ] [Real]Absence check using 31 positive place invariants in 46 ms returned sat
[2022-06-08 09:24:19] [INFO ] [Real]Absence check using 31 positive and 2 generalized place invariants in 23 ms returned sat
[2022-06-08 09:24:19] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-08 09:24:22] [INFO ] [Real]Absence check using state equation in 2214 ms returned sat
[2022-06-08 09:24:22] [INFO ] [Real]Added 1770 Read/Feed constraints in 616 ms returned sat
[2022-06-08 09:24:23] [INFO ] Solution in real domain found non-integer solution.
[2022-06-08 09:24:23] [INFO ] [Nat]Absence check using 31 positive place invariants in 47 ms returned sat
[2022-06-08 09:24:23] [INFO ] [Nat]Absence check using 31 positive and 2 generalized place invariants in 19 ms returned sat
[2022-06-08 09:24:23] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-08 09:24:25] [INFO ] [Nat]Absence check using state equation in 2261 ms returned sat
[2022-06-08 09:24:28] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 09:24:28] [INFO ] [Nat]Added 1770 Read/Feed constraints in 2428 ms returned unknown
[2022-06-08 09:24:28] [INFO ] [Real]Absence check using 31 positive place invariants in 45 ms returned sat
[2022-06-08 09:24:28] [INFO ] [Real]Absence check using 31 positive and 2 generalized place invariants in 20 ms returned sat
[2022-06-08 09:24:28] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-08 09:24:31] [INFO ] [Real]Absence check using state equation in 2645 ms returned sat
[2022-06-08 09:24:31] [INFO ] Solution in real domain found non-integer solution.
[2022-06-08 09:24:31] [INFO ] [Nat]Absence check using 31 positive place invariants in 52 ms returned sat
[2022-06-08 09:24:31] [INFO ] [Nat]Absence check using 31 positive and 2 generalized place invariants in 19 ms returned sat
[2022-06-08 09:24:31] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-08 09:24:33] [INFO ] [Nat]Absence check using state equation in 2166 ms returned sat
[2022-06-08 09:24:36] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 09:24:36] [INFO ] [Nat]Added 1770 Read/Feed constraints in 2520 ms returned unknown
FORMULA CANInsertWithFailure-PT-030-ReachabilityCardinality-02 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
Fused 13 Parikh solutions to 1 different solutions.
Support contains 238 out of 2164 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 2164/2164 places, 5580/5580 transitions.
Graph (complete) has 7651 edges and 2164 vertex of which 2163 are kept as prefixes of interest. Removing 1 places using SCC suffix rule.19 ms
Discarding 1 places :
Also discarding 0 output transitions
Drop transitions removed 145 transitions
Trivial Post-agglo rules discarded 145 transitions
Performed 145 trivial Post agglomeration. Transition count delta: 145
Iterating post reduction 0 with 145 rules applied. Total rules applied 146 place count 2163 transition count 5435
Reduce places removed 145 places and 0 transitions.
Performed 18 Post agglomeration using F-continuation condition.Transition count delta: 18
Iterating post reduction 1 with 163 rules applied. Total rules applied 309 place count 2018 transition count 5417
Reduce places removed 18 places and 0 transitions.
Iterating post reduction 2 with 18 rules applied. Total rules applied 327 place count 2000 transition count 5417
Performed 10 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 10 Pre rules applied. Total rules applied 327 place count 2000 transition count 5407
Deduced a syphon composed of 10 places in 5 ms
Reduce places removed 10 places and 0 transitions.
Iterating global reduction 3 with 20 rules applied. Total rules applied 347 place count 1990 transition count 5407
Performed 598 Post agglomeration using F-continuation condition.Transition count delta: 598
Deduced a syphon composed of 598 places in 5 ms
Reduce places removed 598 places and 0 transitions.
Iterating global reduction 3 with 1196 rules applied. Total rules applied 1543 place count 1392 transition count 4809
Drop transitions removed 583 transitions
Redundant transition composition rules discarded 583 transitions
Iterating global reduction 3 with 583 rules applied. Total rules applied 2126 place count 1392 transition count 4226
Free-agglomeration rule (complex) applied 7 times.
Iterating global reduction 3 with 7 rules applied. Total rules applied 2133 place count 1392 transition count 4219
Reduce places removed 7 places and 0 transitions.
Iterating post reduction 3 with 7 rules applied. Total rules applied 2140 place count 1385 transition count 4219
Partial Free-agglomeration rule applied 1038 times.
Drop transitions removed 1038 transitions
Iterating global reduction 4 with 1038 rules applied. Total rules applied 3178 place count 1385 transition count 4219
Partial Free-agglomeration rule applied 294 times.
Drop transitions removed 294 transitions
Iterating global reduction 4 with 294 rules applied. Total rules applied 3472 place count 1385 transition count 4219
Applied a total of 3472 rules in 1584 ms. Remains 1385 /2164 variables (removed 779) and now considering 4219/5580 (removed 1361) transitions.
Finished structural reductions, in 1 iterations. Remains : 1385/2164 places, 4219/5580 transitions.
[2022-06-08 09:24:38] [INFO ] Flatten gal took : 493 ms
[2022-06-08 09:24:39] [INFO ] Flatten gal took : 287 ms
[2022-06-08 09:24:39] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality14960405612086912550.gal : 77 ms
[2022-06-08 09:24:39] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality485354664853321943.prop : 2 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality14960405612086912550.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality485354664853321943.prop, --nowitness, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality14960405612086912550.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality485354664853321943.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality485354664853321943.prop.
SDD proceeding with computation,12 properties remain. new max is 4
SDD size :1 after 33
SDD proceeding with computation,12 properties remain. new max is 8
SDD size :33 after 35
SDD proceeding with computation,12 properties remain. new max is 16
SDD size :35 after 36
SDD proceeding with computation,12 properties remain. new max is 32
SDD size :36 after 39
SDD proceeding with computation,12 properties remain. new max is 64
SDD size :39 after 42
SDD proceeding with computation,12 properties remain. new max is 128
SDD size :42 after 46
SDD proceeding with computation,12 properties remain. new max is 256
SDD size :46 after 51
SDD proceeding with computation,12 properties remain. new max is 512
SDD size :51 after 58
SDD proceeding with computation,12 properties remain. new max is 1024
SDD size :58 after 61
SDD proceeding with computation,12 properties remain. new max is 2048
SDD size :61 after 73
Detected timeout of ITS tools.
[2022-06-08 09:24:54] [INFO ] Flatten gal took : 197 ms
[2022-06-08 09:24:54] [INFO ] Applying decomposition
[2022-06-08 09:24:54] [INFO ] Flatten gal took : 160 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph1360155796834070235.txt, -o, /tmp/graph1360155796834070235.bin, -w, /tmp/graph1360155796834070235.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph1360155796834070235.bin, -l, -1, -v, -w, /tmp/graph1360155796834070235.weights, -q, 0, -e, 0.001], workingDir=null]
[2022-06-08 09:24:55] [INFO ] Decomposing Gal with order
[2022-06-08 09:24:55] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-08 09:24:56] [INFO ] Removed a total of 4033 redundant transitions.
[2022-06-08 09:24:56] [INFO ] Flatten gal took : 979 ms
[2022-06-08 09:24:57] [INFO ] Fuse similar labels procedure discarded/fused a total of 2462 labels/synchronizations in 332 ms.
[2022-06-08 09:24:57] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality5260072092614185483.gal : 46 ms
[2022-06-08 09:24:57] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality6196150085615470004.prop : 2 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality5260072092614185483.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality6196150085615470004.prop, --nowitness, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality5260072092614185483.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality6196150085615470004.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality6196150085615470004.prop.
SDD proceeding with computation,12 properties remain. new max is 4
SDD size :1 after 8
SDD proceeding with computation,12 properties remain. new max is 8
SDD size :8 after 9
SDD proceeding with computation,12 properties remain. new max is 16
SDD size :9 after 10
SDD proceeding with computation,12 properties remain. new max is 32
SDD size :10 after 11
SDD proceeding with computation,12 properties remain. new max is 64
SDD size :11 after 12
SDD proceeding with computation,12 properties remain. new max is 128
SDD size :12 after 13
SDD proceeding with computation,12 properties remain. new max is 256
SDD size :13 after 230
SDD proceeding with computation,12 properties remain. new max is 512
SDD size :230 after 247
SDD proceeding with computation,12 properties remain. new max is 1024
SDD size :247 after 324
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin2475615786367198600
[2022-06-08 09:25:12] [INFO ] Built C files in 80ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin2475615786367198600
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin2475615786367198600]
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin2475615786367198600] killed by timeout after 1 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin2475615786367198600] killed by timeout after 1 SECONDS
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:79)
at java.base/java.lang.Thread.run(Thread.java:834)
Incomplete random walk after 1000000 steps, including 4325 resets, run finished after 9869 ms. (steps per millisecond=101 ) properties (out of 12) seen :6
FORMULA CANInsertWithFailure-PT-030-ReachabilityCardinality-14 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA CANInsertWithFailure-PT-030-ReachabilityCardinality-12 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA CANInsertWithFailure-PT-030-ReachabilityCardinality-11 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA CANInsertWithFailure-PT-030-ReachabilityCardinality-10 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA CANInsertWithFailure-PT-030-ReachabilityCardinality-08 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA CANInsertWithFailure-PT-030-ReachabilityCardinality-04 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Incomplete Best-First random walk after 1000001 steps, including 156 resets, run finished after 2144 ms. (steps per millisecond=466 ) properties (out of 6) seen :0
Incomplete Best-First random walk after 1000001 steps, including 151 resets, run finished after 2557 ms. (steps per millisecond=391 ) properties (out of 6) seen :0
Incomplete Best-First random walk after 1000001 steps, including 170 resets, run finished after 2412 ms. (steps per millisecond=414 ) properties (out of 6) seen :0
Incomplete Best-First random walk after 1000001 steps, including 160 resets, run finished after 2248 ms. (steps per millisecond=444 ) properties (out of 6) seen :0
Incomplete Best-First random walk after 1000001 steps, including 164 resets, run finished after 2218 ms. (steps per millisecond=450 ) properties (out of 6) seen :1
FORMULA CANInsertWithFailure-PT-030-ReachabilityCardinality-07 FALSE TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
Incomplete Best-First random walk after 1000001 steps, including 156 resets, run finished after 2197 ms. (steps per millisecond=455 ) properties (out of 5) seen :0
Running SMT prover for 5 properties.
// Phase 1: matrix 4219 rows 1385 cols
[2022-06-08 09:25:37] [INFO ] Computed 32 place invariants in 168 ms
[2022-06-08 09:25:37] [INFO ] [Real]Absence check using 30 positive place invariants in 40 ms returned sat
[2022-06-08 09:25:37] [INFO ] [Real]Absence check using 30 positive and 2 generalized place invariants in 14 ms returned sat
[2022-06-08 09:25:37] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-08 09:25:39] [INFO ] [Real]Absence check using state equation in 1610 ms returned sat
[2022-06-08 09:25:39] [INFO ] Solution in real domain found non-integer solution.
[2022-06-08 09:25:40] [INFO ] [Nat]Absence check using 30 positive place invariants in 50 ms returned sat
[2022-06-08 09:25:40] [INFO ] [Nat]Absence check using 30 positive and 2 generalized place invariants in 14 ms returned sat
[2022-06-08 09:25:40] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-08 09:25:41] [INFO ] [Nat]Absence check using state equation in 1392 ms returned sat
[2022-06-08 09:25:41] [INFO ] State equation strengthened by 2891 read => feed constraints.
[2022-06-08 09:25:44] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 09:25:47] [INFO ] [Nat]Added 2891 Read/Feed constraints in 6261 ms returned unknown
[2022-06-08 09:25:47] [INFO ] [Real]Absence check using 30 positive place invariants in 35 ms returned sat
[2022-06-08 09:25:47] [INFO ] [Real]Absence check using 30 positive and 2 generalized place invariants in 15 ms returned sat
[2022-06-08 09:25:47] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-08 09:25:49] [INFO ] [Real]Absence check using state equation in 1549 ms returned sat
[2022-06-08 09:25:49] [INFO ] Solution in real domain found non-integer solution.
[2022-06-08 09:25:49] [INFO ] [Nat]Absence check using 30 positive place invariants in 35 ms returned sat
[2022-06-08 09:25:49] [INFO ] [Nat]Absence check using 30 positive and 2 generalized place invariants in 18 ms returned sat
[2022-06-08 09:25:49] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-08 09:25:51] [INFO ] [Nat]Absence check using state equation in 1415 ms returned sat
[2022-06-08 09:25:51] [INFO ] [Nat]Added 2891 Read/Feed constraints in 322 ms returned unsat
[2022-06-08 09:25:51] [INFO ] [Real]Absence check using 30 positive place invariants in 35 ms returned sat
[2022-06-08 09:25:51] [INFO ] [Real]Absence check using 30 positive and 2 generalized place invariants in 15 ms returned sat
[2022-06-08 09:25:51] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-08 09:25:53] [INFO ] [Real]Absence check using state equation in 1460 ms returned sat
[2022-06-08 09:25:53] [INFO ] Solution in real domain found non-integer solution.
[2022-06-08 09:25:53] [INFO ] [Nat]Absence check using 30 positive place invariants in 41 ms returned sat
[2022-06-08 09:25:53] [INFO ] [Nat]Absence check using 30 positive and 2 generalized place invariants in 15 ms returned sat
[2022-06-08 09:25:53] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-08 09:25:55] [INFO ] [Nat]Absence check using state equation in 1392 ms returned sat
[2022-06-08 09:25:58] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 09:25:59] [INFO ] [Nat]Added 2891 Read/Feed constraints in 4752 ms returned sat
[2022-06-08 09:26:00] [INFO ] Computed and/alt/rep : 3610/12879/3610 causal constraints (skipped 579 transitions) in 390 ms.
[2022-06-08 09:26:20] [INFO ] Added : 355 causal constraints over 71 iterations in 20210 ms.(timeout) Result :sat
[2022-06-08 09:26:20] [INFO ] [Real]Absence check using 30 positive place invariants in 36 ms returned sat
[2022-06-08 09:26:20] [INFO ] [Real]Absence check using 30 positive and 2 generalized place invariants in 14 ms returned sat
[2022-06-08 09:26:20] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-08 09:26:22] [INFO ] [Real]Absence check using state equation in 1605 ms returned sat
[2022-06-08 09:26:22] [INFO ] Solution in real domain found non-integer solution.
[2022-06-08 09:26:22] [INFO ] [Nat]Absence check using 30 positive place invariants in 34 ms returned sat
[2022-06-08 09:26:22] [INFO ] [Nat]Absence check using 30 positive and 2 generalized place invariants in 16 ms returned sat
[2022-06-08 09:26:22] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-08 09:26:24] [INFO ] [Nat]Absence check using state equation in 1527 ms returned sat
[2022-06-08 09:26:27] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 09:26:29] [INFO ] [Nat]Added 2891 Read/Feed constraints in 5129 ms returned sat
[2022-06-08 09:26:29] [INFO ] Computed and/alt/rep : 3610/12879/3610 causal constraints (skipped 579 transitions) in 247 ms.
[2022-06-08 09:26:49] [INFO ] Added : 355 causal constraints over 71 iterations in 20090 ms.(timeout) Result :sat
[2022-06-08 09:26:49] [INFO ] [Real]Absence check using 30 positive place invariants in 36 ms returned sat
[2022-06-08 09:26:50] [INFO ] [Real]Absence check using 30 positive and 2 generalized place invariants in 15 ms returned sat
[2022-06-08 09:26:50] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-08 09:26:51] [INFO ] [Real]Absence check using state equation in 1650 ms returned sat
[2022-06-08 09:26:51] [INFO ] Solution in real domain found non-integer solution.
[2022-06-08 09:26:51] [INFO ] [Nat]Absence check using 30 positive place invariants in 32 ms returned sat
[2022-06-08 09:26:52] [INFO ] [Nat]Absence check using 30 positive and 2 generalized place invariants in 14 ms returned sat
[2022-06-08 09:26:52] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-08 09:26:53] [INFO ] [Nat]Absence check using state equation in 1465 ms returned sat
[2022-06-08 09:26:56] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 09:26:59] [INFO ] [Nat]Added 2891 Read/Feed constraints in 5540 ms returned sat
[2022-06-08 09:26:59] [INFO ] Computed and/alt/rep : 3610/12879/3610 causal constraints (skipped 579 transitions) in 273 ms.
[2022-06-08 09:27:19] [INFO ] Added : 380 causal constraints over 76 iterations in 20287 ms.(timeout) Result :sat
FORMULA CANInsertWithFailure-PT-030-ReachabilityCardinality-01 TRUE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
Fused 5 Parikh solutions to 4 different solutions.
Incomplete Parikh walk after 352300 steps, including 1002 resets, run finished after 2182 ms. (steps per millisecond=161 ) properties (out of 4) seen :0 could not realise parikh vector
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
Support contains 91 out of 1385 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 1385/1385 places, 4219/4219 transitions.
Drop transitions removed 12 transitions
Trivial Post-agglo rules discarded 12 transitions
Performed 12 trivial Post agglomeration. Transition count delta: 12
Iterating post reduction 0 with 12 rules applied. Total rules applied 12 place count 1385 transition count 4207
Reduce places removed 12 places and 0 transitions.
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Iterating post reduction 1 with 14 rules applied. Total rules applied 26 place count 1373 transition count 4205
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 2 with 2 rules applied. Total rules applied 28 place count 1371 transition count 4205
Performed 62 Post agglomeration using F-continuation condition.Transition count delta: 62
Deduced a syphon composed of 62 places in 2 ms
Reduce places removed 62 places and 0 transitions.
Iterating global reduction 3 with 124 rules applied. Total rules applied 152 place count 1309 transition count 4143
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 3 with 10 rules applied. Total rules applied 162 place count 1309 transition count 4133
Free-agglomeration rule (complex) applied 1 times.
Iterating global reduction 3 with 1 rules applied. Total rules applied 163 place count 1309 transition count 4132
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 3 with 1 rules applied. Total rules applied 164 place count 1308 transition count 4132
Partial Free-agglomeration rule applied 327 times.
Drop transitions removed 327 transitions
Iterating global reduction 4 with 327 rules applied. Total rules applied 491 place count 1308 transition count 4132
Partial Free-agglomeration rule applied 85 times.
Drop transitions removed 85 transitions
Iterating global reduction 4 with 85 rules applied. Total rules applied 576 place count 1308 transition count 4132
Applied a total of 576 rules in 733 ms. Remains 1308 /1385 variables (removed 77) and now considering 4132/4219 (removed 87) transitions.
Finished structural reductions, in 1 iterations. Remains : 1308/1385 places, 4132/4219 transitions.
[2022-06-08 09:27:22] [INFO ] Flatten gal took : 170 ms
[2022-06-08 09:27:22] [INFO ] Flatten gal took : 171 ms
[2022-06-08 09:27:22] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality16452421607619833132.gal : 28 ms
[2022-06-08 09:27:22] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality10411845414126201699.prop : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality16452421607619833132.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality10411845414126201699.prop, --nowitness, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality16452421607619833132.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality10411845414126201699.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality10411845414126201699.prop.
SDD proceeding with computation,4 properties remain. new max is 4
SDD size :1 after 5
SDD proceeding with computation,4 properties remain. new max is 8
SDD size :5 after 264
SDD proceeding with computation,4 properties remain. new max is 16
SDD size :264 after 266
SDD proceeding with computation,4 properties remain. new max is 32
SDD size :266 after 267
SDD proceeding with computation,4 properties remain. new max is 64
SDD size :267 after 271
SDD proceeding with computation,4 properties remain. new max is 128
SDD size :271 after 273
SDD proceeding with computation,4 properties remain. new max is 256
SDD size :273 after 274
SDD proceeding with computation,4 properties remain. new max is 512
SDD size :274 after 283
SDD proceeding with computation,4 properties remain. new max is 1024
SDD size :283 after 289
SDD proceeding with computation,4 properties remain. new max is 2048
SDD size :289 after 304
Detected timeout of ITS tools.
[2022-06-08 09:27:38] [INFO ] Flatten gal took : 142 ms
[2022-06-08 09:27:38] [INFO ] Applying decomposition
[2022-06-08 09:27:38] [INFO ] Flatten gal took : 161 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph16441855478064047714.txt, -o, /tmp/graph16441855478064047714.bin, -w, /tmp/graph16441855478064047714.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph16441855478064047714.bin, -l, -1, -v, -w, /tmp/graph16441855478064047714.weights, -q, 0, -e, 0.001], workingDir=null]
[2022-06-08 09:27:38] [INFO ] Decomposing Gal with order
[2022-06-08 09:27:38] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-08 09:27:39] [INFO ] Removed a total of 3422 redundant transitions.
[2022-06-08 09:27:39] [INFO ] Flatten gal took : 433 ms
[2022-06-08 09:27:39] [INFO ] Fuse similar labels procedure discarded/fused a total of 1633 labels/synchronizations in 219 ms.
[2022-06-08 09:27:39] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality17617359431104278797.gal : 31 ms
[2022-06-08 09:27:39] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality1082715560042702567.prop : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality17617359431104278797.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality1082715560042702567.prop, --nowitness, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality17617359431104278797.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality1082715560042702567.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality1082715560042702567.prop.
SDD proceeding with computation,4 properties remain. new max is 4
SDD size :1 after 4
SDD proceeding with computation,4 properties remain. new max is 8
SDD size :4 after 5
SDD proceeding with computation,4 properties remain. new max is 16
SDD size :5 after 264
SDD proceeding with computation,4 properties remain. new max is 32
SDD size :264 after 268
SDD proceeding with computation,4 properties remain. new max is 64
SDD size :268 after 271
SDD proceeding with computation,4 properties remain. new max is 128
SDD size :271 after 274
SDD proceeding with computation,4 properties remain. new max is 256
SDD size :274 after 282
SDD proceeding with computation,4 properties remain. new max is 512
SDD size :282 after 312
SDD proceeding with computation,4 properties remain. new max is 1024
SDD size :312 after 341
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin6945584243298554409
[2022-06-08 09:27:55] [INFO ] Built C files in 52ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin6945584243298554409
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin6945584243298554409]
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin6945584243298554409] killed by timeout after 1 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin6945584243298554409] killed by timeout after 1 SECONDS
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:79)
at java.base/java.lang.Thread.run(Thread.java:834)
Incomplete random walk after 1000000 steps, including 5308 resets, run finished after 10279 ms. (steps per millisecond=97 ) properties (out of 4) seen :0
Incomplete Best-First random walk after 1000001 steps, including 165 resets, run finished after 2147 ms. (steps per millisecond=465 ) properties (out of 4) seen :1
FORMULA CANInsertWithFailure-PT-030-ReachabilityCardinality-00 FALSE TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
Incomplete Best-First random walk after 1000001 steps, including 158 resets, run finished after 2438 ms. (steps per millisecond=410 ) properties (out of 3) seen :0
Incomplete Best-First random walk after 1000001 steps, including 165 resets, run finished after 2271 ms. (steps per millisecond=440 ) properties (out of 3) seen :0
Incomplete Best-First random walk after 1000001 steps, including 162 resets, run finished after 2217 ms. (steps per millisecond=451 ) properties (out of 3) seen :0
Running SMT prover for 3 properties.
// Phase 1: matrix 4132 rows 1308 cols
[2022-06-08 09:28:15] [INFO ] Computed 32 place invariants in 89 ms
[2022-06-08 09:28:15] [INFO ] [Real]Absence check using 30 positive place invariants in 32 ms returned sat
[2022-06-08 09:28:15] [INFO ] [Real]Absence check using 30 positive and 2 generalized place invariants in 13 ms returned sat
[2022-06-08 09:28:15] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-08 09:28:17] [INFO ] [Real]Absence check using state equation in 1441 ms returned sat
[2022-06-08 09:28:17] [INFO ] Solution in real domain found non-integer solution.
[2022-06-08 09:28:17] [INFO ] [Nat]Absence check using 30 positive place invariants in 33 ms returned sat
[2022-06-08 09:28:17] [INFO ] [Nat]Absence check using 30 positive and 2 generalized place invariants in 13 ms returned sat
[2022-06-08 09:28:17] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-08 09:28:18] [INFO ] [Nat]Absence check using state equation in 1453 ms returned sat
[2022-06-08 09:28:19] [INFO ] State equation strengthened by 3470 read => feed constraints.
[2022-06-08 09:28:22] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 09:28:25] [INFO ] [Nat]Added 3470 Read/Feed constraints in 6340 ms returned unknown
[2022-06-08 09:28:25] [INFO ] [Real]Absence check using 30 positive place invariants in 34 ms returned sat
[2022-06-08 09:28:25] [INFO ] [Real]Absence check using 30 positive and 2 generalized place invariants in 15 ms returned sat
[2022-06-08 09:28:25] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-08 09:28:26] [INFO ] [Real]Absence check using state equation in 1347 ms returned sat
[2022-06-08 09:28:27] [INFO ] Solution in real domain found non-integer solution.
[2022-06-08 09:28:27] [INFO ] [Nat]Absence check using 30 positive place invariants in 34 ms returned sat
[2022-06-08 09:28:27] [INFO ] [Nat]Absence check using 30 positive and 2 generalized place invariants in 14 ms returned sat
[2022-06-08 09:28:27] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-08 09:28:28] [INFO ] [Nat]Absence check using state equation in 1671 ms returned sat
[2022-06-08 09:28:32] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 09:28:35] [INFO ] [Nat]Added 3470 Read/Feed constraints in 6328 ms returned unknown
[2022-06-08 09:28:35] [INFO ] [Real]Absence check using 30 positive place invariants in 32 ms returned sat
[2022-06-08 09:28:35] [INFO ] [Real]Absence check using 30 positive and 2 generalized place invariants in 14 ms returned sat
[2022-06-08 09:28:35] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-08 09:28:37] [INFO ] [Real]Absence check using state equation in 1534 ms returned sat
[2022-06-08 09:28:37] [INFO ] Solution in real domain found non-integer solution.
[2022-06-08 09:28:37] [INFO ] [Nat]Absence check using 30 positive place invariants in 35 ms returned sat
[2022-06-08 09:28:37] [INFO ] [Nat]Absence check using 30 positive and 2 generalized place invariants in 14 ms returned sat
[2022-06-08 09:28:37] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-08 09:28:38] [INFO ] [Nat]Absence check using state equation in 1611 ms returned sat
[2022-06-08 09:28:42] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 09:28:45] [INFO ] [Nat]Added 3470 Read/Feed constraints in 6358 ms returned unknown
Fused 3 Parikh solutions to 1 different solutions.
Support contains 69 out of 1308 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 1308/1308 places, 4132/4132 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 1308 transition count 4131
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 2 place count 1307 transition count 4131
Performed 12 Post agglomeration using F-continuation condition.Transition count delta: 12
Deduced a syphon composed of 12 places in 2 ms
Reduce places removed 12 places and 0 transitions.
Iterating global reduction 2 with 24 rules applied. Total rules applied 26 place count 1295 transition count 4119
Partial Free-agglomeration rule applied 34 times.
Drop transitions removed 34 transitions
Iterating global reduction 2 with 34 rules applied. Total rules applied 60 place count 1295 transition count 4119
Applied a total of 60 rules in 336 ms. Remains 1295 /1308 variables (removed 13) and now considering 4119/4132 (removed 13) transitions.
Finished structural reductions, in 1 iterations. Remains : 1295/1308 places, 4119/4132 transitions.
[2022-06-08 09:28:45] [INFO ] Flatten gal took : 158 ms
[2022-06-08 09:28:46] [INFO ] Flatten gal took : 157 ms
[2022-06-08 09:28:46] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality18281232676178668274.gal : 25 ms
[2022-06-08 09:28:46] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality18328674930740238153.prop : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality18281232676178668274.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality18328674930740238153.prop, --nowitness, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality18281232676178668274.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality18328674930740238153.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality18328674930740238153.prop.
SDD proceeding with computation,3 properties remain. new max is 4
SDD size :1 after 33
SDD proceeding with computation,3 properties remain. new max is 8
SDD size :33 after 36
SDD proceeding with computation,3 properties remain. new max is 16
SDD size :36 after 39
SDD proceeding with computation,3 properties remain. new max is 32
SDD size :39 after 42
SDD proceeding with computation,3 properties remain. new max is 64
SDD size :42 after 45
SDD proceeding with computation,3 properties remain. new max is 128
SDD size :45 after 48
SDD proceeding with computation,3 properties remain. new max is 256
SDD size :48 after 50
SDD proceeding with computation,3 properties remain. new max is 512
SDD size :50 after 55
SDD proceeding with computation,3 properties remain. new max is 1024
SDD size :55 after 741
Detected timeout of ITS tools.
[2022-06-08 09:29:01] [INFO ] Flatten gal took : 149 ms
[2022-06-08 09:29:01] [INFO ] Applying decomposition
[2022-06-08 09:29:01] [INFO ] Flatten gal took : 154 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph16014976623705326803.txt, -o, /tmp/graph16014976623705326803.bin, -w, /tmp/graph16014976623705326803.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph16014976623705326803.bin, -l, -1, -v, -w, /tmp/graph16014976623705326803.weights, -q, 0, -e, 0.001], workingDir=null]
[2022-06-08 09:29:01] [INFO ] Decomposing Gal with order
[2022-06-08 09:29:01] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-08 09:29:02] [INFO ] Removed a total of 3403 redundant transitions.
[2022-06-08 09:29:02] [INFO ] Flatten gal took : 374 ms
[2022-06-08 09:29:02] [INFO ] Fuse similar labels procedure discarded/fused a total of 1578 labels/synchronizations in 155 ms.
[2022-06-08 09:29:02] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality3650850269716367932.gal : 75 ms
[2022-06-08 09:29:02] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality4309155283091603690.prop : 71 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality3650850269716367932.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality4309155283091603690.prop, --nowitness, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality3650850269716367932.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality4309155283091603690.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality4309155283091603690.prop.
SDD proceeding with computation,3 properties remain. new max is 4
SDD size :1 after 3
SDD proceeding with computation,3 properties remain. new max is 8
SDD size :3 after 4
SDD proceeding with computation,3 properties remain. new max is 16
SDD size :4 after 262
SDD proceeding with computation,3 properties remain. new max is 32
SDD size :262 after 263
SDD proceeding with computation,3 properties remain. new max is 64
SDD size :263 after 266
SDD proceeding with computation,3 properties remain. new max is 128
SDD size :266 after 270
SDD proceeding with computation,3 properties remain. new max is 256
SDD size :270 after 275
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin14468548635386772817
[2022-06-08 09:29:17] [INFO ] Built C files in 67ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin14468548635386772817
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin14468548635386772817]
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin14468548635386772817] killed by timeout after 1 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin14468548635386772817] killed by timeout after 1 SECONDS
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:79)
at java.base/java.lang.Thread.run(Thread.java:834)
Incomplete random walk after 1000000 steps, including 5368 resets, run finished after 11088 ms. (steps per millisecond=90 ) properties (out of 3) seen :0
Incomplete Best-First random walk after 1000001 steps, including 157 resets, run finished after 2466 ms. (steps per millisecond=405 ) properties (out of 3) seen :0
Incomplete Best-First random walk after 1000001 steps, including 166 resets, run finished after 2293 ms. (steps per millisecond=436 ) properties (out of 3) seen :0
Incomplete Best-First random walk after 1000001 steps, including 163 resets, run finished after 2226 ms. (steps per millisecond=449 ) properties (out of 3) seen :0
Interrupted probabilistic random walk after 1234663 steps, run timeout after 30001 ms. (steps per millisecond=41 ) properties seen :{}
Probabilistic random walk after 1234663 steps, saw 196260 distinct states, run finished after 30006 ms. (steps per millisecond=41 ) properties seen :{}
Running SMT prover for 3 properties.
// Phase 1: matrix 4119 rows 1295 cols
[2022-06-08 09:30:07] [INFO ] Computed 32 place invariants in 72 ms
[2022-06-08 09:30:07] [INFO ] [Real]Absence check using 30 positive place invariants in 35 ms returned sat
[2022-06-08 09:30:07] [INFO ] [Real]Absence check using 30 positive and 2 generalized place invariants in 15 ms returned sat
[2022-06-08 09:30:07] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-08 09:30:08] [INFO ] [Real]Absence check using state equation in 1492 ms returned sat
[2022-06-08 09:30:08] [INFO ] Solution in real domain found non-integer solution.
[2022-06-08 09:30:09] [INFO ] [Nat]Absence check using 30 positive place invariants in 33 ms returned sat
[2022-06-08 09:30:09] [INFO ] [Nat]Absence check using 30 positive and 2 generalized place invariants in 13 ms returned sat
[2022-06-08 09:30:09] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-08 09:30:10] [INFO ] [Nat]Absence check using state equation in 1546 ms returned sat
[2022-06-08 09:30:10] [INFO ] State equation strengthened by 3500 read => feed constraints.
[2022-06-08 09:30:14] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 09:30:17] [INFO ] [Nat]Added 3500 Read/Feed constraints in 6350 ms returned unknown
[2022-06-08 09:30:17] [INFO ] [Real]Absence check using 30 positive place invariants in 28 ms returned sat
[2022-06-08 09:30:17] [INFO ] [Real]Absence check using 30 positive and 2 generalized place invariants in 13 ms returned sat
[2022-06-08 09:30:17] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-08 09:30:18] [INFO ] [Real]Absence check using state equation in 1543 ms returned sat
[2022-06-08 09:30:18] [INFO ] Solution in real domain found non-integer solution.
[2022-06-08 09:30:19] [INFO ] [Nat]Absence check using 30 positive place invariants in 33 ms returned sat
[2022-06-08 09:30:19] [INFO ] [Nat]Absence check using 30 positive and 2 generalized place invariants in 14 ms returned sat
[2022-06-08 09:30:19] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-08 09:30:20] [INFO ] [Nat]Absence check using state equation in 1435 ms returned sat
[2022-06-08 09:30:23] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 09:30:26] [INFO ] [Nat]Added 3500 Read/Feed constraints in 6323 ms returned unknown
[2022-06-08 09:30:27] [INFO ] [Real]Absence check using 30 positive place invariants in 33 ms returned sat
[2022-06-08 09:30:27] [INFO ] [Real]Absence check using 30 positive and 2 generalized place invariants in 14 ms returned sat
[2022-06-08 09:30:27] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-08 09:30:28] [INFO ] [Real]Absence check using state equation in 1338 ms returned sat
[2022-06-08 09:30:28] [INFO ] Solution in real domain found non-integer solution.
[2022-06-08 09:30:28] [INFO ] [Nat]Absence check using 30 positive place invariants in 34 ms returned sat
[2022-06-08 09:30:28] [INFO ] [Nat]Absence check using 30 positive and 2 generalized place invariants in 13 ms returned sat
[2022-06-08 09:30:28] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-08 09:30:30] [INFO ] [Nat]Absence check using state equation in 1641 ms returned sat
[2022-06-08 09:30:33] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 09:30:36] [INFO ] [Nat]Added 3500 Read/Feed constraints in 6328 ms returned unknown
Fused 3 Parikh solutions to 1 different solutions.
Support contains 69 out of 1295 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 1295/1295 places, 4119/4119 transitions.
Applied a total of 0 rules in 122 ms. Remains 1295 /1295 variables (removed 0) and now considering 4119/4119 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 1295/1295 places, 4119/4119 transitions.
Starting structural reductions, iteration 0 : 1295/1295 places, 4119/4119 transitions.
Applied a total of 0 rules in 113 ms. Remains 1295 /1295 variables (removed 0) and now considering 4119/4119 (removed 0) transitions.
// Phase 1: matrix 4119 rows 1295 cols
[2022-06-08 09:30:37] [INFO ] Computed 32 place invariants in 75 ms
[2022-06-08 09:30:39] [INFO ] Implicit Places using invariants in 2127 ms returned []
// Phase 1: matrix 4119 rows 1295 cols
[2022-06-08 09:30:39] [INFO ] Computed 32 place invariants in 74 ms
[2022-06-08 09:30:40] [INFO ] State equation strengthened by 3500 read => feed constraints.
[2022-06-08 09:30:40] [INFO ] Implicit Places using invariants and state equation in 1293 ms returned []
Implicit Place search using SMT with State Equation took 3422 ms to find 0 implicit places.
[2022-06-08 09:30:40] [INFO ] Redundant transitions in 470 ms returned []
// Phase 1: matrix 4119 rows 1295 cols
[2022-06-08 09:30:41] [INFO ] Computed 32 place invariants in 84 ms
[2022-06-08 09:30:45] [INFO ] Dead Transitions using invariants and state equation in 4878 ms returned []
Finished structural reductions, in 1 iterations. Remains : 1295/1295 places, 4119/4119 transitions.
Incomplete random walk after 100000 steps, including 535 resets, run finished after 1093 ms. (steps per millisecond=91 ) properties (out of 3) seen :0
Running SMT prover for 3 properties.
// Phase 1: matrix 4119 rows 1295 cols
[2022-06-08 09:30:47] [INFO ] Computed 32 place invariants in 68 ms
[2022-06-08 09:30:47] [INFO ] [Real]Absence check using 30 positive place invariants in 31 ms returned sat
[2022-06-08 09:30:47] [INFO ] [Real]Absence check using 30 positive and 2 generalized place invariants in 13 ms returned sat
[2022-06-08 09:30:47] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-08 09:30:48] [INFO ] [Real]Absence check using state equation in 1379 ms returned sat
[2022-06-08 09:30:48] [INFO ] Solution in real domain found non-integer solution.
[2022-06-08 09:30:48] [INFO ] [Nat]Absence check using 30 positive place invariants in 32 ms returned sat
[2022-06-08 09:30:48] [INFO ] [Nat]Absence check using 30 positive and 2 generalized place invariants in 12 ms returned sat
[2022-06-08 09:30:48] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-08 09:30:50] [INFO ] [Nat]Absence check using state equation in 1465 ms returned sat
[2022-06-08 09:30:50] [INFO ] State equation strengthened by 3500 read => feed constraints.
[2022-06-08 09:30:53] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 09:30:56] [INFO ] [Nat]Added 3500 Read/Feed constraints in 6336 ms returned unknown
[2022-06-08 09:30:57] [INFO ] [Real]Absence check using 30 positive place invariants in 30 ms returned sat
[2022-06-08 09:30:57] [INFO ] [Real]Absence check using 30 positive and 2 generalized place invariants in 13 ms returned sat
[2022-06-08 09:30:57] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-08 09:30:58] [INFO ] [Real]Absence check using state equation in 1557 ms returned sat
[2022-06-08 09:30:58] [INFO ] Solution in real domain found non-integer solution.
[2022-06-08 09:30:58] [INFO ] [Nat]Absence check using 30 positive place invariants in 28 ms returned sat
[2022-06-08 09:30:58] [INFO ] [Nat]Absence check using 30 positive and 2 generalized place invariants in 13 ms returned sat
[2022-06-08 09:30:58] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-08 09:31:00] [INFO ] [Nat]Absence check using state equation in 1335 ms returned sat
[2022-06-08 09:31:03] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 09:31:06] [INFO ] [Nat]Added 3500 Read/Feed constraints in 6338 ms returned unknown
[2022-06-08 09:31:06] [INFO ] [Real]Absence check using 30 positive place invariants in 30 ms returned sat
[2022-06-08 09:31:06] [INFO ] [Real]Absence check using 30 positive and 2 generalized place invariants in 12 ms returned sat
[2022-06-08 09:31:06] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-08 09:31:08] [INFO ] [Real]Absence check using state equation in 1310 ms returned sat
[2022-06-08 09:31:08] [INFO ] Solution in real domain found non-integer solution.
[2022-06-08 09:31:08] [INFO ] [Nat]Absence check using 30 positive place invariants in 30 ms returned sat
[2022-06-08 09:31:08] [INFO ] [Nat]Absence check using 30 positive and 2 generalized place invariants in 12 ms returned sat
[2022-06-08 09:31:08] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-08 09:31:09] [INFO ] [Nat]Absence check using state equation in 1530 ms returned sat
[2022-06-08 09:31:13] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 09:31:16] [INFO ] [Nat]Added 3500 Read/Feed constraints in 6329 ms returned unknown
[2022-06-08 09:31:16] [INFO ] Flatten gal took : 135 ms
[2022-06-08 09:31:16] [INFO ] Flatten gal took : 142 ms
[2022-06-08 09:31:16] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality7499982361007014448.gal : 22 ms
[2022-06-08 09:31:16] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality15748236638453889906.prop : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality7499982361007014448.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality15748236638453889906.prop, --nowitness, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality7499982361007014448.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality15748236638453889906.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality15748236638453889906.prop.
SDD proceeding with computation,3 properties remain. new max is 4
SDD size :1 after 33
SDD proceeding with computation,3 properties remain. new max is 8
SDD size :33 after 36
SDD proceeding with computation,3 properties remain. new max is 16
SDD size :36 after 39
SDD proceeding with computation,3 properties remain. new max is 32
SDD size :39 after 42
SDD proceeding with computation,3 properties remain. new max is 64
SDD size :42 after 45
SDD proceeding with computation,3 properties remain. new max is 128
SDD size :45 after 48
SDD proceeding with computation,3 properties remain. new max is 256
SDD size :48 after 50
SDD proceeding with computation,3 properties remain. new max is 512
SDD size :50 after 55
SDD proceeding with computation,3 properties remain. new max is 1024
SDD size :55 after 741
SDD proceeding with computation,3 properties remain. new max is 2048
SDD size :741 after 892
Detected timeout of ITS tools.
[2022-06-08 09:31:36] [INFO ] Flatten gal took : 130 ms
[2022-06-08 09:31:36] [INFO ] Applying decomposition
[2022-06-08 09:31:36] [INFO ] Flatten gal took : 135 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph13670262998630786240.txt, -o, /tmp/graph13670262998630786240.bin, -w, /tmp/graph13670262998630786240.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph13670262998630786240.bin, -l, -1, -v, -w, /tmp/graph13670262998630786240.weights, -q, 0, -e, 0.001], workingDir=null]
[2022-06-08 09:31:37] [INFO ] Decomposing Gal with order
[2022-06-08 09:31:37] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-08 09:31:37] [INFO ] Removed a total of 3397 redundant transitions.
[2022-06-08 09:31:37] [INFO ] Flatten gal took : 333 ms
[2022-06-08 09:31:37] [INFO ] Fuse similar labels procedure discarded/fused a total of 1650 labels/synchronizations in 127 ms.
[2022-06-08 09:31:38] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality17777782011419301722.gal : 28 ms
[2022-06-08 09:31:38] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality6298376613787263801.prop : 2 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality17777782011419301722.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality6298376613787263801.prop, --nowitness, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality17777782011419301722.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality6298376613787263801.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality6298376613787263801.prop.
SDD proceeding with computation,3 properties remain. new max is 4
SDD size :1 after 3
SDD proceeding with computation,3 properties remain. new max is 8
SDD size :3 after 4
SDD proceeding with computation,3 properties remain. new max is 16
SDD size :4 after 231
SDD proceeding with computation,3 properties remain. new max is 32
SDD size :231 after 232
SDD proceeding with computation,3 properties remain. new max is 64
SDD size :232 after 234
SDD proceeding with computation,3 properties remain. new max is 128
SDD size :234 after 240
SDD proceeding with computation,3 properties remain. new max is 256
SDD size :240 after 277
SDD proceeding with computation,3 properties remain. new max is 512
SDD size :277 after 306
SDD proceeding with computation,3 properties remain. new max is 1024
SDD size :306 after 392
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin15862486983397969656
[2022-06-08 09:31:58] [INFO ] Built C files in 55ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin15862486983397969656
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin15862486983397969656]
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin15862486983397969656] killed by timeout after 2 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin15862486983397969656] killed by timeout after 2 SECONDS
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:79)
at java.base/java.lang.Thread.run(Thread.java:834)
Graph (trivial) has 3253 edges and 1295 vertex of which 869 / 1295 are part of one of the 1 SCC in 25 ms
Free SCC test removed 868 places
Drop transitions removed 2191 transitions
Ensure Unique test removed 789 transitions
Reduce isomorphic transitions removed 2980 transitions.
Graph (complete) has 1380 edges and 427 vertex of which 344 are kept as prefixes of interest. Removing 83 places using SCC suffix rule.0 ms
Discarding 83 places :
Also discarding 24 output transitions
Drop transitions removed 24 transitions
Drop transitions removed 250 transitions
Reduce isomorphic transitions removed 250 transitions.
Performed 6 Post agglomeration using F-continuation condition.Transition count delta: 6
Iterating post reduction 0 with 256 rules applied. Total rules applied 258 place count 344 transition count 859
Reduce places removed 6 places and 0 transitions.
Ensure Unique test removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 1 with 12 rules applied. Total rules applied 270 place count 338 transition count 853
Performed 3 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 3 Pre rules applied. Total rules applied 270 place count 338 transition count 850
Deduced a syphon composed of 3 places in 0 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 2 with 6 rules applied. Total rules applied 276 place count 335 transition count 850
Discarding 151 places :
Symmetric choice reduction at 2 with 151 rule applications. Total rules 427 place count 184 transition count 566
Iterating global reduction 2 with 151 rules applied. Total rules applied 578 place count 184 transition count 566
Ensure Unique test removed 97 transitions
Reduce isomorphic transitions removed 97 transitions.
Iterating post reduction 2 with 97 rules applied. Total rules applied 675 place count 184 transition count 469
Discarding 27 places :
Symmetric choice reduction at 3 with 27 rule applications. Total rules 702 place count 157 transition count 415
Iterating global reduction 3 with 27 rules applied. Total rules applied 729 place count 157 transition count 415
Ensure Unique test removed 27 transitions
Reduce isomorphic transitions removed 27 transitions.
Iterating post reduction 3 with 27 rules applied. Total rules applied 756 place count 157 transition count 388
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: 3
Deduced a syphon composed of 3 places in 0 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 4 with 6 rules applied. Total rules applied 762 place count 154 transition count 385
Drop transitions removed 17 transitions
Redundant transition composition rules discarded 17 transitions
Iterating global reduction 4 with 17 rules applied. Total rules applied 779 place count 154 transition count 368
Drop transitions removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 4 with 1 rules applied. Total rules applied 780 place count 154 transition count 367
Reduce places removed 1 places and 0 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 5 with 2 rules applied. Total rules applied 782 place count 153 transition count 366
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 6 with 1 rules applied. Total rules applied 783 place count 152 transition count 366
Discarding 1 places :
Symmetric choice reduction at 7 with 1 rule applications. Total rules 784 place count 151 transition count 364
Iterating global reduction 7 with 1 rules applied. Total rules applied 785 place count 151 transition count 364
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 7 with 2 rules applied. Total rules applied 787 place count 150 transition count 363
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 7 with 1 rules applied. Total rules applied 788 place count 150 transition count 362
Drop transitions removed 3 transitions
Redundant transition composition rules discarded 3 transitions
Iterating global reduction 8 with 3 rules applied. Total rules applied 791 place count 150 transition count 359
Free-agglomeration rule applied 32 times with reduction of 2 identical transitions.
Iterating global reduction 8 with 32 rules applied. Total rules applied 823 place count 150 transition count 325
Reduce places removed 32 places and 0 transitions.
Ensure Unique test removed 22 transitions
Reduce isomorphic transitions removed 22 transitions.
Iterating post reduction 8 with 54 rules applied. Total rules applied 877 place count 118 transition count 303
Drop transitions removed 4 transitions
Redundant transition composition rules discarded 4 transitions
Iterating global reduction 9 with 4 rules applied. Total rules applied 881 place count 118 transition count 299
Partial Free-agglomeration rule applied 17 times.
Drop transitions removed 17 transitions
Iterating global reduction 9 with 17 rules applied. Total rules applied 898 place count 118 transition count 299
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 9 with 2 rules applied. Total rules applied 900 place count 118 transition count 297
Discarding 2 places :
Symmetric choice reduction at 10 with 2 rule applications. Total rules 902 place count 116 transition count 293
Iterating global reduction 10 with 2 rules applied. Total rules applied 904 place count 116 transition count 293
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 10 with 1 rules applied. Total rules applied 905 place count 116 transition count 292
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 11 with 1 rules applied. Total rules applied 906 place count 115 transition count 291
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 11 with 1 rules applied. Total rules applied 907 place count 114 transition count 290
Applied a total of 907 rules in 363 ms. Remains 114 /1295 variables (removed 1181) and now considering 290/4119 (removed 3829) transitions.
Running SMT prover for 3 properties.
// Phase 1: matrix 290 rows 114 cols
[2022-06-08 09:32:00] [INFO ] Computed 3 place invariants in 6 ms
[2022-06-08 09:32:00] [INFO ] [Real]Absence check using 3 positive place invariants in 2 ms returned sat
[2022-06-08 09:32:00] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-08 09:32:00] [INFO ] [Real]Absence check using state equation in 66 ms returned sat
[2022-06-08 09:32:00] [INFO ] Solution in real domain found non-integer solution.
[2022-06-08 09:32:00] [INFO ] [Nat]Absence check using 3 positive place invariants in 2 ms returned sat
[2022-06-08 09:32:00] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-08 09:32:00] [INFO ] [Nat]Absence check using state equation in 64 ms returned sat
[2022-06-08 09:32:00] [INFO ] Computed and/alt/rep : 208/514/208 causal constraints (skipped 20 transitions) in 20 ms.
[2022-06-08 09:32:00] [INFO ] Added : 11 causal constraints over 3 iterations in 94 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 2 ms.
[2022-06-08 09:32:00] [INFO ] [Real]Absence check using 3 positive place invariants in 3 ms returned sat
[2022-06-08 09:32:00] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-08 09:32:00] [INFO ] [Real]Absence check using state equation in 71 ms returned sat
[2022-06-08 09:32:00] [INFO ] Solution in real domain found non-integer solution.
[2022-06-08 09:32:00] [INFO ] [Nat]Absence check using 3 positive place invariants in 2 ms returned sat
[2022-06-08 09:32:00] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-08 09:32:01] [INFO ] [Nat]Absence check using state equation in 70 ms returned sat
[2022-06-08 09:32:01] [INFO ] Computed and/alt/rep : 208/514/208 causal constraints (skipped 20 transitions) in 21 ms.
[2022-06-08 09:32:01] [INFO ] Added : 22 causal constraints over 5 iterations in 147 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 3 ms.
[2022-06-08 09:32:01] [INFO ] [Real]Absence check using 3 positive place invariants in 2 ms returned sat
[2022-06-08 09:32:01] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-08 09:32:01] [INFO ] [Real]Absence check using state equation in 73 ms returned sat
[2022-06-08 09:32:01] [INFO ] Solution in real domain found non-integer solution.
[2022-06-08 09:32:01] [INFO ] [Nat]Absence check using 3 positive place invariants in 2 ms returned sat
[2022-06-08 09:32:01] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-08 09:32:01] [INFO ] [Nat]Absence check using state equation in 70 ms returned sat
[2022-06-08 09:32:01] [INFO ] Computed and/alt/rep : 208/514/208 causal constraints (skipped 20 transitions) in 43 ms.
[2022-06-08 09:32:01] [INFO ] Added : 11 causal constraints over 3 iterations in 123 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 1 ms.
[2022-06-08 09:32:01] [INFO ] Flatten gal took : 128 ms
Using solver Z3 to compute partial order matrices.
Built C files in :
/tmp/ltsmin9224019440444057564
[2022-06-08 09:32:01] [INFO ] Too many transitions (4119) to apply POR reductions. Disabling POR matrices.
[2022-06-08 09:32:01] [INFO ] Applying decomposition
[2022-06-08 09:32:01] [INFO ] Flatten gal took : 160 ms
[2022-06-08 09:32:01] [INFO ] Built C files in 106ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin9224019440444057564
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin9224019440444057564]
[2022-06-08 09:32:02] [INFO ] Input system was already deterministic with 4119 transitions.
[2022-06-08 09:32:02] [INFO ] Flatten gal took : 340 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph8030270487659612880.txt, -o, /tmp/graph8030270487659612880.bin, -w, /tmp/graph8030270487659612880.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph8030270487659612880.bin, -l, -1, -v, -w, /tmp/graph8030270487659612880.weights, -q, 0, -e, 0.001], workingDir=null]
[2022-06-08 09:32:03] [INFO ] Decomposing Gal with order
[2022-06-08 09:32:03] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-08 09:32:03] [INFO ] Removed a total of 3345 redundant transitions.
[2022-06-08 09:32:03] [INFO ] Flatten gal took : 367 ms
[2022-06-08 09:32:03] [INFO ] Fuse similar labels procedure discarded/fused a total of 1802 labels/synchronizations in 144 ms.
[2022-06-08 09:32:04] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality17876082284620184037.gal : 27 ms
[2022-06-08 09:32:04] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality9340078278507359303.prop : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality17876082284620184037.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality9340078278507359303.prop, --nowitness, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality17876082284620184037.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality9340078278507359303.prop --nowitness --gen-order FOLLOW
[2022-06-08 09:32:04] [INFO ] Ran tautology test, simplified 0 / 3 in 2614 ms.
[2022-06-08 09:32:04] [INFO ] BMC solution for property CANInsertWithFailure-PT-030-ReachabilityCardinality-05(UNSAT) depth K=0 took 65 ms
[2022-06-08 09:32:04] [INFO ] BMC solution for property CANInsertWithFailure-PT-030-ReachabilityCardinality-06(UNSAT) depth K=0 took 18 ms
[2022-06-08 09:32:04] [INFO ] BMC solution for property CANInsertWithFailure-PT-030-ReachabilityCardinality-09(UNSAT) depth K=0 took 5 ms
[2022-06-08 09:32:04] [INFO ] BMC solution for property CANInsertWithFailure-PT-030-ReachabilityCardinality-05(UNSAT) depth K=1 took 72 ms
[2022-06-08 09:32:05] [INFO ] BMC solution for property CANInsertWithFailure-PT-030-ReachabilityCardinality-06(UNSAT) depth K=1 took 28 ms
[2022-06-08 09:32:05] [INFO ] BMC solution for property CANInsertWithFailure-PT-030-ReachabilityCardinality-09(UNSAT) depth K=1 took 31 ms
Loading property file /tmp/ReachabilityCardinality9340078278507359303.prop.
Presburger conditions satisfied. Using coverability to approximate state space in K-Induction.
// Phase 1: matrix 4119 rows 1295 cols
[2022-06-08 09:32:07] [INFO ] Computed 32 place invariants in 148 ms
inv : Node7ReadyToInsert + Node7IsInserted + Node7WaitAnswer = 1
inv : Node20ReadyToInsert + Node20IsInserted + Node20WaitAnswer = 1
inv : Node15ReadyToInsert + Node15IsInserted + Node15WaitAnswer = 1
inv : Node2ReadyToInsert + Node2IsInserted + Node2WaitAnswer = 1
inv : Node10ReadyToInsert + Node10IsInserted + Node10WaitAnswer = 1
inv : Node22ReadyToInsert + Node22IsInserted + Node22WaitAnswer = 1
inv : Node8ReadyToInsert + Node8DHTinfo + Node8ID + Node8ResZone + Node8IsInserted + Node8WaitAnswer = 1
inv : Node28ReadyToInsert + Node28IsInserted + Node28DHTinfo2 + Node28JoinMsg + Node28WaitAnswer = 1
inv : Node5ReadyToInsert + Node5IsInserted + Node5WaitAnswer = 1
inv : Node4ReadyToInsert + Node4IsInserted + Node4WaitAnswer = 1
inv : -Node0Request + Node0WaitAnswer - Node0OKshare - Node0NOshare - Node1Request + Node1WaitAnswer - Node1OKshare - Node1NOshare - Node2Request + Node2WaitAnswer - Node2OKshare - Node2NOshare - Node3Request + Node3WaitAnswer - Node3OKshare - Node3NOshare - Node4Request + Node4WaitAnswer - Node4OKshare - Node4NOshare - Node5Request + Node5WaitAnswer - Node5OKshare - Node5NOshare - Node6Request + Node6WaitAnswer - Node6OKshare - Node6NOshare - Node7Request + Node7WaitAnswer - Node7OKshare - Node7NOshare - Node8Request + Node8WaitAnswer - Node8OKshare - Node8NOshare - Node9Request + Node9WaitAnswer - Node9OKshare - Node9NOshare - Node10Request + Node10WaitAnswer - Node10OKshare - Node10NOshare - Node11Request + Node11WaitAnswer - Node11OKshare - Node11NOshare - Node12Request + Node12WaitAnswer - Node12OKshare - Node12NOshare - Node13Request + Node13WaitAnswer - Node13OKshare - Node13NOshare - Node14Request + Node14WaitAnswer - Node14OKshare - Node14NOshare - Node15Request + Node15WaitAnswer - Node15OKshare - Node15NOshare - Node16Request + Node16WaitAnswer - Node16OKshare - Node16NOshare - Node17Request + Node17WaitAnswer - Node17OKshare - Node17NOshare - Node18Request + Node18WaitAnswer - Node18OKshare - Node18NOshare - Node19Request + Node19WaitAnswer - Node19OKshare - Node19NOshare - Node20Request + Node20WaitAnswer - Node20OKshare - Node20NOshare - Node21Request + Node21WaitAnswer - Node21OKshare - Node21NOshare - Node22Request + Node22WaitAnswer - Node22OKshare - Node22NOshare - Node23Request + Node23WaitAnswer - Node23OKshare - Node23NOshare - Node24Request + Node24WaitAnswer - Node24OKshare - Node24NOshare - Node25Request + Node25WaitAnswer - Node25OKshare - Node25NOshare - Node26Request + Node26WaitAnswer - Node26OKshare - Node26NOshare - Node27Request + Node27WaitAnswer - Node27OKshare - Node27NOshare - Node28Request + Node28WaitAnswer - Node28OKshare - Node28NOshare - Node29Request + Node29WaitAnswer - Node29NOshare - Node0requestsent1 - Node0requestsent2 - Node0requestsent3 - Node0requestsent4 - Node0requestsent5 - Node0requestsent6 - Node0GiveAnswer6 - Node0requestsent7 - Node0requestsent8 - Node0requestsent9 - Node0requestsent10 - Node0requestsent11 - Node0requestsent12 - Node0GiveAnswer12 - Node0requestsent13 - Node0requestsent14 - Node0requestsent15 - Node0requestsent16 - Node0GiveAnswer16 - Node0requestsent17 - Node0GiveAnswer17 - Node0requestsent18 - Node0requestsent19 - Node0requestsent20 - Node0requestsent21 - Node0requestsent22 - Node0requestsent23 - Node0requestsent24 - Node0requestsent25 - Node0requestsent26 - Node0requestsent27 - Node0requestsent28 - Node0requestsent29 - Node0GiveAnswer29 - Node1requestsent0 - Node1requestsent2 - Node1requestsent3 - Node1requestsent4 - Node1requestsent5 - Node1requestsent6 - Node1GiveAnswer6 - Node1requestsent7 - Node1requestsent8 - Node1requestsent9 - Node1requestsent10 - Node1requestsent11 - Node1requestsent12 - Node1requestsent13 - Node1requestsent14 - Node1GiveAnswer14 - Node1requestsent15 - Node1requestsent16 - Node1requestsent17 - Node1GiveAnswer17 - Node1requestsent18 - Node1requestsent19 - Node1requestsent20 - Node1requestsent21 - Node1requestsent22 - Node1requestsent23 - Node1requestsent24 - Node1GiveAnswer24 - Node1requestsent25 - Node1requestsent26 - Node1requestsent27 - Node1requestsent28 - Node1requestsent29 - Node1GiveAnswer29 - Node2requestsent0 - Node2requestsent1 - Node2requestsent3 - Node2requestsent4 - Node2requestsent5 - Node2requestsent6 - Node2GiveAnswer6 - Node2requestsent7 - Node2requestsent8 - Node2requestsent9 - Node2requestsent10 - Node2requestsent11 - Node2requestsent12 - Node2requestsent13 - Node2requestsent14 - Node2requestsent15 - Node2requestsent16 - Node2GiveAnswer16 - Node2requestsent17 - Node2GiveAnswer17 - Node2requestsent18 - Node2GiveAnswer18 - Node2requestsent19 - Node2requestsent20 - Node2requestsent21 - Node2requestsent22 - Node2requestsent23 - Node2requestsent24 - Node2GiveAnswer24 - Node2requestsent25 - Node2requestsent26 - Node2requestsent27 - Node2requestsent28 - Node2requestsent29 - Node2GiveAnswer29 - Node3requestsent0 - Node3requestsent1 - Node3requestsent2 - Node3requestsent4 - Node3requestsent5 - Node3requestsent6 - Node3GiveAnswer6 - Node3requestsent7 - Node3requestsent8 - Node3requestsent9 - Node3requestsent10 - Node3requestsent11 - Node3requestsent12 - Node3requestsent13 - Node3requestsent14 - Node3requestsent15 - Node3requestsent16 - Node3GiveAnswer16 - Node3requestsent17 - Node3GiveAnswer17 - Node3requestsent18 - Node3requestsent19 - Node3requestsent20 - Node3requestsent21 - Node3GiveAnswer21 - Node3requestsent22 - Node3requestsent23 - Node3requestsent24 - Node3GiveAnswer24 - Node3requestsent25 - Node3requestsent26 - Node3requestsent27 - Node3requestsent28 - Node3requestsent29 - Node3GiveAnswer29 - Node4requestsent0 - Node4requestsent1 - Node4GiveAnswer1 - Node4requestsent2 - Node4GiveAnswer2 - Node4requestsent3 - Node4requestsent5 - Node4requestsent6 - Node4GiveAnswer6 - Node4requestsent7 - Node4requestsent8 - Node4requestsent9 - Node4requestsent10 - Node4requestsent11 - Node4requestsent12 - Node4requestsent13 - Node4requestsent14 - Node4requestsent15 - Node4requestsent16 - Node4GiveAnswer16 - Node4requestsent17 - Node4GiveAnswer17 - Node4requestsent18 - Node4requestsent19 - Node4requestsent20 - Node4requestsent21 - Node4requestsent22 - Node4requestsent23 - Node4requestsent24 - Node4GiveAnswer24 - Node4requestsent25 - Node4requestsent26 - Node4requestsent27 - Node4requestsent28 - Node4requestsent29 - Node4GiveAnswer29 - Node5requestsent0 - Node5requestsent1 - Node5requestsent2 - Node5requestsent3 - Node5requestsent4 - Node5requestsent6 - Node5GiveAnswer6 - Node5requestsent7 - Node5requestsent8 - Node5GiveAnswer8 - Node5requestsent9 - Node5requestsent10 - Node5requestsent11 - Node5requestsent12 - Node5requestsent13 - Node5requestsent14 - Node5requestsent15 - Node5requestsent16 - Node5GiveAnswer16 - Node5requestsent17 - Node5GiveAnswer17 - Node5requestsent18 - Node5requestsent19 - Node5requestsent20 - Node5requestsent21 - Node5requestsent22 - Node5requestsent23 - Node5requestsent24 - Node5GiveAnswer24 - Node5requestsent25 - Node5requestsent26 - Node5requestsent27 - Node5requestsent28 - Node5requestsent29 - Node5GiveAnswer29 - Node6requestsent0 - Node6requestsent1 - Node6requestsent2 - Node6requestsent3 - Node6requestsent4 - Node6requestsent5 - Node6requestsent7 - Node6requestsent8 - Node6requestsent9 - Node6requestsent10 - Node6requestsent11 - Node6requestsent12 - Node6requestsent13 - Node6requestsent14 - Node6requestsent15 - Node6requestsent16 - Node6GiveAnswer16 - Node6requestsent17 - Node6GiveAnswer17 - Node6requestsent18 - Node6requestsent19 - Node6requestsent20 - Node6requestsent21 - Node6requestsent22 - Node6requestsent23 - Node6requestsent24 - Node6GiveAnswer24 - Node6requestsent25 - Node6requestsent26 - Node6requestsent27 - Node6requestsent28 - Node6requestsent29 - Node6GiveAnswer29 - Node7requestsent0 - Node7requestsent1 - Node7requestsent2 - Node7requestsent3 - Node7requestsent4 - Node7requestsent5 - Node7requestsent6 - Node7GiveAnswer6 - Node7requestsent8 - Node7requestsent9 - Node7requestsent10 - Node7requestsent11 - Node7requestsent12 - Node7requestsent13 - Node7requestsent14 - Node7requestsent15 - Node7requestsent16 - Node7GiveAnswer16 - Node7requestsent17 - Node7GiveAnswer17 - Node7requestsent18 - Node7GiveAnswer18 - Node7requestsent19 - Node7requestsent20 - Node7requestsent21 - Node7requestsent22 - Node7requestsent23 - Node7requestsent24 - Node7GiveAnswer24 - Node7requestsent25 - Node7requestsent26 - Node7requestsent27 - Node7GiveAnswer27 - Node7requestsent28 - Node7requestsent29 - Node7GiveAnswer29 - Node8requestsent0 - Node8requestsent1 - Node8requestsent2 - Node8requestsent3 - Node8requestsent4 - Node8requestsent5 - Node8requestsent6 - Node8GiveAnswer6 - Node8requestsent7 - Node8requestsent9 - Node8requestsent10 - Node8requestsent11 - Node8requestsent12 - Node8requestsent13 - Node8requestsent14 - Node8requestsent15 - Node8requestsent16 - Node8GiveAnswer16 - Node8requestsent17 - Node8GiveAnswer17 - Node8requestsent18 - Node8requestsent19 - Node8requestsent20 - Node8requestsent21 - Node8requestsent22 - Node8requestsent23 - Node8requestsent24 - Node8GiveAnswer24 - Node8requestsent25 - Node8requestsent26 - Node8requestsent27 - Node8requestsent28 - Node8requestsent29 - Node8GiveAnswer29 - Node9requestsent0 - Node9requestsent1 - Node9requestsent2 - Node9requestsent3 - Node9requestsent4 - Node9requestsent5 - Node9requestsent6 - Node9GiveAnswer6 - Node9requestsent7 - Node9requestsent8 - Node9requestsent10 - Node9requestsent11 - Node9GiveAnswer11 - Node9requestsent12 - Node9requestsent13 - Node9requestsent14 - Node9requestsent15 - Node9requestsent16 - Node9GiveAnswer16 - Node9requestsent17 - Node9GiveAnswer17 - Node9requestsent18 - Node9requestsent19 - Node9requestsent20 - Node9requestsent21 - Node9GiveAnswer21 - Node9requestsent22 - Node9requestsent23 - Node9requestsent24 - Node9GiveAnswer24 - Node9requestsent25 - Node9requestsent26 - Node9requestsent27 - Node9requestsent28 - Node9requestsent29 - Node9GiveAnswer29 - Node10requestsent0 - Node10requestsent1 - Node10requestsent2 - Node10requestsent3 - Node10requestsent4 - Node10requestsent5 - Node10requestsent6 - Node10GiveAnswer6 - Node10requestsent7 - Node10requestsent8 - Node10requestsent9 - Node10requestsent11 - Node10requestsent12 - Node10requestsent13 - Node10requestsent14 - Node10requestsent15 - Node10requestsent16 - Node10GiveAnswer16 - Node10requestsent17 - Node10GiveAnswer17 - Node10requestsent18 - Node10requestsent19 - Node10requestsent20 - Node10requestsent21 - Node10requestsent22 - Node10requestsent23 - Node10requestsent24 - Node10GiveAnswer24 - Node10requestsent25 - Node10requestsent26 - Node10GiveAnswer26 - Node10requestsent27 - Node10requestsent28 - Node10requestsent29 - Node10GiveAnswer29 - Node11requestsent0 - Node11requestsent1 - Node11requestsent2 - Node11requestsent3 - Node11requestsent4 - Node11requestsent5 - Node11GiveAnswer5 - Node11requestsent6 - Node11GiveAnswer6 - Node11requestsent7 - Node11requestsent8 - Node11requestsent9 - Node11requestsent10 - Node11requestsent12 - Node11requestsent13 - Node11requestsent14 - Node11requestsent15 - Node11requestsent16 - Node11GiveAnswer16 - Node11requestsent17 - Node11GiveAnswer17 - Node11requestsent18 - Node11requestsent19 - Node11requestsent20 - Node11requestsent21 - Node11GiveAnswer21 - Node11requestsent22 - Node11requestsent23 - Node11requestsent24 - Node11GiveAnswer24 - Node11requestsent25 - Node11requestsent26 - Node11requestsent27 - Node11requestsent28 - Node11requestsent29 - Node11GiveAnswer29 - Node12requestsent0 - Node12requestsent1 - Node12requestsent2 - Node12requestsent3 - Node12requestsent4 - Node12requestsent5 - Node12requestsent6 - Node12GiveAnswer6 - Node12requestsent7 - Node12requestsent8 - Node12requestsent9 - Node12requestsent10 - Node12requestsent11 - Node12requestsent13 - Node12requestsent14 - Node12requestsent15 - Node12requestsent16 - Node12GiveAnswer16 - Node12requestsent17 - Node12GiveAnswer17 - Node12requestsent18 - Node12requestsent19 - Node12requestsent20 - Node12requestsent21 - Node12requestsent22 - Node12requestsent23 - Node12requestsent24 - Node12GiveAnswer24 - Node12requestsent25 - Node12requestsent26 - Node12requestsent27 - Node12requestsent28 - Node12requestsent29 - Node12GiveAnswer29 - Node13requestsent0 - Node13requestsent1 - Node13requestsent2 - Node13requestsent3 - Node13requestsent4 - Node13requestsent5 - Node13requestsent6 - Node13GiveAnswer6 - Node13requestsent7 - Node13requestsent8 - Node13requestsent9 - Node13requestsent10 - Node13requestsent11 - Node13requestsent12 - Node13requestsent14 - Node13requestsent15 - Node13requestsent16 - Node13GiveAnswer16 - Node13requestsent17 - Node13GiveAnswer17 - Node13requestsent18 - Node13requestsent19 - Node13requestsent20 - Node13requestsent21 - Node13requestsent22 - Node13requestsent23 - Node13requestsent24 - Node13GiveAnswer24 - Node13requestsent25 - Node13requestsent26 - Node13requestsent27 - Node13requestsent28 - Node13GiveAnswer28 - Node13requestsent29 - Node13GiveAnswer29 - Node14requestsent0 - Node14requestsent1 - Node14requestsent2 - Node14requestsent3 - Node14requestsent4 - Node14requestsent5 - Node14requestsent6 - Node14GiveAnswer6 - Node14requestsent7 - Node14requestsent8 - Node14requestsent9 - Node14requestsent10 - Node14requestsent11 - Node14requestsent12 - Node14requestsent13 - Node14requestsent15 - Node14requestsent16 - Node14GiveAnswer16 - Node14requestsent17 - Node14GiveAnswer17 - Node14requestsent18 - Node14requestsent19 - Node14requestsent20 - Node14requestsent21 - Node14requestsent22 - Node14requestsent23 - Node14requestsent24 - Node14GiveAnswer24 - Node14requestsent25 - Node14requestsent26 - Node14requestsent27 - Node14requestsent28 - Node14requestsent29 - Node14GiveAnswer29 - Node15requestsent0 - Node15requestsent1 - Node15requestsent2 - Node15requestsent3 - Node15requestsent4 - Node15requestsent5 - Node15requestsent6 - Node15GiveAnswer6 - Node15requestsent7 - Node15requestsent8 - Node15requestsent9 - Node15requestsent10 - Node15requestsent11 - Node15requestsent12 - Node15requestsent13 - Node15requestsent14 - Node15requestsent16 - Node15GiveAnswer16 - Node15requestsent17 - Node15GiveAnswer17 - Node15requestsent18 - Node15requestsent19 - Node15requestsent20 - Node15requestsent21 - Node15requestsent22 - Node15requestsent23 - Node15requestsent24 - Node15GiveAnswer24 - Node15requestsent25 - Node15requestsent26 - Node15requestsent27 - Node15requestsent28 - Node15requestsent29 - Node15GiveAnswer29 - Node16requestsent0 - Node16GiveAnswer0 - Node16requestsent1 - Node16GiveAnswer1 - Node16requestsent2 - Node16GiveAnswer2 - Node16requestsent3 - Node16GiveAnswer3 - Node16requestsent4 - Node16GiveAnswer4 - Node16requestsent5 - Node16GiveAnswer5 - Node16requestsent6 - Node16requestsent7 - Node16GiveAnswer7 - Node16requestsent8 - Node16GiveAnswer8 - Node16requestsent9 - Node16GiveAnswer9 - Node16requestsent10 - Node16GiveAnswer10 - Node16requestsent11 - Node16GiveAnswer11 - Node16requestsent12 - Node16GiveAnswer12 - Node16requestsent13 - Node16GiveAnswer13 - Node16requestsent14 - Node16GiveAnswer14 - Node16requestsent15 - Node16requestsent17 - Node16GiveAnswer17 - Node16requestsent18 - Node16GiveAnswer18 - Node16requestsent19 - Node16GiveAnswer19 - Node16requestsent20 - Node16GiveAnswer20 - Node16requestsent21 - Node16GiveAnswer21 - Node16requestsent22 - Node16GiveAnswer22 - Node16requestsent23 - Node16GiveAnswer23 - Node16requestsent24 - Node16GiveAnswer24 - Node16requestsent25 - Node16GiveAnswer25 - Node16requestsent26 - Node16GiveAnswer26 - Node16requestsent27 - Node16GiveAnswer27 - Node16requestsent28 - Node16GiveAnswer28 - Node16requestsent29 - Node16GiveAnswer29 - Node17requestsent0 - Node17requestsent1 - Node17requestsent2 - Node17requestsent3 - Node17requestsent4 - Node17requestsent5 - Node17requestsent6 - Node17requestsent7 - Node17requestsent8 - Node17requestsent9 - Node17requestsent10 - Node17requestsent11 - Node17requestsent12 - Node17requestsent13 - Node17requestsent14 - Node17requestsent15 - Node17requestsent16 - Node17GiveAnswer16 - Node17requestsent18 - Node17requestsent19 - Node17requestsent20 - Node17requestsent21 - Node17requestsent22 - Node17requestsent23 - Node17requestsent24 - Node17GiveAnswer24 - Node17requestsent25 - Node17requestsent26 - Node17requestsent27 - Node17requestsent28 - Node17requestsent29 - Node17GiveAnswer29 - Node18requestsent0 - Node18requestsent1 - Node18requestsent2 - Node18requestsent3 - Node18requestsent4 - Node18requestsent5 - Node18requestsent6 - Node18GiveAnswer6 - Node18requestsent7 - Node18requestsent8 - Node18requestsent9 - Node18requestsent10 - Node18requestsent11 - Node18requestsent12 - Node18requestsent13 - Node18requestsent14 - Node18requestsent15 - Node18requestsent16 - Node18GiveAnswer16 - Node18requestsent17 - Node18GiveAnswer17 - Node18requestsent19 - Node18requestsent20 - Node18requestsent21 - Node18requestsent22 - Node18requestsent23 - Node18requestsent24 - Node18GiveAnswer24 - Node18requestsent25 - Node18requestsent26 - Node18requestsent27 - Node18requestsent28 - Node18requestsent29 - Node18GiveAnswer29 - Node19requestsent0 - Node19requestsent1 - Node19requestsent2 - Node19requestsent3 - Node19requestsent4 - Node19requestsent5 - Node19requestsent6 - Node19GiveAnswer6 - Node19requestsent7 - Node19requestsent8 - Node19requestsent9 - Node19requestsent10 - Node19requestsent11 - Node19requestsent12 - Node19requestsent13 - Node19requestsent14 - Node19requestsent15 - Node19requestsent16 - Node19GiveAnswer16 - Node19requestsent17 - Node19GiveAnswer17 - Node19requestsent18 - Node19requestsent20 - Node19requestsent21 - Node19requestsent22 - Node19requestsent23 - Node19requestsent24 - Node19GiveAnswer24 - Node19requestsent25 - Node19requestsent26 - Node19requestsent27 - Node19requestsent28 - Node19requestsent29 - Node19GiveAnswer29 - Node20requestsent0 - Node20requestsent1 - Node20requestsent2 - Node20requestsent3 - Node20requestsent4 - Node20requestsent5 - Node20requestsent6 - Node20GiveAnswer6 - Node20requestsent7 - Node20requestsent8 - Node20requestsent9 - Node20requestsent10 - Node20requestsent11 - Node20requestsent12 - Node20requestsent13 - Node20requestsent14 - Node20requestsent15 - Node20requestsent16 - Node20GiveAnswer16 - Node20requestsent17 - Node20GiveAnswer17 - Node20requestsent18 - Node20requestsent19 - Node20requestsent21 - Node20requestsent22 - Node20requestsent23 - Node20requestsent24 - Node20GiveAnswer24 - Node20requestsent25 - Node20requestsent26 - Node20requestsent27 - Node20requestsent28 - Node20requestsent29 - Node20GiveAnswer29 - Node21requestsent0 - Node21GiveAnswer0 - Node21requestsent1 - Node21requestsent2 - Node21requestsent3 - Node21requestsent4 - Node21requestsent5 - Node21requestsent6 - Node21GiveAnswer6 - Node21requestsent7 - Node21requestsent8 - Node21requestsent9 - Node21requestsent10 - Node21requestsent11 - Node21requestsent12 - Node21requestsent13 - Node21requestsent14 - Node21requestsent15 - Node21requestsent16 - Node21GiveAnswer16 - Node21requestsent17 - Node21GiveAnswer17 - Node21requestsent18 - Node21requestsent19 - Node21requestsent20 - Node21requestsent22 - Node21requestsent23 - Node21requestsent24 - Node21GiveAnswer24 - Node21requestsent25 - Node21requestsent26 - Node21requestsent27 - Node21requestsent28 - Node21requestsent29 - Node21GiveAnswer29 - Node22requestsent0 - Node22requestsent1 - Node22requestsent2 - Node22requestsent3 - Node22requestsent4 - Node22requestsent5 - Node22requestsent6 - Node22GiveAnswer6 - Node22requestsent7 - Node22requestsent8 - Node22requestsent9 - Node22requestsent10 - Node22requestsent11 - Node22requestsent12 - Node22requestsent13 - Node22requestsent14 - Node22requestsent15 - Node22requestsent16 - Node22GiveAnswer16 - Node22requestsent17 - Node22GiveAnswer17 - Node22requestsent18 - Node22requestsent19 - Node22requestsent20 - Node22requestsent21 - Node22requestsent23 - Node22requestsent24 - Node22GiveAnswer24 - Node22requestsent25 - Node22requestsent26 - Node22requestsent27 - Node22requestsent28 - Node22requestsent29 - Node22GiveAnswer29 - Node23requestsent0 - Node23requestsent1 - Node23requestsent2 - Node23requestsent3 - Node23requestsent4 - Node23requestsent5 - Node23requestsent6 - Node23GiveAnswer6 - Node23requestsent7 - Node23requestsent8 - Node23requestsent9 - Node23requestsent10 - Node23requestsent11 - Node23requestsent12 - Node23requestsent13 - Node23requestsent14 - Node23requestsent15 - Node23requestsent16 - Node23GiveAnswer16 - Node23requestsent17 - Node23GiveAnswer17 - Node23requestsent18 - Node23requestsent19 - Node23requestsent20 - Node23requestsent21 - Node23requestsent22 - Node23requestsent24 - Node23GiveAnswer24 - Node23requestsent25 - Node23requestsent26 - Node23requestsent27 - Node23requestsent28 - Node23requestsent29 - Node23GiveAnswer29 - Node24requestsent0 - Node24GiveAnswer0 - Node24requestsent1 - Node24GiveAnswer1 - Node24requestsent2 - Node24GiveAnswer2 - Node24requestsent3 - Node24requestsent4 - Node24GiveAnswer4 - Node24requestsent5 - Node24GiveAnswer5 - Node24requestsent6 - Node24GiveAnswer6 - Node24requestsent7 - Node24GiveAnswer7 - Node24requestsent8 - Node24GiveAnswer8 - Node24requestsent9 - Node24requestsent10 - Node24GiveAnswer10 - Node24requestsent11 - Node24GiveAnswer11 - Node24requestsent12 - Node24GiveAnswer12 - Node24requestsent13 - Node24GiveAnswer13 - Node24requestsent14 - Node24GiveAnswer14 - Node24requestsent15 - Node24GiveAnswer15 - Node24requestsent16 - Node24requestsent17 - Node24GiveAnswer17 - Node24requestsent18 - Node24GiveAnswer18 - Node24requestsent19 - Node24requestsent20 - Node24GiveAnswer20 - Node24requestsent21 - Node24GiveAnswer21 - Node24requestsent22 - Node24GiveAnswer22 - Node24requestsent23 - Node24GiveAnswer23 - Node24requestsent25 - Node24GiveAnswer25 - Node24requestsent26 - Node24GiveAnswer26 - Node24requestsent27 - Node24GiveAnswer27 - Node24requestsent28 - Node24GiveAnswer28 - Node24requestsent29 - Node24GiveAnswer29 - Node25requestsent0 - Node25requestsent1 - Node25requestsent2 - Node25requestsent3 - Node25requestsent4 - Node25requestsent5 - Node25requestsent6 - Node25GiveAnswer6 - Node25requestsent7 - Node25requestsent8 - Node25requestsent9 - Node25GiveAnswer9 - Node25requestsent10 - Node25requestsent11 - Node25requestsent12 - Node25requestsent13 - Node25requestsent14 - Node25requestsent15 - Node25requestsent16 - Node25requestsent17 - Node25GiveAnswer17 - Node25requestsent18 - Node25requestsent19 - Node25requestsent20 - Node25requestsent21 - Node25requestsent22 - Node25requestsent23 - Node25requestsent24 - Node25GiveAnswer24 - Node25requestsent26 - Node25requestsent27 - Node25requestsent28 - Node25requestsent29 - Node25GiveAnswer29 - Node26requestsent0 - Node26requestsent1 - Node26requestsent2 - Node26requestsent3 - Node26requestsent4 - Node26requestsent5 - Node26requestsent6 - Node26GiveAnswer6 - Node26requestsent7 - Node26requestsent8 - Node26requestsent9 - Node26requestsent10 - Node26requestsent11 - Node26requestsent12 - Node26GiveAnswer12 - Node26requestsent13 - Node26requestsent14 - Node26requestsent15 - Node26requestsent16 - Node26GiveAnswer16 - Node26requestsent17 - Node26GiveAnswer17 - Node26requestsent18 - Node26requestsent19 - Node26requestsent20 - Node26requestsent21 - Node26requestsent22 - Node26requestsent23 - Node26requestsent24 - Node26GiveAnswer24 - Node26requestsent25 - Node26requestsent27 - Node26requestsent28 - Node26requestsent29 - Node26GiveAnswer29 - Node27requestsent0 - Node27requestsent1 - Node27requestsent2 - Node27requestsent3 - Node27requestsent4 - Node27requestsent5 - Node27requestsent6 - Node27GiveAnswer6 - Node27requestsent7 - Node27requestsent8 - Node27requestsent9 - Node27requestsent10 - Node27requestsent11 - Node27requestsent12 - Node27requestsent13 - Node27requestsent14 - Node27requestsent15 - Node27requestsent16 - Node27GiveAnswer16 - Node27requestsent17 - Node27GiveAnswer17 - Node27requestsent18 - Node27GiveAnswer18 - Node27requestsent19 - Node27requestsent20 - Node27requestsent21 - Node27requestsent22 - Node27requestsent23 - Node27requestsent24 - Node27GiveAnswer24 - Node27requestsent25 - Node27requestsent26 - Node27requestsent28 - Node27requestsent29 - Node27GiveAnswer29 - Node28requestsent0 - Node28requestsent1 - Node28requestsent2 - Node28requestsent3 - Node28requestsent4 - Node28requestsent5 - Node28requestsent6 - Node28GiveAnswer6 - Node28requestsent7 - Node28requestsent8 - Node28requestsent9 - Node28requestsent10 - Node28requestsent11 - Node28requestsent12 - Node28requestsent13 - Node28requestsent14 - Node28requestsent15 - Node28requestsent16 - Node28GiveAnswer16 - Node28requestsent17 - Node28GiveAnswer17 - Node28requestsent18 - Node28requestsent19 - Node28requestsent20 - Node28requestsent21 - Node28requestsent22 - Node28requestsent23 - Node28requestsent24 - Node28GiveAnswer24 - Node28requestsent25 - Node28requestsent26 - Node28GiveAnswer26 - Node28requestsent27 - Node28requestsent29 - Node28GiveAnswer29 - Node29requestsent0 - Node29GiveAnswer0 - Node29requestsent1 - Node29GiveAnswer1 - Node29requestsent2 - Node29GiveAnswer2 - Node29requestsent3 - Node29GiveAnswer3 - Node29requestsent4 - Node29GiveAnswer4 - Node29requestsent5 - Node29GiveAnswer5 - Node29requestsent6 - Node29GiveAnswer6 - Node29requestsent7 - Node29GiveAnswer7 - Node29requestsent8 - Node29GiveAnswer8 - Node29requestsent9 - Node29GiveAnswer9 - Node29requestsent10 - Node29GiveAnswer10 - Node29requestsent11 - Node29GiveAnswer11 - Node29requestsent12 - Node29GiveAnswer12 - Node29requestsent13 - Node29GiveAnswer13 - Node29requestsent14 - Node29GiveAnswer14 - Node29requestsent15 - Node29GiveAnswer15 - Node29requestsent16 - Node29requestsent17 - Node29GiveAnswer17 - Node29requestsent18 - Node29GiveAnswer18 - Node29requestsent19 - Node29GiveAnswer19 - Node29requestsent20 - Node29GiveAnswer20 - Node29requestsent21 - Node29GiveAnswer21 - Node29requestsent22 - Node29GiveAnswer22 - Node29requestsent23 - Node29GiveAnswer23 - Node29requestsent24 - Node29GiveAnswer24 - Node29requestsent25 - Node29GiveAnswer25 - Node29requestsent26 - Node29GiveAnswer26 - Node29requestsent27 - Node29GiveAnswer27 - Node29requestsent28 - Node29GiveAnswer28 = 0
inv : Node18ReadyToInsert + Node18IsInserted + Node18WaitAnswer = 1
inv : Node26ReadyToInsert + Node26IsInserted + Node26DHTinfo2 + Node26WaitAnswer = 1
inv : Node29ReadyToInsert + Node29ResZone + Node29IsInserted + Node29DHTinfo2 + Node29Bootstrap + Node29WaitAnswer = 1
inv : Node14ReadyToInsert + Node14IsInserted + Node14WaitAnswer = 1
inv : Node9ReadyToInsert + Node9IsInserted + Node9WaitAnswer = 1
inv : Node13ReadyToInsert + Node13IsInserted + Node13DHTinfo2 + Node13WaitAnswer = 1
inv : Node21ReadyToInsert + Node21IsInserted + Node21WaitAnswer = 1
inv : Node11ReadyToInsert + Node11IsInserted + Node11WaitAnswer = 1
inv : Node27ReadyToInsert + Node27IsInserted + Node27WaitAnswer = 1
inv : Node19ReadyToInsert + Node19IsInserted + Node19WaitAnswer = 1
inv : Node23ReadyToInsert + Node23IsInserted + Node23WaitAnswer = 1
inv : Node3ReadyToInsert + Node3IsInserted + Node3DHTinfo2 + Node3ID2 + Node3WaitAnswer = 1
inv : Node12ReadyToInsert + Node12IsInserted + Node12WaitAnswer = 1
inv : Node0ReadyToInsert + Node0IsInserted + Node0WaitAnswer = 1
inv : Node17ReadyToInsert + Node17IsInserted + Node17WaitAnswer = 1
inv : Node1ReadyToInsert + Node1IsInserted + Node1WaitAnswer = 1
inv : Node16ReadyToInsert + Node16IsInserted + Node16WaitAnswer = 1
inv : Node25ReadyToInsert + Node25DHTinfo + Node25IsInserted + Node25DHTinfo2 + Node25WaitAnswer = 1
inv : InsertedCounter + Node0ReadyToInsert + Node0Request + Node0OKshare + Node0NOshare + Node1ReadyToInsert + Node1Request + Node1OKshare + Node1NOshare + Node2ReadyToInsert + Node2Request + Node2OKshare + Node2NOshare + Node3ReadyToInsert + Node3DHTinfo2 + Node3ID2 + Node3Request + Node3OKshare + Node3NOshare + Node4ReadyToInsert + Node4Request + Node4OKshare + Node4NOshare + Node5ReadyToInsert + Node5Request + Node5OKshare + Node5NOshare + Node6ReadyToInsert + Node6Request + Node6OKshare + Node6NOshare + Node7ReadyToInsert + Node7Request + Node7OKshare + Node7NOshare + Node8ReadyToInsert + Node8DHTinfo + Node8ID + Node8ResZone + Node8Request + Node8OKshare + Node8NOshare + Node9ReadyToInsert + Node9Request + Node9OKshare + Node9NOshare + Node10ReadyToInsert + Node10Request + Node10OKshare + Node10NOshare + Node11ReadyToInsert + Node11Request + Node11OKshare + Node11NOshare + Node12ReadyToInsert + Node12Request + Node12OKshare + Node12NOshare + Node13ReadyToInsert + Node13DHTinfo2 + Node13Request + Node13OKshare + Node13NOshare + Node14ReadyToInsert + Node14Request + Node14OKshare + Node14NOshare + Node15ReadyToInsert + Node15Request + Node15OKshare + Node15NOshare + Node16ReadyToInsert + Node16Request + Node16OKshare + Node16NOshare + Node17ReadyToInsert + Node17Request + Node17OKshare + Node17NOshare + Node18ReadyToInsert + Node18Request + Node18OKshare + Node18NOshare + Node19ReadyToInsert + Node19Request + Node19OKshare + Node19NOshare + Node20ReadyToInsert + Node20Request + Node20OKshare + Node20NOshare + Node21ReadyToInsert + Node21Request + Node21OKshare + Node21NOshare + Node22ReadyToInsert + Node22Request + Node22OKshare + Node22NOshare + Node23ReadyToInsert + Node23Request + Node23OKshare + Node23NOshare + Node24ReadyToInsert + Node24Request + Node24OKshare + Node24NOshare + Node25ReadyToInsert + Node25DHTinfo + Node25DHTinfo2 + Node25Request + Node25OKshare + Node25NOshare + Node26ReadyToInsert + Node26DHTinfo2 + Node26Request + Node26OKshare + Node26NOshare + Node27ReadyToInsert + Node27Request + Node27OKshare + Node27NOshare + Node28ReadyToInsert + Node28DHTinfo2 + Node28JoinMsg + Node28Request + Node28OKshare + Node28NOshare + Node29ReadyToInsert + Node29ResZone + Node29DHTinfo2 + Node29Bootstrap + Node29Request + Node29NOshare + Node0requestsent1 + Node0requestsent2 + Node0requestsent3 + Node0requestsent4 + Node0requestsent5 + Node0requestsent6 + Node0GiveAnswer6 + Node0requestsent7 + Node0requestsent8 + Node0requestsent9 + Node0requestsent10 + Node0requestsent11 + Node0requestsent12 + Node0GiveAnswer12 + Node0requestsent13 + Node0requestsent14 + Node0requestsent15 + Node0requestsent16 + Node0GiveAnswer16 + Node0requestsent17 + Node0GiveAnswer17 + Node0requestsent18 + Node0requestsent19 + Node0requestsent20 + Node0requestsent21 + Node0requestsent22 + Node0requestsent23 + Node0requestsent24 + Node0requestsent25 + Node0requestsent26 + Node0requestsent27 + Node0requestsent28 + Node0requestsent29 + Node0GiveAnswer29 + Node1requestsent0 + Node1requestsent2 + Node1requestsent3 + Node1requestsent4 + Node1requestsent5 + Node1requestsent6 + Node1GiveAnswer6 + Node1requestsent7 + Node1requestsent8 + Node1requestsent9 + Node1requestsent10 + Node1requestsent11 + Node1requestsent12 + Node1requestsent13 + Node1requestsent14 + Node1GiveAnswer14 + Node1requestsent15 + Node1requestsent16 + Node1requestsent17 + Node1GiveAnswer17 + Node1requestsent18 + Node1requestsent19 + Node1requestsent20 + Node1requestsent21 + Node1requestsent22 + Node1requestsent23 + Node1requestsent24 + Node1GiveAnswer24 + Node1requestsent25 + Node1requestsent26 + Node1requestsent27 + Node1requestsent28 + Node1requestsent29 + Node1GiveAnswer29 + Node2requestsent0 + Node2requestsent1 + Node2requestsent3 + Node2requestsent4 + Node2requestsent5 + Node2requestsent6 + Node2GiveAnswer6 + Node2requestsent7 + Node2requestsent8 + Node2requestsent9 + Node2requestsent10 + Node2requestsent11 + Node2requestsent12 + Node2requestsent13 + Node2requestsent14 + Node2requestsent15 + Node2requestsent16 + Node2GiveAnswer16 + Node2requestsent17 + Node2GiveAnswer17 + Node2requestsent18 + Node2GiveAnswer18 + Node2requestsent19 + Node2requestsent20 + Node2requestsent21 + Node2requestsent22 + Node2requestsent23 + Node2requestsent24 + Node2GiveAnswer24 + Node2requestsent25 + Node2requestsent26 + Node2requestsent27 + Node2requestsent28 + Node2requestsent29 + Node2GiveAnswer29 + Node3requestsent0 + Node3requestsent1 + Node3requestsent2 + Node3requestsent4 + Node3requestsent5 + Node3requestsent6 + Node3GiveAnswer6 + Node3requestsent7 + Node3requestsent8 + Node3requestsent9 + Node3requestsent10 + Node3requestsent11 + Node3requestsent12 + Node3requestsent13 + Node3requestsent14 + Node3requestsent15 + Node3requestsent16 + Node3GiveAnswer16 + Node3requestsent17 + Node3GiveAnswer17 + Node3requestsent18 + Node3requestsent19 + Node3requestsent20 + Node3requestsent21 + Node3GiveAnswer21 + Node3requestsent22 + Node3requestsent23 + Node3requestsent24 + Node3GiveAnswer24 + Node3requestsent25 + Node3requestsent26 + Node3requestsent27 + Node3requestsent28 + Node3requestsent29 + Node3GiveAnswer29 + Node4requestsent0 + Node4requestsent1 + Node4GiveAnswer1 + Node4requestsent2 + Node4GiveAnswer2 + Node4requestsent3 + Node4requestsent5 + Node4requestsent6 + Node4GiveAnswer6 + Node4requestsent7 + Node4requestsent8 + Node4requestsent9 + Node4requestsent10 + Node4requestsent11 + Node4requestsent12 + Node4requestsent13 + Node4requestsent14 + Node4requestsent15 + Node4requestsent16 + Node4GiveAnswer16 + Node4requestsent17 + Node4GiveAnswer17 + Node4requestsent18 + Node4requestsent19 + Node4requestsent20 + Node4requestsent21 + Node4requestsent22 + Node4requestsent23 + Node4requestsent24 + Node4GiveAnswer24 + Node4requestsent25 + Node4requestsent26 + Node4requestsent27 + Node4requestsent28 + Node4requestsent29 + Node4GiveAnswer29 + Node5requestsent0 + Node5requestsent1 + Node5requestsent2 + Node5requestsent3 + Node5requestsent4 + Node5requestsent6 + Node5GiveAnswer6 + Node5requestsent7 + Node5requestsent8 + Node5GiveAnswer8 + Node5requestsent9 + Node5requestsent10 + Node5requestsent11 + Node5requestsent12 + Node5requestsent13 + Node5requestsent14 + Node5requestsent15 + Node5requestsent16 + Node5GiveAnswer16 + Node5requestsent17 + Node5GiveAnswer17 + Node5requestsent18 + Node5requestsent19 + Node5requestsent20 + Node5requestsent21 + Node5requestsent22 + Node5requestsent23 + Node5requestsent24 + Node5GiveAnswer24 + Node5requestsent25 + Node5requestsent26 + Node5requestsent27 + Node5requestsent28 + Node5requestsent29 + Node5GiveAnswer29 + Node6requestsent0 + Node6requestsent1 + Node6requestsent2 + Node6requestsent3 + Node6requestsent4 + Node6requestsent5 + Node6requestsent7 + Node6requestsent8 + Node6requestsent9 + Node6requestsent10 + Node6requestsent11 + Node6requestsent12 + Node6requestsent13 + Node6requestsent14 + Node6requestsent15 + Node6requestsent16 + Node6GiveAnswer16 + Node6requestsent17 + Node6GiveAnswer17 + Node6requestsent18 + Node6requestsent19 + Node6requestsent20 + Node6requestsent21 + Node6requestsent22 + Node6requestsent23 + Node6requestsent24 + Node6GiveAnswer24 + Node6requestsent25 + Node6requestsent26 + Node6requestsent27 + Node6requestsent28 + Node6requestsent29 + Node6GiveAnswer29 + Node7requestsent0 + Node7requestsent1 + Node7requestsent2 + Node7requestsent3 + Node7requestsent4 + Node7requestsent5 + Node7requestsent6 + Node7GiveAnswer6 + Node7requestsent8 + Node7requestsent9 + Node7requestsent10 + Node7requestsent11 + Node7requestsent12 + Node7requestsent13 + Node7requestsent14 + Node7requestsent15 + Node7requestsent16 + Node7GiveAnswer16 + Node7requestsent17 + Node7GiveAnswer17 + Node7requestsent18 + Node7GiveAnswer18 + Node7requestsent19 + Node7requestsent20 + Node7requestsent21 + Node7requestsent22 + Node7requestsent23 + Node7requestsent24 + Node7GiveAnswer24 + Node7requestsent25 + Node7requestsent26 + Node7requestsent27 + Node7GiveAnswer27 + Node7requestsent28 + Node7requestsent29 + Node7GiveAnswer29 + Node8requestsent0 + Node8requestsent1 + Node8requestsent2 + Node8requestsent3 + Node8requestsent4 + Node8requestsent5 + Node8requestsent6 + Node8GiveAnswer6 + Node8requestsent7 + Node8requestsent9 + Node8requestsent10 + Node8requestsent11 + Node8requestsent12 + Node8requestsent13 + Node8requestsent14 + Node8requestsent15 + Node8requestsent16 + Node8GiveAnswer16 + Node8requestsent17 + Node8GiveAnswer17 + Node8requestsent18 + Node8requestsent19 + Node8requestsent20 + Node8requestsent21 + Node8requestsent22 + Node8requestsent23 + Node8requestsent24 + Node8GiveAnswer24 + Node8requestsent25 + Node8requestsent26 + Node8requestsent27 + Node8requestsent28 + Node8requestsent29 + Node8GiveAnswer29 + Node9requestsent0 + Node9requestsent1 + Node9requestsent2 + Node9requestsent3 + Node9requestsent4 + Node9requestsent5 + Node9requestsent6 + Node9GiveAnswer6 + Node9requestsent7 + Node9requestsent8 + Node9requestsent10 + Node9requestsent11 + Node9GiveAnswer11 + Node9requestsent12 + Node9requestsent13 + Node9requestsent14 + Node9requestsent15 + Node9requestsent16 + Node9GiveAnswer16 + Node9requestsent17 + Node9GiveAnswer17 + Node9requestsent18 + Node9requestsent19 + Node9requestsent20 + Node9requestsent21 + Node9GiveAnswer21 + Node9requestsent22 + Node9requestsent23 + Node9requestsent24 + Node9GiveAnswer24 + Node9requestsent25 + Node9requestsent26 + Node9requestsent27 + Node9requestsent28 + Node9requestsent29 + Node9GiveAnswer29 + Node10requestsent0 + Node10requestsent1 + Node10requestsent2 + Node10requestsent3 + Node10requestsent4 + Node10requestsent5 + Node10requestsent6 + Node10GiveAnswer6 + Node10requestsent7 + Node10requestsent8 + Node10requestsent9 + Node10requestsent11 + Node10requestsent12 + Node10requestsent13 + Node10requestsent14 + Node10requestsent15 + Node10requestsent16 + Node10GiveAnswer16 + Node10requestsent17 + Node10GiveAnswer17 + Node10requestsent18 + Node10requestsent19 + Node10requestsent20 + Node10requestsent21 + Node10requestsent22 + Node10requestsent23 + Node10requestsent24 + Node10GiveAnswer24 + Node10requestsent25 + Node10requestsent26 + Node10GiveAnswer26 + Node10requestsent27 + Node10requestsent28 + Node10requestsent29 + Node10GiveAnswer29 + Node11requestsent0 + Node11requestsent1 + Node11requestsent2 + Node11requestsent3 + Node11requestsent4 + Node11requestsent5 + Node11GiveAnswer5 + Node11requestsent6 + Node11GiveAnswer6 + Node11requestsent7 + Node11requestsent8 + Node11requestsent9 + Node11requestsent10 + Node11requestsent12 + Node11requestsent13 + Node11requestsent14 + Node11requestsent15 + Node11requestsent16 + Node11GiveAnswer16 + Node11requestsent17 + Node11GiveAnswer17 + Node11requestsent18 + Node11requestsent19 + Node11requestsent20 + Node11requestsent21 + Node11GiveAnswer21 + Node11requestsent22 + Node11requestsent23 + Node11requestsent24 + Node11GiveAnswer24 + Node11requestsent25 + Node11requestsent26 + Node11requestsent27 + Node11requestsent28 + Node11requestsent29 + Node11GiveAnswer29 + Node12requestsent0 + Node12requestsent1 + Node12requestsent2 + Node12requestsent3 + Node12requestsent4 + Node12requestsent5 + Node12requestsent6 + Node12GiveAnswer6 + Node12requestsent7 + Node12requestsent8 + Node12requestsent9 + Node12requestsent10 + Node12requestsent11 + Node12requestsent13 + Node12requestsent14 + Node12requestsent15 + Node12requestsent16 + Node12GiveAnswer16 + Node12requestsent17 + Node12GiveAnswer17 + Node12requestsent18 + Node12requestsent19 + Node12requestsent20 + Node12requestsent21 + Node12requestsent22 + Node12requestsent23 + Node12requestsent24 + Node12GiveAnswer24 + Node12requestsent25 + Node12requestsent26 + Node12requestsent27 + Node12requestsent28 + Node12requestsent29 + Node12GiveAnswer29 + Node13requestsent0 + Node13requestsent1 + Node13requestsent2 + Node13requestsent3 + Node13requestsent4 + Node13requestsent5 + Node13requestsent6 + Node13GiveAnswer6 + Node13requestsent7 + Node13requestsent8 + Node13requestsent9 + Node13requestsent10 + Node13requestsent11 + Node13requestsent12 + Node13requestsent14 + Node13requestsent15 + Node13requestsent16 + Node13GiveAnswer16 + Node13requestsent17 + Node13GiveAnswer17 + Node13requestsent18 + Node13requestsent19 + Node13requestsent20 + Node13requestsent21 + Node13requestsent22 + Node13requestsent23 + Node13requestsent24 + Node13GiveAnswer24 + Node13requestsent25 + Node13requestsent26 + Node13requestsent27 + Node13requestsent28 + Node13GiveAnswer28 + Node13requestsent29 + Node13GiveAnswer29 + Node14requestsent0 + Node14requestsent1 + Node14requestsent2 + Node14requestsent3 + Node14requestsent4 + Node14requestsent5 + Node14requestsent6 + Node14GiveAnswer6 + Node14requestsent7 + Node14requestsent8 + Node14requestsent9 + Node14requestsent10 + Node14requestsent11 + Node14requestsent12 + Node14requestsent13 + Node14requestsent15 + Node14requestsent16 + Node14GiveAnswer16 + Node14requestsent17 + Node14GiveAnswer17 + Node14requestsent18 + Node14requestsent19 + Node14requestsent20 + Node14requestsent21 + Node14requestsent22 + Node14requestsent23 + Node14requestsent24 + Node14GiveAnswer24 + Node14requestsent25 + Node14requestsent26 + Node14requestsent27 + Node14requestsent28 + Node14requestsent29 + Node14GiveAnswer29 + Node15requestsent0 + Node15requestsent1 + Node15requestsent2 + Node15requestsent3 + Node15requestsent4 + Node15requestsent5 + Node15requestsent6 + Node15GiveAnswer6 + Node15requestsent7 + Node15requestsent8 + Node15requestsent9 + Node15requestsent10 + Node15requestsent11 + Node15requestsent12 + Node15requestsent13 + Node15requestsent14 + Node15requestsent16 + Node15GiveAnswer16 + Node15requestsent17 + Node15GiveAnswer17 + Node15requestsent18 + Node15requestsent19 + Node15requestsent20 + Node15requestsent21 + Node15requestsent22 + Node15requestsent23 + Node15requestsent24 + Node15GiveAnswer24 + Node15requestsent25 + Node15requestsent26 + Node15requestsent27 + Node15requestsent28 + Node15requestsent29 + Node15GiveAnswer29 + Node16requestsent0 + Node16GiveAnswer0 + Node16requestsent1 + Node16GiveAnswer1 + Node16requestsent2 + Node16GiveAnswer2 + Node16requestsent3 + Node16GiveAnswer3 + Node16requestsent4 + Node16GiveAnswer4 + Node16requestsent5 + Node16GiveAnswer5 + Node16requestsent6 + Node16requestsent7 + Node16GiveAnswer7 + Node16requestsent8 + Node16GiveAnswer8 + Node16requestsent9 + Node16GiveAnswer9 + Node16requestsent10 + Node16GiveAnswer10 + Node16requestsent11 + Node16GiveAnswer11 + Node16requestsent12 + Node16GiveAnswer12 + Node16requestsent13 + Node16GiveAnswer13 + Node16requestsent14 + Node16GiveAnswer14 + Node16requestsent15 + Node16requestsent17 + Node16GiveAnswer17 + Node16requestsent18 + Node16GiveAnswer18 + Node16requestsent19 + Node16GiveAnswer19 + Node16requestsent20 + Node16GiveAnswer20 + Node16requestsent21 + Node16GiveAnswer21 + Node16requestsent22 + Node16GiveAnswer22 + Node16requestsent23 + Node16GiveAnswer23 + Node16requestsent24 + Node16GiveAnswer24 + Node16requestsent25 + Node16GiveAnswer25 + Node16requestsent26 + Node16GiveAnswer26 + Node16requestsent27 + Node16GiveAnswer27 + Node16requestsent28 + Node16GiveAnswer28 + Node16requestsent29 + Node16GiveAnswer29 + Node17requestsent0 + Node17requestsent1 + Node17requestsent2 + Node17requestsent3 + Node17requestsent4 + Node17requestsent5 + Node17requestsent6 + Node17requestsent7 + Node17requestsent8 + Node17requestsent9 + Node17requestsent10 + Node17requestsent11 + Node17requestsent12 + Node17requestsent13 + Node17requestsent14 + Node17requestsent15 + Node17requestsent16 + Node17GiveAnswer16 + Node17requestsent18 + Node17requestsent19 + Node17requestsent20 + Node17requestsent21 + Node17requestsent22 + Node17requestsent23 + Node17requestsent24 + Node17GiveAnswer24 + Node17requestsent25 + Node17requestsent26 + Node17requestsent27 + Node17requestsent28 + Node17requestsent29 + Node17GiveAnswer29 + Node18requestsent0 + Node18requestsent1 + Node18requestsent2 + Node18requestsent3 + Node18requestsent4 + Node18requestsent5 + Node18requestsent6 + Node18GiveAnswer6 + Node18requestsent7 + Node18requestsent8 + Node18requestsent9 + Node18requestsent10 + Node18requestsent11 + Node18requestsent12 + Node18requestsent13 + Node18requestsent14 + Node18requestsent15 + Node18requestsent16 + Node18GiveAnswer16 + Node18requestsent17 + Node18GiveAnswer17 + Node18requestsent19 + Node18requestsent20 + Node18requestsent21 + Node18requestsent22 + Node18requestsent23 + Node18requestsent24 + Node18GiveAnswer24 + Node18requestsent25 + Node18requestsent26 + Node18requestsent27 + Node18requestsent28 + Node18requestsent29 + Node18GiveAnswer29 + Node19requestsent0 + Node19requestsent1 + Node19requestsent2 + Node19requestsent3 + Node19requestsent4 + Node19requestsent5 + Node19requestsent6 + Node19GiveAnswer6 + Node19requestsent7 + Node19requestsent8 + Node19requestsent9 + Node19requestsent10 + Node19requestsent11 + Node19requestsent12 + Node19requestsent13 + Node19requestsent14 + Node19requestsent15 + Node19requestsent16 + Node19GiveAnswer16 + Node19requestsent17 + Node19GiveAnswer17 + Node19requestsent18 + Node19requestsent20 + Node19requestsent21 + Node19requestsent22 + Node19requestsent23 + Node19requestsent24 + Node19GiveAnswer24 + Node19requestsent25 + Node19requestsent26 + Node19requestsent27 + Node19requestsent28 + Node19requestsent29 + Node19GiveAnswer29 + Node20requestsent0 + Node20requestsent1 + Node20requestsent2 + Node20requestsent3 + Node20requestsent4 + Node20requestsent5 + Node20requestsent6 + Node20GiveAnswer6 + Node20requestsent7 + Node20requestsent8 + Node20requestsent9 + Node20requestsent10 + Node20requestsent11 + Node20requestsent12 + Node20requestsent13 + Node20requestsent14 + Node20requestsent15 + Node20requestsent16 + Node20GiveAnswer16 + Node20requestsent17 + Node20GiveAnswer17 + Node20requestsent18 + Node20requestsent19 + Node20requestsent21 + Node20requestsent22 + Node20requestsent23 + Node20requestsent24 + Node20GiveAnswer24 + Node20requestsent25 + Node20requestsent26 + Node20requestsent27 + Node20requestsent28 + Node20requestsent29 + Node20GiveAnswer29 + Node21requestsent0 + Node21GiveAnswer0 + Node21requestsent1 + Node21requestsent2 + Node21requestsent3 + Node21requestsent4 + Node21requestsent5 + Node21requestsent6 + Node21GiveAnswer6 + Node21requestsent7 + Node21requestsent8 + Node21requestsent9 + Node21requestsent10 + Node21requestsent11 + Node21requestsent12 + Node21requestsent13 + Node21requestsent14 + Node21requestsent15 + Node21requestsent16 + Node21GiveAnswer16 + Node21requestsent17 + Node21GiveAnswer17 + Node21requestsent18 + Node21requestsent19 + Node21requestsent20 + Node21requestsent22 + Node21requestsent23 + Node21requestsent24 + Node21GiveAnswer24 + Node21requestsent25 + Node21requestsent26 + Node21requestsent27 + Node21requestsent28 + Node21requestsent29 + Node21GiveAnswer29 + Node22requestsent0 + Node22requestsent1 + Node22requestsent2 + Node22requestsent3 + Node22requestsent4 + Node22requestsent5 + Node22requestsent6 + Node22GiveAnswer6 + Node22requestsent7 + Node22requestsent8 + Node22requestsent9 + Node22requestsent10 + Node22requestsent11 + Node22requestsent12 + Node22requestsent13 + Node22requestsent14 + Node22requestsent15 + Node22requestsent16 + Node22GiveAnswer16 + Node22requestsent17 + Node22GiveAnswer17 + Node22requestsent18 + Node22requestsent19 + Node22requestsent20 + Node22requestsent21 + Node22requestsent23 + Node22requestsent24 + Node22GiveAnswer24 + Node22requestsent25 + Node22requestsent26 + Node22requestsent27 + Node22requestsent28 + Node22requestsent29 + Node22GiveAnswer29 + Node23requestsent0 + Node23requestsent1 + Node23requestsent2 + Node23requestsent3 + Node23requestsent4 + Node23requestsent5 + Node23requestsent6 + Node23GiveAnswer6 + Node23requestsent7 + Node23requestsent8 + Node23requestsent9 + Node23requestsent10 + Node23requestsent11 + Node23requestsent12 + Node23requestsent13 + Node23requestsent14 + Node23requestsent15 + Node23requestsent16 + Node23GiveAnswer16 + Node23requestsent17 + Node23GiveAnswer17 + Node23requestsent18 + Node23requestsent19 + Node23requestsent20 + Node23requestsent21 + Node23requestsent22 + Node23requestsent24 + Node23GiveAnswer24 + Node23requestsent25 + Node23requestsent26 + Node23requestsent27 + Node23requestsent28 + Node23requestsent29 + Node23GiveAnswer29 + Node24requestsent0 + Node24GiveAnswer0 + Node24requestsent1 + Node24GiveAnswer1 + Node24requestsent2 + Node24GiveAnswer2 + Node24requestsent3 + Node24requestsent4 + Node24GiveAnswer4 + Node24requestsent5 + Node24GiveAnswer5 + Node24requestsent6 + Node24GiveAnswer6 + Node24requestsent7 + Node24GiveAnswer7 + Node24requestsent8 + Node24GiveAnswer8 + Node24requestsent9 + Node24requestsent10 + Node24GiveAnswer10 + Node24requestsent11 + Node24GiveAnswer11 + Node24requestsent12 + Node24GiveAnswer12 + Node24requestsent13 + Node24GiveAnswer13 + Node24requestsent14 + Node24GiveAnswer14 + Node24requestsent15 + Node24GiveAnswer15 + Node24requestsent16 + Node24requestsent17 + Node24GiveAnswer17 + Node24requestsent18 + Node24GiveAnswer18 + Node24requestsent19 + Node24requestsent20 + Node24GiveAnswer20 + Node24requestsent21 + Node24GiveAnswer21 + Node24requestsent22 + Node24GiveAnswer22 + Node24requestsent23 + Node24GiveAnswer23 + Node24requestsent25 + Node24GiveAnswer25 + Node24requestsent26 + Node24GiveAnswer26 + Node24requestsent27 + Node24GiveAnswer27 + Node24requestsent28 + Node24GiveAnswer28 + Node24requestsent29 + Node24GiveAnswer29 + Node25requestsent0 + Node25requestsent1 + Node25requestsent2 + Node25requestsent3 + Node25requestsent4 + Node25requestsent5 + Node25requestsent6 + Node25GiveAnswer6 + Node25requestsent7 + Node25requestsent8 + Node25requestsent9 + Node25GiveAnswer9 + Node25requestsent10 + Node25requestsent11 + Node25requestsent12 + Node25requestsent13 + Node25requestsent14 + Node25requestsent15 + Node25requestsent16 + Node25requestsent17 + Node25GiveAnswer17 + Node25requestsent18 + Node25requestsent19 + Node25requestsent20 + Node25requestsent21 + Node25requestsent22 + Node25requestsent23 + Node25requestsent24 + Node25GiveAnswer24 + Node25requestsent26 + Node25requestsent27 + Node25requestsent28 + Node25requestsent29 + Node25GiveAnswer29 + Node26requestsent0 + Node26requestsent1 + Node26requestsent2 + Node26requestsent3 + Node26requestsent4 + Node26requestsent5 + Node26requestsent6 + Node26GiveAnswer6 + Node26requestsent7 + Node26requestsent8 + Node26requestsent9 + Node26requestsent10 + Node26requestsent11 + Node26requestsent12 + Node26GiveAnswer12 + Node26requestsent13 + Node26requestsent14 + Node26requestsent15 + Node26requestsent16 + Node26GiveAnswer16 + Node26requestsent17 + Node26GiveAnswer17 + Node26requestsent18 + Node26requestsent19 + Node26requestsent20 + Node26requestsent21 + Node26requestsent22 + Node26requestsent23 + Node26requestsent24 + Node26GiveAnswer24 + Node26requestsent25 + Node26requestsent27 + Node26requestsent28 + Node26requestsent29 + Node26GiveAnswer29 + Node27requestsent0 + Node27requestsent1 + Node27requestsent2 + Node27requestsent3 + Node27requestsent4 + Node27requestsent5 + Node27requestsent6 + Node27GiveAnswer6 + Node27requestsent7 + Node27requestsent8 + Node27requestsent9 + Node27requestsent10 + Node27requestsent11 + Node27requestsent12 + Node27requestsent13 + Node27requestsent14 + Node27requestsent15 + Node27requestsent16 + Node27GiveAnswer16 + Node27requestsent17 + Node27GiveAnswer17 + Node27requestsent18 + Node27GiveAnswer18 + Node27requestsent19 + Node27requestsent20 + Node27requestsent21 + Node27requestsent22 + Node27requestsent23 + Node27requestsent24 + Node27GiveAnswer24 + Node27requestsent25 + Node27requestsent26 + Node27requestsent28 + Node27requestsent29 + Node27GiveAnswer29 + Node28requestsent0 + Node28requestsent1 + Node28requestsent2 + Node28requestsent3 + Node28requestsent4 + Node28requestsent5 + Node28requestsent6 + Node28GiveAnswer6 + Node28requestsent7 + Node28requestsent8 + Node28requestsent9 + Node28requestsent10 + Node28requestsent11 + Node28requestsent12 + Node28requestsent13 + Node28requestsent14 + Node28requestsent15 + Node28requestsent16 + Node28GiveAnswer16 + Node28requestsent17 + Node28GiveAnswer17 + Node28requestsent18 + Node28requestsent19 + Node28requestsent20 + Node28requestsent21 + Node28requestsent22 + Node28requestsent23 + Node28requestsent24 + Node28GiveAnswer24 + Node28requestsent25 + Node28requestsent26 + Node28GiveAnswer26 + Node28requestsent27 + Node28requestsent29 + Node28GiveAnswer29 + Node29requestsent0 + Node29GiveAnswer0 + Node29requestsent1 + Node29GiveAnswer1 + Node29requestsent2 + Node29GiveAnswer2 + Node29requestsent3 + Node29GiveAnswer3 + Node29requestsent4 + Node29GiveAnswer4 + Node29requestsent5 + Node29GiveAnswer5 + Node29requestsent6 + Node29GiveAnswer6 + Node29requestsent7 + Node29GiveAnswer7 + Node29requestsent8 + Node29GiveAnswer8 + Node29requestsent9 + Node29GiveAnswer9 + Node29requestsent10 + Node29GiveAnswer10 + Node29requestsent11 + Node29GiveAnswer11 + Node29requestsent12 + Node29GiveAnswer12 + Node29requestsent13 + Node29GiveAnswer13 + Node29requestsent14 + Node29GiveAnswer14 + Node29requestsent15 + Node29GiveAnswer15 + Node29requestsent16 + Node29requestsent17 + Node29GiveAnswer17 + Node29requestsent18 + Node29GiveAnswer18 + Node29requestsent19 + Node29GiveAnswer19 + Node29requestsent20 + Node29GiveAnswer20 + Node29requestsent21 + Node29GiveAnswer21 + Node29requestsent22 + Node29GiveAnswer22 + Node29requestsent23 + Node29GiveAnswer23 + Node29requestsent24 + Node29GiveAnswer24 + Node29requestsent25 + Node29GiveAnswer25 + Node29requestsent26 + Node29GiveAnswer26 + Node29requestsent27 + Node29GiveAnswer27 + Node29requestsent28 + Node29GiveAnswer28 = 30
inv : Node0Request - Node0WaitAnswer + Node0OKshare + Node0NOshare + Node1Request - Node1WaitAnswer + Node1OKshare + Node1NOshare + Node2Request - Node2WaitAnswer + Node2OKshare + Node2NOshare + Node3Request - Node3WaitAnswer + Node3OKshare + Node3NOshare + Node4Request - Node4WaitAnswer + Node4OKshare + Node4NOshare + Node5Request - Node5WaitAnswer + Node5OKshare + Node5NOshare + Node6Request - Node6WaitAnswer + Node6OKshare + Node6NOshare + Node7Request - Node7WaitAnswer + Node7OKshare + Node7NOshare + Node8Request - Node8WaitAnswer + Node8OKshare + Node8NOshare + Node9Request - Node9WaitAnswer + Node9OKshare + Node9NOshare + Node10Request - Node10WaitAnswer + Node10OKshare + Node10NOshare + Node11Request - Node11WaitAnswer + Node11OKshare + Node11NOshare + Node12Request - Node12WaitAnswer + Node12OKshare + Node12NOshare + Node13Request - Node13WaitAnswer + Node13OKshare + Node13NOshare + Node14Request - Node14WaitAnswer + Node14OKshare + Node14NOshare + Node15Request - Node15WaitAnswer + Node15OKshare + Node15NOshare + Node16Request - Node16WaitAnswer + Node16OKshare + Node16NOshare + Node17Request - Node17WaitAnswer + Node17OKshare + Node17NOshare + Node18Request - Node18WaitAnswer + Node18OKshare + Node18NOshare + Node19Request - Node19WaitAnswer + Node19OKshare + Node19NOshare + Node20Request - Node20WaitAnswer + Node20OKshare + Node20NOshare + Node21Request - Node21WaitAnswer + Node21OKshare + Node21NOshare + Node22Request - Node22WaitAnswer + Node22OKshare + Node22NOshare + Node23Request - Node23WaitAnswer + Node23OKshare + Node23NOshare + Node24ReadyToInsert + Node24IsInserted + Node24Request + Node24OKshare + Node24NOshare + Node25Request - Node25WaitAnswer + Node25OKshare + Node25NOshare + Node26Request - Node26WaitAnswer + Node26OKshare + Node26NOshare + Node27Request - Node27WaitAnswer + Node27OKshare + Node27NOshare + Node28Request - Node28WaitAnswer + Node28OKshare + Node28NOshare + Node29Request - Node29WaitAnswer + Node29NOshare + Node0requestsent1 + Node0requestsent2 + Node0requestsent3 + Node0requestsent4 + Node0requestsent5 + Node0requestsent6 + Node0GiveAnswer6 + Node0requestsent7 + Node0requestsent8 + Node0requestsent9 + Node0requestsent10 + Node0requestsent11 + Node0requestsent12 + Node0GiveAnswer12 + Node0requestsent13 + Node0requestsent14 + Node0requestsent15 + Node0requestsent16 + Node0GiveAnswer16 + Node0requestsent17 + Node0GiveAnswer17 + Node0requestsent18 + Node0requestsent19 + Node0requestsent20 + Node0requestsent21 + Node0requestsent22 + Node0requestsent23 + Node0requestsent24 + Node0requestsent25 + Node0requestsent26 + Node0requestsent27 + Node0requestsent28 + Node0requestsent29 + Node0GiveAnswer29 + Node1requestsent0 + Node1requestsent2 + Node1requestsent3 + Node1requestsent4 + Node1requestsent5 + Node1requestsent6 + Node1GiveAnswer6 + Node1requestsent7 + Node1requestsent8 + Node1requestsent9 + Node1requestsent10 + Node1requestsent11 + Node1requestsent12 + Node1requestsent13 + Node1requestsent14 + Node1GiveAnswer14 + Node1requestsent15 + Node1requestsent16 + Node1requestsent17 + Node1GiveAnswer17 + Node1requestsent18 + Node1requestsent19 + Node1requestsent20 + Node1requestsent21 + Node1requestsent22 + Node1requestsent23 + Node1requestsent24 + Node1GiveAnswer24 + Node1requestsent25 + Node1requestsent26 + Node1requestsent27 + Node1requestsent28 + Node1requestsent29 + Node1GiveAnswer29 + Node2requestsent0 + Node2requestsent1 + Node2requestsent3 + Node2requestsent4 + Node2requestsent5 + Node2requestsent6 + Node2GiveAnswer6 + Node2requestsent7 + Node2requestsent8 + Node2requestsent9 + Node2requestsent10 + Node2requestsent11 + Node2requestsent12 + Node2requestsent13 + Node2requestsent14 + Node2requestsent15 + Node2requestsent16 + Node2GiveAnswer16 + Node2requestsent17 + Node2GiveAnswer17 + Node2requestsent18 + Node2GiveAnswer18 + Node2requestsent19 + Node2requestsent20 + Node2requestsent21 + Node2requestsent22 + Node2requestsent23 + Node2requestsent24 + Node2GiveAnswer24 + Node2requestsent25 + Node2requestsent26 + Node2requestsent27 + Node2requestsent28 + Node2requestsent29 + Node2GiveAnswer29 + Node3requestsent0 + Node3requestsent1 + Node3requestsent2 + Node3requestsent4 + Node3requestsent5 + Node3requestsent6 + Node3GiveAnswer6 + Node3requestsent7 + Node3requestsent8 + Node3requestsent9 + Node3requestsent10 + Node3requestsent11 + Node3requestsent12 + Node3requestsent13 + Node3requestsent14 + Node3requestsent15 + Node3requestsent16 + Node3GiveAnswer16 + Node3requestsent17 + Node3GiveAnswer17 + Node3requestsent18 + Node3requestsent19 + Node3requestsent20 + Node3requestsent21 + Node3GiveAnswer21 + Node3requestsent22 + Node3requestsent23 + Node3requestsent24 + Node3GiveAnswer24 + Node3requestsent25 + Node3requestsent26 + Node3requestsent27 + Node3requestsent28 + Node3requestsent29 + Node3GiveAnswer29 + Node4requestsent0 + Node4requestsent1 + Node4GiveAnswer1 + Node4requestsent2 + Node4GiveAnswer2 + Node4requestsent3 + Node4requestsent5 + Node4requestsent6 + Node4GiveAnswer6 + Node4requestsent7 + Node4requestsent8 + Node4requestsent9 + Node4requestsent10 + Node4requestsent11 + Node4requestsent12 + Node4requestsent13 + Node4requestsent14 + Node4requestsent15 + Node4requestsent16 + Node4GiveAnswer16 + Node4requestsent17 + Node4GiveAnswer17 + Node4requestsent18 + Node4requestsent19 + Node4requestsent20 + Node4requestsent21 + Node4requestsent22 + Node4requestsent23 + Node4requestsent24 + Node4GiveAnswer24 + Node4requestsent25 + Node4requestsent26 + Node4requestsent27 + Node4requestsent28 + Node4requestsent29 + Node4GiveAnswer29 + Node5requestsent0 + Node5requestsent1 + Node5requestsent2 + Node5requestsent3 + Node5requestsent4 + Node5requestsent6 + Node5GiveAnswer6 + Node5requestsent7 + Node5requestsent8 + Node5GiveAnswer8 + Node5requestsent9 + Node5requestsent10 + Node5requestsent11 + Node5requestsent12 + Node5requestsent13 + Node5requestsent14 + Node5requestsent15 + Node5requestsent16 + Node5GiveAnswer16 + Node5requestsent17 + Node5GiveAnswer17 + Node5requestsent18 + Node5requestsent19 + Node5requestsent20 + Node5requestsent21 + Node5requestsent22 + Node5requestsent23 + Node5requestsent24 + Node5GiveAnswer24 + Node5requestsent25 + Node5requestsent26 + Node5requestsent27 + Node5requestsent28 + Node5requestsent29 + Node5GiveAnswer29 + Node6requestsent0 + Node6requestsent1 + Node6requestsent2 + Node6requestsent3 + Node6requestsent4 + Node6requestsent5 + Node6requestsent7 + Node6requestsent8 + Node6requestsent9 + Node6requestsent10 + Node6requestsent11 + Node6requestsent12 + Node6requestsent13 + Node6requestsent14 + Node6requestsent15 + Node6requestsent16 + Node6GiveAnswer16 + Node6requestsent17 + Node6GiveAnswer17 + Node6requestsent18 + Node6requestsent19 + Node6requestsent20 + Node6requestsent21 + Node6requestsent22 + Node6requestsent23 + Node6requestsent24 + Node6GiveAnswer24 + Node6requestsent25 + Node6requestsent26 + Node6requestsent27 + Node6requestsent28 + Node6requestsent29 + Node6GiveAnswer29 + Node7requestsent0 + Node7requestsent1 + Node7requestsent2 + Node7requestsent3 + Node7requestsent4 + Node7requestsent5 + Node7requestsent6 + Node7GiveAnswer6 + Node7requestsent8 + Node7requestsent9 + Node7requestsent10 + Node7requestsent11 + Node7requestsent12 + Node7requestsent13 + Node7requestsent14 + Node7requestsent15 + Node7requestsent16 + Node7GiveAnswer16 + Node7requestsent17 + Node7GiveAnswer17 + Node7requestsent18 + Node7GiveAnswer18 + Node7requestsent19 + Node7requestsent20 + Node7requestsent21 + Node7requestsent22 + Node7requestsent23 + Node7requestsent24 + Node7GiveAnswer24 + Node7requestsent25 + Node7requestsent26 + Node7requestsent27 + Node7GiveAnswer27 + Node7requestsent28 + Node7requestsent29 + Node7GiveAnswer29 + Node8requestsent0 + Node8requestsent1 + Node8requestsent2 + Node8requestsent3 + Node8requestsent4 + Node8requestsent5 + Node8requestsent6 + Node8GiveAnswer6 + Node8requestsent7 + Node8requestsent9 + Node8requestsent10 + Node8requestsent11 + Node8requestsent12 + Node8requestsent13 + Node8requestsent14 + Node8requestsent15 + Node8requestsent16 + Node8GiveAnswer16 + Node8requestsent17 + Node8GiveAnswer17 + Node8requestsent18 + Node8requestsent19 + Node8requestsent20 + Node8requestsent21 + Node8requestsent22 + Node8requestsent23 + Node8requestsent24 + Node8GiveAnswer24 + Node8requestsent25 + Node8requestsent26 + Node8requestsent27 + Node8requestsent28 + Node8requestsent29 + Node8GiveAnswer29 + Node9requestsent0 + Node9requestsent1 + Node9requestsent2 + Node9requestsent3 + Node9requestsent4 + Node9requestsent5 + Node9requestsent6 + Node9GiveAnswer6 + Node9requestsent7 + Node9requestsent8 + Node9requestsent10 + Node9requestsent11 + Node9GiveAnswer11 + Node9requestsent12 + Node9requestsent13 + Node9requestsent14 + Node9requestsent15 + Node9requestsent16 + Node9GiveAnswer16 + Node9requestsent17 + Node9GiveAnswer17 + Node9requestsent18 + Node9requestsent19 + Node9requestsent20 + Node9requestsent21 + Node9GiveAnswer21 + Node9requestsent22 + Node9requestsent23 + Node9requestsent24 + Node9GiveAnswer24 + Node9requestsent25 + Node9requestsent26 + Node9requestsent27 + Node9requestsent28 + Node9requestsent29 + Node9GiveAnswer29 + Node10requestsent0 + Node10requestsent1 + Node10requestsent2 + Node10requestsent3 + Node10requestsent4 + Node10requestsent5 + Node10requestsent6 + Node10GiveAnswer6 + Node10requestsent7 + Node10requestsent8 + Node10requestsent9 + Node10requestsent11 + Node10requestsent12 + Node10requestsent13 + Node10requestsent14 + Node10requestsent15 + Node10requestsent16 + Node10GiveAnswer16 + Node10requestsent17 + Node10GiveAnswer17 + Node10requestsent18 + Node10requestsent19 + Node10requestsent20 + Node10requestsent21 + Node10requestsent22 + Node10requestsent23 + Node10requestsent24 + Node10GiveAnswer24 + Node10requestsent25 + Node10requestsent26 + Node10GiveAnswer26 + Node10requestsent27 + Node10requestsent28 + Node10requestsent29 + Node10GiveAnswer29 + Node11requestsent0 + Node11requestsent1 + Node11requestsent2 + Node11requestsent3 + Node11requestsent4 + Node11requestsent5 + Node11GiveAnswer5 + Node11requestsent6 + Node11GiveAnswer6 + Node11requestsent7 + Node11requestsent8 + Node11requestsent9 + Node11requestsent10 + Node11requestsent12 + Node11requestsent13 + Node11requestsent14 + Node11requestsent15 + Node11requestsent16 + Node11GiveAnswer16 + Node11requestsent17 + Node11GiveAnswer17 + Node11requestsent18 + Node11requestsent19 + Node11requestsent20 + Node11requestsent21 + Node11GiveAnswer21 + Node11requestsent22 + Node11requestsent23 + Node11requestsent24 + Node11GiveAnswer24 + Node11requestsent25 + Node11requestsent26 + Node11requestsent27 + Node11requestsent28 + Node11requestsent29 + Node11GiveAnswer29 + Node12requestsent0 + Node12requestsent1 + Node12requestsent2 + Node12requestsent3 + Node12requestsent4 + Node12requestsent5 + Node12requestsent6 + Node12GiveAnswer6 + Node12requestsent7 + Node12requestsent8 + Node12requestsent9 + Node12requestsent10 + Node12requestsent11 + Node12requestsent13 + Node12requestsent14 + Node12requestsent15 + Node12requestsent16 + Node12GiveAnswer16 + Node12requestsent17 + Node12GiveAnswer17 + Node12requestsent18 + Node12requestsent19 + Node12requestsent20 + Node12requestsent21 + Node12requestsent22 + Node12requestsent23 + Node12requestsent24 + Node12GiveAnswer24 + Node12requestsent25 + Node12requestsent26 + Node12requestsent27 + Node12requestsent28 + Node12requestsent29 + Node12GiveAnswer29 + Node13requestsent0 + Node13requestsent1 + Node13requestsent2 + Node13requestsent3 + Node13requestsent4 + Node13requestsent5 + Node13requestsent6 + Node13GiveAnswer6 + Node13requestsent7 + Node13requestsent8 + Node13requestsent9 + Node13requestsent10 + Node13requestsent11 + Node13requestsent12 + Node13requestsent14 + Node13requestsent15 + Node13requestsent16 + Node13GiveAnswer16 + Node13requestsent17 + Node13GiveAnswer17 + Node13requestsent18 + Node13requestsent19 + Node13requestsent20 + Node13requestsent21 + Node13requestsent22 + Node13requestsent23 + Node13requestsent24 + Node13GiveAnswer24 + Node13requestsent25 + Node13requestsent26 + Node13requestsent27 + Node13requestsent28 + Node13GiveAnswer28 + Node13requestsent29 + Node13GiveAnswer29 + Node14requestsent0 + Node14requestsent1 + Node14requestsent2 + Node14requestsent3 + Node14requestsent4 + Node14requestsent5 + Node14requestsent6 + Node14GiveAnswer6 + Node14requestsent7 + Node14requestsent8 + Node14requestsent9 + Node14requestsent10 + Node14requestsent11 + Node14requestsent12 + Node14requestsent13 + Node14requestsent15 + Node14requestsent16 + Node14GiveAnswer16 + Node14requestsent17 + Node14GiveAnswer17 + Node14requestsent18 + Node14requestsent19 + Node14requestsent20 + Node14requestsent21 + Node14requestsent22 + Node14requestsent23 + Node14requestsent24 + Node14GiveAnswer24 + Node14requestsent25 + Node14requestsent26 + Node14requestsent27 + Node14requestsent28 + Node14requestsent29 + Node14GiveAnswer29 + Node15requestsent0 + Node15requestsent1 + Node15requestsent2 + Node15requestsent3 + Node15requestsent4 + Node15requestsent5 + Node15requestsent6 + Node15GiveAnswer6 + Node15requestsent7 + Node15requestsent8 + Node15requestsent9 + Node15requestsent10 + Node15requestsent11 + Node15requestsent12 + Node15requestsent13 + Node15requestsent14 + Node15requestsent16 + Node15GiveAnswer16 + Node15requestsent17 + Node15GiveAnswer17 + Node15requestsent18 + Node15requestsent19 + Node15requestsent20 + Node15requestsent21 + Node15requestsent22 + Node15requestsent23 + Node15requestsent24 + Node15GiveAnswer24 + Node15requestsent25 + Node15requestsent26 + Node15requestsent27 + Node15requestsent28 + Node15requestsent29 + Node15GiveAnswer29 + Node16requestsent0 + Node16GiveAnswer0 + Node16requestsent1 + Node16GiveAnswer1 + Node16requestsent2 + Node16GiveAnswer2 + Node16requestsent3 + Node16GiveAnswer3 + Node16requestsent4 + Node16GiveAnswer4 + Node16requestsent5 + Node16GiveAnswer5 + Node16requestsent6 + Node16requestsent7 + Node16GiveAnswer7 + Node16requestsent8 + Node16GiveAnswer8 + Node16requestsent9 + Node16GiveAnswer9 + Node16requestsent10 + Node16GiveAnswer10 + Node16requestsent11 + Node16GiveAnswer11 + Node16requestsent12 + Node16GiveAnswer12 + Node16requestsent13 + Node16GiveAnswer13 + Node16requestsent14 + Node16GiveAnswer14 + Node16requestsent15 + Node16requestsent17 + Node16GiveAnswer17 + Node16requestsent18 + Node16GiveAnswer18 + Node16requestsent19 + Node16GiveAnswer19 + Node16requestsent20 + Node16GiveAnswer20 + Node16requestsent21 + Node16GiveAnswer21 + Node16requestsent22 + Node16GiveAnswer22 + Node16requestsent23 + Node16GiveAnswer23 + Node16requestsent24 + Node16GiveAnswer24 + Node16requestsent25 + Node16GiveAnswer25 + Node16requestsent26 + Node16GiveAnswer26 + Node16requestsent27 + Node16GiveAnswer27 + Node16requestsent28 + Node16GiveAnswer28 + Node16requestsent29 + Node16GiveAnswer29 + Node17requestsent0 + Node17requestsent1 + Node17requestsent2 + Node17requestsent3 + Node17requestsent4 + Node17requestsent5 + Node17requestsent6 + Node17requestsent7 + Node17requestsent8 + Node17requestsent9 + Node17requestsent10 + Node17requestsent11 + Node17requestsent12 + Node17requestsent13 + Node17requestsent14 + Node17requestsent15 + Node17requestsent16 + Node17GiveAnswer16 + Node17requestsent18 + Node17requestsent19 + Node17requestsent20 + Node17requestsent21 + Node17requestsent22 + Node17requestsent23 + Node17requestsent24 + Node17GiveAnswer24 + Node17requestsent25 + Node17requestsent26 + Node17requestsent27 + Node17requestsent28 + Node17requestsent29 + Node17GiveAnswer29 + Node18requestsent0 + Node18requestsent1 + Node18requestsent2 + Node18requestsent3 + Node18requestsent4 + Node18requestsent5 + Node18requestsent6 + Node18GiveAnswer6 + Node18requestsent7 + Node18requestsent8 + Node18requestsent9 + Node18requestsent10 + Node18requestsent11 + Node18requestsent12 + Node18requestsent13 + Node18requestsent14 + Node18requestsent15 + Node18requestsent16 + Node18GiveAnswer16 + Node18requestsent17 + Node18GiveAnswer17 + Node18requestsent19 + Node18requestsent20 + Node18requestsent21 + Node18requestsent22 + Node18requestsent23 + Node18requestsent24 + Node18GiveAnswer24 + Node18requestsent25 + Node18requestsent26 + Node18requestsent27 + Node18requestsent28 + Node18requestsent29 + Node18GiveAnswer29 + Node19requestsent0 + Node19requestsent1 + Node19requestsent2 + Node19requestsent3 + Node19requestsent4 + Node19requestsent5 + Node19requestsent6 + Node19GiveAnswer6 + Node19requestsent7 + Node19requestsent8 + Node19requestsent9 + Node19requestsent10 + Node19requestsent11 + Node19requestsent12 + Node19requestsent13 + Node19requestsent14 + Node19requestsent15 + Node19requestsent16 + Node19GiveAnswer16 + Node19requestsent17 + Node19GiveAnswer17 + Node19requestsent18 + Node19requestsent20 + Node19requestsent21 + Node19requestsent22 + Node19requestsent23 + Node19requestsent24 + Node19GiveAnswer24 + Node19requestsent25 + Node19requestsent26 + Node19requestsent27 + Node19requestsent28 + Node19requestsent29 + Node19GiveAnswer29 + Node20requestsent0 + Node20requestsent1 + Node20requestsent2 + Node20requestsent3 + Node20requestsent4 + Node20requestsent5 + Node20requestsent6 + Node20GiveAnswer6 + Node20requestsent7 + Node20requestsent8 + Node20requestsent9 + Node20requestsent10 + Node20requestsent11 + Node20requestsent12 + Node20requestsent13 + Node20requestsent14 + Node20requestsent15 + Node20requestsent16 + Node20GiveAnswer16 + Node20requestsent17 + Node20GiveAnswer17 + Node20requestsent18 + Node20requestsent19 + Node20requestsent21 + Node20requestsent22 + Node20requestsent23 + Node20requestsent24 + Node20GiveAnswer24 + Node20requestsent25 + Node20requestsent26 + Node20requestsent27 + Node20requestsent28 + Node20requestsent29 + Node20GiveAnswer29 + Node21requestsent0 + Node21GiveAnswer0 + Node21requestsent1 + Node21requestsent2 + Node21requestsent3 + Node21requestsent4 + Node21requestsent5 + Node21requestsent6 + Node21GiveAnswer6 + Node21requestsent7 + Node21requestsent8 + Node21requestsent9 + Node21requestsent10 + Node21requestsent11 + Node21requestsent12 + Node21requestsent13 + Node21requestsent14 + Node21requestsent15 + Node21requestsent16 + Node21GiveAnswer16 + Node21requestsent17 + Node21GiveAnswer17 + Node21requestsent18 + Node21requestsent19 + Node21requestsent20 + Node21requestsent22 + Node21requestsent23 + Node21requestsent24 + Node21GiveAnswer24 + Node21requestsent25 + Node21requestsent26 + Node21requestsent27 + Node21requestsent28 + Node21requestsent29 + Node21GiveAnswer29 + Node22requestsent0 + Node22requestsent1 + Node22requestsent2 + Node22requestsent3 + Node22requestsent4 + Node22requestsent5 + Node22requestsent6 + Node22GiveAnswer6 + Node22requestsent7 + Node22requestsent8 + Node22requestsent9 + Node22requestsent10 + Node22requestsent11 + Node22requestsent12 + Node22requestsent13 + Node22requestsent14 + Node22requestsent15 + Node22requestsent16 + Node22GiveAnswer16 + Node22requestsent17 + Node22GiveAnswer17 + Node22requestsent18 + Node22requestsent19 + Node22requestsent20 + Node22requestsent21 + Node22requestsent23 + Node22requestsent24 + Node22GiveAnswer24 + Node22requestsent25 + Node22requestsent26 + Node22requestsent27 + Node22requestsent28 + Node22requestsent29 + Node22GiveAnswer29 + Node23requestsent0 + Node23requestsent1 + Node23requestsent2 + Node23requestsent3 + Node23requestsent4 + Node23requestsent5 + Node23requestsent6 + Node23GiveAnswer6 + Node23requestsent7 + Node23requestsent8 + Node23requestsent9 + Node23requestsent10 + Node23requestsent11 + Node23requestsent12 + Node23requestsent13 + Node23requestsent14 + Node23requestsent15 + Node23requestsent16 + Node23GiveAnswer16 + Node23requestsent17 + Node23GiveAnswer17 + Node23requestsent18 + Node23requestsent19 + Node23requestsent20 + Node23requestsent21 + Node23requestsent22 + Node23requestsent24 + Node23GiveAnswer24 + Node23requestsent25 + Node23requestsent26 + Node23requestsent27 + Node23requestsent28 + Node23requestsent29 + Node23GiveAnswer29 + Node24requestsent0 + Node24GiveAnswer0 + Node24requestsent1 + Node24GiveAnswer1 + Node24requestsent2 + Node24GiveAnswer2 + Node24requestsent3 + Node24requestsent4 + Node24GiveAnswer4 + Node24requestsent5 + Node24GiveAnswer5 + Node24requestsent6 + Node24GiveAnswer6 + Node24requestsent7 + Node24GiveAnswer7 + Node24requestsent8 + Node24GiveAnswer8 + Node24requestsent9 + Node24requestsent10 + Node24GiveAnswer10 + Node24requestsent11 + Node24GiveAnswer11 + Node24requestsent12 + Node24GiveAnswer12 + Node24requestsent13 + Node24GiveAnswer13 + Node24requestsent14 + Node24GiveAnswer14 + Node24requestsent15 + Node24GiveAnswer15 + Node24requestsent16 + Node24requestsent17 + Node24GiveAnswer17 + Node24requestsent18 + Node24GiveAnswer18 + Node24requestsent19 + Node24requestsent20 + Node24GiveAnswer20 + Node24requestsent21 + Node24GiveAnswer21 + Node24requestsent22 + Node24GiveAnswer22 + Node24requestsent23 + Node24GiveAnswer23 + Node24requestsent25 + Node24GiveAnswer25 + Node24requestsent26 + Node24GiveAnswer26 + Node24requestsent27 + Node24GiveAnswer27 + Node24requestsent28 + Node24GiveAnswer28 + Node24requestsent29 + Node24GiveAnswer29 + Node25requestsent0 + Node25requestsent1 + Node25requestsent2 + Node25requestsent3 + Node25requestsent4 + Node25requestsent5 + Node25requestsent6 + Node25GiveAnswer6 + Node25requestsent7 + Node25requestsent8 + Node25requestsent9 + Node25GiveAnswer9 + Node25requestsent10 + Node25requestsent11 + Node25requestsent12 + Node25requestsent13 + Node25requestsent14 + Node25requestsent15 + Node25requestsent16 + Node25requestsent17 + Node25GiveAnswer17 + Node25requestsent18 + Node25requestsent19 + Node25requestsent20 + Node25requestsent21 + Node25requestsent22 + Node25requestsent23 + Node25requestsent24 + Node25GiveAnswer24 + Node25requestsent26 + Node25requestsent27 + Node25requestsent28 + Node25requestsent29 + Node25GiveAnswer29 + Node26requestsent0 + Node26requestsent1 + Node26requestsent2 + Node26requestsent3 + Node26requestsent4 + Node26requestsent5 + Node26requestsent6 + Node26GiveAnswer6 + Node26requestsent7 + Node26requestsent8 + Node26requestsent9 + Node26requestsent10 + Node26requestsent11 + Node26requestsent12 + Node26GiveAnswer12 + Node26requestsent13 + Node26requestsent14 + Node26requestsent15 + Node26requestsent16 + Node26GiveAnswer16 + Node26requestsent17 + Node26GiveAnswer17 + Node26requestsent18 + Node26requestsent19 + Node26requestsent20 + Node26requestsent21 + Node26requestsent22 + Node26requestsent23 + Node26requestsent24 + Node26GiveAnswer24 + Node26requestsent25 + Node26requestsent27 + Node26requestsent28 + Node26requestsent29 + Node26GiveAnswer29 + Node27requestsent0 + Node27requestsent1 + Node27requestsent2 + Node27requestsent3 + Node27requestsent4 + Node27requestsent5 + Node27requestsent6 + Node27GiveAnswer6 + Node27requestsent7 + Node27requestsent8 + Node27requestsent9 + Node27requestsent10 + Node27requestsent11 + Node27requestsent12 + Node27requestsent13 + Node27requestsent14 + Node27requestsent15 + Node27requestsent16 + Node27GiveAnswer16 + Node27requestsent17 + Node27GiveAnswer17 + Node27requestsent18 + Node27GiveAnswer18 + Node27requestsent19 + Node27requestsent20 + Node27requestsent21 + Node27requestsent22 + Node27requestsent23 + Node27requestsent24 + Node27GiveAnswer24 + Node27requestsent25 + Node27requestsent26 + Node27requestsent28 + Node27requestsent29 + Node27GiveAnswer29 + Node28requestsent0 + Node28requestsent1 + Node28requestsent2 + Node28requestsent3 + Node28requestsent4 + Node28requestsent5 + Node28requestsent6 + Node28GiveAnswer6 + Node28requestsent7 + Node28requestsent8 + Node28requestsent9 + Node28requestsent10 + Node28requestsent11 + Node28requestsent12 + Node28requestsent13 + Node28requestsent14 + Node28requestsent15 + Node28requestsent16 + Node28GiveAnswer16 + Node28requestsent17 + Node28GiveAnswer17 + Node28requestsent18 + Node28requestsent19 + Node28requestsent20 + Node28requestsent21 + Node28requestsent22 + Node28requestsent23 + Node28requestsent24 + Node28GiveAnswer24 + Node28requestsent25 + Node28requestsent26 + Node28GiveAnswer26 + Node28requestsent27 + Node28requestsent29 + Node28GiveAnswer29 + Node29requestsent0 + Node29GiveAnswer0 + Node29requestsent1 + Node29GiveAnswer1 + Node29requestsent2 + Node29GiveAnswer2 + Node29requestsent3 + Node29GiveAnswer3 + Node29requestsent4 + Node29GiveAnswer4 + Node29requestsent5 + Node29GiveAnswer5 + Node29requestsent6 + Node29GiveAnswer6 + Node29requestsent7 + Node29GiveAnswer7 + Node29requestsent8 + Node29GiveAnswer8 + Node29requestsent9 + Node29GiveAnswer9 + Node29requestsent10 + Node29GiveAnswer10 + Node29requestsent11 + Node29GiveAnswer11 + Node29requestsent12 + Node29GiveAnswer12 + Node29requestsent13 + Node29GiveAnswer13 + Node29requestsent14 + Node29GiveAnswer14 + Node29requestsent15 + Node29GiveAnswer15 + Node29requestsent16 + Node29requestsent17 + Node29GiveAnswer17 + Node29requestsent18 + Node29GiveAnswer18 + Node29requestsent19 + Node29GiveAnswer19 + Node29requestsent20 + Node29GiveAnswer20 + Node29requestsent21 + Node29GiveAnswer21 + Node29requestsent22 + Node29GiveAnswer22 + Node29requestsent23 + Node29GiveAnswer23 + Node29requestsent24 + Node29GiveAnswer24 + Node29requestsent25 + Node29GiveAnswer25 + Node29requestsent26 + Node29GiveAnswer26 + Node29requestsent27 + Node29GiveAnswer27 + Node29requestsent28 + Node29GiveAnswer28 = 1
inv : Node6ReadyToInsert + Node6IsInserted + Node6WaitAnswer = 1
Total of 32 invariants.
[2022-06-08 09:32:07] [INFO ] Computed 32 place invariants in 174 ms
SDD proceeding with computation,3 properties remain. new max is 4
SDD size :1 after 3
SDD proceeding with computation,3 properties remain. new max is 8
SDD size :3 after 4
SDD proceeding with computation,3 properties remain. new max is 16
SDD size :4 after 233
SDD proceeding with computation,3 properties remain. new max is 32
SDD size :233 after 236
SDD proceeding with computation,3 properties remain. new max is 64
SDD size :236 after 251
SDD proceeding with computation,3 properties remain. new max is 128
SDD size :251 after 275
[2022-06-08 09:32:25] [INFO ] Proved 1295 variables to be positive in 18153 ms
[2022-06-08 09:32:26] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesCANInsertWithFailure-PT-030-ReachabilityCardinality-05
[2022-06-08 09:32:26] [INFO ] KInduction solution for property CANInsertWithFailure-PT-030-ReachabilityCardinality-05(SAT) depth K=0 took 1224 ms
[2022-06-08 09:32:27] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesCANInsertWithFailure-PT-030-ReachabilityCardinality-06
[2022-06-08 09:32:27] [INFO ] KInduction solution for property CANInsertWithFailure-PT-030-ReachabilityCardinality-06(SAT) depth K=0 took 1250 ms
[2022-06-08 09:32:28] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesCANInsertWithFailure-PT-030-ReachabilityCardinality-09
[2022-06-08 09:32:28] [INFO ] KInduction solution for property CANInsertWithFailure-PT-030-ReachabilityCardinality-09(SAT) depth K=0 took 1398 ms
SDD proceeding with computation,3 properties remain. new max is 256
SDD size :275 after 314
SDD proceeding with computation,3 properties remain. new max is 512
SDD size :314 after 367
[2022-06-08 09:32:34] [INFO ] BMC solution for property CANInsertWithFailure-PT-030-ReachabilityCardinality-05(UNSAT) depth K=2 took 28954 ms
SDD proceeding with computation,3 properties remain. new max is 1024
SDD size :367 after 607
[2022-06-08 09:32:47] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesCANInsertWithFailure-PT-030-ReachabilityCardinality-05
[2022-06-08 09:32:47] [INFO ] KInduction solution for property CANInsertWithFailure-PT-030-ReachabilityCardinality-05(SAT) depth K=1 took 17812 ms
[2022-06-08 09:33:04] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesCANInsertWithFailure-PT-030-ReachabilityCardinality-06
[2022-06-08 09:33:04] [INFO ] KInduction solution for property CANInsertWithFailure-PT-030-ReachabilityCardinality-06(SAT) depth K=1 took 17880 ms
[2022-06-08 09:33:22] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesCANInsertWithFailure-PT-030-ReachabilityCardinality-09
[2022-06-08 09:33:22] [INFO ] KInduction solution for property CANInsertWithFailure-PT-030-ReachabilityCardinality-09(SAT) depth K=1 took 17777 ms
SDD proceeding with computation,3 properties remain. new max is 2048
SDD size :607 after 11824
Compilation finished in 115565 ms.
Running link step : CommandLine [args=[gcc, -shared, -o, gal.so, model.o], workingDir=/tmp/ltsmin9224019440444057564]
Link finished in 88 ms.
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/pins2lts-mc-linux64, ./gal.so, --threads=8, -p, --pins-guards, --when, -i, CANInsertWithFailurePT030ReachabilityCardinality05==true], workingDir=/tmp/ltsmin9224019440444057564]
[2022-06-08 09:36:04] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesCANInsertWithFailure-PT-030-ReachabilityCardinality-05
[2022-06-08 09:36:04] [INFO ] KInduction solution for property CANInsertWithFailure-PT-030-ReachabilityCardinality-05(SAT) depth K=2 took 162120 ms
SDD proceeding with computation,3 properties remain. new max is 4096
SDD size :11824 after 19465
[2022-06-08 09:38:45] [INFO ] BMC solution for property CANInsertWithFailure-PT-030-ReachabilityCardinality-06(UNSAT) depth K=2 took 371669 ms
[2022-06-08 09:42:53] [INFO ] BMC solution for property CANInsertWithFailure-PT-030-ReachabilityCardinality-09(UNSAT) depth K=2 took 247425 ms
SDD proceeding with computation,3 properties remain. new max is 8192
SDD size :19465 after 24406
WARNING : LTSmin timed out (>1200 s) on command CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/pins2lts-mc-linux64, ./gal.so, --threads=8, -p, --pins-guards, --when, -i, CANInsertWithFailurePT030ReachabilityCardinality05==true], workingDir=/tmp/ltsmin9224019440444057564]
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/pins2lts-mc-linux64, ./gal.so, --threads=8, -p, --pins-guards, --when, -i, CANInsertWithFailurePT030ReachabilityCardinality06==true], workingDir=/tmp/ltsmin9224019440444057564]
Detected timeout of ITS tools.
[2022-06-08 09:55:06] [INFO ] Applying decomposition
[2022-06-08 09:55:07] [INFO ] Flatten gal took : 475 ms
[2022-06-08 09:55:07] [INFO ] Decomposing Gal with order
[2022-06-08 09:55:07] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-08 09:55:08] [INFO ] Removed a total of 3397 redundant transitions.
[2022-06-08 09:55:09] [INFO ] Flatten gal took : 1030 ms
[2022-06-08 09:55:09] [INFO ] Fuse similar labels procedure discarded/fused a total of 1650 labels/synchronizations in 399 ms.
[2022-06-08 09:55:10] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality14906609035612271572.gal : 76 ms
[2022-06-08 09:55:10] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality7525106752961006651.prop : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality14906609035612271572.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality7525106752961006651.prop, --nowitness, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality14906609035612271572.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality7525106752961006651.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality7525106752961006651.prop.
SDD proceeding with computation,3 properties remain. new max is 4
SDD size :1 after 3
SDD proceeding with computation,3 properties remain. new max is 8
SDD size :3 after 4
SDD proceeding with computation,3 properties remain. new max is 16
SDD size :4 after 231
SDD proceeding with computation,3 properties remain. new max is 32
SDD size :231 after 232
SDD proceeding with computation,3 properties remain. new max is 64
SDD size :232 after 234
SDD proceeding with computation,3 properties remain. new max is 128
SDD size :234 after 240
SDD proceeding with computation,3 properties remain. new max is 256
SDD size :240 after 277
SDD proceeding with computation,3 properties remain. new max is 512
SDD size :277 after 306
SDD proceeding with computation,3 properties remain. new max is 1024
SDD size :306 after 392
SDD proceeding with computation,3 properties remain. new max is 2048
SDD size :392 after 831
SDD proceeding with computation,3 properties remain. new max is 4096
SDD size :831 after 13268
SDD proceeding with computation,3 properties remain. new max is 8192
SDD size :13268 after 16346
[2022-06-08 10:10:36] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesCANInsertWithFailure-PT-030-ReachabilityCardinality-06
[2022-06-08 10:10:36] [INFO ] KInduction solution for property CANInsertWithFailure-PT-030-ReachabilityCardinality-06(SAT) depth K=2 took 2071241 ms
SDD proceeding with computation,3 properties remain. new max is 16384
SDD size :16346 after 297139
WARNING : LTSmin timed out (>1200 s) on command CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/pins2lts-mc-linux64, ./gal.so, --threads=8, -p, --pins-guards, --when, -i, CANInsertWithFailurePT030ReachabilityCardinality06==true], workingDir=/tmp/ltsmin9224019440444057564]
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/pins2lts-mc-linux64, ./gal.so, --threads=8, -p, --pins-guards, --when, -i, CANInsertWithFailurePT030ReachabilityCardinality09==true], workingDir=/tmp/ltsmin9224019440444057564]
[2022-06-08 10:14:14] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesCANInsertWithFailure-PT-030-ReachabilityCardinality-09
[2022-06-08 10:14:14] [INFO ] KInduction solution for property CANInsertWithFailure-PT-030-ReachabilityCardinality-09(SAT) depth K=2 took 218639 ms
Detected timeout of ITS tools.
[2022-06-08 10:18:13] [INFO ] Flatten gal took : 447 ms
[2022-06-08 10:18:14] [INFO ] Input system was already deterministic with 4119 transitions.
[2022-06-08 10:18:14] [INFO ] Transformed 1295 places.
[2022-06-08 10:18:14] [INFO ] Transformed 4119 transitions.
Running greatSPN : CommandLine [args=[/home/mcc/BenchKit/bin//..//greatspn//bin/pinvar, /home/mcc/execution/gspn], workingDir=/home/mcc/execution]
Run of greatSPN captured in /home/mcc/execution/outPut.txt
Running greatSPN : CommandLine [args=[/home/mcc/BenchKit/bin//..//greatspn//bin/RGMEDD2, /home/mcc/execution/gspn, -META, -varord-only], workingDir=/home/mcc/execution]
Run of greatSPN captured in /home/mcc/execution/outPut.txt
Using order generated by GreatSPN with heuristic : META
[2022-06-08 10:18:15] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality5438441928650036104.gal : 69 ms
[2022-06-08 10:18:15] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality11485731208398940616.prop : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality5438441928650036104.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality11485731208398940616.prop, --nowitness, --load-order, /home/mcc/execution/model.ord, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality5438441928650036104.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality11485731208398940616.prop --nowitness --load-order /home/mcc/execution/model.ord --gen-order FOLLOW
Successfully loaded order from file /home/mcc/execution/model.ord
Loading property file /tmp/ReachabilityCardinality11485731208398940616.prop.
SDD proceeding with computation,3 properties remain. new max is 4
SDD size :1 after 5
SDD proceeding with computation,3 properties remain. new max is 8
SDD size :5 after 6
[2022-06-08 10:18:46] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesCANInsertWithFailure-PT-030-ReachabilityCardinality-05
[2022-06-08 10:18:46] [INFO ] KInduction solution for property CANInsertWithFailure-PT-030-ReachabilityCardinality-05(SAT) depth K=3 took 271966 ms
SDD proceeding with computation,3 properties remain. new max is 16
SDD size :6 after 822
SDD proceeding with computation,3 properties remain. new max is 32
SDD size :822 after 828
SDD proceeding with computation,3 properties remain. new max is 64
SDD size :828 after 845
SDD proceeding with computation,3 properties remain. new max is 128
SDD size :845 after 880
SDD proceeding with computation,3 properties remain. new max is 256
SDD size :880 after 931
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ ReachabilityCardinality = StateSpace ]]
+ /home/mcc/BenchKit/bin//..//runeclipse.sh /home/mcc/execution ReachabilityCardinality -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ cut -d . -f 9
++ ls /home/mcc/BenchKit/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202104292328.jar
+ VERSION=0
+ echo 'Running Version 0'
+ /home/mcc/BenchKit/bin//..//itstools/its-tools -data /home/mcc/execution/workspace -pnfolder /home/mcc/execution -examination ReachabilityCardinality -spotpath /home/mcc/BenchKit/bin//..//ltlfilt -z3path /home/mcc/BenchKit/bin//..//z3/bin/z3 -yices2path /home/mcc/BenchKit/bin//..//yices/bin/yices -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600 -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=/tmp/.eclipse -Xss128m -Xms40m -Xmx16000m
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="CANInsertWithFailure-PT-030"
export BK_EXAMINATION="ReachabilityCardinality"
export BK_TOOL="gold2021"
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 gold2021"
echo " Input is CANInsertWithFailure-PT-030, examination is ReachabilityCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r305-smll-165463878300011"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/CANInsertWithFailure-PT-030.tgz
mv CANInsertWithFailure-PT-030 execution
cd execution
if [ "ReachabilityCardinality" = "ReachabilityDeadlock" ] || [ "ReachabilityCardinality" = "UpperBounds" ] || [ "ReachabilityCardinality" = "QuasiLiveness" ] || [ "ReachabilityCardinality" = "StableMarking" ] || [ "ReachabilityCardinality" = "Liveness" ] || [ "ReachabilityCardinality" = "OneSafe" ] || [ "ReachabilityCardinality" = "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 [ "ReachabilityCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityCardinality" != "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 "ReachabilityCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityCardinality.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 [ "ReachabilityCardinality" = "ReachabilityDeadlock" ] || [ "ReachabilityCardinality" = "QuasiLiveness" ] || [ "ReachabilityCardinality" = "StableMarking" ] || [ "ReachabilityCardinality" = "Liveness" ] || [ "ReachabilityCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME ReachabilityCardinality"
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 ;