Home |
Systems |
Documentation |
Experiments |
Benchmarks |
Projects |
People |
Links |
About |
Precision comparison: Pos x SFL versus Star-union order
[Page last updated on 2001/02/10 18:04:22.]
The precision comparison (goal independent analysis, with structural information, differences report)
| Benchmark | Pairs | Indep | Vars | Ground | Free | Linear |
|---|---|---|---|---|---|---|
aleph.pl.unsound | 6313 | 5293/5292 | 2776 | 544/544 | 535/535 | 1936/1936 |
chillin.pl | 8135 | 5737/5736 | 2221 | 221/221 | 522/522 | 1353/1353 |
cobweb.pl | 1594 | 1201/1199 | 484 | 53/53 | 81/81 | 212/212 |
genlang-2.5.pl.unsound | 5734 | ?/4565 | 2296 | ?/795 | ?/298 | ?/1792 |
linger_old.pl.unsound | 1861 | 1378/1377 | 731 | 184/184 | 145/145 | 432/432 |
pappiall.pl | 2236 | 945/941 | 2399 | 106/106 | 388/388 | 618/618 |
qdjanus.pl.unsound | 4151 | 2891/2889 | 2546 | 429/429 | 279/279 | 1350/1350 |
trs.pl | 254 | 138/? | 104 | 8/? | 13/? | 54/? |
Column headers legenda
| Benchmark | Pairs | Indep | Vars | Ground | Free | Linear |
|---|---|---|---|---|---|---|
| The name of the benchmark. | The total number of possible pair-sharings of argument positions in the reachable part of the program | The total number of argument pairs that were declared independent by each analysis. | The total number of argument positions in the reachable part of the program. | The total number of argument positions that were declared ground by each analysis. | The total number of argument positions that were declared free by each analysis. | The total number of argument positions that were declared linear by each analysis. |
Background colors legenda
For those looking at this page through color-enabled devices:| Background color | Meaning |
|---|---|
| Reference value | Table cells with a light blue background indicate a reference value, which is the same (or has been made the same) for both analyses. |
| Precision improvement | Table cells with a light green background indicate that the investigated technique led to an improvement in precision. |
| Precision loss | Table cells with a red background indicate that the investigated technique led to a precision loss. |
| Same precision | Table cells with a normal background indicate that the same precision was obtained with either analysis. |
| Unknown | Table cells with a light brown background indicate that a comparison was not possible because at least one analysis timed-out. |
Development Group
china@cs.unipr.it
Home | Systems | Documentation | Experiments | Benchmarks | Projects | People | Links | About