|
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, with structural information, differences report)
Benchmark | Base domain | Enhanced domain |
8puzzle.pl | 0.11 | 0.37 |
CoVer.pl | 0.34 | 0.46 |
XRayVer33.pl | 0.85 | 1.07 |
aaaaa.pl | 213.72 | 229.86 |
adventure.pl | 7.29 | 7.40 |
aleph.pl.unsound | 364.88 | 366.32 |
bmtp.pl | 129.76 | 132.83 |
chartgraph.pl | 47.47 | 47.27 |
chat80.pl | 135.03 | 140.41 |
chat_parser.pl | 1.27 | 1.53 |
chess.pl | 1.73 | 1.93 |
chillin.pl | 101.20 | 105.24 |
cobweb.pl | 25.31 | 26.04 |
cs2.pl | 9.35 | 9.14 |
curry2prolog.pl | 46.57 | 47.85 |
diagnoser.pl.unsound | 87.27 | 156.06 |
ezan.pl | 53.43 | 54.02 |
gnup-1.1.0_pl2wam.pl | 2.28 | 2.48 |
ileanTAP.pl | 47.32 | 84.94 |
index.pl.unsound | 0.52 | 0.64 |
indyv1.8.pl | 1.09 | 1.28 |
jons.pl | 0.12 | 0.29 |
jons2.pl | 0.11 | 0.27 |
kilimanjaro-all.pl | 23.47 | 33.90 |
kore-ie.pl.unsound | 28.81 | 29.14 |
linger_old.pl.unsound | 12.44 | 12.60 |
linus.pl.unsound | 1.49 | 1.62 |
lojban.pl | 0.98 | 1.09 |
lptp-1.05.pl | 6.31 | 6.89 |
lptp-1.06.pl | 6.33 | 6.93 |
map.pl.unsound | 3.82 | 4.29 |
markus.pl | 75.80 | 81.74 |
mgpl4.pl | 0.93 | 1.06 |
mixtus-all.pl | 116.17 | 207.34 |
mm.pl | 0.37 | 0.48 |
motel.pl.unsound | 44.59 | 67.08 |
newexpobdd.pl | 0.10 | 16.43 |
oldchina.pl | 7.33 | 7.87 |
pappiall.pl | 1.75 | 1.94 |
petsan.pl | 11.86 | 17.71 |
peval.pl | 0.49 | 0.62 |
pl2wam.pl | 2.24 | 2.45 |
plaiclp.pl | 22.00 | 22.63 |
pljava.pl | 0.90 | 1.12 |
prism-1.1.pl.unsound | 0.38 | 0.53 |
qdjanus.pl.unsound | 1.88 | 2.17 |
qmlattice.pl.unsound | 0.48 | 0.59 |
reg.pl | 78.83 | 148.00 |
sax.pl | 31.28 | 32.02 |
scc.pl | 186.15 | 254.86 |
semigroup.pl | 55.11 | 55.84 |
sim.pl | 1.95 | 3.47 |
slice-all.pl | 0.61 | 0.77 |
spsys.pl | 80.65 | 151.10 |
strips.pl | 14.40 | 14.68 |
synth.pl | 22.24 | 22.43 |
tictactoe.pl | 0.11 | 0.32 |
trs.pl | 45.29 | 51.08 |
vhdl97_parser.pl | 0.76 | 1.12 |
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. |
|