|
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 independent analysis, without structural information, differences report)
Benchmark | Base domain | Enhanced domain |
aaaaa.pl | 252.35 | 250.59 |
aleph.pl.unsound | 93.20 | 92.74 |
back52.pl.unsound | 79.00 | 78.34 |
bmtp.pl | 138.00 | 135.92 |
caslog.pl | 369.97 | 365.58 |
chat80.pl | 17.36 | 17.23 |
chillin.pl | 34.00 | 33.82 |
circan.pl | 4.11 | 3.85 |
curry2prolog.pl | 117.80 | 118.79 |
kilimanjaro-all.pl | 28.04 | 27.26 |
kore-ie.pl.unsound | 99.98 | 99.42 |
lgt20.pl.unsound | 17.95 | 17.61 |
markus.pl | 34.56 | 34.70 |
mixtus-all.pl | 34.65 | 34.24 |
motel.pl.unsound | 47.43 | 46.86 |
mt-all.pl.unsound | 61.13 | 60.25 |
music.pl | 11.15 | 10.92 |
oldchina.pl | 16.77 | 16.47 |
piza-0.9.22.pl.unsound | 67.96 | 67.36 |
plaiclp.pl | 64.95 | 64.45 |
pmatch.pl | 429.54 | 423.19 |
reg.pl | 88.54 | 87.47 |
sax.pl | 39.18 | 38.68 |
scc.pl | 24.56 | 23.91 |
semigroup.pl | 96.06 | 93.92 |
sim.pl | 11.40 | 11.26 |
sprftp.pl.unsound | 4.75 | 4.61 |
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. |
|