Bounding all-terminal reliability in computer networks