Opening the paper…
Identify the predicate(s) which are tautology. Figure from the original question paper Figure from the passage in the original paper Based on the above data, answer the given subquestions. Identify all pairs of rows from your table that satisfy Correlated Active Clause Coverage (CACC) with respect to clause a.