Home |
Systems |
Documentation |
Experiments |
Benchmarks |
Projects |
People |
Links |
About |
Precision comparison: Pos x SFL versus Enhanced Pos
[Page last updated on 2001/02/10 18:04:22.]
The precision comparison (goal dependent analysis, without structural information, differences report)
| Benchmark | Pairs | Indep | Vars | Ground | Free | Linear |
|---|---|---|---|---|---|---|
CoVer.pl | 1335 | 996/1003 | 1092 | 271/271 | 76/76 | 478/478 |
barnes_hut.pl | 824 | 768/770 | 262 | 190/190 | 27/27 | 217/217 |
chat80.pl | 7430 | 5337/5346 | 3270 | 872/872 | 585/585 | 1613/1613 |
curry2indy.pl.unsound | 1486 | 1414/1415 | 1415 | 887/887 | 336/336 | 1239/1239 |
gilberto.pl | 38 | 0/1 | 24 | 0/0 | 0/0 | 0/0 |
gnup-1.1.0_pl2wam.pl | 3802 | 2287/2288 | 2471 | 566/566 | 392/392 | 1053/1053 |
lptp-1.05.pl | 7092 | 3744/3819 | 5021 | 1327/1327 | 566/566 | 1960/1960 |
lptp-1.06.pl | 7092 | 3744/3819 | 5021 | 1329/1329 | 566/566 | 1962/1962 |
mm.pl | 997 | 496/497 | 677 | 73/73 | 97/97 | 199/199 |
nbody.pl | 598 | 480/481 | 345 | 157/157 | 42/42 | 204/204 |
poker.pl | 1424 | 1095/1097 | 924 | 410/410 | 104/104 | 534/534 |
sdda.pl | 197 | 69/70 | 180 | 28/28 | 25/25 | 53/53 |
shortest.pl | 55 | 34/45 | 73 | 23/23 | 8/8 | 41/41 |
synth.pl | 2949 | 1994/2026 | 2128 | 547/547 | 276/276 | 851/851 |
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