|
Analysis time comparison: Pos x SFL versus Free-Lin order
[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 | 10.16 |
LeanTaP.pl | 1.74 | 1.86 |
WAMcomp.pl | 0.88 | 1.24 |
action.pl | 111.10 | 68.29 |
adventure.pl | 24.57 | 62.89 |
ann.pl | 17.56 | 9.15 |
barnes_hut.pl | 4.53 | 4.22 |
bryant.pl | 0.72 | 1.11 |
chat_parser.pl | 232.74 | 168.59 |
curry2indy.pl.unsound | 1.27 | 1.47 |
cycles.pl.unsound | 56.70 | 69.53 |
dfsscc.pl | 0.56 | 0.69 |
dlists.pl | 2.81 | 0.94 |
dposan.pl | 0.79 | 0.92 |
eliza.pl | 11.16 | 4.13 |
gnup-1.1.0_pl2wam.pl | 262.10 | 198.34 |
intervals.pl | 1.57 | 2.00 |
jons.pl | 8.09 | 8.26 |
jugs.pl | 4.70 | 6.82 |
knight.pl | 0.24 | 0.35 |
lojban.pl | 255.16 | 283.46 |
lptp-1.05.pl | 120.85 | 307.09 |
lptp-1.06.pl | 121.06 | 307.43 |
mgpl4.pl | 6.26 | 4.35 |
mm.pl | 15.43 | 25.90 |
parser_dcg.pl | 0.45 | 0.66 |
peephole1.pl | 0.79 | 0.96 |
poker.pl | 9.60 | 9.17 |
press.pl | 1.09 | 1.59 |
quotan.pl | 2.45 | 3.13 |
read.pl | 0.67 | 0.84 |
reducer.pl | 53.91 | 12.00 |
sdda.pl | 11.77 | 16.27 |
semigroup.pl | 4.58 | 6.74 |
sg_mc_big.pl | 233.87 | ??? |
shopper_shop.pl | 356.39 | ??? |
simple_analyzer.pl | 24.11 | 55.95 |
sprftp.pl.unsound | 81.43 | 166.55 |
synth.pl | ??? | 469.45 |
tsp_ga.pl | 16.28 | 33.32 |
unify.pl | 4.69 | 8.96 |
vhdl97_parser.pl | 22.04 | 26.94 |
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. |
|