Network Size and Verification Tasks