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 independent analysis, with structural information, full report)

Benchmark PairsIndep VarsGroundFree Linear
4colors.pl123123/1232319/194/423/23
4men.pl1515/15256/617/1725/25
8puzzle.pl301242/2425119/197/749/49
CoVer.pl13341207/1207684216/216188/188654/654
LeanTaP.pl161114/11414123/2331/3182/82
QG5-7_mg4.pl17441014/101461239/39166/166311/311
Vworld.pl391315/31528668/6846/46173/173
WAMcomp.pl231110/11013511/1123/2367/67
XRayVer33.pl1931868/8681393116/116183/183668/668
aaaaa.pl133337265/72655265427/427990/9902863/2863
ac_fix.pl6541/41688/822/2234/34
action.pl8743/43922/225/2551/51
adventure.pl312106/10620922/2240/40134/134
aircraft.pl1861118583/1858326171410/1410963/9632611/2615
ale_hpsg.pl??/???/??/??/?
aleph.pl.unsound63135293/52922776544/544535/5351936/1936
all_permutations.pl2110/10160/05/512/12
altappend.pl134/4140/02/214/14
ann.pl606316/31628816/1665/65160/160
append.pl31/130/01/13/3
apprevlast.pl113/3130/04/413/13
aqua_c.pl??/???/??/??/?
arch1.pl726384/38438110/10100/100194/194
astar.pl8671/714619/197/744/44
attractions.pl??/???/??/??/?
attractions2.pl3611/11280/012/1221/23
autoc.pl.unsound7428/288522/2214/1456/56
back52.pl.unsound??/???/??/??/?
barnes_hut.pl590544/54414959/5910/10149/149
bgg.pl00/030/00/03/3
bid.pl4222/224712/125/538/38
bigot.pl123119/1194831/319/948/48
bintrees.pl4924/24361/16/636/36
birds.pl208/8465/52/219/19
bmtp.pl47542597/25982443172/172435/4351375/1375
bnet.pl230176/17612422/2216/16106/106
bnet2.pl230176/17612422/2216/16106/106
boyer_wamcc.pl8817/17812/28/853/53
bp0-6.pl296240/24012337/3719/1997/97
browse_wamcc.pl6851/51519/97/743/43
bryant.pl14641322/132235741/415/5236/236
bup-all.pl204107/10718126/2644/44112/112
cal_wamcc.pl2929/292418/183/324/24
cardsol.pl3423/233310/109/933/33
caslog.pl??/???/??/??/?
cg_parser.pl376223/22330437/3770/70223/223
chartgraph.pl232174/17423265/6554/54165/165
chasen-all.pl10368/6811319/1914/1466/66
chat80.pl50773752/37521833376/376408/4081439/1439
chat_parser.pl27061888/1888829149/149166/166604/604
chess.pl626512/51427795/9578/78233/233
chillin.pl81355737/57372221221/221522/5221353/1353
chris.pl156143/14310437/3725/25102/102
circan.pl??/???/??/??/?
classic.pl12767/671188/841/41109/109
cobweb.pl15941201/119948453/5381/81212/212
colan-all.pl.unsound??/???/??/??/?
color.pl1513/13175/53/311/11
compound.pl31/152/21/15/5
conman.pl3621/21467/73/324/24
consultant.pl353344/3446041/414/457/57
crip.pl162108/10812329/2914/1485/85
cry_add.pl3618/18363/35/536/36
cry_mult.pl7754/54498/86/647/47
crypt_wamcc.pl3429/292415/150/024/24
cs2.pl574392/39216067/678/8120/120
cselcomp.pl7295?/51982708?/235?/668?/2012
cugini_utilities.pl462233/23346181/8176/76276/276
curry2indy.pl.unsound15361187/1187918268/268217/217713/713
curry2prolog.pl36101402/14022149302/302289/289925/925
custord.pl1310/101913/130/014/14
cycles.pl.unsound10850/50695/512/1251/51
dbqas.pl.unsound296246/24618958/5850/50156/156
dcg1.pl155144/1446137/3713/1361/61
dcg_jp.pl5411/11400/07/718/18
dcg_ok.pl6313/13462/24/416/16
demo_fsa2.pl44/473/30/07/7
dfid.pl1816/162210/109/920/20
dfsscc.pl9943/43899/925/2563/63
diagnoser.pl.unsound40212497/24982082229/229425/4251086/1086
dialog.pl6239/397531/318/864/64
difflists.pl5740/40489/916/1647/47
diffsimpsv.pl2111/11238/84/418/18
dioph.pl4539/392910/108/829/29
disj_r.pl5130/306126/265/549/49
dlists.pl5132/32390/017/1731/31
dposan.pl272196/19622856/5641/41147/147
draw.pl307267/26713431/3112/12122/122
elex_scanner.pl566483/48316020/2083/83153/153
eliza.pl17691/9112216/1618/1873/73
english.pl6155/553621/219/936/36
esfm.pl136/6183/34/48/8
essln.pl.unsound1008699/699693146/146107/107465/465
exp.pl148/8164/46/616/16
exp_code.pl1110/101710/103/314/14
exshell.pl3227/274017/172/227/27
ezan.pl20341446/1446993160/160161/161755/755
factors.pl1313/1388/80/08/8
famtree_lguzik.pl5914/143618/186/626/26
fecht.pl17688/88310/015/1531/31
fft.pl10395/955738/382/257/57
files.pl185105/10518069/6920/20125/125
flatten.pl52/272/21/17/7
foil.pl593472/47232239/39104/104224/224
fraction.pl3725/25237/74/423/23
french.pl6051/513517/1712/1235/35
fst.pl2016/161811/114/418/18
ftfsg.pl311173/17329118/1879/79180/180
ftfsg2.pl447312/31241989/8985/85297/297
ga.pl488414/41415561/6123/23136/136
gauss.pl4636/364016/162/240/40
gcd.pl5348/48239/90/023/23
gene.pl8735/351272/235/3538/38
genlang-2.5.pl.unsound5734?/45652296?/795?/298?/1792
gilberto.pl62/270/03/33/3
glop.pl193167/16711643/4322/22110/110
gnup-1.1.0_pl2wam.pl21591367/13671293229/229243/243920/920
gof.pl61/170/03/35/5
grammar.pl5353/532718/188/827/27
grips.pl.unsound17288/8816313/1326/2677/77
gulp.pl.unsound6533/3310313/1322/2259/59
gulp3.pl11133/331209/920/2058/58
ham_bshort.pl10049/495810/1010/1045/45
hamiltonian.pl4234/343019/195/530/30
hanoi.pl2826/263720/201/132/32
hanoiapp.pl138/881/11/17/7
hebtrans.pl132128/1285542/424/454/54
idt.pl211145/14516132/3230/30105/105
ilap.pl10085/857819/196/653/53
ileanTAP.pl400288/2881251/146/4699/99
ili.pl50189/8930813/1321/2174/74
ime_v2-2-1.pl246189/18910910/1018/1874/74
index.pl.unsound1244745/74564446/46114/114348/348
indy2curry.pl225178/17814040/408/8119/119
indyv1.8.pl1400733/73387290/9090/90494/494
intervals.pl138107/1079515/1517/1794/94
jons.pl39033894/389420132/32117/117197/197
jons2.pl39033894/389420233/33117/117198/198
jugs.pl6644/44381/116/1633/33
kalah_r.pl435385/38518052/5232/32180/180
kilimanjaro-all.pl3564124586/24586151462046/20463439/343910856/10856
kipeg.pl3529/292412/125/524/24
knight.pl9069/695312/1215/1552/52
kore-ie.pl.unsound1464826/82671928/28194/194402/402
lc.pl14183/83802/241/4160/60
ldl-all.pl??/???/??/??/?
leantap_small.pl2113/13170/08/812/12
lfcpc.pl542344/34431640/4027/27159/159
lg_sys.pl??/???/??/??/?
lgt20.pl.unsound22721463/1463125486/86368/368671/671
life.pl132101/1016515/152/246/46
lilp.pl323200/20025612/1296/96161/161
linTAP.pl??/???/??/??/?
lin_reg.pl7368/68188/80/018/18
linger_old.pl.unsound18611378/1356731184/184145/145432/432
linking1.pl1610/1091/13/39/9
linking2.pl192/2130/03/37/7
linloss.pl22/242/22/24/4
linsys.pl3124/243414/142/233/33
linus.pl.unsound1146847/847956247/247219/219715/715
lisp_interpreter.pl6914/14571/11/119/19
ljt.pl30653/531605/533/3357/57
llprover.pl577438/43839699/9941/41309/309
lnprolog.pl.unsound368246/24626660/6050/50183/183
log_interpreter.pl378140/14029813/1344/44120/120
logen.pl.unsound235116/11629352/5242/42189/189
lojban.pl997568/56850494/9485/85244/244
lookup.pl1511/1180/03/38/8
loops.pl3314/14425/55/536/36
lowest.pl84/480/01/13/3
lpe.pl313185/18527223/2379/79154/154
lptp-1.05.pl45782193/21952798313/313436/4361507/1507
lptp-1.06.pl45792194/21962805316/316436/4361509/1509
luthercomp.pl13911036/103663559/59224/224477/477
magicex.pl11/130/03/33/3
map.pl.unsound48362836/28363596438/438595/5951970/1970
maps.pl3432/321710/106/617/17
markus.pl16601234/123457883/83181/181457/457
mastermind.pl6049/495926/267/750/50
math.pl9649/499027/2713/1370/70
mathlib.pl10454/549827/2717/1778/78
matrix.pl4436/36367/71/136/36
maze.pl6457/574020/2011/1140/40
mdgtools-1.0.pl??/???/??/??/?
medic4.pl6139/396516/169/954/54
medic5.pl9044/447915/1512/1260/60
meta_qsort_wamcc.pl113/3170/00/08/8
metutor.pl657430/430631139/139171/171460/460
mfoil.pl671490/49134328/28101/101232/232
mgpl4.pl16941322/132270396/96275/275524/524
mgtp-g-I-temp.pl1043557/55762541/41206/206457/457
mikev203.pl915402/40293755/55196/196431/431
mixtus-all.pl72954141/41412843171/171730/7301713/1713
mm.pl679297/29741040/4062/62252/252
monkey.pl9276/762811/119/928/28
motel.pl.unsound88654921/49214101181/1811216/12161985/1985
mpuzzle.pl2516/16214/47/721/21
mt-all.pl.unsound??/???/??/??/?
multagnt.pl198133/13317824/2447/47114/114
music.pl??/???/??/??/?
nand_wamcc.pl??/???/??/??/?
nani.pl7660/609036/3613/1365/65
natded.pl386231/23132650/5071/71244/244
nbody.pl14861378/1378293132/13250/50284/284
ncDP.pl7134/34597/710/1045/45
neural.pl257231/23110335/3513/1396/96
newexpobdd.pl667617/617530/034/3453/53
newton.pl6764/643314/140/033/33
nladb.pl4536/364323/239/942/42
noughts_and_crosses.pl141121/1217011/1139/3970/70
npuzzle.pl133124/1246244/447/762/62
occ.pl41/160/01/15/5
ocheck0.pl00/021/11/12/2
ocheck1.pl00/033/30/03/3
ocheck2.pl22/244/40/04/4
ocheck3.pl4533/33183/39/918/18
ocheck4.pl43/3100/08/88/8
ocheck5.pl20/050/02/23/3
ochecklin.pl00/020/02/22/2
oldchina.pl48473403/34032439374/374389/3891704/1704
ordsets.pl7035/35281/17/728/28
othello.pl10670/708430/3013/1370/70
pairs.pl72/280/01/16/6
palindrome.pl146/6140/00/010/10
pappiall.pl2236945/9452399106/106388/388618/618
pappienglishall.pl460179/17949845/4567/67142/142
parser_dcg.pl329233/23321363/6362/62213/213
path.pl2718/183510/108/826/26
peephole1.pl381209/20921923/2374/74195/195
peg.pl4332/322815/154/428/28
pentomino.pl202155/15514041/416/681/81
permute.pl2311/11241/12/224/24
petsan.pl56574024/40271675298/298332/3321099/1099
peval.pl1414802/80269043/43175/175418/418
pg.pl4133/333213/133/332/32
pillow-1.1.pl1317992/992790272/272170/170708/708
piza-0.9.22.pl.unsound??/???/??/??/?
pl2wam.pl21851381/13811288219/219247/247909/909
plaiclp.pl45063068/30681770254/254247/2471084/1084
plcafe_lib.pl361265/26526146/4627/27153/153
pljava.pl1039628/62854395/95103/103361/361
pmatch.pl??/???/??/??/?
poker.pl852681/68148681/8180/80425/425
poly10.pl285/5273/31/113/13
powers.pl2523/23167/70/016/16
powerset.pl72/280/01/15/5
press.pl18491/9114521/2129/2980/80
primefactors.pl1010/101111/110/011/11
primes.pl2826/26196/60/019/19
primes2.pl128/8132/21/113/13
primes3.pl98/8125/50/012/12
prism-1.1.pl.unsound24942042/20421795387/387481/4811361/1361
prointrp.pl125/5120/05/511/11
prolog.pl76/6234/41/113/13
protein.pl.unsound??/???/??/??/?
puzzle.pl204?/16975?/0?/55?/75
pythagoras.pl1311/11123/33/311/11
q8.pl3012/12180/07/712/12
qdjanus.pl.unsound41512891/28922546429/429279/2791350/1350
qmlattice.pl.unsound1079682/682986206/206243/243843/843
qplan.pl261176/17616427/2731/31123/123
queens.pl2620/20176/63/317/17
queens8_wamcc.pl1911/11195/52/218/18
queens_wamcc.pl1710/10175/52/217/17
quotan.pl707422/42243856/5664/64236/236
raytrace.pl17841727/1727536280/28032/32531/531
raytrace2.pl17771721/1721531278/27832/32529/529
raytrace_inst.pl18831814/1814545269/26931/31540/540
rdtok.pl7857/577026/266/664/64
reach.pl193/3120/04/47/7
read.pl247160/16015045/458/8111/111
reducer.pl192142/14212120/2023/23105/105
reform_compiler.pl.unsound??/???/??/??/?
reg.pl29082171/217190974/74200/200603/603
river.pl.unsound125/5262/25/59/9
river1.pl.unsound83/3162/24/49/9
robot.pl226200/20011042/4225/25101/101
rsnp.pl5331/31428/84/424/24
rsp.pl9548/48485/54/418/18
rubik.pl??/???/??/??/?
salvini.pl.unsound929693/693650154/154142/142517/517
sax.pl37722181/21812100290/290271/2711135/1135
sb_asm.pl266160/16020120/2060/60163/163
scc.pl387112/1121298/814/1446/46
schedule.pl107107/1074138/381/141/41
sdda.pl13645/451017/724/2451/51
search_lguzik.pl214153/15313334/3430/30133/133
semi.pl36613644/3644208158/15832/32208/208
semigroup.pl7883210/21019821/118/1832/32
sets.pl122/2120/02/28/8
sg_mc_big.pl717675/6752555/514/1450/50
shape.pl1412/12127/70/09/9
shapiro.pl905620/62074344/44153/153381/381
sharing_enum.pl337214/21430893/9353/53270/270
shopper_shop.pl142128/12812822/2230/30128/128
shortest.pl3019/193810/109/929/29
sieve.pl98/8126/60/012/12
sim.pl25201832/183257998/9855/55357/357
sim_v5-2.pl342191/19131772/7239/39222/222
simple_analyzer.pl581414/41427128/2854/54181/181
slice-all.pl981580/580850174/174126/126666/666
som4.pl157/7110/00/011/11
sorts.pl9443/43792/29/975/75
sprftp.pl.unsound1616825/82587355/55192/192406/406
spsys.pl31242141/21411399144/144314/314834/834
stack-opt.pl3015/15163/30/011/11
staticcalls.pl3426/26317/79/928/28
stats.pl3835/35137/70/013/13
strings_texts.pl384249/249364136/13658/58350/350
strips.pl570321/32133115/15116/116242/242
synth.pl20761415/14151223215/215198/198787/787
tak_wamcc.pl65/542/20/04/4
ternary.pl3118/18164/41/116/16
tfqueens.pl2917/17153/34/415/15
tictactoe.pl689676/67614413/1349/49143/143
trees1.pl175163/1638042/426/674/74
trees2.pl118101/1019738/3816/1687/87
trs.pl254138/1381048/813/1354/54
tsp.pl258226/22611228/2819/19100/100
tsp_ga.pl239136/13614022/2226/26100/100
tsp_na.pl3330/302416/162/219/19
tsp_sa.pl151112/1129219/1917/1763/63
unify.pl528393/39317021/2144/44130/130
untupler.pl.unsound169120/12013718/1831/3172/72
vhdl97_parser.pl71895307/53073244613/613598/5982448/2448
vsp.pl10483/837716/1637/3772/72
warplan.pl6934/34680/021/2138/38
wumpus1.pl7154/545418/180/024/24
wumpus2.pl.unsound39973799/3799653340/34073/73549/549
yaqueens.pl2316/16289/94/428/28
yasmm.pl7564/643618/185/536/36
zebra.pl2419/191711/112/217/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