China's logo

Home

Systems

Documentation

Experiments

Benchmarks

Projects

People

Links

About

ESI: The Impact on Efficiency

[Page last updated on 2001/02/19 10:29:56.]

Here are the efficiency results on the impact of structural information for mode analysis. The experiments were conducted on a PC equipped with an AMD Athlon clocked at 700 MHz, with 256 MB of main memory, and running the GNU/Linux operating system (kernel version 2.2.14). Timings are given in seconds of CPU time as provided by the getrusage system call.

For those looking at this page through color-enabled devices: table entries in red indicate that the integration of explicit structural information led to a higher fixpoint computation time; green indicates an improvement; brown indicates that no such qualitative conclusion could be drawn (because both analyses timed out).

If you wonder how can we possibly have efficiency improvements in a non negligible number of cases, you may want to go back to the explanations.

The symbol * appears near the name of a program in those cases where CHINA indicates possible incorrectness of the analysis' results. See the page on questions and answers if this shocks you.

The effect of explicit structural information on efficiency: fixpoint computation time in seconds.
goal-independentgoal-dependent
Programw/o s.i.w/ s.i.w/o s.i.w/ s.i.
4colors.pl0.090.09 0.100.10
4men.pl0.100.09 0.100.10
8puzzle.pl0.100.43 0.100.10
LeanTaP.pl0.140.15 0.701.03
QG5-7_mg4.pl0.250.28 ----
aaaaa.pl20.407.19 ----
ac_fix.pl0.100.10 0.140.18
action.pl0.360.20 3.072.10
aircraft.pl0.180.28 0.471.62
ale_hpsg.pl142.16582.65 ----
all_permutations.pl0.090.10 0.140.36
altappend.pl0.100.09 0.100.10
ann.pl0.250.37 0.610.62
append.pl0.090.09 0.100.10
apprevlast.pl0.090.10 0.100.10
aqua_c.pl35.2212.05 58.86482.42
arch1.pl0.250.37 ----
astar.pl0.100.11 0.100.11
attractions.pl0.120.67 0.232.54
attractions2.pl0.090.10 0.100.15
autoc.pl *0.110.11 ----
back52.pl *15.6832.45 ----
barnes_hut.pl0.100.11 0.170.52
bid.pl0.100.10 0.100.10
bigot.pl0.100.10 0.110.10
bintrees.pl0.100.10 0.100.12
birds.pl0.100.10 0.100.11
bmtp.pl2.001.65 ----
bnet.pl0.120.14 0.140.15
bnet2.pl0.120.14 0.140.17
boyer_wamcc.pl0.100.11 0.340.30
bp0-6.pl0.120.15 0.110.15
browse_wamcc.pl0.100.10 0.110.12
bryant.pl0.200.20 0.810.82
bup-all.pl0.150.11 ----
cal_wamcc.pl0.090.10 0.100.10
cardsol.pl0.100.10 0.100.11
caslog.pl10.314.48 25.6855.18
cg_parser.pl0.180.21 ----
chartgraph.pl0.830.37 ----
chasen-all.pl0.100.11 0.300.20
chat80.pl2.191.75 8.428.39
chat_parser.pl0.680.52 1.341.86
chess.pl0.110.37 0.202.63
chillin.pl1.241.49 ----
circan.pl5.154.17 73.8068.59
classic.pl0.100.14 ----
cobweb.pl0.670.28 ----
colan-all.pl *9.101.50 ----
color.pl0.090.10 0.090.10
compound.pl0.090.09 0.100.07
conman.pl0.100.10 0.150.18
crip.pl0.120.15 0.120.18
cry_add.pl0.100.10 0.120.15
cry_mult.pl0.100.10 0.140.23
crypt_wamcc.pl0.100.10 0.100.11
cs2.pl0.120.34 0.100.12
cselcomp.pl9.713.82 ----
cugini_utilities.pl0.180.20 ----
curry2indy.pl *0.330.33 0.410.72
curry2prolog.pl1.361.25 ----
custord.pl0.090.10 0.090.10
cycles.pl *0.140.18 0.680.73
dbqas.pl *0.120.14 ----
dcg1.pl0.100.10 0.100.10
dcg_jp.pl0.100.10 ----
dcg_ok.pl0.110.11 ----
demo_fsa2.pl0.100.10 0.100.10
dfid.pl0.100.10 0.100.10
dfsscc.pl0.140.15 0.330.62
dialog.pl0.100.10 ----
difflists.pl0.100.10 ----
diffsimpsv.pl0.150.15 0.280.25
dioph.pl0.100.09 0.090.10
disj_r.pl0.100.12 0.120.12
dlists.pl0.100.10 0.230.43
dposan.pl0.150.23 0.600.70
draw.pl0.100.10 0.150.20
eliza.pl0.120.17 0.500.68
english.pl0.100.10 0.110.14
esfm.pl0.100.10 ----
essln.pl *0.370.34 ----
exp.pl0.090.09 ----
ezan.pl1.030.81 6.713.00
factors.pl0.090.09 0.100.09
famtree_lguzik.pl0.110.11 0.100.10
fecht.pl0.100.10 0.110.11
fft.pl0.100.10 0.110.14
files.pl0.150.14 ----
flatten.pl0.100.10 0.100.10
foil.pl0.150.20 ----
fraction.pl0.100.10 0.100.10
french.pl0.100.10 0.110.11
fst.pl0.100.09 0.100.10
ftfsg.pl0.180.20 ----
ftfsg2.pl0.180.20 ----
ga.pl0.110.18 0.150.15
gauss.pl0.090.10 0.100.10
gcd.pl0.100.09 0.100.10
gene.pl0.100.10 ----
genlang-2.5.pl *1.251.21 ----
gilberto.pl0.090.10 0.100.10
gnup-1.1.0_pl2wam.pl1.701.70 4.862.67
grammar.pl0.090.10 0.100.10
grips.pl *0.150.17 ----
gulp.pl *0.120.14 ----
gulp3.pl0.140.14 ----
ham_bshort.pl0.110.11 0.180.18
hamiltonian.pl0.090.10 0.090.10
hanoiapp.pl0.090.09 0.100.10
hebtrans.pl0.100.11 0.120.14
idt.pl0.110.18 ----
ilap.pl0.100.10 0.230.23
ileanTAP.pl0.230.61 2.585.01
ili.pl0.360.40 ----
ime_v2-2-1.pl0.120.15 0.250.33
index.pl *2.790.58 ----
indy2curry.pl0.100.14 0.150.18
indyv1.8.pl1.201.23 ----
intervals.pl0.110.14 0.250.31
jugs.pl0.100.11 0.270.23
kalah_r.pl0.100.14 0.120.18
kilimanjaro-all.pl28.1816.05 ----
kipeg.pl0.100.10 0.100.34
knight.pl0.100.11 0.150.25
kore-ie.pl *8.181.63 ----
lc.pl0.110.15 0.250.18
ldl-all.pl10.428.60 ----
leantap_small.pl0.110.10 0.150.18
lg_sys.pl11.227.51 ----
lgt20.pl *2.040.51 ----
life.pl0.100.11 0.100.12
lilp.pl0.520.68 ----
linTAP.pl0.310.46 1.581.75
lin_reg.pl0.100.10 0.090.10
linger_old.pl *11.602.36 ----
linking1.pl0.090.10 ----
linking2.pl0.100.09 0.090.10
linloss.pl0.090.10 0.090.09
linsys.pl0.100.10 0.090.09
linus.pl *1.040.75 ----
ljt.pl0.560.54 0.120.15
llprover.pl0.230.28 ----
lnprolog.pl *0.150.17 ----
log_interpreter.pl0.440.37 ----
lojban.pl1.870.82 4.151.01
lookup.pl0.100.10 0.090.10
loops.pl0.100.10 0.110.12
lowest.pl0.090.10 0.100.10
lpe.pl0.180.20 ----
lptp-1.05.pl3.362.89 10.0512.65
lptp-1.06.pl3.352.85 10.0212.68
magicex.pl0.090.10 0.090.09
map.pl *4.404.73 ----
maps.pl0.100.09 0.090.10
markus.pl23.842.64 ----
mastermind.pl0.100.10 0.110.17
math.pl0.100.11 ----
mathlib.pl0.100.11 0.140.15
matrix.pl0.100.09 0.100.11
maze.pl0.090.10 0.100.10
mdgtools-1.0.pl8.473.27 ----
medic4.pl0.100.10 ----
medic5.pl0.100.10 ----
meta_qsort_wamcc.pl0.100.10 0.110.10
metutor.pl0.430.28 ----
mfoil.pl2.660.34 ----
mgpl4.pl5.571.84 0.731.12
mgtp-g-I-temp.pl0.950.31 0.440.57
mixtus-all.pl2.401.85 ----
mm.pl0.400.50 2.226.19
motel.pl *22.3127.51 ----
mpuzzle.pl0.100.07 0.100.11
mt-all.pl *20.5026.46 ----
multagnt.pl1.720.14 ----
music.pl0.470.23 0.675.40
nand_wamcc.pl4.924.36 0.200.40
nani.pl0.100.11 0.120.12
nbody.pl0.120.17 0.340.87
ncDP.pl0.110.14 0.100.12
negoplan.pl *6.921.75 ----
neural.pl0.110.11 0.170.10
newexpobdd.pl19.0517.62 ----
newton.pl0.100.10 0.100.10
nladb.pl0.100.10 ----
noughts_and_crosses.pl0.100.10 0.100.12
npuzzle.pl0.100.10 ----
occ.pl0.090.09 0.100.10
ocheck0.pl0.100.09 0.100.09
ocheck1.pl0.100.09 0.090.10
ocheck2.pl0.090.09 0.090.07
ocheck3.pl0.090.10 0.090.09
ocheck4.pl0.090.10 0.100.10
ocheck5.pl0.100.09 0.100.09
ochecklin.pl0.090.10 0.090.07
oldchina.pl4.711.86 12.4619.12
ordsets.pl0.100.10 0.100.11
othello.pl0.100.12 0.150.37
pairs.pl0.090.09 0.110.10
palindrome.pl0.090.10 0.100.10
pappiall.pl2.501.59 ----
pappienglishall.pl1.481.09 ----
parser_dcg.pl0.170.20 0.410.46
path.pl0.090.10 0.100.10
peephole1.pl0.150.17 0.660.75
peg.pl0.100.10 0.100.10
pentomino.pl0.140.12 0.170.20
permute.pl0.100.10 0.100.12
petsan.pl1.625.63 14.969.72
peval.pl0.370.61 ----
pg.pl0.100.10 0.100.10
pillow-1.1.pl0.370.37 ----
piza-0.9.22.pl *8.468.50 ----
pl2wam.pl1.701.69 ----
plaiclp.pl1.800.95 ----
plcafe_lib.pl0.180.20 ----
pljava.pl0.801.08 ----
pmatch.pl0.461.91 4.388.31
poly10.pl0.100.11 0.100.10
powers.pl0.100.09 0.090.09
powerset.pl0.090.09 0.100.10
press.pl0.180.40 0.561.23
primefactors.pl0.090.10 0.100.10
primes.pl0.070.09 0.100.10
primes2.pl0.090.10 0.100.10
primes3.pl0.090.10 0.090.10
prism-1.1.pl *0.370.49 ----
prointrp.pl0.090.09 0.100.10
prolog.pl0.100.10 ----
protein.pl *8.721.26 ----
puzzle.pl0.4410.00 7.61730.61
pythagoras.pl0.090.10 0.100.10
q8.pl0.100.11 0.120.38
qdjanus.pl *1.881.10 ----
qmlattice.pl *0.340.41 ----
qplan.pl0.170.21 0.180.23
queens.pl0.100.10 0.100.10
queens8_wamcc.pl0.100.10 0.100.10
queens_wamcc.pl0.100.10 0.100.10
quotan.pl0.340.37 2.852.36
raytrace.pl0.140.18 0.280.46
raytrace2.pl0.140.17 0.200.38
raytrace_inst.pl0.150.18 0.300.47
rdtok.pl0.110.11 0.150.15
reach.pl0.070.12 ----
read.pl0.150.18 0.740.66
reducer.pl0.140.18 0.930.54
reform_compiler.pl *20.5730.71 43.20302.85
reg.pl1.301.25 ----
river.pl *0.100.09 ----
river1.pl *0.100.09 ----
robot.pl0.100.10 0.150.18
rsp.pl0.180.18 0.250.21
rubik.pl0.1224.22 0.2868.66
salvini.pl *0.250.50 ----
sax.pl4.763.64 ----
sb_asm.pl0.150.15 0.671.05
scc.pl0.670.98 0.120.18
schedule.pl0.100.09 0.100.10
sdda.pl0.230.15 2.560.81
search_lguzik.pl0.100.14 0.100.10
semi.pl0.100.11 0.180.31
semigroup.pl76.5526.80 2.512.17
sets.pl0.100.10 0.100.11
sg_mc_big.pl0.150.18 0.791.42
shape.pl0.100.10 0.100.15
sharing_enum.pl0.150.17 0.300.31
shortest.pl0.100.09 0.100.11
sieve.pl0.090.10 0.100.10
sim.pl0.510.52 ----
sim_v5-2.pl0.250.81 0.250.33
simple_analyzer.pl0.250.52 2.051.83
slice-all.pl0.721.04 ----
som4.pl0.100.10 ----
sorts.pl0.100.12 0.140.17
sprftp.pl *1.590.54 10.681.79
spsys.pl1.531.30 ----
stack-opt.pl0.100.10 0.110.10
staticcalls.pl0.100.10 0.100.11
stats.pl0.090.10 0.100.10
strings_texts.pl0.150.17 ----
strips.pl0.930.46 4.131.47
synth.pl1.290.79 14.935.84
tak_wamcc.pl0.090.09 0.100.10
ternary.pl0.100.10 0.100.12
tictactoe.pl0.100.36 0.110.18
trees1.pl0.100.10 ----
trees2.pl0.100.10 ----
trs.pl0.330.63 2.1315.75
tsp.pl0.100.11 0.140.15
unify.pl0.150.18 1.010.63
untupler.pl *0.120.10 ----
vhdl97_parser.pl1.221.21 15.6912.30
vsp.pl0.100.10 0.150.18
warplan.pl0.100.10 ----
wumpus1.pl0.100.10 ----
wumpus2.pl *0.150.18 ----
yaqueens.pl0.090.09 0.090.10
yasmm.pl0.100.10 0.100.12
zebra.pl0.090.09 0.100.11
© The China
Development Group
china@cs.unipr.it

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