Multi-Property Verification

A detailed comparison of checking several properties simultaneously (“Multi”) compared to checking each property in a separate verification run (“Single”). The table is ordered by the speedup archived by checking properties simultaneously. The numbers for checking each property separately represent the maximum value of one of the runs.

		Verified Properties		Abstraction Predicates		Refinements		Reached States		Analysis CPU Time (s)
Kernel Module	Relevant Properties	Single	Multi	Single	Multi	Single	Multi	Single	Multi	Single	Multi	Speedup
spi-spi-tegra20-slink.c	2	14	14	0	0	0	0	4 902	4 907	97	7.0	14
tty-serial-timbuart.c	2	14	14	0	0	0	0	1 558	1 563	67	4.9	14
net-ethernet-mellanox-mlx5-core-mlx5_core.c	2	14	14	0	0	0	0	513 973	513 978	2 300	180	13
staging-iio-magnetometer-hmc5843_core.c	2	14	14	0	0	0	0	623	628	61	4.8	13
input-touchscreen-mms114.c	2	14	14	0	0	0	0	1 333	1 338	64	5.2	12
staging-comedi-drivers-amplc_pci224.c	2	14	14	0	0	0	0	1 696	1 701	67	5.5	12
bcma-bcma.c	2	14	14	0	0	0	0	1 459	1 464	61	5.0	12
input-touchscreen-elo.c	2	14	14	0	0	0	0	1 523	1 528	66	5.5	12
sound-soc-codecs-snd-soc-arizona.c	2	14	14	0	0	0	0	2 800	2 805	79	6.6	12
rtc-rtc-stk17ta8.c	2	14	14	0	0	0	0	1 704	1 709	70	5.8	12
net-wan-hdlc.c	2	14	14	0	0	0	0	1 330	1 335	61	5.1	12
rtc-rtc-m48t59.c	2	14	14	0	0	0	0	2 279	2 284	75	6.2	12
usb-phy-phy-tahvo.c	2	14	14	0	0	0	0	1 257	1 262	63	5.3	12
misc-bh1770glc.c	2	14	14	0	0	0	0	1 607	1 612	69	5.8	12
staging-comedi-drivers-das16m1.c	2	14	14	0	0	0	0	855	860	62	5.2	12
input-gameport-gameport.c	3	14	14	0	0	0	0	906	911	59	5.0	12
mfd-tps65010.c	2	14	14	0	0	0	0	1 741	1 746	69	5.8	12
sound-oss-uart401.c	2	14	14	0	0	0	0	2 321	2 326	74	6.3	12
w1-masters-ds1wm.c	2	14	14	0	0	0	0	2 399	2 404	74	6.3	12
input-touchscreen-ad7879.c	2	14	14	0	0	0	0	963	968	58	5.0	12
tty-goldfish.c	3	14	14	0	0	0	0	1 416	1 421	64	5.5	12
staging-comedi-drivers-pcmuio.c	2	14	14	0	0	0	0	2 434	2 439	69	5.9	12
net-appletalk-ipddp.c	2	14	14	0	0	0	0	2 300	2 309	67	5.7	12
scsi-hv_storvsc.c	2	14	14	0	0	0	0	3 101	3 106	78	6.7	12
md-dm-crypt.c	1	14	14	0	0	0	0	5 995	6 000	100	8.9	12
input-serio-sun4i-ps2.c	2	14	14	0	0	0	0	1 099	1 104	59	5.1	12
net-netconsole.c	2	14	14	0	0	0	0	1 749	1 754	63	5.5	12
rtc-rtc-isl12057.c	2	14	14	0	0	0	0	1 889	1 894	72	6.2	12
net-ethernet-intel-ixgbevf-ixgbevf.c	0	14	14	0	0	0	0	3 814	3 819	81	7.1	11
tty-serial-altera_uart.c	2	14	14	0	0	0	0	2 071	2 076	73	6.4	11
media-platform-s5p-tv-s5p-mixer.c	2	14	14	0	0	0	0	2 078	2 083	68	6.0	11
iio-light-apds9300.c	2	14	14	0	0	0	0	1 572	1 577	65	5.7	11
staging-media-lirc-lirc_sir.c	2	14	14	0	0	0	0	2 448	2 453	73	6.5	11
gpio-gpio-ml-ioh.c	2	14	14	0	0	0	0	1 231	1 236	63	5.6	11
acpi-acpi_ipmi.c	2	14	14	0	0	0	0	1 985	1 990	68	6.1	11
mmc-host-toshsd.c	2	14	14	0	0	0	0	2 917	2 922	80	7.2	11
sound-usb-snd-usbmidi-lib.c	2	14	14	0	0	0	0	4 847	4 852	92	8.3	11
ata-sata_vsc.c	2	14	14	0	0	0	0	1 839	1 844	71	6.5	11
net-can-sja1000-sja1000.c	2	14	14	0	0	0	0	4 181	4 186	82	7.5	11
sound-oss-uart6850.c	2	14	14	0	0	0	0	1 250	1 255	60	5.5	11
tty-serial-max310x.c	2	14	14	0	0	0	0	4 544	4 549	91	8.4	11
media-rc-sunxi-cir.c	2	14	14	0	0	0	0	1 323	1 328	60	5.5	11
sound-oss-pas2.c	2	14	14	0	0	0	0	5 407	5 412	85	7.8	11
sound-pci-hda-snd-hda-intel.c	3	14	14	0	0	0	0	5 745	5 750	100	9.4	11
scsi-iscsi_tcp.c	2	14	14	0	0	0	0	2 970	2 975	75	6.9	11
memstick-core-mspro_block.c	2	14	14	0	0	0	0	3 836	3 841	85	7.8	11
firewire-firewire-core.c	1	14	14	0	0	0	0	1 659	1 664	57	5.3	11
rapidio-devices-tsi721_mport.c	2	14	14	0	0	0	0	4 474	4 479	89	8.3	11
net-wireless-iwlegacy-iwl3945.c	2	14	14	0	0	0	0	5 436	5 441	98	9.2	11
sound-pci-snd-intel8x0m.c	2	14	14	0	0	0	0	3 491	3 496	81	7.7	11
sound-pci-snd-atiixp.c	3	14	14	0	0	0	0	6 132	6 137	90	8.6	11
sound-core-seq-snd-seq.c	3	12+2	12+2	15	16	10	11	1 395 205	54 671	1 000	97	10
staging-comedi-drivers-cb_pcidas.c	2	14	14	0	0	0	0	1 761	1 766	69	6.7	10
staging-comedi-drivers-addi_apci_1500.c	2	14	14	0	0	0	0	1 873	1 878	65	6.4	10
pcmcia-pd6729.c	2	14	14	0	0	0	0	5 958	5 963	93	9.1	10
sound-soc-codecs-snd-soc-wm0010.c	3	14	14	0	0	0	0	3 931	3 936	86	8.4	10
net-nfc-nci-nci.c	2	14	14	0	0	0	0	11 161	11 166	120	12	10
fs-fat-vfat.c	2	14	14	0	0	0	0	6 241	6 246	110	10	10
char-mwave-mwave.c	2	14	14	0	0	0	0	10 469	10 474	120	11	10
ata-sata_nv.c	2	14	14	0	0	0	0	6 222	6 227	110	10	10
tty-serial-sccnxp.c	2	14	14	0	0	0	0	3 477	3 482	84	8.4	10
sound-pci-snd-als4000.c	2	14	14	0	0	0	0	2 718	2 723	76	7.7	9.8
scsi-wd719x.c	2	14	14	0	0	0	0	7 531	7 536	110	11	9.8
sound-pci-snd-atiixp-modem.c	3	14	14	0	0	0	0	4 152	4 157	84	8.6	9.8
media-platform-s3c-camif-s3c-camif.c	2	14	14	0	0	0	0	2 937	2 942	82	8.4	9.8
sound-pci-snd-via82xx.c	2	14	14	0	0	0	0	13 048	13 053	110	12	9.7
net-wan-x25_asy.c	2	14	14	0	0	0	0	4 990	4 999	74	7.6	9.6
sound-snd-aloop.c	2	14	14	0	0	0	0	4 742	4 747	85	9.0	9.4
usb-gadget-udc-goku_udc.c	2	14	14	0	0	0	0	14 203	14 208	130	14	9.4
sound-pci-ice1712-snd-ice1712.c	3	14	14	0	0	0	0	11 488	11 493	140	15	9.2
sound-pci-snd-als300.c	2	14	14	0	0	0	0	3 693	3 698	77	8.7	8.9
sound-pci-snd-rme32.c	2	14	14	0	0	0	0	13 664	13 669	100	12	8.6
i2c-busses-i2c-xiic.c	2	14	14	0	0	0	0	6 347	6 352	98	12	8.0
sound-pci-lola-snd-lola.c	2	14	14	0	0	0	0	19 995	20 000	150	19	7.9
scsi-esp_scsi.c	2	14	14	0	0	0	0	30 277	30 282	180	23	7.8
scsi-advansys.c	2	14	14	0	0	0	0	115 267	115 272	460	59	7.7
staging-comedi-drivers-s626.c	2	14	14	0	0	0	0	21 421	21 426	130	17	7.6
tty-serial-8250-8250.c	1	14	14	0	0	0	0	18 984	18 989	170	23	7.5
usb-gadget-udc-net2280.c	2	14	14	0	0	0	0	28 568	28 573	170	23	7.4
tty-nozomi.c	2	14	14	0	0	0	0	46 440	46 445	190	26	7.3
net-sunrpc-sunrpc.c	5	14	14	5	5	1	1	6 424	4 731	130	19	7.0
net-netfilter-ipset-ip_set.c	4	14	14	10	10	2	2	3 163	1 923	96	14	7.0
media-platform-s5p-g2d-s5p-g2d.c	3	14	14	2	2	1	1	2 899	2 904	84	13	6.6
mmc-host-sdhci.c	2	14	14	0	0	0	0	4 341 699	4 341 704	11 000	1 600	6.4
media-pci-bt8xx-bttv.c	3	14	14	0	0	0	0	104 903	104 912	610	96	6.4
media-platform-mx2_emmaprp.c	3	13+1	13+1	0	0	0	0	7 132	7 141	88	14	6.2
misc-tifm_core.c	2	14	14	3	3	1	1	1 104	1 113	69	12	6.0
staging-iio-trigger-iio-trig-periodic-rtc.c	2	13+1	13+1	0	0	0	0	1 547	1 555	64	11	5.8
sound-soc-intel-sst-snd-intel-sst-core.c	3	14	14	2	2	2	2	8 334	8 343	96	17	5.6
scsi-cxgbi-cxgb4i-cxgb4i.c	2	14	14	3	3	1	1	5 889	5 898	83	15	5.5
thermal-thermal_sys.c	2	12+2	12+2	0	0	0	0	2 979	2 995	77	14	5.5
iio-adc-xilinx-xadc.c	4	14	14	7	7	3	3	5 754	5 763	99	18	5.5
media-usb-em28xx-em28xx-v4l.c	2	14	14	2	2	2	2	10 343	10 348	140	25	5.4
iio-light-tcs3414.c	3	14	14	4	4	1	1	1 945	1 954	74	14	5.4
staging-iio-light-tsl2x7x_core.c	2	14	14	6	6	3	3	2 083	2 092	89	16	5.4
media-usb-stk1160-stk1160.c	4	14	14	29	22	13	12	2 275	1 549	130	24	5.4
net-ethernet-ec_bhf.c	2	14	14	6	6	2	2	2 446	2 455	80	15	5.3
iio-proximity-sx9500.c	3	14	14	5	5	1	1	2 528	2 537	75	14	5.3
scsi-qla1280.c	3	14	14	0	0	0	0	436 071	436 076	1 200	220	5.2
video-fbdev-via-viafb.c	2	14	14	0	0	0	0	2 411 082	2 411 087	6 500	1 300	5.1
net-netfilter-nfnetlink_queue.c	3	14	14	7	7	1	1	2 300	2 305	74	15	5.0
input-serio-serio.c	3	14	14	3	4	1	2	1 858	1 873	74	15	5.0
iio-trigger-iio-trig-interrupt.c	2	13+1	13+1	2	2	1	1	1 229	1 237	66	13	5.0
net-usb-smsc95xx.c	2	14	14	0	0	0	0	29 417	29 422	160	34	4.9
ide-ide-gd_mod.c	2	13+1	13+1	2	2	1	1	3 548	3 557	85	18	4.9
iio-light-gp2ap020a00f.c	2	14	14	5	5	2	2	3 313	3 322	79	16	4.8
net-ethernet-silan-sc92031.c	3	14	14	6	8	2	3	17 424	17 579	130	27	4.8
media-common-saa7146-saa7146.c	2	14	14	2	2	1	1	5 793	5 728	98	20	4.8
net-ethernet-realtek-r8169.c	0	14	14	6	6	3	3	69 839	69 848	350	74	4.7
ipack-carriers-tpci200.c	4	14	14	8	9	2	3	1 692	1 697	85	18	4.7
xen-xen-acpi-processor.c	2	13+1	13+1	16	16	3	3	8 964	8 973	96	22	4.3
net-ethernet-realtek-8139too.c	3	14	14	12	12	8	8	7 299	7 308	110	26	4.3
net-wireless-ray_cs.c	2	14	14	11	13	6	9	29 759	30 171	180	42	4.2
net-l2tp-l2tp_ip6.c	2	14	14	7	8	1	2	3 427	3 435	95	22	4.2
watchdog-dw_wdt.c	2	13+1	13+1	3	3	1	1	4 795	4 803	71	17	4.2
net-wireless-adm8211.c	2	14	14	2	2	1	1	32 299	32 308	160	37	4.2
net-netfilter-nfnetlink_log.c	2	13+1	13+1	19	19	2	2	3 098	2 796	84	20	4.2
usb-gadget-function-u_serial.c	2	14	14	9	9	3	3	6 061	6 070	94	23	4.1
net-dccp-dccp_ipv6.c	2	14	14	6	6	4	4	26 218	26 227	120	30	4.1
block-nbd.c	2	14	14	20	20	9	9	5 078	4 938	100	25	4.1
net-ethernet-micrel-ks8851_mll.c	4	14	14	6	7	3	5	7 773	7 877	100	25	4.0
bluetooth-dtl1_cs.c	2	14	14	7	7	1	1	4 703	11 980	83	21	4.0
usb-misc-appledisplay.c	4	12+2	12+2	6	11	6	7	5 681	8 126	100	26	3.9
arch-x86-kernel-msr.c	3	14	14	60	61	12	14	2 982	3 467	90	23	3.9
net-ipv6-sit.c	3	14	14	22	28	6	7	17 353	28 385	140	37	3.9
net-ipv4-netfilter-ip_tables.c	2	12+2	12+2	10	11	3	4	29 679	37 626	150	40	3.8
nfc-st21nfca-st21nfca_i2c.c	2	13+1	13+1	10	10	4	4	4 492	4 501	81	22	3.8
fs-coda-coda.c	3	14	14	40	40	17	17	3 588	3 715	92	25	3.7
char-xillybus-xillybus_core.c	4	13+1	13+1	19	20	3	4	15 406	13 982	120	33	3.7
ide-ide-cd_mod.c	2	13+1	13+1	7	8	1	2	14 973	14 982	120	34	3.7
char-pcmcia-cm4040_cs.c	2	14	14	30	29	6	6	5 107	5 116	110	30	3.6
infiniband-core-rdma_cm.c	2	13+1	13+1	61	61	10	10	21 195	21 204	130	38	3.5
net-ppp-ppp_synctty.c	2	14	14	7	8	5	7	5 464	5 493	98	28	3.5
net-wireless-orinoco-orinoco.c	0	14	14	3	3	2	2	32 348	32 357	140	40	3.5
usb-host-fotg210-hcd.c	3	14	14	15	15	4	4	329 483	329 492	640	190	3.4
hid-hid-picolcd.c	2	14	14	2	2	1	1	36 796	36 805	130	40	3.4
misc-hpilo.c	3	14	14	22	21	7	7	3 561	3 612	97	29	3.3
char-tlclk.c	4	14	14	27	27	11	11	2 248	2 274	88	27	3.3
staging-dgap-dgap.c	3	14	14	40	40	11	11	66 220	66 141	360	110	3.3
net-ethernet-amd-nmclan_cs.c	3	14	14	9	13	5	7	12 884	15 068	110	34	3.2
net-wireless-ath-ath10k-ath10k_pci.c	2	14	14	3	3	2	2	87 275	87 284	230	70	3.2
net-ethernet-realtek-8139cp.c	3	14	14	10	13	6	9	39 093	41 429	170	52	3.2
staging-iio-accel-lis3l02dq.c	2	13+1	13+1	8	8	7	7	9 792	9 801	93	29	3.2
net-ethernet-smsc-epic100.c	3	14	14	7	8	4	6	19 787	20 138	140	44	3.1
net-can-can.c	4	14	14	23	28	7	8	4 152	4 188	93	30	3.1
media-usb-dvb-usb-dvb-usb-cxusb.c	2	13+1	13+1	8	9	4	7	44 187	44 195	150	48	3.1
bluetooth-bluecard_cs.c	2	14	14	7	7	1	1	13 243	37 890	110	36	3.0
staging-lustre-lustre-mgc-mgc.c	2	14	14	7	7	4	4	107 738	107 747	290	96	3.0
sound-core-snd.c	3	13+1	13+1	22	28	19	21	13 336	12 130	150	49	3.0
net-ethernet-tehuti-tehuti.c	3	14	14	11	14	7	11	59 115	59 385	220	75	3.0
media-rc-ati_remote.c	3	12+2	12+2	18	20	8	9	7 906	16 807	100	35	3.0
message-fusion-mptsas.c	2	13+1	13+1	3	4	2	3	38 671	88 019	170	59	2.9
net-l2tp-l2tp_eth.c	4	14	14	9	17	1	3	3 062	2 768	79	27	2.9
crypto-af_alg.c	2	13+1	13+1	49	50	7	7	4 599	4 607	83	28	2.9
net-usb-cdc-phonet.c	3	13+1	13+1	19	26	7	12	6 813	9 571	99	34	2.9
net-can-softing-softing.c	3	14	14	4	4	4	4	16 727	16 736	140	49	2.9
net-netfilter-nfnetlink.c	2	14	14	19	19	21	21	2 463	2 468	94	33	2.9
usb-misc-uss720.c	5	12+2	12+2	6	9	2	5	26 407	54 180	130	47	2.8
media-pci-smipcie-smipcie.c	2	13+1	13+1	20	20	8	8	51 243	51 251	140	50	2.7
net-ethernet-dnet.c	3	14	14	51	51	39	39	4 405	4 414	100	38	2.7
net-ethernet-dec-tulip-de2104x.c	3	14	14	26	30	27	29	28 848	34 012	170	63	2.6
net-ethernet-fujitsu-fmvj18x_cs.c	2	14	14	26	27	11	13	11 603	12 776	120	44	2.6
scsi-mvumi.c	4	14	14	3	3	2	2	45 615	110 226	200	80	2.5
misc-phantom.c	4	13+1	13+1	22	21	8	8	7 101	5 098	100	42	2.5
watchdog-w83977f_wdt.c	2	13+1	13+1	5	5	4	4	16 630	16 638	100	41	2.5
staging-iio-meter-ade7758.c	2	13+1	13+1	14	14	10	10	3 485	3 493	98	42	2.4
scsi-initio.c	2	14	14	0	0	0	0	3 680 120	3 680 129	3 600	1 500	2.4
net-ethernet-xircom-xirc2ps_cs.c	2	14	14	8	9	5	8	65 463	68 960	210	91	2.4
isdn-hardware-mISDN-w6692.c	3	14	14	3	3	1	1	78 961	172 664	200	84	2.3
net-wan-sbni.c	2	14	14	2	2	1	1	20 021	73 954	120	53	2.3
net-ethernet-3com-3c589_cs.c	3	14	14	13	14	10	14	16 619	49 701	120	55	2.3
net-decnet-decnet.c	2	13+1	13+1	40	41	17	18	989 205	718 883	1 900	830	2.3
staging-media-lirc-lirc_sasem.c	3	11+3	11+3	16	16	10	10	14 951	30 314	120	52	2.2
block-nvme.c	3	13+1	13+1	0	0	0	0	438 309	438 396	410	180	2.2
watchdog-pc87413_wdt.c	2	13+1	13+1	4	4	3	3	11 518	11 526	83	38	2.2
net-usb-usbnet.c	4	13+1	13+1	3	5	2	3	21 305	43 540	120	56	2.2
scsi-ch.c	3	14	14	35	34	8	8	6 690	6 699	120	57	2.1
staging-lustre-lustre-lmv-lmv.c	2	14	14	71	71	22	22	109 696	109 705	670	330	2.1
usb-host-hwa-hc.c	2	14	14	17	17	22	22	5 462	5 470	86	43	2.0
net-ieee802154-ieee802154_socket.c	3	14	14	11	14	4	9	9 222	9 287	130	66	2.0
input-mousedev.c	3	13+1	13+1	16	23	5	7	13 690	19 404	120	63	2.0
kernel-locking-locktorture.c	3	11+3	11+3	4	4	3	3	16 177	96 318	130	69	1.9
net-wireless-p54-p54usb.c	3	13+1	13+1	23	26	18	19	9 060	9 388	93	52	1.8
atm-iphase.c	2	14	14	2	2	1	1	69 418	274 642	220	120	1.8
scsi-ips.c	1	14	14	5	5	2	2	143 424	3 419	620	360	1.7
sound-core-snd-timer.c	3	12+2	12+2	26	30	21	20	52 486	73 490	220	130	1.7
media-usb-stkwebcam-stkwebcam.c	3	13+1	13+1	3	5	2	4	38 455	70 159	160	100	1.5
fs-hfsplus-hfsplus.c	2	13+1	13+1	5	5	11	11	1 981 437	2 029 849	2 100	1 400	1.5
net-ethernet-amd-amd8111e.c	3	14	14	7	9	4	6	127 617	128 202	240	160	1.5
infiniband-hw-ocrdma-ocrdma.c	4	13+1	13+1	30	46	19	24	196 463	207 962	370	260	1.5
fs-f2fs-f2fs.c	4	13	14	45	62	59	61	-	92 022	1 800	1 300	-
net-atm-br2684.c	4	13+1	13+1	6	8	4	9	8 379	13 843	99	70	1.4
net-wireless-ath-ath6kl-ath6kl_usb.c	3	14	14	25	38	57	64	24 013	24 337	220	160	1.4
staging-media-lirc-lirc_imon.c	3	11+3	11+3	29	29	27	32	10 544	23 404	150	110	1.3
sound-core-seq-oss-snd-seq-oss.c	3	13+1	13+1	22	22	15	15	186 906	186 914	300	240	1.3
block-mtip32xx-mtip32xx.c	4	13+1	13+1	28	28	10	10	234 948	402 114	370	300	1.2
net-ethernet-neterion-s2io.c	3	14	14	14	21	19	26	456 745	460 013	990	820	1.2
media-usb-usbtv-usbtv.c	4	11+3	11+3	30	62	22	23	9 559	23 130	120	100	1.2
net-wireless-ath-carl9170-carl9170.c	5	12+2	12+2	22	36	17	30	841 470	4 521 444	2 600	2 200	1.2
usb-core-usbcore.c	8	1+1	0+1	87	139	23	37	-	-	12 000	13 000	-
net-irda-sir-dev.c	3	13+1	13+1	40	40	36	36	29 501	29 509	140	150	.95
fs-nilfs2-nilfs2.c	3	0+1	0+1	96	96	113	113	-	-	13 000	13 000	.95
ata-libata.c	2	0+1	0+1	1	1	1	1	-	-	13 000	13 000	.94
scsi-gdth.c	4	0	0	8	8	5	6	-	-	13 000	13 000	.94
net-ethernet-intel-e1000-e1000.c	3	0	0	0	0	0	0	-	-	13 000	14 000	.93
net-wireless-b43legacy-b43legacy.c	3	0	0	0	0	0	0	-	-	13 000	14 000	.93
net-ethernet-intel-e100.c	3	14	14	56	56	106	106	204 255	209 951	1 100	1 300	.81
net-atm-lec.c	3	12+2	12+2	17	30	16	43	52 569	344 853	180	230	.78
net-hyperv-hv_netvsc.c	2	14	14	34	34	84	84	100 790	100 799	490	640	.77
net-netfilter-nf_conntrack_netlink.c	1	14	14	25	25	20	20	33 164	33 169	510	710	.72
net-wireless-orinoco-orinoco_usb.c	3	12+2	12+2	42	43	18	22	374 386	993 899	300	450	.68
watchdog-f71808e_wdt.c	2	13+1	13+1	37	37	20	20	385 794	385 802	580	860	.67
mfd-rtsx_usb.c	2	13+1	13+1	25	30	39	50	24 996	8 690	200	320	.64
net-wireless-libertas_tf-libertas_tf_usb.c	2	13+1	13+1	12	18	22	29	14 321	31 714	130	200	.63
net-ethernet-intel-igb-igb.c	4	11	0	13	33	19	49	-	-	7 500	13 000	-
input-misc-uinput.c	2	14	14	16	16	67	67	18 183	18 192	210	360	.57
block-paride-pg.c	2	14	14	99	99	106	106	73 687	73 696	300	540	.55
scsi-st.c	4	11+1	0+1	12	18	5	10	-	-	7 500	14 000	-
net-ethernet-3com-3c59x.c	3	14	14	14	17	12	17	1 057 978	2 320 312	860	1 600	.55
net-wireless-hostap-hostap_cs.c	2	13	14	25	43	24	39	-	498 799	1 800	3 200	-
net-bridge-bridge.c	3	14	14	39	50	53	83	1 348 445	5 621 749	1 700	3 300	.50
net-ethernet-sun-cassini.c	4	14	14	21	33	15	32	542 611	1 371 933	570	1 200	.49
net-can-usb-usb_8dev.c	3	13+1	13+1	18	34	11	18	5 780	9 103	110	240	.45
usb-misc-iowarrior.c	3	11+3	11+3	21	28	54	64	64 178	92 701	210	490	.42
media-pci-bt8xx-dst_ca.c	2	12+2	12+2	5	5	49	35	47 837	79 343	190	500	.38
input-mouse-synaptics_usb.c	3	13+1	13+1	108	127	45	57	9 982	3 978	210	550	.38
nfc-pn533.c	3	12+2	12+2	66	73	45	48	178 912	338 432	340	940	.36
net-can-usb-kvaser_usb.c	2	13+1	13+1	17	43	10	30	10 457	23 262	120	370	.32
media-usb-b2c2-b2c2-flexcop-usb.c	2	12+2	12+2	28	48	39	59	10 529	84 384	110	380	.28
net-wireless-libertas-libertas.c	2	13	0	3	12	3	22	-	-	3 000	13 000	-
net-ethernet-chelsio-cxgb4vf-cxgb4vf.c	2	13	13+1	67	118	49	128	-	861 340	1 200	5 300	-
net-usb-hso.c	4	11	0	156	234	155	233	-	-	2 800	13 000	-
media-rc-streamzap.c	2	12	14	122	195	118	148	-	2 731	1 900	9 300	-
media-usb-msi2500-msi2500.c	4	11+1	0+3	167	187	25	31	-	-	1 900	13 000	-
usb-gadget-legacy-gadgetfs.c	3	12	0	71	94	225	429	-	-	1 900	13 000	-
block-floppy.c	0	13	0	35	65	21	51	-	-	1 800	13 000	-
net-wireless-mwl8k.c	4	13+1	0+1	7	4	3	4	1 468 537	-	1 800	14 000	-
net-can-usb-ems_usb.c	2	12+2	12+2	50	69	69	98	40 806	80 095	290	2 400	.12
staging-vt6656-vt6656_stage.c	4	12+1	0+1	22	47	28	103	-	-	1 400	13 000	-
net-ethernet-atheros-atl1c-atl1c.c	3	13	0	41	51	79	177	-	-	1 300	13 000	-
net-ethernet-via-via-velocity.c	5	13	0	112	189	111	188	-	-	1 300	13 000	-
net-ethernet-intel-ixgb-ixgb.c	3	13	0	44	70	38	62	-	-	1 300	13 000	-
net-irda-ali-ircc.c	4	14	14	25	28	64	306	45 198	376 932	490	5 300	.092
media-usb-pwc-pwc.c	4	11+3	0+2	55	63	100	138	1 148 104	-	1 100	13 000	-
net-fddi-defxx.c	3	13	0	107	187	104	184	-	-	1 100	13 000	-
mfd-dln2.c	3	13+1	13+1	84	97	64	78	96 456	227 566	320	3 700	.086
misc-genwqe-genwqe_card.c	2	13	0	86	146	69	129	-	-	1 100	13 000	-
net-ethernet-sis-sis900.c	3	13	0	97	123	326	402	-	-	1 100	13 000	-
usb-misc-usbtest.c	5	12+2	12+2	20	32	12	20	169 695	8 058 273	270	3 200	.083
isdn-gigaset-bas_gigaset.c	4	13+1	13+1	35	64	75	119	15 934	884 667	190	4 500	.043