|
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 independent analysis, without structural information, differences report)
Benchmark | Base domain | Enhanced domain |
CoVer.pl | 0.37 | 0.49 |
XRayVer33.pl | 1.60 | 2.61 |
aaaaa.pl | 252.35 | 477.59 |
aleph.pl.unsound | 93.20 | 182.43 |
attractions.pl | 0.38 | 0.13 |
back52.pl.unsound | 79.00 | 56.44 |
bmtp.pl | 138.00 | 100.28 |
caslog.pl | 369.97 | ??? |
chat80.pl | 17.36 | 17.25 |
chat_parser.pl | 0.89 | 0.99 |
chillin.pl | 34.00 | 29.07 |
circan.pl | 4.11 | 11.20 |
cobweb.pl | 13.03 | 16.77 |
cselcomp.pl | ??? | 311.39 |
curry2prolog.pl | 117.80 | 105.86 |
diagnoser.pl.unsound | 4.41 | 6.92 |
genlang-2.5.pl.unsound | ??? | 5.83 |
gnup-1.1.0_pl2wam.pl | 1.37 | 1.71 |
ileanTAP.pl | 158.04 | 136.41 |
index.pl.unsound | 3.03 | 79.44 |
indyv1.8.pl | 1.00 | 1.41 |
kilimanjaro-all.pl | 28.04 | 180.80 |
kore-ie.pl.unsound | 99.98 | 217.40 |
lg_sys.pl | ??? | 502.26 |
lgt20.pl.unsound | 17.95 | 25.37 |
lilp.pl | 0.39 | 0.51 |
linger_old.pl.unsound | 10.34 | 9.40 |
linus.pl.unsound | 1.16 | 2.04 |
ljt.pl | 0.68 | 0.53 |
lojban.pl | 1.48 | 3.10 |
lptp-1.05.pl | 3.96 | 5.23 |
lptp-1.06.pl | 3.94 | 5.20 |
map.pl.unsound | 3.82 | 4.29 |
markus.pl | 34.56 | 13.35 |
metutor.pl | 0.62 | 0.51 |
mfoil.pl | 3.00 | 3.69 |
mgpl4.pl | 2.24 | 7.08 |
mgtp-g-I-temp.pl | 1.25 | 1.54 |
mixtus-all.pl | 34.65 | 19.73 |
motel.pl.unsound | 47.43 | 453.04 |
mt-all.pl.unsound | 61.13 | 116.30 |
multagnt.pl | 1.80 | 2.80 |
music.pl | 11.15 | 2.37 |
oldchina.pl | 16.77 | 14.24 |
pappiall.pl | 2.58 | 3.39 |
pappienglishall.pl | 1.04 | 1.28 |
petsan.pl | 17.24 | 19.51 |
pillow-1.1.pl | 0.31 | 0.72 |
piza-0.9.22.pl.unsound | 67.96 | 284.24 |
pl2wam.pl | 1.38 | 1.72 |
plaiclp.pl | 64.95 | 216.92 |
pmatch.pl | 429.54 | 117.82 |
protein.pl.unsound | 8.76 | 10.30 |
puzzle.pl | 0.42 | 0.29 |
qdjanus.pl.unsound | 1.74 | 2.49 |
reg.pl | 88.54 | 70.76 |
sax.pl | 39.18 | 38.55 |
scc.pl | 24.56 | 78.48 |
semigroup.pl | 96.06 | 90.26 |
sim.pl | 11.40 | 7.40 |
slice-all.pl | 0.67 | 0.79 |
sprftp.pl.unsound | 4.75 | 4.11 |
spsys.pl | 1.90 | 2.73 |
strips.pl | 0.65 | 0.86 |
synth.pl | 2.96 | 2.64 |
trs.pl | 4.05 | 14.72 |
vhdl97_parser.pl | 1.27 | 2.17 |
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. |
|