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