China's logo

Home

Systems

Documentation

Experiments

Benchmarks

Projects

People

Links

About

Precision comparison: Pos x SFL versus Enhanced Pos

[Page last updated on 2001/02/10 18:04:22.]


The precision comparison (goal independent analysis, without structural information, full report)

Benchmark PairsIndep VarsGroundFree Linear
4colors.pl123123/1232319/194/423/23
4men.pl1515/15256/617/1725/25
8puzzle.pl2111/11207/74/416/16
CoVer.pl671518/518552123/123180/180512/512
LeanTaP.pl147102/10213823/2326/2677/77
QG5-7_mg4.pl620382/38238722/2244/44164/164
Vworld.pl238170/17326959/5943/43160/160
WAMcomp.pl17474/741219/919/1958/58
XRayVer33.pl1789824/8241344119/119166/166637/637
aaaaa.pl98024250/42944645328/328631/6312286/2286
ac_fix.pl6541/417111/1122/2237/37
action.pl8036/36901/122/2248/48
adventure.pl17456/5616911/1127/27108/108
aircraft.pl628581/583792209/209259/259774/774
ale_hpsg.pl??/???/??/??/?
aleph.pl.unsound58354857/48572671495/495478/4781839/1839
all_permutations.pl2110/10160/05/512/12
altappend.pl134/4140/02/214/14
ann.pl418216/21624316/1641/41133/133
append.pl31/130/01/13/3
apprevlast.pl92/2120/03/312/12
aqua_c.pl??/???/??/??/?
arch1.pl465192/1923209/964/64144/144
astar.pl2718/18319/96/629/29
attractions.pl3514/14331/118/1827/27
attractions2.pl153/3211/12/217/17
autoc.pl.unsound6622/228221/2113/1354/54
back52.pl.unsound172628752/877011160838/8381653/16535581/5581
barnes_hut.pl414389/38913655/552/2136/136
bgg.pl00/030/00/03/3
bid.pl4130/304817/175/542/42
bigot.pl3835/353519/198/835/35
bintrees.pl289/9301/14/430/30
birds.pl187/7455/51/118/18
bmtp.pl37411626/16292186142/142321/3211172/1172
bnet.pl201155/15511621/2110/1098/98
bnet2.pl201155/15511621/2110/1098/98
boyer_wamcc.pl8118/18793/37/752/52
bp0-6.pl264215/21511533/3319/1990/90
browse_wamcc.pl6147/47499/96/642/42
bryant.pl12521112/111233032/324/4210/210
bup-all.pl18373/7317816/1642/42105/105
cal_wamcc.pl2929/292418/183/324/24
cardsol.pl2316/163112/127/731/31
caslog.pl133827126/71325298569/569390/3902115/2115
cg_parser.pl254135/13527732/3260/60196/196
chartgraph.pl206151/15122872/7240/40162/162
chasen-all.pl9061/6111324/2412/1268/68
chat80.pl37192625/26261644342/342308/3081294/1294
chat_parser.pl20351387/1387744128/128136/136552/552
chess.pl267225/22521589/8943/43186/186
chillin.pl54973802/38021858190/190377/3771135/1135
chris.pl7865/658425/2512/1275/75
circan.pl147/7247/74/414/14
classic.pl8740/401037/728/2894/94
cobweb.pl777455/45536230/3038/38125/125
colan-all.pl.unsound??/???/??/??/?
color.pl1210/10165/53/310/10
compound.pl86/6107/71/110/10
conman.pl218/8405/52/219/19
consultant.pl2316/163518/182/232/32
crip.pl11067/6710625/259/973/73
cry_add.pl3317/17353/34/435/35
cry_mult.pl7450/50487/74/446/46
crypt_wamcc.pl1813/132011/110/020/20
cs2.pl166115/1159431/314/466/66
cselcomp.pl??/???/??/??/?
cugini_utilities.pl386177/17743277/7763/63250/250
curry2indy.pl.unsound763419/419747101/101228/228556/556
curry2prolog.pl3100879/8792058258/258272/272865/865
custord.pl1512/122014/140/015/15
cycles.pl.unsound6529/29595/57/742/42
dbqas.pl.unsound186138/13816030/3041/41127/127
dcg1.pl4227/274214/1413/1342/42
dcg_jp.pl519/9390/06/617/17
dcg_ok.pl6113/13452/24/417/17
demo_fsa2.pl44/484/40/08/8
dfid.pl1210/10219/97/719/19
dfsscc.pl6827/27809/916/1654/54
diagnoser.pl.unsound24151219/12191804207/207264/264843/843
dialog.pl5232/327130/305/560/60
difflists.pl3316/16418/83/323/23
diffsimpsv.pl2313/13249/94/419/19
dioph.pl4034/34289/97/728/28
disj_r.pl4525/255824/244/446/46
dlists.pl269/9310/07/722/22
dposan.pl173107/10720744/4433/33130/130
draw.pl307267/26713431/3112/12122/122
elex_scanner.pl568481/48116118/1884/84154/154
eliza.pl11249/5510414/1414/1466/66
english.pl3729/293013/1310/1030/30
esfm.pl83/3163/33/37/7
essln.pl.unsound837531/531649123/12399/99414/414
exp.pl60/0120/06/612/12
exp_code.pl77/7148/83/311/11
exshell.pl3126/263917/171/126/26
ezan.pl17581215/1215949147/147137/137707/707
factors.pl1313/1388/80/08/8
famtree_lguzik.pl5914/143719/196/627/27
fecht.pl19385/85331/110/1033/33
fft.pl6557/574728/282/247/47
files.pl15167/6717261/6120/20116/116
flatten.pl52/272/21/17/7
foil.pl520409/41430339/3982/82209/209
fraction.pl3322/22227/73/322/22
french.pl4837/373313/1313/1333/33
fst.pl1814/142013/134/420/20
ftfsg.pl273143/14328117/1775/75167/167
ftfsg2.pl393261/26141494/9478/78289/289
ga.pl433364/36414755/5515/15123/123
gauss.pl3729/293714/142/237/37
gcd.pl5348/48239/90/023/23
gene.pl8534/341273/334/3438/38
genlang-2.5.pl.unsound??/???/??/??/?
gilberto.pl191/1120/02/22/2
glop.pl152131/13112155/5517/17115/115
gnup-1.1.0_pl2wam.pl19011169/11811243222/222217/217875/880
gof.pl91/180/02/23/3
grammar.pl1611/11174/44/417/17
grips.pl.unsound13670/7015214/1423/2376/76
gulp.pl.unsound5221/219913/1318/1855/55
gulp3.pl10532/3211911/1118/1860/60
ham_bshort.pl6933/335310/1010/1045/45
hamiltonian.pl1610/102212/123/322/22
hanoi.pl2825/253719/191/132/32
hanoiapp.pl138/881/11/17/7
hebtrans.pl1411/113223/232/231/31
idt.pl154102/10214633/3321/2195/95
ilap.pl10085/857819/196/653/53
ileanTAP.pl373266/2661231/144/4498/98
ili.pl45634/342946/615/1554/54
ime_v2-2-1.pl227177/17710510/1016/1671/71
index.pl.unsound1187658/65862943/43108/108335/335
indy2curry.pl181142/14212838/387/7107/107
indyv1.8.pl1103518/52179473/7370/70434/434
intervals.pl6238/38706/610/1069/69
jons.pl3832/323918/182/235/35
jons2.pl3832/324120/202/237/37
jugs.pl3321/21325/58/828/28
kalah_r.pl182158/15812442/4210/10117/117
kilimanjaro-all.pl2996619107/19134145351998/19983089/308910258/10258
kipeg.pl1916/162012/122/220/20
knight.pl5641/414410/109/943/43
kore-ie.pl.unsound1283694/69469227/27176/176374/374
lc.pl5317/17563/314/1442/42
ldl-all.pl??/???/??/??/?
leantap_small.pl2213/13180/09/913/13
lfcpc.pl398230/23030342/4229/29157/157
lg_sys.pl??/???/??/??/?
lgt20.pl.unsound21681041/1041122577/77326/326526/526
life.pl12597/976315/152/244/44
lilp.pl275168/16823912/1283/83147/147
linTAP.pl??/???/??/??/?
lin_reg.pl7368/68188/80/018/18
linger_old.pl.unsound621278/27855187/87132/132313/313
linking1.pl167/791/13/36/6
linking2.pl192/2130/02/25/5
linloss.pl21/142/20/02/2
linsys.pl3124/243414/142/233/33
linus.pl.unsound1076771/780958259/259205/205707/707
lisp_interpreter.pl6914/14571/11/119/19
ljt.pl25730/301456/623/2347/47
llprover.pl314198/19834286/8625/25264/264
lnprolog.pl.unsound253149/14924446/4645/45163/163
log_interpreter.pl26869/6926514/1433/33104/104
logen.pl.unsound19386/8628051/5140/40179/179
lojban.pl713281/28147651/5179/79220/220
lookup.pl31/150/02/25/5
loops.pl3012/12405/53/333/33
lowest.pl20/050/00/01/1
lpe.pl219104/10425128/2859/59135/135
lptp-1.05.pl36311672/16722585247/247377/3771365/1365
lptp-1.06.pl36311672/16722587249/249377/3771366/1366
luthercomp.pl544282/28248156/5695/95342/342
magicex.pl11/130/03/33/3
map.pl.unsound38042149/21493301414/414472/4721784/1784
maps.pl3231/311610/105/516/16
markus.pl758556/55649674/74152/152407/407
mastermind.pl3631/314719/196/641/41
math.pl7736/368326/2610/1063/63
mathlib.pl8440/409026/2613/1370/70
matrix.pl4033/33347/70/034/34
maze.pl5046/463621/217/736/36
mdgtools-1.0.pl??/???/??/??/?
medic4.pl4728/286015/158/849/49
medic5.pl6634/347318/1810/1057/57
meta_qsort_wamcc.pl113/3170/00/08/8
metutor.pl588379/379622148/148157/157458/458
mfoil.pl558413/41431429/2987/87210/210
mgpl4.pl1028782/78262186/86236/236455/455
mgtp-g-I-temp.pl1010530/53059448/48155/155432/432
mikev203.pl791342/34289552/52177/177410/410
mixtus-all.pl40562482/24952331164/164513/5131419/1419
mm.pl523233/23337343/4350/50231/231
monkey.pl139/9144/46/612/12
motel.pl.unsound71043532/35403830188/1881027/10271815/1815
mpuzzle.pl2215/15204/46/620/20
mt-all.pl.unsound2051512189/12217137491754/17542045/20458194/8194
multagnt.pl17350/5017119/1941/41101/101
music.pl105/5112/22/29/9
nand_wamcc.pl??/???/??/??/?
nani.pl4833/338230/3013/1359/59
natded.pl262140/14029843/4360/60215/215
nbody.pl297263/26317065/657/7160/160
ncDP.pl7539/39609/99/946/46
neural.pl10580/8010230/304/495/95
newexpobdd.pl667617/617530/034/3453/53
newton.pl4744/442810/100/028/28
nladb.pl3328/283822/222/232/32
noughts_and_crosses.pl2922/22449/923/2344/44
npuzzle.pl6053/534730/306/647/47
occ.pl41/160/01/15/5
ocheck0.pl10/030/01/12/2
ocheck1.pl70/0100/00/00/0
ocheck2.pl1212/1288/80/08/8
ocheck3.pl4533/33183/39/918/18
ocheck4.pl63/3120/02/28/8
ocheck5.pl20/050/02/22/2
ochecklin.pl10/030/03/33/3
oldchina.pl35842290/22932188295/295297/2971470/1470
ordsets.pl5327/27251/14/425/25
othello.pl8054/547831/317/764/64
pairs.pl72/280/01/16/6
palindrome.pl146/6140/00/010/10
pappiall.pl1907682/6872354141/141325/325578/578
pappienglishall.pl436163/16350763/6359/59152/152
parser_dcg.pl218117/11718328/2862/62149/149
path.pl2314/14328/88/823/23
peephole1.pl329178/17820722/2272/72182/182
peg.pl4132/322716/162/227/27
pentomino.pl199154/15413941/415/580/80
permute.pl2010/10231/11/123/23
petsan.pl38392604/26141467278/278223/223940/940
peval.pl1079606/61462945/45124/124379/379
pg.pl3932/323113/132/231/31
pillow-1.1.pl755438/438667158/158162/162586/586
piza-0.9.22.pl.unsound124147287/731895441370/13701404/14044800/4800
pl2wam.pl19261182/11941238212/212221/221864/869
plaiclp.pl30321728/17281611178/178213/213956/956
plcafe_lib.pl315227/22725245/4525/25150/150
pljava.pl706379/37948275/7581/81312/312
pmatch.pl996708/70835051/5175/75256/256
poker.pl715558/55846583/8372/72412/412
poly10.pl253/3263/30/012/12
powers.pl2523/23167/70/016/16
powerset.pl72/280/01/15/5
press.pl14770/7013324/2412/1271/71
primefactors.pl1010/101111/110/011/11
primes.pl3431/31206/60/020/20
primes2.pl106/6122/21/112/12
primes3.pl98/8125/50/012/12
prism-1.1.pl.unsound22201741/17411726371/371420/4201275/1275
prointrp.pl103/3141/15/512/12
prolog.pl76/6234/41/113/13
protein.pl.unsound18271144/11441365171/171250/250820/820
puzzle.pl182/2280/012/1228/28
pythagoras.pl86/6101/13/39/9
q8.pl153/3150/04/49/9
qdjanus.pl.unsound37102577/25782449421/421240/2401296/1296
qmlattice.pl.unsound743441/441889197/197185/185752/752
qplan.pl224155/15515527/2724/24121/121
queens.pl2317/17165/52/216/16
queens8_wamcc.pl115/5163/31/115/15
queens_wamcc.pl147/7164/41/116/16
quotan.pl564293/29340938/3857/57209/209
raytrace.pl741684/684383162/16219/19376/376
raytrace2.pl760703/703391172/17219/19386/386
raytrace_inst.pl892805/805401160/16018/18394/394
rdtok.pl7455/556826/264/462/62
reach.pl101/190/02/25/5
read.pl233150/15014644/446/6109/109
reducer.pl169127/12711621/2119/19100/100
reform_compiler.pl.unsound??/???/??/??/?
reg.pl1609826/82670849/4980/80354/354
river.pl.unsound93/3252/24/48/8
river1.pl.unsound62/2152/23/38/8
robot.pl6747/477220/2010/1063/63
rsnp.pl3012/12344/43/317/17
rsp.pl6121/21404/42/211/11
rubik.pl11558/5819356/5610/10131/131
salvini.pl.unsound819608/608626148/148121/121494/494
sax.pl33341797/17972030272/272235/2351045/1045
sb_asm.pl240147/14719420/2056/56158/158
scc.pl25484/841108/89/940/40
schedule.pl107107/1074239/391/142/42
sdda.pl9827/27894/419/1938/38
search_lguzik.pl10959/5910628/2810/10106/106
semi.pl4733/334823/233/348/48
semigroup.pl7831184/18419796/614/1432/32
sets.pl101/1110/01/17/7
sg_mc_big.pl674637/6372486/612/1248/48
shape.pl98/8106/60/08/8
shapiro.pl627411/41166937/37129/129344/344
sharing_enum.pl302182/18229695/9528/28257/257
shopper_shop.pl3225/257917/1716/1676/76
shortest.pl2615/15358/89/926/26
sieve.pl98/8126/60/012/12
sim.pl1502911/91146576/7631/31260/260
sim_v5-2.pl243105/10528556/5626/26194/194
simple_analyzer.pl518382/38225428/2838/38165/165
slice-all.pl851453/453814139/139124/124595/595
som4.pl157/7110/00/011/11
sorts.pl6422/22702/27/766/66
sprftp.pl.unsound1477716/71683955/55166/166384/384
spsys.pl1617886/886114288/88161/161559/559
stack-opt.pl3015/15163/30/011/11
staticcalls.pl2316/16275/58/824/24
stats.pl3835/35137/70/013/13
strings_texts.pl305197/197342139/13939/39328/328
strips.pl333163/16329420/2092/92209/209
synth.pl1473873/8751068126/126170/170649/649
tak_wamcc.pl65/542/20/04/4
ternary.pl40/071/11/17/7
tfqueens.pl148/8123/31/112/12
tictactoe.pl170165/1657113/1322/2270/70
trees1.pl7150/506329/295/551/51
trees2.pl11092/929437/3715/1584/84
trs.pl12064/64806/610/1034/34
tsp.pl251219/21911026/2619/1998/98
tsp_ga.pl16391/9112420/2020/2090/90
tsp_na.pl3027/272315/152/218/18
tsp_sa.pl142108/1088819/1916/1661/61
unify.pl414316/31615218/1839/39114/114
untupler.pl.unsound12271/7112315/1514/1455/55
vhdl97_parser.pl24381148/11482287260/260556/5561683/1683
vsp.pl8262/627613/1335/3571/71
warplan.pl5829/29650/020/2037/37
wumpus1.pl5134/344711/110/017/17
wumpus2.pl.unsound535393/410466201/20164/64359/359
yaqueens.pl2013/13278/83/327/27
yasmm.pl3930/303013/134/430/30
zebra.pl2724/241712/121/117/17


Column headers legenda

Benchmark Pairs Indep Vars Ground Free Linear
The name of the benchmark. The total number of possible pair-sharings of argument positions in the reachable part of the program The total number of argument pairs that were declared independent by each analysis. The total number of argument positions in the reachable part of the program. The total number of argument positions that were declared ground by each analysis. The total number of argument positions that were declared free by each analysis. The total number of argument positions that were declared linear by each analysis.


Background colors legenda

For those looking at this page through color-enabled devices:
Background color Meaning
Reference value Table cells with a light blue background indicate a reference value, which is the same (or has been made the same) for both analyses.
Precision improvement Table cells with a light green background indicate that the investigated technique led to an improvement in precision.
Precision loss Table cells with a red background indicate that the investigated technique led to a precision loss.
Same precision Table cells with a normal background indicate that the same precision was obtained with either analysis.
Unknown Table cells with a light brown background indicate that a comparison was not possible because at least one analysis timed-out.
© The China
Development Group
china@cs.unipr.it

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