|
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, with structural information, differences report)
Benchmark | Base domain | Enhanced domain |
XRayVer33.pl | 1.07 | 2.19 |
aaaaa.pl | 229.86 | 328.86 |
adventure.pl | 7.40 | 64.79 |
aircraft.pl | 0.29 | 0.62 |
aleph.pl.unsound | 366.32 | ??? |
ann.pl | 1.24 | 2.69 |
arch1.pl | 0.30 | 0.59 |
bmtp.pl | 132.83 | 199.95 |
chartgraph.pl | 47.27 | 47.91 |
chat80.pl | 140.41 | 361.35 |
chat_parser.pl | 1.53 | 6.04 |
chess.pl | 1.93 | ??? |
chillin.pl | 105.24 | ??? |
cobweb.pl | 26.04 | 27.08 |
cs2.pl | 9.14 | 3.50 |
curry2prolog.pl | 47.85 | 51.84 |
diagnoser.pl.unsound | 156.06 | ??? |
ezan.pl | 54.02 | 13.97 |
fecht.pl | 0.09 | 260.58 |
gnup-1.1.0_pl2wam.pl | 2.48 | ??? |
ileanTAP.pl | 84.94 | ??? |
ime_v2-2-1.pl | 0.16 | 0.36 |
indyv1.8.pl | 1.28 | 1.75 |
kilimanjaro-all.pl | 33.90 | ??? |
kore-ie.pl.unsound | 29.14 | 33.34 |
lilp.pl | 0.72 | 0.83 |
linger_old.pl.unsound | 12.60 | 22.02 |
linus.pl.unsound | 1.62 | 2.77 |
lojban.pl | 1.09 | 1.92 |
lptp-1.05.pl | 6.89 | 12.77 |
lptp-1.06.pl | 6.93 | 12.85 |
luthercomp.pl | 0.45 | 0.57 |
map.pl.unsound | 4.29 | 6.64 |
markus.pl | 81.74 | 351.23 |
metutor.pl | 0.33 | 0.58 |
mgpl4.pl | 1.06 | 1.24 |
mikev203.pl | 0.75 | 1.12 |
mixtus-all.pl | 207.34 | 504.15 |
mm.pl | 0.48 | 3.07 |
motel.pl.unsound | 67.08 | ??? |
newexpobdd.pl | 16.43 | 400.20 |
oldchina.pl | 7.87 | 13.61 |
petsan.pl | 17.71 | 304.89 |
peval.pl | 0.62 | 1.85 |
pl2wam.pl | 2.45 | ??? |
plaiclp.pl | 22.63 | 23.14 |
pljava.pl | 1.12 | 1.73 |
poker.pl | 0.30 | 0.44 |
prism-1.1.pl.unsound | 0.53 | 1.49 |
qdjanus.pl.unsound | 2.17 | 2.66 |
qplan.pl | 0.23 | 0.78 |
reg.pl | 148.00 | ??? |
sax.pl | 32.02 | 51.29 |
scc.pl | 254.86 | 405.80 |
semigroup.pl | 55.84 | 252.18 |
shopper_shop.pl | 1.58 | 262.50 |
sim.pl | 3.47 | 9.68 |
simple_analyzer.pl | 1.16 | 42.32 |
slice-all.pl | 0.77 | 1.13 |
sprftp.pl.unsound | 2.29 | 102.88 |
spsys.pl | 151.10 | ??? |
strips.pl | 14.68 | 305.00 |
synth.pl | 22.43 | 25.75 |
tictactoe.pl | 0.32 | 6.56 |
trs.pl | 51.08 | 116.43 |
tsp_ga.pl | 1.26 | 1.45 |
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. |
|