Lines Matching full:failing
988 // Can prove independence. Failing that, can compute distance (and direction).
1142 // Can prove independence. Failing that,
1574 // Can prove independence. Failing that, we can sometimes refine
1685 // Can prove independence. Failing that, we can sometimes refine
