|
Analysis time comparison: Pos x SFL versus Enhanced freeness
[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 | 5.55 |
aaaaa.pl | 252.35 | 399.88 |
aleph.pl.unsound | 93.20 | 216.47 |
ann.pl | 0.31 | 0.66 |
back52.pl.unsound | 79.00 | 90.03 |
bmtp.pl | 138.00 | 140.51 |
caslog.pl | 369.97 | 402.53 |
chat80.pl | 17.36 | 52.54 |
chat_parser.pl | 0.89 | 1.01 |
chillin.pl | 34.00 | 593.90 |
circan.pl | 4.11 | 3.90 |
cobweb.pl | 13.03 | 13.33 |
curry2prolog.pl | 117.80 | 118.26 |
fecht.pl | 0.10 | 248.20 |
gnup-1.1.0_pl2wam.pl | 1.37 | 88.44 |
ileanTAP.pl | 158.04 | ??? |
kilimanjaro-all.pl | 28.04 | ??? |
kore-ie.pl.unsound | 99.98 | 129.84 |
lgt20.pl.unsound | 17.95 | 23.95 |
lptp-1.05.pl | 3.96 | 4.21 |
lptp-1.06.pl | 3.94 | 4.26 |
map.pl.unsound | 3.82 | 4.28 |
markus.pl | 34.56 | 138.45 |
metutor.pl | 0.62 | 1.60 |
mikev203.pl | 0.92 | 1.23 |
mixtus-all.pl | 34.65 | 283.39 |
motel.pl.unsound | 47.43 | 58.10 |
mt-all.pl.unsound | 61.13 | 75.41 |
multagnt.pl | 1.80 | 2.26 |
music.pl | 11.15 | 177.60 |
newexpobdd.pl | 17.64 | 447.19 |
oldchina.pl | 16.77 | 17.05 |
petsan.pl | 17.24 | 28.75 |
peval.pl | 0.33 | 0.61 |
piza-0.9.22.pl.unsound | 67.96 | 75.24 |
pl2wam.pl | 1.38 | 88.31 |
plaiclp.pl | 64.95 | 65.57 |
pmatch.pl | 429.54 | ??? |
protein.pl.unsound | 8.76 | 11.24 |
qdjanus.pl.unsound | 1.74 | 1.92 |
reg.pl | 88.54 | 90.03 |
sax.pl | 39.18 | 62.45 |
scc.pl | 24.56 | 26.15 |
semigroup.pl | 96.06 | 96.55 |
sim.pl | 11.40 | 18.52 |
sprftp.pl.unsound | 4.75 | 75.98 |
synth.pl | 2.96 | 5.04 |
trs.pl | 4.05 | 7.69 |
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. |
|