Statistics of Verification of automotive networks - what to expect (and not expect) from each technique