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 independent analysis, without structural information, full report)

Benchmark	Pairs	Indep	Vars	Ground	Free	Linear
`4colors.pl`	123	123/123	23	19/19	4/4	23/23
`4men.pl`	15	15/15	25	6/6	17/17	25/25
`8puzzle.pl`	21	11/11	20	7/7	4/4	16/18
`CoVer.pl`	671	518/541	552	123/134	180/180	512/523
`LeanTaP.pl`	147	102/102	138	23/23	26/26	77/77
`QG5-7_mg4.pl`	620	382/422	387	22/23	44/54	164/181
`Vworld.pl`	238	170/170	269	59/59	43/43	160/160
`WAMcomp.pl`	174	74/74	121	9/9	19/20	58/58
`XRayVer33.pl`	1789	824/836	1344	119/122	166/168	637/644
`aaaaa.pl`	9802	4250/4305	4645	328/330	631/633	2286/2339
`ac_fix.pl`	65	41/41	71	11/11	22/22	37/37
`action.pl`	80	36/38	90	1/2	22/22	48/49
`adventure.pl`	174	56/56	169	11/11	27/27	108/108
`aircraft.pl`	628	581/583	792	209/235	259/259	774/786
`ale_hpsg.pl`	?	?/?	?	?/?	?/?	?/?
`aleph.pl.unsound`	5835	4857/4863	2671	495/505	478/485	1839/1847
`all_permutations.pl`	21	10/10	16	0/0	5/5	12/12
`altappend.pl`	13	4/4	14	0/0	2/2	14/14
`ann.pl`	418	216/222	243	16/16	41/42	133/133
`append.pl`	3	1/1	3	0/0	1/1	3/3
`apprevlast.pl`	9	2/2	12	0/0	3/3	12/12
`aqua_c.pl`	?	?/?	?	?/?	?/?	?/?
`arch1.pl`	465	192/209	320	9/10	64/64	144/152
`astar.pl`	27	18/18	31	9/9	6/6	29/29
`attractions.pl`	35	14/?	33	1/?	18/?	27/?
`attractions2.pl`	15	3/3	21	1/1	2/2	17/15
`autoc.pl.unsound`	66	22/22	82	21/21	13/13	54/54
`back52.pl.unsound`	17262	8752/?	11160	838/?	1653/?	5581/?
`barnes_hut.pl`	414	389/389	136	55/55	2/2	136/136
`bgg.pl`	0	0/0	3	0/0	0/0	3/3
`bid.pl`	41	30/30	48	17/17	5/5	42/42
`bigot.pl`	38	35/35	35	19/19	8/8	35/35
`bintrees.pl`	28	9/9	30	1/1	4/4	30/30
`birds.pl`	18	7/7	45	5/5	1/1	18/18
`bmtp.pl`	3741	1626/1698	2186	142/143	321/326	1172/1179
`bnet.pl`	201	155/155	116	21/21	10/11	98/98
`bnet2.pl`	201	155/155	116	21/21	10/11	98/98
`boyer_wamcc.pl`	81	18/18	79	3/3	7/7	52/52
`bp0-6.pl`	264	215/215	115	33/33	19/19	90/90
`browse_wamcc.pl`	61	47/47	49	9/9	6/6	42/42
`bryant.pl`	1252	1112/1112	330	32/32	4/4	210/210
`bup-all.pl`	183	73/75	178	16/16	42/42	105/109
`cal_wamcc.pl`	29	29/29	24	18/18	3/3	24/24
`cardsol.pl`	23	16/16	31	12/12	7/7	31/31
`caslog.pl`	13382	7126/?	5298	569/?	390/?	2115/?
`cg_parser.pl`	254	135/135	277	32/32	60/60	196/197
`chartgraph.pl`	206	151/151	228	72/72	40/43	162/162
`chasen-all.pl`	90	61/61	113	24/24	12/12	68/68
`chat80.pl`	3719	2625/2657	1644	342/342	308/308	1294/1301
`chat_parser.pl`	2035	1387/1387	744	128/128	136/136	552/552
`chess.pl`	267	225/225	215	89/89	43/43	186/186
`chillin.pl`	5497	3802/3890	1858	190/192	377/389	1135/1145
`chris.pl`	78	65/67	84	25/32	12/12	75/82
`circan.pl`	14	7/?	24	7/?	4/?	14/?
`classic.pl`	87	40/40	103	7/7	28/28	94/94
`cobweb.pl`	777	455/490	362	30/33	38/40	125/140
`colan-all.pl.unsound`	?	?/?	?	?/?	?/?	?/?
`color.pl`	12	10/10	16	5/5	3/3	10/10
`compound.pl`	8	6/6	10	7/7	1/1	10/10
`conman.pl`	21	8/8	40	5/5	2/2	19/19
`consultant.pl`	23	16/16	35	18/18	2/2	32/32
`crip.pl`	110	67/67	106	25/25	9/9	73/73
`cry_add.pl`	33	17/17	35	3/3	4/4	35/35
`cry_mult.pl`	74	50/50	48	7/7	4/4	46/46
`crypt_wamcc.pl`	18	13/13	20	11/11	0/0	20/20
`cs2.pl`	166	115/119	94	31/35	4/4	66/71
`cselcomp.pl`	?	?/?	?	?/?	?/?	?/?
`cugini_utilities.pl`	386	177/190	432	77/80	63/63	250/257
`curry2indy.pl.unsound`	763	419/422	747	101/101	228/232	556/556
`curry2prolog.pl`	3100	879/897	2058	258/264	272/273	865/877
`custord.pl`	15	12/12	20	14/14	0/0	15/15
`cycles.pl.unsound`	65	29/29	59	5/5	7/7	42/42
`dbqas.pl.unsound`	186	138/138	160	30/32	41/41	127/127
`dcg1.pl`	42	27/27	42	14/14	13/13	42/42
`dcg_jp.pl`	51	9/9	39	0/0	6/6	17/17
`dcg_ok.pl`	61	13/13	45	2/2	4/4	17/17
`demo_fsa2.pl`	4	4/4	8	4/4	0/0	8/8
`dfid.pl`	12	10/10	21	9/9	7/7	19/19
`dfsscc.pl`	68	27/27	80	9/9	16/16	54/54
`diagnoser.pl.unsound`	2415	1219/1376	1804	207/224	264/265	843/888
`dialog.pl`	52	32/32	71	30/30	5/5	60/60
`difflists.pl`	33	16/16	41	8/9	3/3	23/33
`diffsimpsv.pl`	23	13/13	24	9/9	4/4	19/19
`dioph.pl`	40	34/34	28	9/9	7/7	28/28
`disj_r.pl`	45	25/25	58	24/24	4/4	46/46
`dlists.pl`	26	9/9	31	0/0	7/7	22/22
`dposan.pl`	173	107/107	207	44/46	33/35	130/131
`draw.pl`	307	267/267	134	31/31	12/12	122/122
`elex_scanner.pl`	568	481/481	161	18/18	84/84	154/154
`eliza.pl`	112	49/49	104	14/14	14/14	66/66
`english.pl`	37	29/29	30	13/13	10/10	30/30
`esfm.pl`	8	3/3	16	3/3	3/3	7/7
`essln.pl.unsound`	837	531/558	649	123/123	99/99	414/423
`exp.pl`	6	0/0	12	0/0	6/6	12/12
`exp_code.pl`	7	7/7	14	8/8	3/3	11/11
`exshell.pl`	31	26/26	39	17/17	1/1	26/26
`ezan.pl`	1758	1215/1218	949	147/153	137/139	707/716
`factors.pl`	13	13/13	8	8/8	0/0	8/8
`famtree_lguzik.pl`	59	14/14	37	19/19	6/6	27/27
`fecht.pl`	193	85/85	33	1/1	10/10	33/33
`fft.pl`	65	57/57	47	28/28	2/2	47/47
`files.pl`	151	67/69	172	61/61	20/20	116/117
`flatten.pl`	5	2/2	7	2/2	1/1	7/7
`foil.pl`	520	409/409	303	39/39	82/82	209/209
`fraction.pl`	33	22/22	22	7/7	3/3	22/22
`french.pl`	48	37/37	33	13/13	13/13	33/33
`fst.pl`	18	14/14	20	13/13	4/4	20/20
`ftfsg.pl`	273	143/148	281	17/18	75/75	167/171
`ftfsg2.pl`	393	261/266	414	94/95	78/78	289/293
`ga.pl`	433	364/366	147	55/60	15/15	123/128
`gauss.pl`	37	29/29	37	14/14	2/2	37/37
`gcd.pl`	53	48/48	23	9/9	0/0	23/23
`gene.pl`	85	34/34	127	3/3	34/34	38/38
`genlang-2.5.pl.unsound`	?	?/?	?	?/?	?/?	?/?
`gilberto.pl`	19	1/2	12	0/0	2/4	2/4
`glop.pl`	152	131/131	121	55/55	17/17	115/115
`gnup-1.1.0_pl2wam.pl`	1901	1169/1177	1243	222/225	217/218	875/880
`gof.pl`	9	1/1	8	0/0	2/2	3/3
`grammar.pl`	16	11/11	17	4/5	4/4	17/17
`grips.pl.unsound`	136	70/70	152	14/14	23/23	76/76
`gulp.pl.unsound`	52	21/21	99	13/13	18/18	55/55
`gulp3.pl`	105	32/32	119	11/11	18/18	60/60
`ham_bshort.pl`	69	33/33	53	10/10	10/10	45/45
`hamiltonian.pl`	16	10/11	22	12/14	3/3	22/22
`hanoi.pl`	28	25/25	37	19/19	1/1	32/32
`hanoiapp.pl`	13	8/8	8	1/1	1/1	7/7
`hebtrans.pl`	14	11/11	32	23/24	2/4	31/31
`idt.pl`	154	102/103	146	33/33	21/23	95/95
`ilap.pl`	100	85/85	78	19/19	6/6	53/53
`ileanTAP.pl`	373	266/266	123	1/1	44/44	98/98
`ili.pl`	456	34/72	294	6/13	15/15	54/68
`ime_v2-2-1.pl`	227	177/177	105	10/10	16/16	71/71
`index.pl.unsound`	1187	658/724	629	43/45	108/108	335/343
`indy2curry.pl`	181	142/142	128	38/38	7/7	107/107
`indyv1.8.pl`	1103	518/519	794	73/73	70/70	434/434
`intervals.pl`	62	38/38	70	6/6	10/10	69/69
`jons.pl`	38	32/32	39	18/18	2/2	35/35
`jons2.pl`	38	32/32	41	20/20	2/2	37/37
`jugs.pl`	33	21/21	32	5/5	8/8	28/28
`kalah_r.pl`	182	158/158	124	42/42	10/10	117/122
`kilimanjaro-all.pl`	29966	19107/19285	14535	1998/2047	3089/3123	10258/10349
`kipeg.pl`	19	16/16	20	12/12	2/2	20/20
`knight.pl`	56	41/41	44	10/10	9/9	43/43
`kore-ie.pl.unsound`	1283	694/719	692	27/32	176/176	374/383
`lc.pl`	53	17/17	56	3/3	14/14	42/42
`ldl-all.pl`	?	?/?	?	?/?	?/?	?/?
`leantap_small.pl`	22	13/13	18	0/0	9/9	13/13
`lfcpc.pl`	398	230/230	303	42/44	29/30	157/157
`lg_sys.pl`	?	?/?	?	?/?	?/?	?/?
`lgt20.pl.unsound`	2168	1041/1363	1225	77/94	326/326	526/645
`life.pl`	125	97/97	63	15/15	2/2	44/44
`lilp.pl`	275	168/171	239	12/12	83/83	147/148
`linTAP.pl`	?	?/?	?	?/?	?/?	?/?
`lin_reg.pl`	73	68/68	18	8/8	0/0	18/18
`linger_old.pl.unsound`	621	278/290	551	87/88	132/132	313/319
`linking1.pl`	16	7/10	9	1/1	3/3	6/9
`linking2.pl`	19	2/2	13	0/0	2/2	5/5
`linloss.pl`	2	1/1	4	2/2	0/0	2/2
`linsys.pl`	31	24/24	34	14/14	2/2	33/33
`linus.pl.unsound`	1076	771/782	958	259/261	205/214	707/718
`lisp_interpreter.pl`	69	14/14	57	1/1	1/1	19/19
`ljt.pl`	257	30/30	145	6/6	23/23	47/47
`llprover.pl`	314	198/198	342	86/86	25/25	264/264
`lnprolog.pl.unsound`	253	149/149	244	46/46	45/45	163/163
`log_interpreter.pl`	268	69/91	265	14/14	33/33	104/105
`logen.pl.unsound`	193	86/97	280	51/51	40/40	179/183
`lojban.pl`	713	281/281	476	51/51	79/79	220/220
`lookup.pl`	3	1/1	5	0/0	2/2	5/5
`loops.pl`	30	12/12	40	5/5	3/3	33/33
`lowest.pl`	2	0/0	5	0/0	0/0	1/1
`lpe.pl`	219	104/104	251	28/28	59/59	135/135
`lptp-1.05.pl`	3631	1672/1677	2585	247/251	377/386	1365/1374
`lptp-1.06.pl`	3631	1672/1677	2587	249/249	377/381	1366/1371
`luthercomp.pl`	544	282/292	481	56/56	95/95	342/349
`magicex.pl`	1	1/1	3	0/0	3/3	3/3
`map.pl.unsound`	3804	2149/2215	3301	414/420	472/480	1784/1800
`maps.pl`	32	31/31	16	10/10	5/5	16/16
`markus.pl`	758	556/556	496	74/74	152/153	407/407
`mastermind.pl`	36	31/31	47	19/19	6/6	41/41
`math.pl`	77	36/36	83	26/26	10/10	63/63
`mathlib.pl`	84	40/40	90	26/26	13/13	70/70
`matrix.pl`	40	33/33	34	7/7	0/0	34/34
`maze.pl`	50	46/46	36	21/21	7/7	36/36
`mdgtools-1.0.pl`	?	?/?	?	?/?	?/?	?/?
`medic4.pl`	47	28/28	60	15/15	8/8	49/49
`medic5.pl`	66	34/34	73	18/18	10/10	57/57
`meta_qsort_wamcc.pl`	11	3/3	17	0/0	0/0	8/8
`metutor.pl`	588	379/381	622	148/149	157/161	458/459
`mfoil.pl`	558	413/414	314	29/29	87/87	210/210
`mgpl4.pl`	1028	782/782	621	86/90	236/236	455/459
`mgtp-g-I-temp.pl`	1010	530/530	594	48/48	155/155	432/432
`mikev203.pl`	791	342/345	895	52/53	177/177	410/411
`mixtus-all.pl`	4056	2482/2502	2331	164/166	513/517	1419/1430
`mm.pl`	523	233/233	373	43/43	50/50	231/231
`monkey.pl`	13	9/9	14	4/4	6/6	12/12
`motel.pl.unsound`	7104	3532/3573	3830	188/201	1027/1047	1815/1836
`mpuzzle.pl`	22	15/15	20	4/4	6/6	20/20
`mt-all.pl.unsound`	20515	12189/?	13749	1754/?	2045/?	8194/?
`multagnt.pl`	173	50/113	171	19/24	41/41	101/108
`music.pl`	10	5/?	11	2/?	2/?	9/?
`nand_wamcc.pl`	?	?/?	?	?/?	?/?	?/?
`nani.pl`	48	33/33	82	30/30	13/13	59/59
`natded.pl`	262	140/141	298	43/44	60/60	215/217
`nbody.pl`	297	263/263	170	65/65	7/7	160/162
`ncDP.pl`	75	39/39	60	9/9	9/9	46/46
`neural.pl`	105	80/80	102	30/38	4/22	95/95
`newexpobdd.pl`	667	617/617	53	0/0	34/34	53/53
`newton.pl`	47	44/44	28	10/10	0/0	28/28
`nladb.pl`	33	28/28	38	22/22	2/3	32/33
`noughts_and_crosses.pl`	29	22/22	44	9/9	23/23	44/44
`npuzzle.pl`	60	53/53	47	30/30	6/6	47/47
`occ.pl`	4	1/1	6	0/0	1/1	5/5
`ocheck0.pl`	1	0/0	3	0/1	1/1	2/3
`ocheck1.pl`	7	0/7	10	0/10	0/6	0/10
`ocheck2.pl`	12	12/12	8	8/8	0/0	8/8
`ocheck3.pl`	45	33/33	18	3/3	9/9	18/18
`ocheck4.pl`	6	3/3	12	0/0	2/10	8/10
`ocheck5.pl`	2	0/0	5	0/0	2/2	2/3
`ochecklin.pl`	1	0/0	3	0/0	3/3	3/3
`oldchina.pl`	3584	2290/2308	2188	295/295	297/297	1470/1475
`ordsets.pl`	53	27/27	25	1/1	4/4	25/25
`othello.pl`	80	54/54	78	31/31	7/7	64/64
`pairs.pl`	7	2/2	8	0/0	1/1	6/6
`palindrome.pl`	14	6/6	14	0/0	0/0	10/10
`pappiall.pl`	1907	682/682	2354	141/141	325/326	578/579
`pappienglishall.pl`	436	163/163	507	63/63	59/59	152/152
`parser_dcg.pl`	218	117/117	183	28/28	62/62	149/183
`path.pl`	23	14/14	32	8/8	8/8	23/23
`peephole1.pl`	329	178/178	207	22/22	72/72	182/182
`peg.pl`	41	32/32	27	16/16	2/2	27/27
`pentomino.pl`	199	154/154	139	41/41	5/5	80/80
`permute.pl`	20	10/10	23	1/1	1/1	23/23
`petsan.pl`	3839	2604/2604	1467	278/278	223/225	940/940
`peval.pl`	1079	606/606	629	45/45	124/124	379/379
`pg.pl`	39	32/32	31	13/13	2/2	31/31
`pillow-1.1.pl`	755	438/438	667	158/158	162/162	586/586
`piza-0.9.22.pl.unsound`	12414	7287/?	9544	1370/?	1404/?	4800/?
`pl2wam.pl`	1926	1182/1190	1238	212/215	221/222	864/869
`plaiclp.pl`	3032	1728/1728	1611	178/179	213/216	956/961
`plcafe_lib.pl`	315	227/227	252	45/45	25/25	150/150
`pljava.pl`	706	379/382	482	75/76	81/84	312/313
`pmatch.pl`	996	708/?	350	51/?	75/?	256/?
`poker.pl`	715	558/558	465	83/83	72/72	412/412
`poly10.pl`	25	3/3	26	3/3	0/0	12/12
`powers.pl`	25	23/23	16	7/7	0/0	16/16
`powerset.pl`	7	2/2	8	0/0	1/1	5/5
`press.pl`	147	70/70	133	24/24	12/12	71/71
`primefactors.pl`	10	10/10	11	11/11	0/0	11/11
`primes.pl`	34	31/31	20	6/6	0/0	20/20
`primes2.pl`	10	6/6	12	2/2	1/1	12/12
`primes3.pl`	9	8/8	12	5/5	0/0	12/12
`prism-1.1.pl.unsound`	2220	1741/1814	1726	371/379	420/432	1275/1295
`prointrp.pl`	10	3/3	14	1/2	5/5	12/13
`prolog.pl`	7	6/6	23	4/4	1/1	13/13
`protein.pl.unsound`	1827	1144/?	1365	171/?	250/?	820/?
`puzzle.pl`	18	2/?	28	0/?	12/?	28/?
`pythagoras.pl`	8	6/6	10	1/1	3/3	9/9
`q8.pl`	15	3/3	15	0/0	4/4	9/9
`qdjanus.pl.unsound`	3710	2577/2580	2449	421/422	240/240	1296/1297
`qmlattice.pl.unsound`	743	441/441	889	197/197	185/185	752/752
`qplan.pl`	224	155/155	155	27/27	24/24	121/121
`queens.pl`	23	17/17	16	5/5	2/2	16/16
`queens8_wamcc.pl`	11	5/5	16	3/3	1/1	15/15
`queens_wamcc.pl`	14	7/7	16	4/4	1/1	16/16
`quotan.pl`	564	293/294	409	38/40	57/57	209/212
`raytrace.pl`	741	684/684	383	162/162	19/19	376/376
`raytrace2.pl`	760	703/703	391	172/172	19/19	386/386
`raytrace_inst.pl`	892	805/823	401	160/160	18/18	394/394
`rdtok.pl`	74	55/55	68	26/26	4/4	62/62
`reach.pl`	10	1/1	9	0/0	2/2	5/5
`read.pl`	233	150/150	146	44/44	6/6	109/109
`reducer.pl`	169	127/127	116	21/21	19/19	100/100
`reform_compiler.pl.unsound`	?	?/?	?	?/?	?/?	?/?
`reg.pl`	1609	826/1225	708	49/61	80/80	354/440
`river.pl.unsound`	9	3/3	25	2/2	4/4	8/8
`river1.pl.unsound`	6	2/2	15	2/2	3/3	8/8
`robot.pl`	67	47/47	72	20/20	10/10	63/63
`rsnp.pl`	30	12/12	34	4/4	3/3	17/17
`rsp.pl`	61	21/21	40	4/4	2/2	11/11
`rubik.pl`	115	58/?	193	56/?	10/?	131/?
`salvini.pl.unsound`	819	608/608	626	148/153	121/121	494/499
`sax.pl`	3334	1797/1875	2030	272/300	235/241	1045/1096
`sb_asm.pl`	240	147/147	194	20/20	56/56	158/158
`scc.pl`	254	84/84	110	8/8	9/9	40/40
`schedule.pl`	107	107/107	42	39/39	1/1	42/42
`sdda.pl`	98	27/27	89	4/5	19/19	38/42
`search_lguzik.pl`	109	59/59	106	28/28	10/10	106/106
`semi.pl`	47	33/33	48	23/23	3/3	48/48
`semigroup.pl`	7831	184/184	1979	6/6	14/14	32/32
`sets.pl`	10	1/1	11	0/0	1/1	7/7
`sg_mc_big.pl`	674	637/637	248	6/6	12/12	48/48
`shape.pl`	9	8/8	10	6/6	0/0	8/8
`shapiro.pl`	627	411/430	669	37/43	129/131	344/353
`sharing_enum.pl`	302	182/182	296	95/95	28/28	257/257
`shopper_shop.pl`	32	25/25	79	17/17	16/16	76/78
`shortest.pl`	26	15/15	35	8/8	9/9	26/26
`sieve.pl`	9	8/8	12	6/6	0/0	12/12
`sim.pl`	1502	911/1100	465	76/80	31/31	260/279
`sim_v5-2.pl`	243	105/105	285	56/57	26/26	194/194
`simple_analyzer.pl`	518	382/382	254	28/28	38/38	165/165
`slice-all.pl`	851	453/459	814	139/141	124/124	595/632
`som4.pl`	15	7/7	11	0/0	0/0	11/11
`sorts.pl`	64	22/22	70	2/2	7/7	66/66
`sprftp.pl.unsound`	1477	716/740	839	55/55	166/175	384/388
`spsys.pl`	1617	886/1052	1142	88/123	161/165	559/629
`stack-opt.pl`	30	15/15	16	3/3	0/0	11/11
`staticcalls.pl`	23	16/16	27	5/5	8/8	24/24
`stats.pl`	38	35/35	13	7/7	0/0	13/13
`strings_texts.pl`	305	197/197	342	139/139	39/39	328/328
`strips.pl`	333	163/163	294	20/20	92/94	209/209
`synth.pl`	1473	873/873	1068	126/126	170/170	649/649
`tak_wamcc.pl`	6	5/5	4	2/2	0/0	4/4
`ternary.pl`	4	0/0	7	1/1	1/1	7/7
`tfqueens.pl`	14	8/8	12	3/3	1/1	12/12
`tictactoe.pl`	170	165/165	71	13/13	22/22	70/70
`trees1.pl`	71	50/60	63	29/31	5/5	51/57
`trees2.pl`	110	92/92	94	37/37	15/15	84/84
`trs.pl`	120	64/67	80	6/8	10/10	34/40
`tsp.pl`	251	219/219	110	26/26	19/19	98/98
`tsp_ga.pl`	163	91/91	124	20/20	20/20	90/90
`tsp_na.pl`	30	27/27	23	15/15	2/2	18/18
`tsp_sa.pl`	142	108/108	88	19/19	16/16	61/61
`unify.pl`	414	316/316	152	18/18	39/39	114/114
`untupler.pl.unsound`	122	71/82	123	15/18	14/19	55/61
`vhdl97_parser.pl`	2438	1148/1148	2287	260/260	556/556	1683/1683
`vsp.pl`	82	62/62	76	13/13	35/35	71/72
`warplan.pl`	58	29/29	65	0/0	20/20	37/37
`wumpus1.pl`	51	34/34	47	11/11	0/0	17/17
`wumpus2.pl.unsound`	535	393/396	466	201/201	64/64	359/361
`yaqueens.pl`	20	13/13	27	8/8	3/3	27/27
`yasmm.pl`	39	30/30	30	13/13	4/4	30/30
`zebra.pl`	27	24/24	17	12/12	1/1	17/17

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.