China's logo

Home

Systems

Documentation

Experiments

Benchmarks

Projects

People

Links

About

Precision comparison: Pos x SFL versus Free-Lin order

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


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

Benchmark PairsIndep VarsGroundFree Linear
4colors.pl246246/2464627/2716/1646/46
4men.pl3030/305045/455/550/50
8puzzle.pl4242/424031/319/940/40
CoVer.pl1335996/9961092271/27176/76478/478
LeanTaP.pl295146/14627852/5223/2384/84
WAMcomp.pl351225/22524528/2844/44105/105
ac_fix.pl130130/130142133/1337/7140/140
action.pl16015/151804/46/610/10
adventure.pl354250/250345105/10532/32145/145
aircraft.pl10921091/109113391176/1176124/1241339/1339
all_permutations.pl4222/22322/29/911/11
altappend.pl2617/17280/04/428/28
ann.pl835564/564484112/11276/76193/193
append.pl60/060/00/00/0
apprevlast.pl187/7242/22/24/4
aqua_c.pl??/???/??/??/?
astar.pl5755/556547/4711/1162/62
attractions.pl7011/11665/51/119/19
attractions2.pl3316/16455/54/420/20
barnes_hut.pl824768/768262190/19027/27217/217
bid.pl8282/829676/7618/1896/96
bigot.pl8181/817758/5812/1277/77
bintrees.pl5635/35602/223/2355/55
birds.pl3635/359073/734/481/81
bnet.pl402386/386232159/15930/30190/190
bnet2.pl402386/386232159/15930/30190/190
boyer_wamcc.pl16241/411584/417/1721/21
bp0-6.pl529524/524232185/18517/17208/208
browse_wamcc.pl122110/1109846/4611/1168/68
bryant.pl24162160/2160612212/21258/58270/270
cal_wamcc.pl5959/595042/427/750/50
cardsol.pl4948/486546/469/965/65
caslog.pl??/???/??/??/?
chasen-all.pl15972/7218756/5633/3391/91
chat80.pl74305337/53373270872/872585/5851613/1613
chat_parser.pl40703332/33321484505/505357/357908/908
chess.pl512476/476399218/21855/55278/278
chris.pl148147/147152121/12119/19152/152
circan.pl3727/275314/147/723/23
color.pl2827/273717/175/527/27
compound.pl1616/162014/146/620/20
conman.pl4523/238311/1112/1232/32
consultant.pl4646/467054/5416/1670/70
crip.pl219219/219210180/18025/25210/210
cry_add.pl6640/407117/1712/1230/30
cry_mult.pl148127/1279750/5013/1363/63
crypt_wamcc.pl3636/364031/310/040/40
cs2.pl330330/330184148/14835/35184/184
curry2indy.pl.unsound14861414/14141415887/887336/3361239/1239
custord.pl3027/274019/197/728/28
cycles.pl.unsound13759/5912514/1421/2137/37
dcg1.pl8585/858660/6021/2186/86
demo_fsa2.pl86/6164/41/16/6
dfid.pl2424/244236/366/642/42
dfsscc.pl11256/5612323/2321/2150/50
diffsimpsv.pl4645/454840/406/646/46
dioph.pl8079/795635/3515/1556/56
disj_r.pl9090/9011696/9619/19116/116
dlists.pl520/0620/00/00/0
dposan.pl332195/19537982/8248/48156/156
draw.pl614610/610268189/18941/41237/237
eliza.pl224115/11520869/6933/33106/106
english.pl7467/676028/284/460/60
ezan.pl34502011/20111849453/453277/277751/751
factors.pl2626/261611/115/516/16
famtree_lguzik.pl110100/1005833/332/235/35
fecht.pl386278/278661/133/3366/66
fft.pl130123/1239446/4619/1994/94
flatten.pl102/2142/21/13/3
fraction.pl6666/664432/3212/1244/44
french.pl9689/896634/344/466/66
fst.pl3627/274024/246/630/30
ga.pl867861/861296203/20366/66292/292
gauss.pl4646/464637/379/946/46
gcd.pl106103/1034619/1911/1146/46
gilberto.pl380/0240/00/00/0
gnup-1.1.0_pl2wam.pl38022287/22872471566/566392/3921053/1053
gof.pl1810/10160/010/1011/11
grammar.pl3228/28347/716/1634/34
ham_bshort.pl138102/10210660/6021/2184/84
hamiltonian.pl3333/334438/384/444/44
hanoi.pl4039/395849/494/453/53
hanoiapp.pl2626/261614/142/216/16
hebtrans.pl2422/225227/273/340/40
ilap.pl200185/18515660/6015/1575/75
ileanTAP.pl??/???/??/??/?
ime_v2-2-1.pl454409/409210101/10137/37143/143
indy2curry.pl366360/360262187/18743/43256/256
intervals.pl11834/341346/614/1420/20
jons.pl8076/767934/3421/2167/67
jons2.pl5656/565830/3011/1143/43
jugs.pl6932/32675/513/1322/22
kalah_r.pl364364/364246199/19938/38246/246
kipeg.pl3838/384033/336/640/40
knight.pl115100/1009125/2513/1388/88
lc.pl10733/3311413/1316/1630/30
leantap_small.pl4419/19360/06/610/10
life.pl250248/248126109/10915/15126/126
linTAP.pl??/???/??/??/?
lin_reg.pl146146/1463627/279/936/36
linking2.pl3821/21260/015/1518/18
linloss.pl41/182/20/02/2
linsys.pl6262/626859/598/868/68
lisp_interpreter.pl13852/521143/320/2026/26
ljt.pl515515/515292277/27712/12292/292
lojban.pl1440835/?958109/?214/?340/?
lookup.pl65/5102/21/110/10
loops.pl6344/448316/1615/1576/76
lowest.pl42/2100/03/34/4
lptp-1.05.pl70923744/374450211327/1327566/5661960/1960
lptp-1.06.pl70923744/374450211329/1329566/5661962/1962
magicex.pl22/260/01/16/6
maps.pl6464/643221/218/832/32
mastermind.pl7262/629255/559/965/65
mathlib.pl8743/439822/2210/1033/33
matrix.pl8075/756818/1815/1568/68
maze.pl7878/785849/497/758/58
meta_qsort_wamcc.pl239/9361/15/57/7
mgpl4.pl1243901/901916264/264104/104440/440
mgtp-g-I-temp.pl20131899/18991177664/664164/164863/863
mm.pl997496/49667773/7397/97199/199
monkey.pl2622/222823/230/023/23
mpuzzle.pl4436/364118/184/426/26
music.pl2110/10243/36/612/12
nand_wamcc.pl13751375/1375589519/51962/62589/589
nani.pl9694/94164118/11820/20145/145
nbody.pl598480/480345157/15742/42204/204
ncDP.pl150150/15012099/9920/20120/120
neural.pl196182/182184123/12317/17147/147
newton.pl9492/925622/2211/1156/56
noughts_and_crosses.pl5853/538865/658/888/88
occ.pl80/0120/00/00/0
ocheck0.pl20/060/03/33/3
ocheck1.pl147/7200/010/1010/10
ocheck2.pl2420/20168/88/816/16
ocheck3.pl9048/48366/615/1521/21
ocheck4.pl127/6243/39/915/15
ocheck5.pl41/1100/03/34/4
ochecklin.pl20/060/02/23/3
oldchina.pl??/???/??/??/?
ordsets.pl10680/80502/228/2850/50
othello.pl163161/161159130/13013/13149/149
pairs.pl145/5160/03/33/3
palindrome.pl2823/23287/76/625/25
parser_dcg.pl436336/33636661/61202/202279/279
path.pl4644/446448/486/657/57
peephole1.pl658370/37041427/2770/70165/165
peg.pl8383/835645/459/956/56
pentomino.pl393342/342268128/12840/40170/170
permute.pl4026/26467/715/1522/22
petsan.pl??/???/??/??/?
pg.pl7878/786251/516/662/62
pmatch.pl??/???/??/??/?
poker.pl14241095/1095924410/410104/104534/534
poly10.pl5050/505244/448/852/52
powers.pl5050/503217/179/932/32
powerset.pl142/2160/01/11/1
press.pl294174/17426644/4430/3077/77
primefactors.pl2020/202215/155/522/22
primes.pl6867/674030/306/640/40
primes2.pl2020/202420/204/424/24
primes3.pl1818/182420/204/424/24
prointrp.pl209/9281/16/67/7
puzzle.pl3624/24568/812/1256/56
pythagoras.pl1616/162013/135/520/20
q8.pl3620/20367/79/923/23
qplan.pl448439/439310232/23252/52299/299
queens.pl4646/463226/266/632/32
queens8_wamcc.pl2323/233428/285/534/34
queens_wamcc.pl2929/293428/285/534/34
quotan.pl1134646/646827149/14998/98286/286
raytrace.pl14791391/1391767523/52395/95620/620
raytrace2.pl15161480/1480781626/626106/106733/733
raytrace_inst.pl17811680/1680803541/54187/87644/644
rdtok.pl148138/13813682/8227/27126/126
read.pl470384/384298127/12764/64209/209
reducer.pl322134/13421653/5327/2785/85
reform_compiler.pl.unsound??/???/??/??/?
robot.pl13787/8714732/3219/1982/82
rsnp.pl6044/446826/2611/1140/40
rsp.pl12294/948025/255/535/35
rubik.pl230182/182384172/17255/55235/235
sb_asm.pl394330/330346165/16532/32210/210
scc.pl508506/506220174/17426/26220/220
schedule.pl214214/2148466/6618/1884/84
sdda.pl19769/6918028/2825/2553/53
search_lguzik.pl2019/192813/133/316/16
semi.pl9378/789429/2928/2888/88
semigroup.pl1566211525/1152539581741/174115/151756/1756
sets.pl2011/11220/07/718/18
sg_mc_big.pl13481269/126949620/2017/1742/42
shape.pl1814/14206/60/06/6
sharing_enum.pl289160/16025769/6949/49136/136
shopper_shop.pl5955/55148105/1056/6122/122
shortest.pl5534/347323/238/841/41
sieve.pl1818/182420/204/424/24
sim_v5-2.pl464462/462548425/425111/111548/548
simple_analyzer.pl1036661/66150889/8969/69165/165
sorts.pl10671/711143/333/33112/112
sprftp.pl.unsound29221689/16891637278/278186/186492/492
stack-opt.pl6040/40323/310/1016/16
staticcalls.pl4930/30577/79/918/18
stats.pl7676/762616/1610/1026/26
strips.pl633226/22649929/2955/55100/100
synth.pl29491994/19942128547/547276/276851/851
tak_wamcc.pl1211/1182/21/18/8
ternary.pl84/4143/32/214/14
tfqueens.pl2828/28248/83/324/24
tictactoe.pl343342/342145104/10412/12127/127
trees1.pl142110/11012665/657/780/80
trs.pl240104/?16012/?11/?32/?
tsp.pl503489/489222123/12338/38220/222
tsp_ga.pl324224/22424480/8039/39122/122
tsp_na.pl6059/594626/269/941/41
tsp_sa.pl284233/23317685/8520/20109/109
unify.pl828647/64730470/7038/38154/154
vhdl97_parser.pl48802583/25834587659/659944/9441663/1663
vsp.pl11344/4410110/104/414/14
yaqueens.pl4141/415646/468/856/56
yasmm.pl7861/616031/316/637/37
zebra.pl5454/543419/1911/1134/34


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