Results for Explicit-Value Analysis

Device Driver	Spec.	Tasks	Avg. Diff	Refinements		Total CPU Time			Analysis CPU Time			Solved	Speedup	Size of
			Lines	no Reuse	Reuse	1st Rev.	no Reuse	Reuse	1st Rev.	no Reuse	Reuse	Tasks		Precision
cfag12864b	08_1a	4	326	344	86	510	2200	530	510	2100	520	4	210	374
cfag12864b	32_7a	4	369	246	82	540	1500	550	540	1500	550	3+1	210	405
cfag12864b	32_1	2	48	32	16	530	1000	530	530	990	530	2	180	267
com20020_cs	39_7a	2	524	18	9	4.6	9.7	7.4	1.9	3.8	2.1	2	10	304
mISDN_core	39_7a	59	1265	974	19	20	1400	480	14	1000	120	59	9.3	499
wl12xx_sdio	39_7a	38	266	372	11	4.8	190	120	2.2	85	12	38	8.8	352
slram	68_1	5	511	20	4	3.8	19	14	1.5	7.9	2.2	5	8.6	204
uartlite	39_7a	9	326	63	7	4.6	41	27	2.1	18	4.1	9	8.3	219
slram	08_1a	9	563	58	5	3.3	30	24	.88	11	2.2	9	7.4	193
sil164	39_7a	3	383	18	6	4.6	14	10	2.0	6.0	2.6	3	7.2	192
slram	39_7a	9	599	145	18	4.5	40	26	2.1	19	4.4	9	7.2	396
tcm_loop	39_7a	41	263	517	14	6.6	300	180	3.0	160	25	41	6.9	428
slram	32_1	5	450	15	3	3.1	17	13	1.0	5.7	1.7	5	6.9	181
i2c-matroxfb	39_7a	7	617	51	8	4.2	29	22	1.5	11	3.0	7	6.7	242
intel_vr_nor	39_7a	10	274	40	4	3.1	29	24	.90	7.7	1.9	10	6.7	141
mtdoops	39_7a	35	243	145	6	3.5	120	82	1.4	40	7.2	35	6.7	202
dvb-usb-rtl28xxu	39_7a	10	173	90	9	5.4	56	36	2.2	22	5.2	10	6.6	304
panasonic-laptop	39_7a	16	410	104	7	4.2	63	50	1.4	25	5.0	16	6.5	213
xilinx_uartps	39_7a	3	352	21	7	4.8	14	11	1.9	5.7	2.5	3	6.5	219
lms283gf05	39_7a	13	458	80	7	3.7	49	34	1.4	16	3.7	13	6.4	213
uio_sercos3	39_7a	5	897	29	8	3.7	18	13	1.5	6.3	2.3	5	6.2	254
cfag12864b	68_1	2	155	6	3	3.6	6.7	6.1	1.1	2.1	1.2	2	6.2	196
gpio-regulator	39_7a	20	193	80	4	3.2	70	46	1.0	21	4.4	20	6.0	141
dvb-usb-az6007	39_7a	5	353	45	9	5.7	33	20	2.8	18	5.4	5	6.0	304
i2o_scsi	39_7a	6	454	55	10	5.0	29	20	2.1	13	4.0	6	5.8	282
rtc-max6902	39_7a	8	890	44	7	4.3	29	24	1.7	10	3.2	8	5.8	213
metro-usb	39_7a	25	158	175	7	4.6	110	82	1.7	46	9.3	25	5.8	226
ems_usb	39_7a	21	666	199	10	5.6	120	74	2.5	55	12	21	5.8	325
keyspan_remote	39_7a	7	929	43	7	3.9	26	20	1.4	9.5	2.8	7	5.5	213
cx231xx-dvb	39_7a	13	577	127	10	6.0	89	51	3.1	45	11	13	5.5	325
dvb-usb-vp7045	39_7a	12	1001	110	11	4.9	62	42	2.1	28	6.9	12	5.4	359
budget-patch	39_7a	9	1669	98	13	4.4	45	31	1.7	19	5.0	9	5.3	421
pcc-cpufreq	39_7a	3	554	21	7	3.8	10	9.1	1.2	3.5	1.6	3	5.2	210
lms283gf05	32_7a	13	476	71	7	3.5	46	37	.99	15	3.8	13	5.2	228
budget-patch	43_1a	5	1239	20	4	5.5	29	18	2.9	14	5.1	5	5.1	178
dvb-usb-az6007	32_7a	5	435	940	99	7.9	59	28	5.1	43	13	5	5.1	869
keyspan_remote	43_1a	3	285	12	4	3.4	9.0	9.0	.79	2.4	1.1	3	5.1	261
rtc-pcf2123	39_7a	9	769	48	7	4.1	35	24	1.8	12	3.9	9	5.0	213
cp210x	39_7a	71	256	456	8	6.4	450	250	3.6	260	56	71	4.9	227
dp83640	39_7a	16	557	176	11	6.7	100	62	3.7	57	15	16	4.9	441
mISDN_core	68_1	26	2481	52	2	7.6	350	210	2.3	160	35	26	4.8	35
dvb-usb-vp7045	68_1	2	1831	4	2	3.8	7.7	7.0	.97	2.3	1.2	2	4.8	35
ssu100	39_7a	28	337	209	9	6.0	160	100	2.7	77	18	28	4.8	271
mt2266	39_7a	5	806	31	7	3.3	16	13	.95	4.9	1.8	5	4.7	213
ab8500-usb	39_7a	6	183	24	4	3.6	20	17	1.0	6.4	2.2	6	4.7	141
catc	39_7a	22	893	246	13	5.4	130	84	2.5	70	17	22	4.7	411
sym53c500_cs	39_7a	19	468	175	10	5.4	110	66	2.6	53	13	19	4.7	282
dvb-usb-rtl28xxu	32_7a	10	173	30	3	4.4	43	35	1.3	14	4.0	10	4.5	110
it87	39_7a	54	462	513	10	4.6	410	230	2.2	240	55	54	4.5	356
mtdoops	68_1	20	345	58	3	3.2	64	54	.89	19	4.9	20	4.5	206
spcp8x5	39_7a	37	481	273	9	6.2	220	140	3.3	120	29	37	4.5	260
vsxxxaa	39_7a	4	912	22	8	4.0	14	11	1.7	5.6	2.6	4	4.5	236
gpio-regulator	32_7a	20	207	64	4	3.2	61	50	.61	18	4.6	20	4.4	106
rtc-m41t93	39_7a	6	521	30	6	3.1	19	16	.96	6.0	2.1	6	4.4	192
videobuf-vmalloc	39_7a	27	310	147	7	3.3	84	70	1.0	22	6.1	27	4.2	213
tdo24m	39_7a	12	536	74	7	5.8	76	46	3.1	45	13	12	4.1	213
it87	08_1a	59	478	262	3	4.7	400	250	2.2	220	57	59	4.0	141
mISDN_core	08_1a	59	1532	354	6	11	730	450	5.1	390	100	59	4.0	78
i2c-algo-pca	68_1	7	477	14	2	2.9	22	20	.62	6.3	2.1	7	3.9	35
ads7871	39_7a	10	286	30	4	2.4	28	21	.34	5.0	1.5	10	3.9	141
dvb-usb-vp7045	32_1	2	1806	28	14	4.8	11	8.3	2.3	4.9	2.9	2	3.9	256
cp210x	32_1	14	219	56	4	5.4	80	51	2.6	42	13	14	3.9	308
ar7part	68_1	2	677	4	2	2.6	5.4	5.2	.31	.70	.42	2	3.8	35
mISDN_core	32_7a	59	1179	438	11	11	740	460	5.2	400	110	59	3.8	231
panasonic-laptop	68_1	4	775	8	2	3.4	16	13	.72	4.4	1.7	4	3.7	35
videobuf-vmalloc	68_1	18	490	36	2	2.7	57	43	.62	12	3.8	18	3.7	35
wm831x-dcdc	68_1	3	128	10	4	4.8	14	12	2.1	6.1	3.2	3	3.7	289
wm831x-dcdc	39_7a	34	286	133	4	3.9	150	110	1.3	66	19	34	3.7	141
i2c-matroxfb	68_1	5	549	10	2	3.2	17	14	.55	2.8	1.2	5	3.7	35
rtc-max6902	68_1	5	590	10	2	3.2	14	14	.71	3.5	1.5	5	3.6	35
it87	32_7a	59	463	331	11	4.3	380	240	1.9	200	59	59	3.6	404
abyss	39_7a	3	2202	26	10	6.4	20	14	4.0	12	6.1	3	3.5	325
budget-patch	68_1	5	1332	10	2	3.5	17	16	.59	3.4	1.4	5	3.4	35
spi_ks8995	39_7a	4	499	14	4	2.6	12	11	.46	3.5	1.3	4	3.4	141
metro-usb	32_7a	25	184	59	5	3.3	88	68	.77	21	6.8	25	3.4	159
spaceorb	39_7a	2	1408	12	8	3.6	7.0	6.0	1.4	2.3	1.7	2	3.3	236
tcm_loop	08_1a	41	252	41	1	4.2	180	140	1.1	53	17	41	3.3	24
ab8500-usb	32_7a	6	208	16	3	2.6	17	14	.55	4.4	1.7	6	3.3	91
cx231xx-dvb	32_7a	13	632	66	6	3.7	74	54	.72	33	10	13	3.3	186
tcm_loop	32_7a	41	259	58	3	4.2	190	150	1.1	60	19	41	3.3	87
rtc-pcf2123	68_1	2	46	4	2	3.6	7.4	6.3	.98	1.8	1.3	2	3.2	35
abyss	68_1	2	1286	4	2	4.3	9.1	7.3	2.0	4.0	2.6	2	3.2	35
spi_ks8995	32_7a	4	516	12	4	2.7	12	10	.73	4.0	1.8	4	3.2	119
leds-bd2802	39_7a	14	416	52	4	5.4	63	48	2.3	28	10	14	3.2	141
cp210x	68_1	14	538	28	2	6.1	80	56	3.0	39	14	14	3.2	35
slram	43_1a	5	446	10	2	2.8	13	13	.47	2.6	1.2	5	3.2	43
magellan	39_7a	2	1456	12	8	3.5	6.5	5.8	1.3	2.2	1.6	2	3.2	236
uartlite	32_7a	9	374	22	4	2.8	29	24	.58	8.8	3.2	9	3.2	124
ar7part	39_7a	6	301	16	3	1.9	14	12	.18	1.6	.61	6	3.2	94
janz-cmodio	39_7a	11	169	22	2	2.4	24	22	.37	3.0	1.2	11	3.2	71
it87	43_1a	15	612	46	3	4.6	71	55	2.0	32	11	15	3.1	128
twidjoy	39_7a	2	1458	12	8	3.8	6.7	6.2	1.4	2.1	1.6	2	3.1	236
panasonic-laptop	32_7a	16	402	27	3	2.7	49	40	.36	9.7	3.4	16	3.1	114
sil164	32_7a	3	486	15	6	4.1	13	11	1.4	5.2	2.7	3	3.0	192
mos7840	39_7a	57	621	416	9	6.9	410	260	3.9	220	77	57	3.0	262
vsxxxaa	68_1	2	1354	4	2	3.8	6.6	6.7	.81	1.6	1.1	2	3.0	35
wm831x-dcdc	32_1	3	128	7	3	4.0	12	10	1.5	4.6	2.6	3	3.0	266
sym53c500_cs	68_1	8	522	16	2	4.1	33	27	1.2	10	4.2	8	3.0	35
i2c-matroxfb	32_7a	7	606	12	3	2.4	19	17	.28	3.4	1.4	7	2.9	96
spcp8x5	68_1	13	740	26	2	4.2	62	49	1.5	26	9.9	13	2.9	35
ems_usb	43_1a	9	292	18	2	4.2	36	32	1.1	10	4.3	9	2.9	45
com20020_cs	08_1a	2	524	2	1	3.2	6.1	5.9	.39	.74	.52	2	2.8	24
leds-bd2802	68_1	4	463	8	2	7.0	25	20	3.6	12	6.8	4	2.8	35
wl12xx_sdio	32_7a	38	261	42	2	2.9	120	100	.34	19	7.0	38	2.8	72
ssu100	32_7a	28	340	73	5	3.7	110	86	1.2	39	15	28	2.8	159
arkfb	39_7a	22	447	132	7	7.3	160	110	4.1	100	39	22	2.8	213
i915	39_7a	79	842	645	10	7.0	800	590	3.3	340	120	79	2.8	325
tdo24m	32_7a	12	586	60	8	4.1	70	46	1.7	40	16	12	2.7	262
dvb-usb-vp7045	32_7a	12	914	287	40	4.9	69	47	2.4	36	15	12	2.7	842
i2c-matroxfb	08_1a	7	565	7	1	2.4	17	16	.28	2.1	.93	7	2.7	24
uartlite	08_1a	9	286	9	1	2.9	25	22	.63	4.9	2.2	9	2.7	24
wl12xx_sdio	08_1a	38	258	38	1	2.8	110	100	.35	18	6.7	38	2.7	24
dmx3191d	39_7a	2	1597	14	8	5.1	10	9.0	2.0	4.1	2.8	2	2.7	245
wm831x-dcdc	32_7a	34	298	84	4	2.4	130	97	.23	47	18	34	2.7	106
mtdoops	32_1	20	203	40	2	3.0	55	55	.55	10	4.3	20	2.6	183
budget-patch	08_1a	9	1475	9	1	2.9	27	26	.33	3.3	1.5	9	2.6	24
panasonic-laptop	43_1a	4	584	4	1	2.6	14	11	.37	2.8	1.3	4	2.6	11
intel_vr_nor	32_7a	10	318	19	3	2.1	24	22	.07	3.6	1.4	10	2.6	87
spaceorb	08_1a	2	1242	2	1	2.4	4.9	4.4	.28	.53	.37	2	2.6	24
i2o_scsi	08_1a	7	929	7	1	3.0	21	19	.50	3.3	1.6	7	2.5	24
arkfb	68_1	6	706	12	2	6.2	40	29	3.4	21	11	6	2.5	35
abyss	08_1a	4	1962	4	1	3.5	16	12	1.3	5.5	3.0	4	2.5	24
dvb-usb-vp7045	08_1a	12	855	12	1	3.3	39	38	.51	6.7	3.0	12	2.5	24
gpio-regulator	08_1a	20	183	20	1	2.4	51	47	.35	7.3	3.2	20	2.4	24
i2c-matroxfb	43_1a	5	409	5	1	2.5	12	12	.27	1.4	.72	5	2.4	11
uio_sercos3	08_1a	5	747	5	1	2.5	12	12	.29	1.4	.77	5	2.4	24
cp210x	32_7a	71	257	154	5	3.3	300	230	.84	120	50	71	2.4	159
intel_vr_nor	08_1a	10	275	10	1	2.4	22	21	.27	2.4	1.2	10	2.4	24
abyss	32_1	3	1485	3	1	3.5	11	9.2	1.3	4.1	2.5	3	2.4	12
farsync	08_1a	5	984	10	2	4.1	20	17	1.4	7.4	3.9	5	2.4	48
panasonic-laptop	08_1a	16	529	16	1	2.6	47	40	.36	7.3	3.3	16	2.4	24
ads7871	08_1a	10	265	10	1	2.2	23	21	.28	2.3	1.1	10	2.4	24
rtc-max6902	32_1	5	564	5	1	2.5	12	11	.45	2.0	1.1	5	2.4	12
janz-cmodio	32_7a	11	183	14	2	2.3	26	23	.27	2.4	1.2	11	2.4	43
rtc-max6902	08_1a	9	783	9	1	2.5	22	20	.44	3.1	1.6	9	2.4	24
mtdoops	08_1a	41	264	41	1	2.4	99	92	.35	15	6.6	41	2.4	24
i2c-matroxfb	32_1	5	515	5	1	2.4	13	12	.27	1.5	.79	5	2.3	12
cp210x	08_1a	71	304	71	1	5.2	300	240	2.2	110	48	71	2.3	24
janz-cmodio	08_1a	11	170	11	1	2.2	23	22	.28	2.0	1.0	11	2.3	24
ab8500-usb	08_1a	6	187	6	1	2.5	15	14	.36	2.3	1.2	6	2.3	24
xilinx_uartps	08_1a	3	360	3	1	2.7	8.3	7.6	.49	1.5	.92	3	2.3	24
comedi_bond	39_7a	13	98	26	2	2.2	32	27	.20	2.9	1.4	13	2.3	71
dvb-usb-az6007	08_1a	5	356	5	1	3.4	20	17	.77	5.8	3.0	5	2.3	24
dvb-usb-rtl28xxu	08_1a	10	172	10	1	3.6	38	34	.56	6.1	3.0	10	2.3	24
vsxxxaa	08_1a	4	755	4	1	2.6	9.8	9.3	.45	1.6	.97	4	2.3	24
metro-usb	08_1a	25	158	25	1	2.8	73	63	.44	12	5.4	25	2.3	24
videobuf-vmalloc	32_1	19	299	19	1	2.5	49	45	.39	7.6	3.6	19	2.3	12
sil164	08_1a	3	382	3	1	3.1	8.9	9.2	.57	1.6	1.0	3	2.3	24
leds-bd2802	32_1	4	121	4	1	4.4	19	15	1.6	8.7	4.8	4	2.3	12
xilinx_uartps	32_7a	3	359	3	1	2.8	9.1	7.9	.49	1.5	.94	3	2.3	28
i2c-algo-pca	39_7a	14	367	49	4	2.6	35	34	.37	6.4	3.0	14	2.3	141
budget-patch	32_7a	9	1571	7	2	2.6	29	26	.07	3.2	1.5	9	2.2	64
adl_pci7432	39_7a	13	122	26	2	2.7	31	32	.30	3.2	1.6	13	2.2	71
keyspan_remote	32_1	3	285	3	1	2.5	7.8	7.2	.32	.96	.61	3	2.2	12
ads7871	32_7a	10	294	20	3	2.5	25	25	.26	3.4	1.7	10	2.2	87
adl_pci7432	08_1a	13	122	13	1	2.1	28	26	.19	2.2	1.1	13	2.2	24
lms283gf05	08_1a	13	393	13	1	3.2	33	36	.39	4.0	2.0	13	2.2	24
spi_ks8995	08_1a	4	442	4	1	2.2	9.0	8.6	.28	1.2	.71	4	2.2	24
ar7part	32_1	2	160	2	1	1.8	3.8	3.6	.13	.27	.19	2	2.2	12
i2c-algo-pca	32_1	7	223	7	1	2.4	17	16	.35	2.7	1.5	7	2.1	12
arkfb	08_1a	22	603	22	1	5.6	130	98	2.8	69	34	22	2.1	24
tdo24m	08_1a	12	497	12	1	3.4	46	37	1.2	19	9.6	12	2.1	24
adl_pci7432	32_7a	13	121	13	1	2.2	31	27	.18	2.2	1.2	13	2.1	28
magellan	08_1a	2	1220	2	1	2.3	4.4	4.4	.28	.47	.37	2	2.1	24
rtc-pcf2123	32_1	2	46	2	1	2.9	6.1	5.6	.55	1.1	.82	2	2.1	12
farsync	43_1a	9	1466	28	3	4.5	42	37	1.4	16	8.3	9	2.1	77
vsxxxaa	43_1a	2	786	2	1	2.6	5.6	4.8	.45	.86	.64	2	2.1	11
cx231xx-dvb	08_1a	13	537	13	1	3.8	55	50	.83	14	7.4	13	2.1	24
ems_usb	08_1a	21	641	21	1	3.7	73	71	.69	15	7.4	21	2.1	24
tdo24m	43_1a	4	484	4	1	3.5	15	14	.99	5.7	3.3	4	2.1	11
leds-bd2802	43_1a	4	426	4	1	5.0	16	15	2.1	6.7	4.3	4	2.0	11
mos7840	08_1a	60	795	60	1	5.4	340	280	2.2	140	72	60	2.0	24
arkfb	32_7a	20	463	75	6	5.7	140	97	2.8	75	38	20	2.0	189
vsxxxaa	32_1	2	755	2	1	3.3	5.8	6.0	.62	1.1	.86	2	2.0	12
rtc-m41t93	08_1a	6	484	6	1	2.3	14	13	.28	1.6	.91	6	2.0	24
mtdoops	32_7a	41	237	28	3	2.1	100	92	.10	11	5.4	41	2.0	87
spcp8x5	08_1a	37	579	37	1	3.4	130	120	.93	40	20	37	2.0	24
mos7840	32_1	24	343	24	1	5.3	130	110	2.4	59	31	24	2.0	12
budget-patch	32_1	5	1308	5	1	3.5	16	16	.37	1.9	1.2	5	2.0	12
spcp8x5	32_1	13	381	13	1	3.4	53	43	.91	17	9.0	13	2.0	12
mISDN_core	32_1	26	388	26	1	7.4	200	180	1.7	55	29	26	2.0	12
catc	32_1	10	648	10	1	3.2	37	32	.63	7.8	4.3	10	2.0	12
wm831x-dcdc	08_1a	34	281	34	1	2.9	110	94	.68	30	16	34	2.0	24
com20020_cs	32_7a	2	592	3	2	3.1	6.3	6.2	.40	1.1	.78	2	1.9	72
ssu100	08_1a	28	293	28	1	3.3	93	82	.75	24	13	28	1.9	24
rtc-pcf2123	08_1a	9	652	9	1	3.0	23	24	.53	3.7	2.2	9	1.9	24
catc	08_1a	22	933	22	1	3.3	80	71	.64	19	10	22	1.9	24
leds-bd2802	08_1a	14	504	14	1	5.3	50	46	2.3	15	8.9	14	1.9	24
keyspan_remote	08_1a	9	789	9	1	2.8	23	24	.34	3.0	1.8	9	1.9	24
sym53c500_cs	08_1a	20	443	20	1	3.2	66	59	.65	16	8.5	20	1.9	24
mos7840	32_7a	60	615	68	4	3.7	300	260	.71	120	62	60	1.9	124
rtc-m41t93	32_7a	6	529	10	3	2.3	15	14	.30	2.2	1.3	6	1.9	87
sym53c500_cs	43_1a	8	508	8	1	3.1	27	23	.60	5.4	3.2	8	1.9	11
i2o_scsi	32_7a	7	963	7	2	2.5	21	19	.12	3.3	1.8	7	1.8	72
wm831x-dcdc	43_1a	3	173	3	1	3.4	9.3	9.6	.69	2.3	1.6	3	1.8	11
panasonic-laptop	32_1	4	416	4	1	3.3	12	12	.46	1.6	1.1	4	1.8	12
keyspan_remote	32_7a	9	800	8	2	2.2	23	21	.08	2.6	1.5	9	1.8	72
twidjoy	08_1a	2	1222	2	1	2.6	4.7	4.9	.28	.44	.38	2	1.8	24
ems_usb	32_1	6	138	6	1	3.6	21	20	.73	4.2	2.7	6	1.8	12
slram	32_7a	9	625	36	12	2.1	26	23	.05	6.1	3.4	9	1.8	307
i915	68_1	79	354	172	2	5.5	610	540	1.7	190	110	79	1.8	35
dp83640	08_1a	16	527	16	1	3.8	62	55	1.1	18	11	16	1.8	24
pt	32_1	8	270	8	1	6.5	53	43	3.6	32	20	8	1.7	12
pt	68_1	8	276	16	2	6.9	55	42	4.3	32	21	8	1.7	35
uio_sercos3	32_7a	5	886	7	3	2.4	12	13	.10	1.8	1.1	5	1.7	80
arkfb	43_1a	6	828	7	1	4.8	33	27	2.2	15	9.6	6	1.7	11
rtc-max6902	43_1a	5	562	4	1	2.7	12	13	.35	1.5	1.0	5	1.7	11
sym53c500_cs	32_1	8	507	8	1	3.7	27	28	.68	5.7	3.7	8	1.7	12
mos7840	43_1a	25	1018	101	5	5.2	130	120	2.0	54	33	25	1.7	126
dmx3191d	08_1a	2	1432	2	1	3.3	6.4	6.4	.66	1.3	1.0	2	1.7	24
ems_usb	32_7a	21	663	15	4	2.9	67	63	.17	9.8	6.1	21	1.6	124
videobuf-vmalloc	32_7a	29	315	32	3	2.4	72	67	.24	7.6	4.8	29	1.6	97
rtc-pcf2123	43_1a	2	59	2	1	3.0	5.4	5.7	.36	.74	.59	2	1.6	11
vsxxxaa	32_7a	4	777	4	2	3.1	11	10	.46	1.7	1.2	4	1.6	57
ar7part	08_1a	6	274	6	1	2.1	13	13	.14	.82	.57	6	1.6	24
spcp8x5	32_7a	37	468	35	4	2.8	120	120	.35	27	17	37	1.6	124
cxd2820r	39_7a	23	468	138	6	4.1	100	95	1.1	39	25	23	1.6	192
rtc-pcf2123	32_7a	9	747	9	3	2.4	23	23	.14	3.1	2.0	9	1.6	87
mt2266	08_1a	5	725	5	1	2.6	12	13	.27	1.3	.92	5	1.6	24
pcc-cpufreq	08_1a	3	568	3	1	2.8	7.4	8.1	.31	.86	.67	3	1.6	24
comedi_bond	08_1a	13	98	13	1	2.4	28	30	.24	2.2	1.5	13	1.6	24
comedi_bond	32_7a	13	108	20	2	2.2	28	30	.17	2.4	1.6	13	1.5	43
pcc-cpufreq	32_7a	3	616	4	2	2.5	7.3	7.3	.27	.91	.70	3	1.5	72
drbd	32_7a	158	2954	824	11	14	2000	1900	2.3	420	280	158	1.5	359
sym53c500_cs	32_7a	20	449	10	1	2.7	61	58	.27	11	7.4	20	1.5	28
cp210x	43_1a	14	618	14	1	4.9	60	59	1.6	19	13	14	1.5	11
rtc-max6902	32_7a	9	829	7	3	2.2	23	20	.14	2.1	1.5	9	1.4	87
spcp8x5	43_1a	13	897	13	1	3.6	49	48	.82	14	10	13	1.4	11
videobuf-vmalloc	43_1a	19	486	39	2	3.5	65	64	1.1	21	16	19	1.4	67
mtdoops	43_1a	20	323	20	1	2.2	54	46	.22	6.9	4.9	20	1.4	11
mt2266	32_7a	5	748	3	1	2.2	12	11	.08	.93	.69	5	1.4	28
catc	32_7a	22	851	11	3	2.9	69	70	.16	11	8.3	22	1.4	87
mISDN_core	43_1a	26	2079	26	1	7.1	210	200	1.4	47	35	26	1.4	11
leds-bd2802	32_7a	14	438	16	3	2.8	45	41	.52	10	7.4	14	1.4	87
videobuf-vmalloc	08_1a	31	363	31	1	2.7	75	81	.25	7.6	5.7	31	1.4	24
i915	32_1	79	353	93	1	4.6	550	520	1.2	150	110	79	1.3	12
i915	08_1a	79	731	93	1	4.7	550	520	1.4	150	120	79	1.3	24
i915	32_7a	79	777	109	4	3.6	560	520	.36	150	120	79	1.3	129
arkfb	32_1	4	360	4	1	5.0	19	20	1.7	7.2	5.9	4	1.3	12
drbd	08_1a	96	2657	96	1	11	1100	1100	2.0	190	150	96	1.3	24
i2c-algo-pca	08_1a	14	480	14	1	2.5	33	36	.27	4.0	3.3	14	1.3	24
ar7part	32_7a	6	327	5	2	2.2	11	13	.06	.68	.58	6	1.3	43
i2c-algo-pca	32_7a	14	380	10	3	2.0	31	30	.09	2.6	2.1	14	1.2	87
spaceorb	32_7a	2	1226	2	2	2.7	4.9	5.4	.31	.55	.53	2	1.2	57
cfag12864b	43_1a	2	74	2	1	2.5	4.0	4.9	.26	.45	.44	2	1.2	11
cxd2820r	32_7a	23	492	32	3	3.4	93	89	.56	26	22	23	1.2	107
cxd2820r	08_1a	23	451	23	1	3.3	90	91	.46	26	22	23	1.2	24
abyss	32_7a	4	2025	2	2	2.6	13	13	.51	3.5	3.5	4	1.0	72
twidjoy	32_7a	2	1268	2	2	2.3	4.6	4.5	.25	.45	.43	2	1.0	57
i915	43_1a	79	746	0	0	3.7	460	450	.34	36	36	79	1.0	3
dmx3191d	32_7a	2	1608	3	3	2.8	6.9	7.0	.17	1.6	1.6	2	.99	87
pt	32_7a	9	615	0	0	4.8	41	44	2.0	18	18	9	.99	3
farsync	32_7a	9	889	0	0	2.9	28	28	.21	2.9	3.0	9	.99	3
abyss	43_1a	3	1465	0	0	3.0	8.3	9.2	.52	1.5	1.6	3	.95	3
i2c-algo-pca	43_1a	7	478	0	0	2.4	16	18	.12	.91	1.0	7	.90	3
ar7part	43_1a	2	220	1	1	2.1	3.7	4.4	.04	.20	.23	2	.89	11
magellan	32_7a	2	1267	2	2	2.4	5.0	4.8	.27	.47	.51	2	.88	57
Sum		4193		15852	1200	2600	28000	20000	1900	13000	4900	4186+1		29239
Average		16	688	62	5	10	110	78	7.3	52	19	16	3.8	113