China's logo

Home

Systems

Documentation

Experiments

Benchmarks

Projects

People

Links

About

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, without structural information, differences report)

BenchmarkBase domainEnhanced domain
CoVer.pl0.370.49
XRayVer33.pl1.602.61
aaaaa.pl252.35477.59
aleph.pl.unsound93.20182.43
attractions.pl0.380.13
back52.pl.unsound79.0056.44
bmtp.pl138.00100.28
caslog.pl369.97???
chat80.pl17.3617.25
chat_parser.pl0.890.99
chillin.pl34.0029.07
circan.pl4.1111.20
cobweb.pl13.0316.77
cselcomp.pl???311.39
curry2prolog.pl117.80105.86
diagnoser.pl.unsound4.416.92
genlang-2.5.pl.unsound???5.83
gnup-1.1.0_pl2wam.pl1.371.71
ileanTAP.pl158.04136.41
index.pl.unsound3.0379.44
indyv1.8.pl1.001.41
kilimanjaro-all.pl28.04180.80
kore-ie.pl.unsound99.98217.40
lg_sys.pl???502.26
lgt20.pl.unsound17.9525.37
lilp.pl0.390.51
linger_old.pl.unsound10.349.40
linus.pl.unsound1.162.04
ljt.pl0.680.53
lojban.pl1.483.10
lptp-1.05.pl3.965.23
lptp-1.06.pl3.945.20
map.pl.unsound3.824.29
markus.pl34.5613.35
metutor.pl0.620.51
mfoil.pl3.003.69
mgpl4.pl2.247.08
mgtp-g-I-temp.pl1.251.54
mixtus-all.pl34.6519.73
motel.pl.unsound47.43453.04
mt-all.pl.unsound61.13116.30
multagnt.pl1.802.80
music.pl11.152.37
oldchina.pl16.7714.24
pappiall.pl2.583.39
pappienglishall.pl1.041.28
petsan.pl17.2419.51
pillow-1.1.pl0.310.72
piza-0.9.22.pl.unsound67.96284.24
pl2wam.pl1.381.72
plaiclp.pl64.95216.92
pmatch.pl429.54117.82
protein.pl.unsound8.7610.30
puzzle.pl0.420.29
qdjanus.pl.unsound1.742.49
reg.pl88.5470.76
sax.pl39.1838.55
scc.pl24.5678.48
semigroup.pl96.0690.26
sim.pl11.407.40
slice-all.pl0.670.79
sprftp.pl.unsound4.754.11
spsys.pl1.902.73
strips.pl0.650.86
synth.pl2.962.64
trs.pl4.0514.72
vhdl97_parser.pl1.272.17


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.
© The China
Development Group
china@cs.unipr.it

Home | Systems | Documentation | Experiments | Benchmarks | Projects | People | Links | About