Precision comparison: Pos x SFL versus Enhanced Pos

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

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

Benchmark	Pairs	Indep	Vars	Ground	Free	Linear
`Vworld.pl`	238	170/173	269	59/59	43/43	160/160
`aaaaa.pl`	9802	4250/4294	4645	328/328	631/631	2286/2286
`aircraft.pl`	628	581/583	792	209/209	259/259	774/774
`back52.pl.unsound`	17262	8752/8770	11160	838/838	1653/1653	5581/5581
`bmtp.pl`	3741	1626/1629	2186	142/142	321/321	1172/1172
`caslog.pl`	13382	7126/7132	5298	569/569	390/390	2115/2115
`chat80.pl`	3719	2625/2626	1644	342/342	308/308	1294/1294
`eliza.pl`	112	49/55	104	14/14	14/14	66/66
`foil.pl`	520	409/414	303	39/39	82/82	209/209
`gnup-1.1.0_pl2wam.pl`	1901	1169/1181	1243	222/222	217/217	875/880
`indyv1.8.pl`	1103	518/521	794	73/73	70/70	434/434
`kilimanjaro-all.pl`	29966	19107/19134	14535	1998/1998	3089/3089	10258/10258
`linus.pl.unsound`	1076	771/780	958	259/259	205/205	707/707
`mfoil.pl`	558	413/414	314	29/29	87/87	210/210
`mixtus-all.pl`	4056	2482/2495	2331	164/164	513/513	1419/1419
`motel.pl.unsound`	7104	3532/3540	3830	188/188	1027/1027	1815/1815
`mt-all.pl.unsound`	20515	12189/12217	13749	1754/1754	2045/2045	8194/8194
`oldchina.pl`	3584	2290/2293	2188	295/295	297/297	1470/1470
`pappiall.pl`	1907	682/687	2354	141/141	325/325	578/578
`petsan.pl`	3839	2604/2614	1467	278/278	223/223	940/940
`peval.pl`	1079	606/614	629	45/45	124/124	379/379
`piza-0.9.22.pl.unsound`	12414	7287/7318	9544	1370/1370	1404/1404	4800/4800
`pl2wam.pl`	1926	1182/1194	1238	212/212	221/221	864/869
`qdjanus.pl.unsound`	3710	2577/2578	2449	421/421	240/240	1296/1296
`synth.pl`	1473	873/875	1068	126/126	170/170	649/649
`wumpus2.pl.unsound`	535	393/410	466	201/201	64/64	359/359

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 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.