|
Analysis time comparison: Pos x SFL versus Enhanced Pos
[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.37 | 0.48 |
aaaaa.pl | 229.86 | 226.59 |
adventure.pl | 7.40 | 7.29 |
aleph.pl.unsound | 366.32 | 367.71 |
bmtp.pl | 132.83 | 129.62 |
chartgraph.pl | 47.27 | 46.50 |
chat80.pl | 140.41 | 86.94 |
chat_parser.pl | 1.53 | 1.66 |
chillin.pl | 105.24 | 110.01 |
cobweb.pl | 26.04 | 25.86 |
curry2prolog.pl | 47.85 | 47.61 |
diagnoser.pl.unsound | 156.06 | 155.57 |
dposan.pl | 0.22 | 0.41 |
ezan.pl | 54.02 | 52.20 |
gnup-1.1.0_pl2wam.pl | 2.48 | 2.01 |
ileanTAP.pl | 84.94 | 83.94 |
jons.pl | 0.29 | ??? |
jons2.pl | 0.27 | ??? |
kilimanjaro-all.pl | 33.90 | 37.48 |
linger_old.pl.unsound | 12.60 | 12.44 |
linus.pl.unsound | 1.62 | 1.80 |
markus.pl | 81.74 | 122.77 |
mfoil.pl | 2.64 | 2.87 |
mixtus-all.pl | 207.34 | 210.65 |
motel.pl.unsound | 67.08 | ??? |
oldchina.pl | 7.87 | 8.30 |
pappiall.pl | 1.94 | 2.21 |
petsan.pl | 17.71 | 19.06 |
pl2wam.pl | 2.45 | 2.01 |
plaiclp.pl | 22.63 | 22.18 |
reg.pl | 148.00 | 144.45 |
sax.pl | 32.02 | 31.74 |
scc.pl | 254.86 | 258.31 |
semigroup.pl | 55.84 | 54.96 |
shopper_shop.pl | 1.58 | 2.15 |
sim.pl | 3.47 | 3.31 |
spsys.pl | 151.10 | 150.64 |
strips.pl | 14.68 | 14.45 |
tictactoe.pl | 0.32 | 0.47 |
trs.pl | 51.08 | 52.54 |
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. |
|