integrated david dao's faster implementation of the plausibility checker algorithm (-f R option)