China's logo

Home

Systems

Documentation

Experiments

Benchmarks

Projects

People

Links

About

Precision comparison: Pos x SFL versus Reverse order

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


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

Benchmark PairsIndep VarsGroundFree Linear
Vworld.pl391315/31828668/6846/46173/173
aleph.pl.unsound63135293/52922776544/544535/5351936/1936
attractions2.pl3611/11280/012/1221/23
bmtp.pl47542597/25982443172/172435/4351375/1375
chess.pl626512/51427795/9578/78233/233
chillin.pl81355737/57382221221/221522/5221353/1353
cobweb.pl15941201/119948453/5381/81212/212
cselcomp.pl7295?/51972708?/235?/668?/2012
diagnoser.pl.unsound40212497/24972082229/229425/4251086/1089
eliza.pl17691/9212216/1618/1873/73
genlang-2.5.pl.unsound5734?/45652296?/795?/298?/1792
linTAP.pl462?/249155?/4?/39?/113
linger_old.pl.unsound18611378/1354731184/184145/145432/432
lptp-1.05.pl45782193/21952798313/313436/4361507/1507
lptp-1.06.pl45792194/21962805316/316436/4361509/1509
mfoil.pl671490/49134328/28101/101232/232
pappiall.pl2236945/9412399106/106388/388618/618
peval.pl1414802/80369043/43175/175418/418
plaiclp.pl45063068/30681770254/254247/2471084/1085
qdjanus.pl.unsound41512891/28922546429/429279/2791350/1350
reg.pl29082171/217190974/74200/200603/606
spsys.pl31242141/21411399144/144314/314834/837


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