Precision comparison: Pos x SFL versus Pattern(Pos x SFL)

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

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

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

Benchmark	Pairs	Indep	Vars	Ground	Free	Linear
`CoVer.pl`	1335	996/1019	1092	271/294	76/76	478/501
`LeanTaP.pl`	295	146/168	278	52/52	23/25	84/96
`WAMcomp.pl`	351	225/225	245	28/28	44/66	105/105
`action.pl`	160	15/17	180	4/5	6/6	10/11
`ann.pl`	835	564/571	484	112/112	76/80	193/196
`attractions.pl`	70	11/?	66	5/?	1/?	19/?
`chasen-all.pl`	159	72/73	187	56/59	33/33	91/94
`chat80.pl`	7430	5337/?	3270	872/?	585/?	1613/?
`chess.pl`	512	476/?	399	218/?	55/?	278/?
`circan.pl`	37	27/?	53	14/?	7/?	23/?
`dposan.pl`	332	195/214	379	82/97	48/50	156/168
`ezan.pl`	3450	2011/?	1849	453/?	277/?	751/?
`gnup-1.1.0_pl2wam.pl`	3802	2287/2290	2471	566/568	392/392	1053/1055
`grammar.pl`	32	28/28	34	7/9	16/16	34/34
`hebtrans.pl`	24	22/23	52	27/35	3/8	40/45
`jons2.pl`	56	56/?	58	30/?	11/?	43/?
`lc.pl`	107	33/106	114	13/93	16/17	30/114
`lptp-1.05.pl`	7092	3744/3858	5021	1327/1360	566/573	1960/1993
`lptp-1.06.pl`	7092	3744/3858	5021	1329/1362	566/566	1962/1995
`mgpl4.pl`	1243	901/902	916	264/269	104/104	440/445
`mgtp-g-I-temp.pl`	2013	1899/1899	1177	664/664	164/164	863/1016
`music.pl`	21	10/?	24	3/?	6/?	12/?
`nbody.pl`	598	480/?	345	157/?	42/?	204/?
`neural.pl`	196	182/196	184	123/175	17/166	147/184
`ocheck0.pl`	2	0/1	6	0/3	3/3	3/6
`ocheck1.pl`	14	7/14	20	0/10	10/16	10/20
`ocheck3.pl`	90	48/66	36	6/6	15/30	21/36
`ocheck4.pl`	12	7/7	24	3/3	9/13	15/17
`parser_dcg.pl`	436	336/344	366	61/61	202/202	279/366
`press.pl`	294	174/178	266	44/44	30/30	77/79
`prointrp.pl`	20	9/9	28	1/2	6/6	7/8
`puzzle.pl`	36	24/?	56	8/?	12/?	56/?
`quotan.pl`	1134	646/657	827	149/157	98/102	286/291
`rdtok.pl`	148	138/138	136	82/82	27/27	126/128
`read.pl`	470	384/384	298	127/127	64/64	209/212
`robot.pl`	137	87/90	147	32/41	19/19	82/91
`rsp.pl`	122	94/99	80	25/31	5/7	35/43
`rubik.pl`	230	182/?	384	172/?	55/?	235/?
`sdda.pl`	197	69/79	180	28/32	25/25	53/58
`semi.pl`	93	78/78	94	29/29	28/28	88/87
`shopper_shop.pl`	59	55/55	148	105/105	6/6	122/147
`sprftp.pl.unsound`	2922	1689/1719	1637	278/294	186/190	492/515
`strips.pl`	633	226/?	499	29/?	55/?	100/?
`synth.pl`	2949	1994/?	2128	547/?	276/?	851/?
`trees1.pl`	142	110/124	126	65/71	7/7	80/91
`trs.pl`	240	104/?	160	12/?	11/?	32/?
`tsp.pl`	503	489/490	222	123/127	38/38	220/222
`tsp_sa.pl`	284	233/235	176	85/88	20/20	109/112
`yasmm.pl`	78	61/63	60	31/31	6/6	37/51

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.