China's logo

Home

Systems

Documentation

Experiments

Benchmarks

Projects

People

Links

About

Precision comparison: Pos x SFL versus Pattern(Pos x SFL)

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

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

Benchmark PairsIndep VarsGroundFree Linear
8puzzle.pl2111/11207/74/416/18
CoVer.pl671518/541552123/134180/180512/523
QG5-7_mg4.pl620382/42238722/2344/54164/181
WAMcomp.pl17474/741219/919/2058/58
XRayVer33.pl1789824/8361344119/122166/168637/644
aaaaa.pl98024250/43054645328/330631/6332286/2339
action.pl8036/38901/222/2248/49
aircraft.pl628581/583792209/235259/259774/786
aleph.pl.unsound58354857/48632671495/505478/4851839/1847
ann.pl418216/22224316/1641/42133/133
arch1.pl465192/2093209/1064/64144/152
attractions.pl3514/?331/?18/?27/?
attractions2.pl153/3211/12/217/15
back52.pl.unsound172628752/?11160838/?1653/?5581/?
bmtp.pl37411626/16982186142/143321/3261172/1179
bnet.pl201155/15511621/2110/1198/98
bnet2.pl201155/15511621/2110/1198/98
bup-all.pl18373/7517816/1642/42105/109
caslog.pl133827126/?5298569/?390/?2115/?
cg_parser.pl254135/13527732/3260/60196/197
chartgraph.pl206151/15122872/7240/43162/162
chat80.pl37192625/26571644342/342308/3081294/1301
chillin.pl54973802/38901858190/192377/3891135/1145
chris.pl7865/678425/3212/1275/82
circan.pl147/?247/?4/?14/?
cobweb.pl777455/49036230/3338/40125/140
cs2.pl166115/1199431/354/466/71
cugini_utilities.pl386177/19043277/8063/63250/257
curry2indy.pl.unsound763419/422747101/101228/232556/556
curry2prolog.pl3100879/8972058258/264272/273865/877
dbqas.pl.unsound186138/13816030/3241/41127/127
diagnoser.pl.unsound24151219/13761804207/224264/265843/888
difflists.pl3316/16418/93/323/33
dposan.pl173107/10720744/4633/35130/131
essln.pl.unsound837531/558649123/12399/99414/423
ezan.pl17581215/1218949147/153137/139707/716
files.pl15167/6917261/6120/20116/117
ftfsg.pl273143/14828117/1875/75167/171
ftfsg2.pl393261/26641494/9578/78289/293
ga.pl433364/36614755/6015/15123/128
gilberto.pl191/2120/02/42/4
gnup-1.1.0_pl2wam.pl19011169/11771243222/225217/218875/880
grammar.pl1611/11174/54/417/17
hamiltonian.pl1610/112212/143/322/22
hebtrans.pl1411/113223/242/431/31
idt.pl154102/10314633/3321/2395/95
ili.pl45634/722946/1315/1554/68
index.pl.unsound1187658/72462943/45108/108335/343
indyv1.8.pl1103518/51979473/7370/70434/434
kalah_r.pl182158/15812442/4210/10117/122
kilimanjaro-all.pl2996619107/19285145351998/20473089/312310258/10349
kore-ie.pl.unsound1283694/71969227/32176/176374/383
lfcpc.pl398230/23030342/4429/30157/157
lgt20.pl.unsound21681041/1363122577/94326/326526/645
lilp.pl275168/17123912/1283/83147/148
linger_old.pl.unsound621278/29055187/88132/132313/319
linking1.pl167/1091/13/36/9
linus.pl.unsound1076771/782958259/261205/214707/718
log_interpreter.pl26869/9126514/1433/33104/105
logen.pl.unsound19386/9728051/5140/40179/183
lptp-1.05.pl36311672/16772585247/251377/3861365/1374
lptp-1.06.pl36311672/16772587249/249377/3811366/1371
luthercomp.pl544282/29248156/5695/95342/349
map.pl.unsound38042149/22153301414/420472/4801784/1800
markus.pl758556/55649674/74152/153407/407
metutor.pl588379/381622148/149157/161458/459
mfoil.pl558413/41431429/2987/87210/210
mgpl4.pl1028782/78262186/90236/236455/459
mikev203.pl791342/34589552/53177/177410/411
mixtus-all.pl40562482/25022331164/166513/5171419/1430
motel.pl.unsound71043532/35733830188/2011027/10471815/1836
mt-all.pl.unsound2051512189/?137491754/?2045/?8194/?
multagnt.pl17350/11317119/2441/41101/108
music.pl105/?112/?2/?9/?
natded.pl262140/14129843/4460/60215/217
nbody.pl297263/26317065/657/7160/162
neural.pl10580/8010230/384/2295/95
nladb.pl3328/283822/222/332/33
ocheck0.pl10/030/11/12/3
ocheck1.pl70/7100/100/60/10
ocheck4.pl63/3120/02/108/10
ocheck5.pl20/050/02/22/3
oldchina.pl35842290/23082188295/295297/2971470/1475
pappiall.pl1907682/6822354141/141325/326578/579
parser_dcg.pl218117/11718328/2862/62149/183
petsan.pl38392604/26041467278/278223/225940/940
piza-0.9.22.pl.unsound124147287/?95441370/?1404/?4800/?
pl2wam.pl19261182/11901238212/215221/222864/869
plaiclp.pl30321728/17281611178/179213/216956/961
pljava.pl706379/38248275/7681/84312/313
pmatch.pl996708/?35051/?75/?256/?
prism-1.1.pl.unsound22201741/18141726371/379420/4321275/1295
prointrp.pl103/3141/25/512/13
protein.pl.unsound18271144/?1365171/?250/?820/?
puzzle.pl182/?280/?12/?28/?
qdjanus.pl.unsound37102577/25802449421/422240/2401296/1297
quotan.pl564293/29440938/4057/57209/212
raytrace_inst.pl892805/823401160/16018/18394/394
reg.pl1609826/122570849/6180/80354/440
rubik.pl11558/?19356/?10/?131/?
salvini.pl.unsound819608/608626148/153121/121494/499
sax.pl33341797/18752030272/300235/2411045/1096
sdda.pl9827/27894/519/1938/42
shapiro.pl627411/43066937/43129/131344/353
shopper_shop.pl3225/257917/1716/1676/78
sim.pl1502911/110046576/8031/31260/279
sim_v5-2.pl243105/10528556/5726/26194/194
slice-all.pl851453/459814139/141124/124595/632
sprftp.pl.unsound1477716/74083955/55166/175384/388
spsys.pl1617886/1052114288/123161/165559/629
strips.pl333163/16329420/2092/94209/209
trees1.pl7150/606329/315/551/57
trs.pl12064/67806/810/1034/40
untupler.pl.unsound12271/8212315/1814/1955/61
vsp.pl8262/627613/1335/3571/72
wumpus2.pl.unsound535393/396466201/20164/64359/361

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