efficiency verification