China's logo

Home

Systems

Documentation

Experiments

Benchmarks

Projects

People

Links

About

Precision comparison: Pos x SFL versus Pattern(Pos x SFL)

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


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

Precision class OverallIndepGroundFree Linear
p > 20143848
10 < p <= 20653---6
5 < p <= 1042523
2 < p <= 567345
0 < p <= 25104411
same precision164173177186166
unknown2121212121
p < 01---------1
© The China
Development Group
china@cs.unipr.it

Home | Systems | Documentation | Experiments | Benchmarks | Projects | People | Links | About