|
Analysis time comparison: Pos x SFL versus Enhanced Pos
[Page last updated on 2001/02/10 18:04:22.]
The analysis time comparison (goal independent analysis, without structural information, differences report)
Benchmark | Base domain | Enhanced domain |
aaaaa.pl | 252.35 | 263.32 |
aleph.pl.unsound | 93.20 | 97.30 |
ann.pl | 0.31 | 0.44 |
back52.pl.unsound | 79.00 | 81.27 |
bmtp.pl | 138.00 | 132.25 |
caslog.pl | 369.97 | 366.59 |
chat80.pl | 17.36 | 16.80 |
chillin.pl | 34.00 | 49.43 |
circan.pl | 4.11 | 3.87 |
curry2prolog.pl | 117.80 | 118.58 |
gnup-1.1.0_pl2wam.pl | 1.37 | 1.21 |
ileanTAP.pl | 158.04 | 157.82 |
kilimanjaro-all.pl | 28.04 | 28.23 |
kore-ie.pl.unsound | 99.98 | 99.63 |
lgt20.pl.unsound | 17.95 | 17.68 |
markus.pl | 34.56 | 34.72 |
mfoil.pl | 3.00 | 3.47 |
mixtus-all.pl | 34.65 | 36.37 |
motel.pl.unsound | 47.43 | 47.26 |
mt-all.pl.unsound | 61.13 | 61.03 |
newexpobdd.pl | 17.64 | 18.05 |
oldchina.pl | 16.77 | 16.92 |
pappiall.pl | 2.58 | 2.89 |
petsan.pl | 17.24 | 23.05 |
pillow-1.1.pl | 0.31 | 0.42 |
piza-0.9.22.pl.unsound | 67.96 | 60.29 |
pl2wam.pl | 1.38 | 1.24 |
plaiclp.pl | 64.95 | 64.74 |
pmatch.pl | 429.54 | 422.86 |
reg.pl | 88.54 | 88.24 |
sax.pl | 39.18 | 38.86 |
scc.pl | 24.56 | 24.14 |
semigroup.pl | 96.06 | 94.28 |
vhdl97_parser.pl | 1.27 | 1.38 |
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. |
|