|
Analysis time comparison: SFL versus Pos x SFL
[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.46 | 1.60 |
aaaaa.pl | 223.10 | 252.35 |
aleph.pl.unsound | 92.61 | 93.20 |
back52.pl.unsound | 74.67 | 79.00 |
bmtp.pl | 137.42 | 138.00 |
caslog.pl | 369.79 | 369.97 |
chat80.pl | 17.18 | 17.36 |
chat_parser.pl | 0.70 | 0.89 |
chillin.pl | 33.69 | 34.00 |
circan.pl | 3.86 | 4.11 |
curry2prolog.pl | 118.75 | 117.80 |
diagnoser.pl.unsound | 4.16 | 4.41 |
essln.pl.unsound | 0.27 | 0.39 |
ezan.pl | 0.75 | 0.86 |
gnup-1.1.0_pl2wam.pl | 1.21 | 1.37 |
ileanTAP.pl | 159.76 | 158.04 |
index.pl.unsound | 2.89 | 3.03 |
indyv1.8.pl | 0.87 | 1.00 |
kilimanjaro-all.pl | 25.17 | 28.04 |
kore-ie.pl.unsound | 100.21 | 99.98 |
lgt20.pl.unsound | 17.84 | 17.95 |
lptp-1.05.pl | 3.32 | 3.96 |
lptp-1.06.pl | 3.34 | 3.94 |
map.pl.unsound | 3.50 | 3.82 |
mixtus-all.pl | 34.46 | 34.65 |
motel.pl.unsound | 46.83 | 47.43 |
mt-all.pl.unsound | 56.02 | 61.13 |
music.pl | 11.59 | 11.15 |
newexpobdd.pl | 0.11 | 17.64 |
oldchina.pl | 16.45 | 16.77 |
pappiall.pl | 2.36 | 2.58 |
pappienglishall.pl | 0.89 | 1.04 |
petsan.pl | 16.93 | 17.24 |
piza-0.9.22.pl.unsound | 66.84 | 67.96 |
pl2wam.pl | 1.22 | 1.38 |
plaiclp.pl | 65.23 | 64.95 |
pljava.pl | 0.86 | 1.08 |
pmatch.pl | 425.90 | 429.54 |
prism-1.1.pl.unsound | 0.26 | 0.37 |
qdjanus.pl.unsound | 1.54 | 1.74 |
reg.pl | 90.29 | 88.54 |
sax.pl | 39.05 | 39.18 |
scc.pl | 12.94 | 24.56 |
semigroup.pl | 100.65 | 96.06 |
sim.pl | 7.90 | 11.40 |
slice-all.pl | 0.56 | 0.67 |
sprftp.pl.unsound | 4.58 | 4.75 |
spsys.pl | 1.75 | 1.90 |
synth.pl | 2.82 | 2.96 |
vhdl97_parser.pl | 0.94 | 1.27 |
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. |
|