|
Analysis time comparison: Pos x SFL versus Reverse 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 |
XRayVer33.pl | 1.60 | 2.31 |
aaaaa.pl | 252.35 | 296.52 |
aleph.pl.unsound | 93.20 | 34.26 |
attractions.pl | 0.38 | 0.13 |
back52.pl.unsound | 79.00 | 46.09 |
bmtp.pl | 138.00 | 49.58 |
caslog.pl | 369.97 | ??? |
chartgraph.pl | 1.77 | 0.79 |
chat80.pl | 17.36 | 10.10 |
chat_parser.pl | 0.89 | 1.22 |
chillin.pl | 34.00 | 28.02 |
circan.pl | 4.11 | 4.83 |
cobweb.pl | 13.03 | 6.71 |
cselcomp.pl | ??? | 214.50 |
curry2prolog.pl | 117.80 | 109.94 |
ezan.pl | 0.86 | 1.01 |
genlang-2.5.pl.unsound | ??? | 5.95 |
gnup-1.1.0_pl2wam.pl | 1.37 | 1.59 |
ileanTAP.pl | 158.04 | 39.12 |
index.pl.unsound | 3.03 | 2.71 |
indyv1.8.pl | 1.00 | 1.18 |
kilimanjaro-all.pl | 28.04 | 56.73 |
kore-ie.pl.unsound | 99.98 | 242.93 |
lgt20.pl.unsound | 17.95 | 8.26 |
lilp.pl | 0.39 | 0.52 |
linTAP.pl | ??? | 315.35 |
linger_old.pl.unsound | 10.34 | 47.83 |
linus.pl.unsound | 1.16 | 0.98 |
ljt.pl | 0.68 | 0.54 |
log_interpreter.pl | 0.54 | 0.43 |
lojban.pl | 1.48 | 1.82 |
lptp-1.05.pl | 3.96 | 3.29 |
lptp-1.06.pl | 3.94 | 3.31 |
map.pl.unsound | 3.82 | 4.09 |
markus.pl | 34.56 | 28.79 |
metutor.pl | 0.62 | 0.42 |
mfoil.pl | 3.00 | 2.64 |
mgpl4.pl | 2.24 | 5.38 |
mixtus-all.pl | 34.65 | 29.90 |
motel.pl.unsound | 47.43 | 66.54 |
mt-all.pl.unsound | 61.13 | 54.37 |
multagnt.pl | 1.80 | 1.67 |
music.pl | 11.15 | 8.96 |
oldchina.pl | 16.77 | 9.17 |
pappiall.pl | 2.58 | 2.71 |
pappienglishall.pl | 1.04 | 1.42 |
petsan.pl | 17.24 | 17.40 |
piza-0.9.22.pl.unsound | 67.96 | 74.99 |
pl2wam.pl | 1.38 | 1.60 |
plaiclp.pl | 64.95 | 98.25 |
pljava.pl | 1.08 | 0.76 |
pmatch.pl | 429.54 | 200.74 |
protein.pl.unsound | 8.76 | 10.89 |
reg.pl | 88.54 | 88.92 |
sax.pl | 39.18 | 37.40 |
scc.pl | 24.56 | 222.18 |
semigroup.pl | 96.06 | 76.23 |
sim.pl | 11.40 | 21.72 |
sprftp.pl.unsound | 4.75 | 4.26 |
spsys.pl | 1.90 | 1.74 |
strips.pl | 0.65 | 0.87 |
synth.pl | 2.96 | 3.97 |
trs.pl | 4.05 | 16.48 |
vhdl97_parser.pl | 1.27 | 1.39 |
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. |
|