|
Analysis time comparison: Pos x SFL versus Ground or free
[Page last updated on 2001/02/10 18:04:22.]
The analysis time comparison (goal dependent analysis, with structural information, differences report)
Benchmark | Base domain | Enhanced domain |
CoVer.pl | 7.61 | 7.84 |
action.pl | 111.10 | 109.07 |
aircraft.pl | 1.62 | 1.73 |
chat_parser.pl | 232.74 | 234.26 |
cycles.pl.unsound | 56.70 | 56.90 |
eliza.pl | 11.16 | 11.02 |
gnup-1.1.0_pl2wam.pl | 262.10 | 261.63 |
lojban.pl | 255.16 | 254.02 |
lptp-1.05.pl | 120.85 | 119.27 |
lptp-1.06.pl | 121.06 | 119.35 |
mm.pl | 15.43 | 14.98 |
poker.pl | 9.60 | 9.50 |
reducer.pl | 53.91 | 54.25 |
sdda.pl | 11.77 | 11.66 |
shopper_shop.pl | 356.39 | 360.58 |
simple_analyzer.pl | 24.11 | 23.20 |
sprftp.pl.unsound | 81.43 | 80.77 |
Column headers legenda
Benchmark |
Base domain |
Enhanced domain |
The name of the benchmark. |
The analysis fixpoint computation time
for the base domain, in seconds. |
The analysis fixpoint computation time
for the enhanced domain, in seconds. |
Background colors legenda
For those looking at this page through color-enabled devices:
Background color |
Meaning |
Performance improvement |
Table cells with a light green background indicate
that the investigated technique led to
a performance improvement. |
Performance loss |
Table cells with a red background indicate
that the investigated technique led to
a performance loss. |
Same time |
Table cells with a normal background indicate
that the two analyses terminated in the same time,
up to the fixed time threshold of 0.1 seconds. |
Unknown |
Table cells with a light brown background indicate
that the time comparison was not possible because both
analyses timed-out. |
|