|
Analysis time comparison: Pos x SFL versus Star-union order
[Page last updated on 2001/02/10 18:04:22.]
The analysis time comparison (goal independent analysis, without structural information, full report)
Benchmark | Base domain | Enhanced domain |
4colors.pl | 0.10 | 0.08 |
4men.pl | 0.10 | 0.10 |
8puzzle.pl | 0.10 | 0.10 |
CoVer.pl | 0.37 | 0.36 |
LeanTaP.pl | 0.15 | 0.15 |
QG5-7_mg4.pl | 0.25 | 0.24 |
Vworld.pl | 0.17 | 0.17 |
WAMcomp.pl | 0.15 | 0.14 |
XRayVer33.pl | 1.60 | 2.24 |
aaaaa.pl | 252.35 | 258.77 |
ac_fix.pl | 0.11 | 0.11 |
action.pl | 0.41 | 0.34 |
adventure.pl | 0.26 | 0.36 |
aircraft.pl | 0.19 | 0.22 |
ale_hpsg.pl | ??? | ??? |
aleph.pl.unsound | 93.20 | 122.11 |
all_permutations.pl | 0.10 | 0.09 |
altappend.pl | 0.09 | 0.09 |
ann.pl | 0.31 | 0.33 |
append.pl | 0.09 | 0.10 |
apprevlast.pl | 0.09 | 0.09 |
aqua_c.pl | ??? | ??? |
arch1.pl | 0.23 | 0.22 |
astar.pl | 0.10 | 0.10 |
attractions.pl | 0.38 | 0.18 |
attractions2.pl | 0.10 | 0.10 |
autoc.pl.unsound | 0.12 | 0.12 |
back52.pl.unsound | 79.00 | 53.50 |
barnes_hut.pl | 0.11 | 0.11 |
bgg.pl | 0.09 | 0.09 |
bid.pl | 0.11 | 0.10 |
bigot.pl | 0.10 | 0.10 |
bintrees.pl | 0.10 | 0.10 |
birds.pl | 0.10 | 0.10 |
bmtp.pl | 138.00 | 142.66 |
bnet.pl | 0.13 | 0.14 |
bnet2.pl | 0.13 | 0.11 |
boyer_wamcc.pl | 0.11 | 0.11 |
bp0-6.pl | 0.13 | 0.13 |
browse_wamcc.pl | 0.10 | 0.10 |
bryant.pl | 0.20 | 0.21 |
bup-all.pl | 0.14 | 0.14 |
cal_wamcc.pl | 0.09 | 0.10 |
cardsol.pl | 0.10 | 0.10 |
caslog.pl | 369.97 | 421.35 |
cg_parser.pl | 0.18 | 0.17 |
chartgraph.pl | 1.77 | 1.58 |
chasen-all.pl | 0.11 | 0.11 |
chat80.pl | 17.36 | 18.73 |
chat_parser.pl | 0.89 | 0.82 |
chess.pl | 0.12 | 0.12 |
chillin.pl | 34.00 | 28.38 |
chris.pl | 0.17 | 0.11 |
circan.pl | 4.11 | 4.03 |
classic.pl | 0.12 | 0.12 |
cobweb.pl | 13.03 | 13.27 |
colan-all.pl.unsound | ??? | ??? |
color.pl | 0.10 | 0.10 |
compound.pl | 0.09 | 0.09 |
conman.pl | 0.10 | 0.10 |
consultant.pl | 0.11 | 0.10 |
crip.pl | 0.12 | 0.12 |
cry_add.pl | 0.10 | 0.09 |
cry_mult.pl | 0.11 | 0.11 |
crypt_wamcc.pl | 0.09 | 0.09 |
cs2.pl | 0.13 | 0.12 |
cselcomp.pl | ??? | ??? |
cugini_utilities.pl | 0.18 | 0.17 |
curry2indy.pl.unsound | 0.28 | 0.24 |
curry2prolog.pl | 117.80 | 116.98 |
custord.pl | 0.10 | 0.10 |
cycles.pl.unsound | 0.13 | 0.13 |
dbqas.pl.unsound | 0.12 | 0.12 |
dcg1.pl | 0.09 | 0.10 |
dcg_jp.pl | 0.10 | 0.11 |
dcg_ok.pl | 0.12 | 0.12 |
demo_fsa2.pl | 0.10 | 0.09 |
dfid.pl | 0.09 | 0.10 |
dfsscc.pl | 0.13 | 0.14 |
diagnoser.pl.unsound | 4.41 | 4.14 |
dialog.pl | 0.09 | 0.11 |
difflists.pl | 0.10 | 0.10 |
diffsimpsv.pl | 0.16 | 0.15 |
dioph.pl | 0.10 | 0.09 |
disj_r.pl | 0.10 | 0.10 |
dlists.pl | 0.10 | 0.09 |
dposan.pl | 0.17 | 0.18 |
draw.pl | 0.12 | 0.11 |
elex_scanner.pl | 0.12 | 0.12 |
eliza.pl | 0.14 | 0.13 |
english.pl | 0.10 | 0.11 |
esfm.pl | 0.10 | 0.10 |
essln.pl.unsound | 0.39 | 0.37 |
exp.pl | 0.10 | 0.09 |
exp_code.pl | 0.10 | 0.09 |
exshell.pl | 0.10 | 0.10 |
ezan.pl | 0.86 | 0.75 |
factors.pl | 0.08 | 0.09 |
famtree_lguzik.pl | 0.11 | 0.12 |
fecht.pl | 0.10 | 0.10 |
fft.pl | 0.09 | 0.07 |
files.pl | 0.14 | 0.13 |
flatten.pl | 0.09 | 0.09 |
foil.pl | 0.16 | 0.15 |
fraction.pl | 0.10 | 0.10 |
french.pl | 0.10 | 0.11 |
fst.pl | 0.10 | 0.09 |
ftfsg.pl | 0.17 | 0.16 |
ftfsg2.pl | 0.18 | 0.17 |
ga.pl | 0.13 | 0.13 |
gauss.pl | 0.10 | 0.10 |
gcd.pl | 0.10 | 0.09 |
gene.pl | 0.11 | 0.11 |
genlang-2.5.pl.unsound | ??? | 4.82 |
gilberto.pl | 0.10 | 0.09 |
glop.pl | 0.11 | 0.11 |
gnup-1.1.0_pl2wam.pl | 1.37 | 1.55 |
gof.pl | 0.10 | 0.09 |
grammar.pl | 0.10 | 0.09 |
grips.pl.unsound | 0.15 | 0.15 |
gulp.pl.unsound | 0.12 | 0.12 |
gulp3.pl | 0.14 | 0.14 |
ham_bshort.pl | 0.11 | 0.11 |
hamiltonian.pl | 0.10 | 0.09 |
hanoi.pl | 0.10 | 0.10 |
hanoiapp.pl | 0.10 | 0.10 |
hebtrans.pl | 0.11 | 0.11 |
idt.pl | 0.12 | 0.13 |
ilap.pl | 0.12 | 0.12 |
ileanTAP.pl | 158.04 | 197.37 |
ili.pl | 0.35 | 0.34 |
ime_v2-2-1.pl | 0.14 | 0.14 |
index.pl.unsound | 3.03 | 4.14 |
indy2curry.pl | 0.13 | 0.12 |
indyv1.8.pl | 1.00 | 0.92 |
intervals.pl | 0.12 | 0.12 |
jons.pl | 0.11 | 0.11 |
jons2.pl | 0.11 | 0.11 |
jugs.pl | 0.10 | 0.10 |
kalah_r.pl | 0.12 | 0.11 |
kilimanjaro-all.pl | 28.04 | 40.52 |
kipeg.pl | 0.09 | 0.10 |
knight.pl | 0.11 | 0.10 |
kore-ie.pl.unsound | 99.98 | 69.00 |
lc.pl | 0.12 | 0.12 |
ldl-all.pl | ??? | ??? |
leantap_small.pl | 0.11 | 0.11 |
lfcpc.pl | 0.26 | 0.23 |
lg_sys.pl | ??? | ??? |
lgt20.pl.unsound | 17.95 | 17.84 |
life.pl | 0.11 | 0.12 |
lilp.pl | 0.39 | 0.38 |
linTAP.pl | ??? | ??? |
lin_reg.pl | 0.09 | 0.09 |
linger_old.pl.unsound | 10.34 | 9.34 |
linking1.pl | 0.09 | 0.09 |
linking2.pl | 0.10 | 0.10 |
linloss.pl | 0.10 | 0.10 |
linsys.pl | 0.10 | 0.10 |
linus.pl.unsound | 1.16 | 1.08 |
lisp_interpreter.pl | 0.13 | 0.13 |
ljt.pl | 0.68 | 0.48 |
llprover.pl | 0.23 | 0.22 |
lnprolog.pl.unsound | 0.15 | 0.14 |
log_interpreter.pl | 0.54 | 0.46 |
logen.pl.unsound | 0.18 | 0.17 |
lojban.pl | 1.48 | 1.51 |
lookup.pl | 0.10 | 0.10 |
loops.pl | 0.10 | 0.11 |
lowest.pl | 0.09 | 0.09 |
lpe.pl | 0.18 | 0.18 |
lptp-1.05.pl | 3.96 | 4.39 |
lptp-1.06.pl | 3.94 | 4.38 |
luthercomp.pl | 0.25 | 0.26 |
magicex.pl | 0.10 | 0.09 |
map.pl.unsound | 3.82 | 3.51 |
maps.pl | 0.09 | 0.10 |
markus.pl | 34.56 | 34.33 |
mastermind.pl | 0.10 | 0.10 |
math.pl | 0.11 | 0.11 |
mathlib.pl | 0.11 | 0.11 |
matrix.pl | 0.10 | 0.10 |
maze.pl | 0.10 | 0.09 |
mdgtools-1.0.pl | ??? | ??? |
medic4.pl | 0.10 | 0.11 |
medic5.pl | 0.11 | 0.11 |
meta_qsort_wamcc.pl | 0.10 | 0.10 |
metutor.pl | 0.62 | 0.56 |
mfoil.pl | 3.00 | 3.44 |
mgpl4.pl | 2.24 | 2.48 |
mgtp-g-I-temp.pl | 1.25 | 1.52 |
mikev203.pl | 0.92 | 0.91 |
mixtus-all.pl | 34.65 | 24.05 |
mm.pl | 0.40 | 0.32 |
monkey.pl | 0.09 | 0.10 |
motel.pl.unsound | 47.43 | 56.05 |
mpuzzle.pl | 0.10 | 0.10 |
mt-all.pl.unsound | 61.13 | 73.43 |
multagnt.pl | 1.80 | 1.97 |
music.pl | 11.15 | 4.22 |
nand_wamcc.pl | ??? | ??? |
nani.pl | 0.11 | 0.12 |
natded.pl | 0.19 | 0.18 |
nbody.pl | 0.13 | 0.13 |
ncDP.pl | 0.12 | 0.12 |
neural.pl | 0.12 | 0.12 |
newexpobdd.pl | 17.64 | 17.67 |
newton.pl | 0.10 | 0.08 |
nladb.pl | 0.10 | 0.10 |
noughts_and_crosses.pl | 0.09 | 0.10 |
npuzzle.pl | 0.11 | 0.10 |
occ.pl | 0.10 | 0.09 |
ocheck0.pl | 0.09 | 0.09 |
ocheck1.pl | 0.10 | 0.10 |
ocheck2.pl | 0.09 | 0.09 |
ocheck3.pl | 0.09 | 0.10 |
ocheck4.pl | 0.09 | 0.10 |
ocheck5.pl | 0.09 | 0.09 |
ochecklin.pl | 0.10 | 0.09 |
oldchina.pl | 16.77 | 17.32 |
ordsets.pl | 0.10 | 0.10 |
othello.pl | 0.11 | 0.10 |
pairs.pl | 0.10 | 0.10 |
palindrome.pl | 0.10 | 0.09 |
pappiall.pl | 2.58 | 2.49 |
pappienglishall.pl | 1.04 | 0.99 |
parser_dcg.pl | 0.16 | 0.16 |
path.pl | 0.10 | 0.10 |
peephole1.pl | 0.15 | 0.15 |
peg.pl | 0.10 | 0.10 |
pentomino.pl | 0.14 | 0.14 |
permute.pl | 0.10 | 0.10 |
petsan.pl | 17.24 | 16.26 |
peval.pl | 0.33 | 0.33 |
pg.pl | 0.10 | 0.09 |
pillow-1.1.pl | 0.31 | 0.33 |
piza-0.9.22.pl.unsound | 67.96 | 69.30 |
pl2wam.pl | 1.38 | 1.53 |
plaiclp.pl | 64.95 | 66.90 |
plcafe_lib.pl | 0.17 | 0.18 |
pljava.pl | 1.08 | 1.09 |
pmatch.pl | 429.54 | ??? |
poker.pl | 0.21 | 0.20 |
poly10.pl | 0.11 | 0.11 |
powers.pl | 0.09 | 0.09 |
powerset.pl | 0.10 | 0.09 |
press.pl | 0.16 | 0.16 |
primefactors.pl | 0.09 | 0.09 |
primes.pl | 0.10 | 0.10 |
primes2.pl | 0.10 | 0.10 |
primes3.pl | 0.10 | 0.09 |
prism-1.1.pl.unsound | 0.37 | 0.35 |
prointrp.pl | 0.09 | 0.09 |
prolog.pl | 0.09 | 0.10 |
protein.pl.unsound | 8.76 | 7.02 |
puzzle.pl | 0.42 | 0.42 |
pythagoras.pl | 0.10 | 0.10 |
q8.pl | 0.10 | 0.09 |
qdjanus.pl.unsound | 1.74 | 2.11 |
qmlattice.pl.unsound | 0.45 | 0.40 |
qplan.pl | 0.17 | 0.15 |
queens.pl | 0.10 | 0.10 |
queens8_wamcc.pl | 0.09 | 0.09 |
queens_wamcc.pl | 0.09 | 0.10 |
quotan.pl | 0.35 | 0.35 |
raytrace.pl | 0.14 | 0.14 |
raytrace2.pl | 0.12 | 0.15 |
raytrace_inst.pl | 0.15 | 0.14 |
rdtok.pl | 0.12 | 0.11 |
reach.pl | 0.10 | 0.09 |
read.pl | 0.16 | 0.16 |
reducer.pl | 0.14 | 0.14 |
reform_compiler.pl.unsound | ??? | ??? |
reg.pl | 88.54 | 88.17 |
river.pl.unsound | 0.10 | 0.10 |
river1.pl.unsound | 0.09 | 0.08 |
robot.pl | 0.10 | 0.10 |
rsnp.pl | 0.10 | 0.10 |
rsp.pl | 0.12 | 0.11 |
rubik.pl | 0.12 | 0.13 |
salvini.pl.unsound | 0.24 | 0.25 |
sax.pl | 39.18 | 31.76 |
sb_asm.pl | 0.16 | 0.15 |
scc.pl | 24.56 | 24.69 |
schedule.pl | 0.09 | 0.09 |
sdda.pl | 0.27 | 0.28 |
search_lguzik.pl | 0.12 | 0.12 |
semi.pl | 0.11 | 0.11 |
semigroup.pl | 96.06 | 99.24 |
sets.pl | 0.10 | 0.10 |
sg_mc_big.pl | 0.15 | 0.15 |
shape.pl | 0.10 | 0.09 |
shapiro.pl | 0.27 | 0.27 |
sharing_enum.pl | 0.14 | 0.15 |
shopper_shop.pl | 0.11 | 0.10 |
shortest.pl | 0.09 | 0.10 |
sieve.pl | 0.10 | 0.10 |
sim.pl | 11.40 | 7.90 |
sim_v5-2.pl | 0.21 | 0.22 |
simple_analyzer.pl | 0.21 | 0.22 |
slice-all.pl | 0.67 | 0.64 |
som4.pl | 0.09 | 0.10 |
sorts.pl | 0.12 | 0.11 |
sprftp.pl.unsound | 4.75 | 3.33 |
spsys.pl | 1.90 | 1.66 |
stack-opt.pl | 0.10 | 0.09 |
staticcalls.pl | 0.10 | 0.09 |
stats.pl | 0.10 | 0.10 |
strings_texts.pl | 0.14 | 0.14 |
strips.pl | 0.65 | 0.59 |
synth.pl | 2.96 | 2.96 |
tak_wamcc.pl | 0.10 | 0.09 |
ternary.pl | 0.10 | 0.10 |
tfqueens.pl | 0.09 | 0.10 |
tictactoe.pl | 0.10 | 0.11 |
trees1.pl | 0.11 | 0.11 |
trees2.pl | 0.10 | 0.10 |
trs.pl | 4.05 | 18.87 |
tsp.pl | 0.11 | 0.11 |
tsp_ga.pl | 0.17 | 0.43 |
tsp_na.pl | 0.10 | 0.09 |
tsp_sa.pl | 0.13 | 0.12 |
unify.pl | 0.17 | 0.16 |
untupler.pl.unsound | 0.13 | 0.13 |
vhdl97_parser.pl | 1.27 | 1.09 |
vsp.pl | 0.10 | 0.10 |
warplan.pl | 0.11 | 0.11 |
wumpus1.pl | 0.10 | 0.10 |
wumpus2.pl.unsound | 0.17 | 0.16 |
yaqueens.pl | 0.10 | 0.10 |
yasmm.pl | 0.10 | 0.10 |
zebra.pl | 0.10 | 0.09 |
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. |
|