| Class | Coverage |
| BinaryClauses BinaryClauses |
0.48333332
(48,3%) |
| CBClause CBClause |
0.6831683
(68,3%) |
| DefaultWLClause DefaultWLClause |
0.96428573
(96,4%) |
| LearntWLClause LearntWLClause |
0.9583333
(95,8%) |
| Lits Lits |
0.647541
(64,8%) |
| Lits2 Lits2 |
1.0
(100%) |
| Lits23 Lits23 |
0.90909094
(90,9%) |
| MarkableLits MarkableLits |
0.9583333
(95,8%) |
| MixableCBClause MixableCBClause |
0.8181818
(81,8%) |
| OriginalWLClause OriginalWLClause |
0.85714287
(85,7%) |
| TernaryClauses TernaryClauses |
0.6933333
(69,3%) |
| WLClause WLClause |
0.66412216
(66,4%) |