Precision comparison: Pos x SFL versus Enhanced Pos

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

View the column headers legenda.
View the background colors legenda.

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

Benchmark	Pairs	Indep	Vars	Ground	Free	Linear
`Vworld.pl`	391	315/318	286	68/68	46/46	173/173
`aaaaa.pl`	13333	7265/7321	5265	427/427	990/990	2863/2863
`ann.pl`	606	316/317	288	16/16	65/65	160/160
`bmtp.pl`	4754	2597/2603	2443	172/172	435/435	1375/1375
`chat80.pl`	5077	3752/3759	1833	376/376	408/408	1439/1439
`diagnoser.pl.unsound`	4021	2497/2499	2082	229/229	425/425	1086/1086
`eliza.pl`	176	91/97	122	16/16	18/18	73/73
`foil.pl`	593	472/477	322	39/39	104/104	224/224
`gnup-1.1.0_pl2wam.pl`	2159	1367/1379	1293	229/229	243/243	920/925
`indyv1.8.pl`	1400	733/736	872	90/90	90/90	494/494
`jons.pl`	3903	3894/?	201	32/?	117/?	197/?
`jons2.pl`	3903	3894/?	202	33/?	117/?	198/?
`kilimanjaro-all.pl`	35641	24586/24610	15146	2046/2046	3439/3439	10856/10856
`linger_old.pl.unsound`	1861	1378/1384	731	184/184	145/145	432/432
`linus.pl.unsound`	1146	847/856	956	247/247	219/219	715/715
`lojban.pl`	997	568/570	504	94/94	85/85	244/244
`lptp-1.05.pl`	4578	2193/2207	2798	313/313	436/436	1507/1507
`lptp-1.06.pl`	4579	2194/2208	2805	316/316	436/436	1509/1509
`map.pl.unsound`	4836	2836/2838	3596	438/438	595/595	1970/1970
`mfoil.pl`	671	490/492	343	28/28	101/101	232/232
`motel.pl.unsound`	8865	4921/?	4101	181/?	1216/?	1985/?
`multagnt.pl`	198	133/142	178	24/24	47/47	114/114
`oldchina.pl`	4847	3403/3408	2439	374/374	389/389	1704/1704
`pappiall.pl`	2236	945/950	2399	106/106	388/388	618/618
`petsan.pl`	5657	4024/4040	1675	298/298	332/332	1099/1099
`peval.pl`	1414	802/814	690	43/43	175/175	418/418
`pl2wam.pl`	2185	1381/1393	1288	219/219	247/247	909/914
`qdjanus.pl.unsound`	4151	2891/2892	2546	429/429	279/279	1350/1350
`qplan.pl`	261	176/178	164	27/27	31/31	123/123
`shapiro.pl`	905	620/622	743	44/44	153/153	381/381
`sim.pl`	2520	1832/1867	579	98/98	55/55	357/357
`strips.pl`	570	321/322	331	15/15	116/116	242/242
`synth.pl`	2076	1415/1417	1223	215/215	198/198	787/787
`wumpus2.pl.unsound`	3997	3799/3816	653	340/340	73/73	549/549

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.