Lines Matching full:failing
983 // Can prove independence. Failing that, can compute distance (and direction).
1137 // Can prove independence. Failing that,
1569 // Can prove independence. Failing that, we can sometimes refine
1680 // Can prove independence. Failing that, we can sometimes refine
