China's logo

Home

Systems

Documentation

Experiments

Benchmarks

Projects

People

Links

About

Precision comparison: Pos x SFL versus Ground or free

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

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

Benchmark PairsIndep VarsGroundFree G or F Linear
4men.pl1515/15256/617/1723/2525/25
CoVer.pl671518/518552123/123180/180303/328512/512
LeanTaP.pl147102/10213823/2326/2649/5577/77
QG5-7_mg4.pl620382/38238722/2244/4466/97164/164
Vworld.pl238170/17026959/5943/43102/126160/160
WAMcomp.pl17474/741219/919/1928/4158/58
XRayVer33.pl1789824/8241344119/119166/166285/465637/637
aaaaa.pl98024250/42504645328/328631/631959/12332286/2286
action.pl8036/36901/122/2223/2748/48
adventure.pl17456/5616911/1127/2738/56108/108
aircraft.pl628581/581792209/209259/259468/493774/774
aleph.pl.unsound58354857/48572671495/495478/478973/14321839/1841
ann.pl418216/21624316/1641/4157/85133/133
arch1.pl465192/1923209/964/6473/83144/144
autoc.pl.unsound6622/228221/2113/1334/4354/54
back52.pl.unsound172628752/875211160838/8381653/16532491/32045581/5581
barnes_hut.pl414389/38913655/552/257/103136/136
bgg.pl00/030/00/00/13/3
bid.pl4130/304817/175/522/2842/42
bigot.pl3835/353519/198/827/3335/35
bintrees.pl289/9301/14/45/730/30
birds.pl187/7455/51/16/1218/18
bmtp.pl37411626/16262186142/142321/321463/6631172/1172
bnet.pl201155/15511621/2110/1031/5098/98
bnet2.pl201155/15511621/2110/1031/5098/98
boyer_wamcc.pl8118/18793/37/710/1552/52
bp0-6.pl264215/21511533/3319/1952/6990/90
browse_wamcc.pl6147/47499/96/615/2242/42
bryant.pl12521112/111233032/324/436/108210/210
bup-all.pl18373/7317816/1642/4258/69105/105
cal_wamcc.pl2929/292418/183/321/2424/24
cardsol.pl2316/163112/127/719/2031/31
caslog.pl133827126/71265298569/569390/390959/13572115/2115
cg_parser.pl254135/13527732/3260/6092/109196/196
chartgraph.pl206151/15122872/7240/40112/142162/162
chasen-all.pl9061/6111324/2412/1236/5768/68
chat80.pl37192625/26251644342/342308/308650/7451294/1294
chat_parser.pl20351387/1387744128/128136/136264/304552/552
chess.pl267225/22521589/8943/43132/165186/186
chillin.pl54973802/38021858190/190377/377567/7011135/1135
chris.pl7865/658425/2512/1237/5375/75
classic.pl8740/401037/728/2835/5394/94
cobweb.pl777455/45536230/3038/3868/84125/125
conman.pl218/8405/52/27/1119/19
consultant.pl2316/163518/182/220/2632/32
crip.pl11067/6710625/259/934/3873/73
cry_add.pl3317/17353/34/47/1035/35
cry_mult.pl7450/50487/74/411/2046/46
crypt_wamcc.pl1813/132011/110/011/1420/20
cs2.pl166115/1159431/314/435/4566/66
cugini_utilities.pl386177/17743277/7763/63140/176250/250
curry2indy.pl.unsound763419/419747101/101228/228329/366556/556
curry2prolog.pl3100879/8792058258/258272/272530/650865/865
custord.pl1512/122014/140/014/1515/15
cycles.pl.unsound6529/29595/57/712/1742/42
dbqas.pl.unsound186138/13816030/3041/4171/80127/127
dcg_jp.pl519/9390/06/66/817/17
dcg_ok.pl6113/13452/24/46/817/17
demo_fsa2.pl44/484/40/04/58/8
dfsscc.pl6827/27809/916/1625/2854/54
diagnoser.pl.unsound24151219/12191804207/207264/264471/607843/843
dialog.pl5232/327130/305/535/4560/60
difflists.pl3316/16418/83/311/1223/23
dioph.pl4034/34289/97/716/2228/28
disj_r.pl4525/255824/244/428/3346/46
dposan.pl173107/10720744/4433/3377/100130/130
draw.pl307267/26713431/3112/1243/82122/122
elex_scanner.pl568481/48116118/1884/84102/103154/154
eliza.pl11249/4910414/1414/1428/3566/66
essln.pl.unsound837531/531649123/12399/99222/274414/414
exshell.pl3126/263917/171/118/1926/26
ezan.pl17581215/1215949147/147137/137284/433707/707
famtree_lguzik.pl5914/143719/196/625/2727/27
fft.pl6557/574728/282/230/3947/47
files.pl15167/6717261/6120/2081/88116/116
foil.pl520409/40930339/3982/82121/147209/209
fraction.pl3322/22227/73/310/1222/22
ftfsg.pl273143/14328117/1775/7592/113167/167
ftfsg2.pl393261/26141494/9478/78172/217289/289
ga.pl433364/36414755/5515/1570/102123/123
gauss.pl3729/293714/142/216/2137/37
gcd.pl5348/48239/90/09/2223/23
glop.pl152131/13112155/5517/1772/99115/115
gnup-1.1.0_pl2wam.pl19011169/11691243222/222217/217439/586875/875
gof.pl91/280/02/22/33/3
grips.pl.unsound13670/7015214/1423/2337/6476/76
gulp.pl.unsound5221/219913/1318/1831/3555/55
gulp3.pl10532/3211911/1118/1829/3660/60
ham_bshort.pl6933/335310/1010/1020/3245/45
hanoi.pl2825/253719/191/120/2232/32
idt.pl154102/10214633/3321/2154/7295/95
ilap.pl10085/857819/196/625/4153/53
ileanTAP.pl373266/2661231/144/4445/5898/98
ili.pl45634/342946/615/1521/2254/54
ime_v2-2-1.pl227177/17710510/1016/1626/5571/71
index.pl.unsound1187658/65862943/43108/108151/190335/335
indy2curry.pl181142/14212838/387/745/61107/107
indyv1.8.pl1103518/51879473/7370/70143/207434/434
intervals.pl6238/38706/610/1016/2469/69
jons.pl3832/323918/182/220/2135/35
jons2.pl3832/324120/202/222/2337/37
kalah_r.pl182158/15812442/4210/1052/77117/117
kilimanjaro-all.pl2996619107/19107145351998/19983089/30895087/709210258/10262
kore-ie.pl.unsound1283694/69469227/27176/176203/251374/374
lc.pl5317/17563/314/1417/1942/42
lfcpc.pl398230/23030342/4229/2971/96157/157
lgt20.pl.unsound21681041/1041122577/77326/326403/458526/526
life.pl12597/976315/152/217/4044/44
lilp.pl275168/16823912/1283/8395/106147/147
lin_reg.pl7368/68188/80/08/1818/18
linger_old.pl.unsound621278/27855187/87132/132219/252313/313
linsys.pl3124/243414/142/216/2633/33
linus.pl.unsound1076771/771958259/259205/205464/538707/707
lisp_interpreter.pl6914/14571/11/12/1219/19
ljt.pl25730/301456/623/2329/3047/47
llprover.pl314198/19834286/8625/25111/140264/264
lnprolog.pl.unsound253149/14924446/4645/4591/101163/163
log_interpreter.pl26869/6926514/1433/3347/54104/104
logen.pl.unsound19386/8628051/5140/4091/120179/179
lojban.pl713281/28147651/5179/79130/149220/220
lookup.pl31/150/02/22/35/5
loops.pl3012/12405/53/38/933/33
lpe.pl219104/10425128/2859/5987/97135/135
lptp-1.05.pl36311672/16722585247/247377/377624/8381365/1365
lptp-1.06.pl36311672/16722587249/249377/377626/8391366/1366
luthercomp.pl544282/28248156/5695/95151/185342/342
map.pl.unsound38042149/21493301414/414472/472886/10931784/1784
markus.pl758556/55649674/74152/152226/279407/408
mastermind.pl3631/314719/196/625/2741/41
math.pl7736/368326/2610/1036/4763/63
mathlib.pl8440/409026/2613/1339/5070/70
matrix.pl4033/33347/70/07/1634/34
maze.pl5046/463621/217/728/3036/36
medic4.pl4728/286015/158/823/2849/49
medic5.pl6634/347318/1810/1028/3357/57
metutor.pl588379/379622148/148157/157305/344458/458
mfoil.pl558413/41331429/2987/87116/131210/210
mgpl4.pl1028782/78262186/86236/236322/342455/455
mgtp-g-I-temp.pl1010530/53059448/48155/155203/219432/432
mikev203.pl791342/34289552/52177/177229/283410/410
mixtus-all.pl40562482/24822331164/164513/513677/9571419/1422
mm.pl523233/23337343/4350/5093/121231/231
motel.pl.unsound71043532/35323830188/1881027/10271215/13111815/1815
mt-all.pl.unsound2051512189/12189137491754/17542045/20453799/48988194/8194
multagnt.pl17350/5017119/1941/4160/63101/101
nani.pl4833/338230/3013/1343/5259/59
natded.pl262140/14029843/4360/60103/120215/215
nbody.pl297263/26317065/657/772/114160/160
ncDP.pl7539/39609/99/918/2146/46
neural.pl10580/8010230/304/434/5095/95
newton.pl4744/442810/100/010/2528/28
nladb.pl3328/283822/222/224/3032/32
noughts_and_crosses.pl2922/22449/923/2332/3344/44
oldchina.pl35842290/22902188295/295297/297592/8171470/1470
othello.pl8054/547831/317/738/5164/64
palindrome.pl146/6140/00/00/210/10
pappiall.pl1907682/6822354141/141325/325466/524578/578
pappienglishall.pl436163/16350763/6359/59122/139152/152
path.pl2314/14328/88/816/2223/23
peephole1.pl329178/17820722/2272/7294/102182/182
pentomino.pl199154/15413941/415/546/7280/80
permute.pl2010/10231/11/12/723/23
petsan.pl38392604/26041467278/278223/223501/756940/940
peval.pl1079606/60662945/45124/124169/213379/379
pg.pl3932/323113/132/215/2331/31
pillow-1.1.pl755438/438667158/158162/162320/345586/586
piza-0.9.22.pl.unsound124147287/728795441370/13701404/14042774/35284800/4800
pl2wam.pl19261182/11821238212/212221/221433/578864/864
plaiclp.pl30321728/17281611178/178213/213391/477956/957
plcafe_lib.pl315227/22725245/4525/2570/111150/150
pljava.pl706379/37948275/7581/81156/201312/312
pmatch.pl996708/70835051/5175/75126/189256/256
poker.pl715558/55846583/8372/72155/328412/412
powers.pl2523/23167/70/07/1616/16
press.pl14770/7013324/2412/1236/4171/71
primes.pl3431/31206/60/06/1720/20
primes2.pl106/6122/21/13/712/12
primes3.pl98/8125/50/05/912/12
prism-1.1.pl.unsound22201741/17411726371/371420/420791/9831275/1275
prointrp.pl103/3141/15/56/812/12
prolog.pl76/6234/41/15/813/13
protein.pl.unsound18271144/11441365171/171250/250421/640820/820
pythagoras.pl86/6101/13/34/99/9
qdjanus.pl.unsound37102577/25772449421/421240/240661/9361296/1296
qmlattice.pl.unsound743441/441889197/197185/185382/488752/752
qplan.pl224155/15515527/2724/2451/64121/121
queens.pl2317/17165/52/27/1216/16
queens8_wamcc.pl115/5163/31/14/615/15
queens_wamcc.pl147/7164/41/15/1116/16
quotan.pl564293/29340938/3857/5795/140209/209
raytrace.pl741684/684383162/16219/19181/306376/376
raytrace2.pl760703/703391172/17219/19191/316386/386
raytrace_inst.pl892805/805401160/16018/18178/290394/394
rdtok.pl7455/556826/264/430/5262/62
read.pl233150/15014644/446/650/83109/109
reducer.pl169127/12711621/2119/1940/50100/100
reg.pl1609826/82670849/4980/80129/212354/354
robot.pl6747/477220/2010/1030/3463/63
rsnp.pl3012/12344/43/37/1117/17
rsp.pl6121/21404/42/26/911/11
rubik.pl11558/5819356/5610/1066/80131/131
salvini.pl.unsound819608/608626148/148121/121269/383494/494
sax.pl33341797/17972030272/272235/235507/8031045/1045
sb_asm.pl240147/14719420/2056/5676/98158/158
scc.pl25484/841108/89/917/2440/40
schedule.pl107107/1074239/391/140/4242/42
sdda.pl9827/27894/419/1923/3238/38
search_lguzik.pl10959/5910628/2810/1038/43106/106
semi.pl4733/334823/233/326/2848/48
sg_mc_big.pl674637/6372486/612/1218/2148/48
shape.pl98/8106/60/06/88/8
shapiro.pl627411/41166937/37129/129166/236344/344
sharing_enum.pl302182/18229695/9528/28123/155257/257
shortest.pl2615/15358/89/917/2326/26
sieve.pl98/8126/60/06/1012/12
sim.pl1502911/91146576/7631/31107/199260/260
sim_v5-2.pl243105/10528556/5626/2682/98194/194
simple_analyzer.pl518382/38225428/2838/3866/85165/165
slice-all.pl851453/453814139/139124/124263/326595/595
sorts.pl6422/22702/27/79/1566/66
sprftp.pl.unsound1477716/71683955/55166/166221/273384/384
spsys.pl1617886/886114288/88161/161249/350559/559
stats.pl3835/35137/70/07/1313/13
strings_texts.pl305197/197342139/13939/39178/225328/328
strips.pl333163/16329420/2092/92112/117209/209
synth.pl1473873/8731068126/126170/170296/388649/649
tak_wamcc.pl65/542/20/02/44/4
tictactoe.pl170165/1657113/1322/2235/5270/70
trees1.pl7150/506329/295/534/4451/51
trees2.pl11092/929437/3715/1552/7284/84
trs.pl12064/64806/610/1016/2234/34
tsp.pl251219/21911026/2619/1945/8598/98
tsp_ga.pl16391/9112420/2020/2040/5090/90
tsp_sa.pl142108/1088819/1916/1635/4661/61
unify.pl414316/31615218/1839/3957/70114/114
untupler.pl.unsound12271/7112315/1514/1429/3555/55
vhdl97_parser.pl24381148/11482287260/260556/556816/9561683/1683
vsp.pl8262/627613/1335/3548/5471/71
wumpus1.pl5134/344711/110/011/1717/17
wumpus2.pl.unsound535393/393466201/20164/64265/322359/359
yaqueens.pl2013/13278/83/311/2127/27

Column headers legenda

Benchmark Pairs Indep Vars Ground Free G or F 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 ground or 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