Precision comparison: Pos x SFL versus Enhanced freeness

[Page last updated on 2001/02/10 18:04:22.]

The precision comparison (goal independent analysis, without structural information, summary report)

Precision class	Overall	Indep	Ground	Free	Linear
p > 20	1	1	---	---	---
10 < p <= 20	---	---	---	---	---
5 < p <= 10	---	---	---	---	---
2 < p <= 5	---	---	---	---	---
0 < p <= 2	3	1	---	---	2
same precision	314	316	318	318	316
unknown	14	14	14	14	14
p < 0	---	---	---	---	---