China's logo

Home

Systems

Documentation

Experiments

Benchmarks

Projects

People

Links

About

Precision comparison: Pos x SFL versus Star-union order

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


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

Benchmark PairsIndep VarsGroundFree Linear
4colors.pl246246/2464627/2716/1646/46
4men.pl3030/305045/455/550/50
8puzzle.pl10381038/1038159150/1509/9159/159
CoVer.pl21351592/15921294385/38581/81598/598
LeanTaP.pl306168/16828049/4927/2794/94
WAMcomp.pl633455/45529359/5969/69137/137
ac_fix.pl7676/76117108/1087/7115/115
action.pl19028/281895/510/1015/15
adventure.pl537297/29739199/9934/34139/139
aircraft.pl7626476264/7626478237661/7661124/1247823/7823
all_permutations.pl6118/18360/09/99/9
altappend.pl2617/17280/04/428/28
ann.pl875358/35850149/4990/90143/143
append.pl60/060/00/00/0
apprevlast.pl284/4270/02/22/2
aqua_c.pl??/???/??/??/?
astar.pl261260/26011093/9311/11107/107
attractions.pl??/???/??/??/?
attractions2.pl4920/20504/44/421/21
barnes_hut.pl980867/867263181/18127/27208/208
bid.pl7878/789373/7318/1893/93
bigot.pl160160/1608768/6812/1287/87
bintrees.pl7750/50662/225/2561/61
birds.pl7271/719376/764/484/84
bnet.pl431413/413240166/16630/30197/197
bnet2.pl431413/413240166/16630/30197/197
boyer_wamcc.pl16939/391603/317/1720/20
bp0-6.pl11781173/1173312262/26222/22288/288
browse_wamcc.pl124109/1099844/4411/1167/67
bryant.pl29722705/2705668247/24758/58305/305
cal_wamcc.pl2323/232921/217/729/29
cardsol.pl6363/636850/509/968/68
caslog.pl??/???/??/??/?
chasen-all.pl17686/8618554/5435/3590/90
chat80.pl??/???/??/??/?
chat_parser.pl62215187/51871682626/626367/3671044/1044
chess.pl??/???/??/??/?
chris.pl246245/245175142/14223/23175/175
circan.pl??/???/??/??/?
color.pl3030/303717/176/627/27
compound.pl88/8137/76/613/13
conman.pl5830/308711/1112/1232/32
consultant.pl372372/3729377/7716/1693/93
crip.pl281281/281233203/20325/25233/233
cry_add.pl7243/437318/1813/1331/31
cry_mult.pl155129/12910050/5013/1363/63
crypt_wamcc.pl221221/2217054/548/870/70
cs2.pl805805/805264228/22835/35264/264
curry2indy.pl.unsound23432225/222516091049/1049340/3401402/1402
custord.pl2825/253918/187/727/27
cycles.pl.unsound19669/6913510/1022/2234/34
dcg1.pl157157/1579467/6723/2394/94
demo_fsa2.pl106/6173/31/15/5
dfid.pl2626/263731/316/637/37
dfsscc.pl13356/5612620/2021/2147/47
diffsimpsv.pl4443/434739/396/645/45
dioph.pl7372/725130/3015/1551/51
disj_r.pl104104/104121100/10021/21121/121
dlists.pl1350/0850/00/00/0
dposan.pl540405/405419113/11371/71200/200
draw.pl608604/604266187/18741/41235/235
eliza.pl357166/16624881/8133/33118/118
english.pl10397/976837/374/468/68
ezan.pl??/???/??/??/?
factors.pl2626/261611/115/516/16
famtree_lguzik.pl2616/164318/182/220/20
fecht.pl369281/281640/040/4064/64
fft.pl230223/22311567/6719/19115/115
flatten.pl102/2142/21/13/3
fraction.pl7070/704533/3312/1245/45
french.pl108102/1026837/374/468/68
fst.pl3829/293822/226/628/28
ga.pl921913/913297201/20167/67293/293
gauss.pl5151/514839/399/948/48
gcd.pl106103/1034619/1911/1146/46
gilberto.pl250/0190/00/00/0
gnup-1.1.0_pl2wam.pl43512573/25732589601/601402/4021094/1094
gof.pl1510/10150/011/1113/13
grammar.pl7979/794726/2619/1947/47
ham_bshort.pl175124/12411059/5921/2183/83
hamiltonian.pl6060/605042/428/850/50
hanoi.pl4039/395647/474/451/51
hanoiapp.pl4141/412018/182/220/20
hebtrans.pl102101/1017451/519/967/67
ilap.pl200185/18515660/6015/1575/75
ileanTAP.pl??/???/??/??/?
ime_v2-2-1.pl489436/436219109/10937/37150/150
indy2curry.pl410404/404276200/20045/45270/270
intervals.pl24974/7416915/1514/1429/29
jons.pl25042304/230420255/5565/65149/149
jons2.pl??/???/??/??/?
jugs.pl198107/1079510/1017/1730/30
kalah_r.pl11951195/1195396347/34742/42396/396
kipeg.pl6262/624740/406/647/47
knight.pl202178/17811332/3213/13110/110
lc.pl367367/367182159/15922/22182/182
leantap_small.pl5320/20380/06/610/10
life.pl257255/255128111/11115/15128/128
linTAP.pl??/???/??/??/?
lin_reg.pl146146/1463627/279/936/36
linking2.pl3821/21260/016/1620/20
linloss.pl41/182/20/02/2
linsys.pl6262/626859/598/868/68
lisp_interpreter.pl13852/521143/320/2026/26
ljt.pl582582/582311294/29415/15311/311
lojban.pl19141125/11251006153/153215/215388/388
lookup.pl3027/27195/51/119/19
loops.pl9571/719421/2119/1987/87
lowest.pl156/6150/05/55/5
lptp-1.05.pl84534543/454353441470/1470570/5702114/2114
lptp-1.06.pl84544544/454453511479/1479570/5702123/2123
magicex.pl22/260/01/16/6
maps.pl6666/663322/228/833/33
mastermind.pl11295/9511169/699/979/79
mathlib.pl10347/4710722/2212/1234/34
matrix.pl8478/787018/1815/1570/70
maze.pl6363/635445/457/754/54
meta_qsort_wamcc.pl228/8350/05/56/6
mgpl4.pl16061108/1108975270/270104/104461/461
mgtp-g-I-temp.pl24632300/23001278756/756165/1651092/1092
mm.pl1724644/64481556/5697/97182/182
monkey.pl369365/3658782/820/082/82
mpuzzle.pl4739/394219/198/827/27
music.pl??/???/??/??/?
nand_wamcc.pl43614361/4361843773/77362/62843/843
nani.pl117115/115170124/12420/20151/151
nbody.pl??/???/??/??/?
ncDP.pl146146/14611998/9820/20119/119
neural.pl44/4101/19/910/10
newton.pl145143/1436630/3011/1166/66
noughts_and_crosses.pl357351/351150124/1248/8150/150
occ.pl60/0100/02/23/3
ocheck0.pl00/042/22/24/4
ocheck1.pl77/7133/310/1013/13
ocheck2.pl22/240/04/44/4
ocheck3.pl66/6120/012/1212/12
ocheck4.pl117/7221/113/1315/15
ocheck5.pl73/3120/04/45/5
ochecklin.pl21/160/04/44/4
oldchina.pl??/???/??/??/?
ordsets.pl12388/88532/231/3153/53
othello.pl266262/262178143/14316/16166/166
pairs.pl145/5160/03/33/3
palindrome.pl2823/23287/76/625/25
parser_dcg.pl603509/509409104/104202/202409/409
path.pl5149/496751/516/660/60
peephole1.pl754425/42544038/3870/70180/180
peg.pl101101/1016150/509/961/61
pentomino.pl389338/338268127/12742/42170/170
permute.pl4326/26477/715/1522/22
petsan.pl??/???/??/??/?
pg.pl106106/1066554/548/865/65
pmatch.pl??/???/??/??/?
poker.pl15421149/1149941398/398104/104522/522
poly10.pl5353/535345/458/853/53
powers.pl5050/503217/179/932/32
powerset.pl142/2160/01/11/1
press.pl430200/20030538/3830/3077/77
primefactors.pl2020/202215/155/522/22
primes.pl6261/613929/296/639/39
primes2.pl3131/312824/244/428/28
primes3.pl1818/182420/204/424/24
prointrp.pl229/9260/06/66/6
puzzle.pl??/???/??/??/?
pythagoras.pl1919/191811/115/518/18
q8.pl4312/12320/010/1016/16
qplan.pl560550/550329250/25052/52318/318
queens.pl4949/493327/276/633/33
queens8_wamcc.pl3030/303630/305/536/36
queens_wamcc.pl2525/253024/245/530/30
quotan.pl1230709/709834149/149106/106285/285
raytrace.pl46944578/45781143879/87999/99978/978
raytrace2.pl37983759/37591086927/927108/1081035/1035
raytrace_inst.pl47694640/46401138848/848103/103961/961
rdtok.pl151142/14213683/8328/28128/128
read.pl486396/396301130/13066/66214/214
reducer.pl353136/13622353/5327/2785/85
reform_compiler.pl.unsound??/???/??/??/?
robot.pl453367/36722196/9621/21151/151
rsnp.pl7349/497226/2612/1243/43
rsp.pl163126/1268627/2716/1643/43
rubik.pl??/???/??/??/?
sb_asm.pl453367/367366169/16934/34221/221
scc.pl14831482/1482340291/29127/27340/340
schedule.pl5050/502810/1018/1828/28
sdda.pl355147/14722149/4927/2776/76
search_lguzik.pl2220/202913/133/316/16
semi.pl46764658/4658325236/23630/30318/318
semigroup.pl4432274/27422262/215/1517/17
sets.pl2212/12230/07/719/19
sg_mc_big.pl15651355/135553413/1317/1735/35
shape.pl2821/21247/70/07/7
sharing_enum.pl324175/17526868/6861/61141/141
shopper_shop.pl35333518/3518804584/58442/42804/804
shortest.pl8259/598223/2314/1451/51
sieve.pl1818/182420/204/424/24
sim_v5-2.pl613611/611598475/475111/111598/598
simple_analyzer.pl1561916/91657785/8569/69161/161
sorts.pl152108/1081283/333/33126/126
sprftp.pl.unsound32771697/16971704260/260193/193490/490
stack-opt.pl6040/40323/310/1016/16
staticcalls.pl7845/45689/911/1121/21
stats.pl7676/762616/1610/1026/26
strips.pl??/???/??/??/?
synth.pl??/???/??/??/?
tak_wamcc.pl1211/1182/21/18/8
ternary.pl4734/342912/122/229/29
tfqueens.pl4343/43278/83/327/27
tictactoe.pl20502014/2014364314/31416/16338/338
trees1.pl244211/21113977/777/797/97
trs.pl??/???/??/??/?
tsp.pl596574/574242131/13139/39242/242
tsp_ga.pl516321/32127279/7941/41122/122
tsp_na.pl6563/634927/2711/1143/43
tsp_sa.pl448368/36819694/9422/22119/119
unify.pl995674/67432761/6138/38146/146
vhdl97_parser.pl96304742/47425537995/995948/9481999/1999
vsp.pl16358/5811610/106/616/16
yaqueens.pl4545/455847/4710/1058/58
yasmm.pl189170/1708649/496/677/77
zebra.pl7171/714224/2411/1142/42


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