|
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, with structural information, differences report)
Benchmark | Base domain | Enhanced domain |
CoVer.pl | 0.46 | 0.64 |
XRayVer33.pl | 1.07 | 1.43 |
aaaaa.pl | 229.86 | 178.18 |
action.pl | 0.94 | 1.13 |
adventure.pl | 7.40 | 11.68 |
aircraft.pl | 0.29 | 0.48 |
aleph.pl.unsound | 366.32 | 376.02 |
ann.pl | 1.24 | 0.80 |
bmtp.pl | 132.83 | 204.77 |
chartgraph.pl | 47.27 | 7.46 |
chat80.pl | 140.41 | 48.84 |
chat_parser.pl | 1.53 | 2.04 |
chess.pl | 1.93 | 3.64 |
chillin.pl | 105.24 | 92.78 |
cobweb.pl | 26.04 | 33.19 |
cs2.pl | 9.14 | 0.26 |
cselcomp.pl | ??? | 175.86 |
curry2indy.pl.unsound | 0.31 | 0.44 |
curry2prolog.pl | 47.85 | 50.08 |
diagnoser.pl.unsound | 156.06 | 36.28 |
ezan.pl | 54.02 | 36.17 |
genlang-2.5.pl.unsound | ??? | 53.86 |
gnup-1.1.0_pl2wam.pl | 2.48 | 2.62 |
ileanTAP.pl | 84.94 | 49.44 |
index.pl.unsound | 0.64 | 0.85 |
indyv1.8.pl | 1.28 | 1.83 |
kilimanjaro-all.pl | 33.90 | 52.27 |
kore-ie.pl.unsound | 29.14 | 4.50 |
linger_old.pl.unsound | 12.60 | 12.71 |
linus.pl.unsound | 1.62 | 1.18 |
ljt.pl | 0.93 | 0.50 |
lojban.pl | 1.09 | 1.34 |
lptp-1.05.pl | 6.89 | 9.64 |
lptp-1.06.pl | 6.93 | 9.66 |
map.pl.unsound | 4.29 | 7.95 |
markus.pl | 81.74 | 13.51 |
mfoil.pl | 2.64 | 1.60 |
mgpl4.pl | 1.06 | 3.66 |
mgtp-g-I-temp.pl | 0.90 | 1.09 |
mixtus-all.pl | 207.34 | 63.54 |
motel.pl.unsound | 67.08 | 110.59 |
oldchina.pl | 7.87 | 6.45 |
pappiall.pl | 1.94 | 2.41 |
pappienglishall.pl | 0.75 | 0.94 |
petsan.pl | 17.71 | 19.67 |
pillow-1.1.pl | 0.35 | 0.84 |
pl2wam.pl | 2.45 | 2.64 |
plaiclp.pl | 22.63 | 21.11 |
poker.pl | 0.30 | 0.46 |
press.pl | 0.22 | 0.72 |
puzzle.pl | ??? | 177.81 |
qdjanus.pl.unsound | 2.17 | 3.06 |
qmlattice.pl.unsound | 0.59 | 0.48 |
reg.pl | 148.00 | 31.47 |
sax.pl | 32.02 | 21.44 |
scc.pl | 254.86 | 111.42 |
semigroup.pl | 55.84 | 59.65 |
shopper_shop.pl | 1.58 | 0.38 |
sim.pl | 3.47 | 3.99 |
sim_v5-2.pl | 1.59 | 1.38 |
simple_analyzer.pl | 1.16 | 1.29 |
slice-all.pl | 0.77 | 1.08 |
sprftp.pl.unsound | 2.29 | 2.05 |
spsys.pl | 151.10 | 32.90 |
strips.pl | 14.68 | 12.15 |
synth.pl | 22.43 | 7.00 |
trs.pl | 51.08 | 86.19 |
tsp_ga.pl | 1.26 | 1.02 |
vhdl97_parser.pl | 1.12 | 2.58 |
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. |
|