Tool CPAchecker 1.4-svn
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 2
Host [zeus01; zeus02; zeus03; zeus04; zeus05; zeus06; zeus07; zeus08; zeus09; zeus10; zeus11; zeus12; zeus13; zeus14; zeus15; zeus16; zeus17; zeus18; zeus19; zeus20; zeus21; zeus22; zeus23; zeus24]
OS Linux 3.13.0-45-generic
System CPU: Intel Xeon E5-2650 v2 @ 2.60 GHz with 32 cores, frequency: 2.6 GHz; RAM: 135 GB
Date of execution 15-02-20 21:42
Run set DOMAIN_BEST_SHALLOW.DeviceDrivers DOMAIN_WORST_SHALLOW.DeviceDrivers LONGEST.DeviceDrivers SHORTEST.DeviceDrivers
Options -disable-java-assertions -heap 14000M -noout -skipRecursion -setprop log.consoleLevel=WARNING -valueAnalysis -setprop cpa.value.refinement.restart=TOP -setprop cpa.value.refiner.prefixPreference=DOMAIN_BEST_SHALLOW -disable-java-assertions -heap 14000M -noout -skipRecursion -setprop log.consoleLevel=WARNING -valueAnalysis -setprop cpa.value.refinement.restart=TOP -setprop cpa.value.refiner.prefixPreference=DOMAIN_WORST_SHALLOW -disable-java-assertions -heap 14000M -noout -skipRecursion -setprop log.consoleLevel=WARNING -valueAnalysis -setprop cpa.value.refinement.restart=TOP -setprop cpa.value.refiner.prefixPreference=LONGEST -disable-java-assertions -heap 14000M -noout -skipRecursion -setprop log.consoleLevel=WARNING -valueAnalysis -setprop cpa.value.refinement.restart=TOP -setprop cpa.value.refiner.prefixPreference=SHORTEST
Propertyfile ${sourcefile_path}/ALL.prp
test/programs/ status cputime #refs #prefixes status cputime #refs #prefixes status cputime #refs #prefixes status cputime #refs #prefixes
ldv-linux-3.0/module_get_put-drivers-block-paride-pt.ko_true-unreach-call.cil.out.i.pp.i true 18.179s 2 14 timeout 902.189s 14 730 true 16.304s 1 7 timeout 911.981s 12 129
ldv-linux-3.0/usb_urb-drivers-usb-serial-whiteheat.ko_true-unreach-call.cil.out.i.pp.i unknown 24.140s 6 11 timeout 901.506s 2 5 timeout 901.487s 1 3 unknown 25.374s 6 17
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--media--dvb--dvb-usb--dvb-usb-dib0700.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 910.269s 5 7 timeout 907.070s 5 7 error (1) 911.044s - - timeout 901.046s 5 7
ldv-linux-3.4-simple/43_1a_cilled_false-unreach-call_ok_linux-43_1a-drivers--usb--gadget--mv_udc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c false(reach) 38.176s 5 13 timeout 902.986s 6 9 false(reach) 37.904s 5 13 timeout 902.698s 6 9
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--misc--apanel.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.654s 1 4 timeout 901.479s 2 6 true 6.964s 1 4 timeout 901.393s 2 6
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--isdn--hardware--eicon--divadidd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 15.295s 1 8 timeout 902.202s 2 16 true 16.604s 1 8 timeout 959.978s - -
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-digitv.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 9.043s 2 4 timeout 903.168s 4 10 true 11.397s 5 15 timeout 902.069s 3 6
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--phy--marvell.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.087s 2 4 timeout 901.409s 1 3 true 6.802s 1 3 timeout 901.613s 1 3
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--staging--comedi--drivers--8255.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.922s 1 3 timeout 901.622s 2 4 true 5.430s 1 3 timeout 901.314s 2 4
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--staging--comedi--drivers--unioxx5.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.664s 1 3 timeout 902.862s 2 4 true 5.296s 1 3 timeout 901.930s 2 4
ldv-commit-tester/m0_false-unreach-call_drivers-scsi-gdth-ko--111_1a--5934df9-1.c timeout 905.113s 10 31 out of memory 471.595s - - out of memory 472.419s - - out of memory 737.264s - -
ldv-commit-tester/m0_true-unreach-call_drivers-media-video-cx88-cx88-blackbird-ko--32_7a--d47b389-1.c false(reach) 28.612s 1 40 timeout 902.335s 1 40 false(reach) 28.123s 1 40 timeout 902.251s 2 52
ldv-commit-tester/m0_true-unreach-call_drivers-media-video-cx88-cx88-blackbird-ko--32_7a--d47b389.c false(reach) 28.849s 1 40 timeout 902.396s 1 40 false(reach) 27.768s 1 40 timeout 901.999s 2 52
ldv-commit-tester/main1_true-unreach-call_sound-oss-sound-ko--32_7a--c4cb1dd-1.c true 59.735s 1 4 timeout 901.647s 2 7 true 53.027s 1 4 timeout 901.608s 2 7
ldv-commit-tester/main1_true-unreach-call_sound-oss-sound-ko--32_7a--c4cb1dd.c true 58.876s 1 4 timeout 901.555s 2 7 true 65.964s 1 4 timeout 901.669s 2 7
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-32_7a-drivers--block--paride--pg.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 12.716s 4 26 timeout 901.338s 7 28 true 12.299s 4 26 timeout 902.331s 6 28
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-32_7a-drivers--block--paride--pt.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 20.237s 4 28 timeout 919.202s 15 745 true 19.351s 4 28 timeout 901.047s 14 151
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-32_7a-drivers--hwmon--applesmc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 18.713s 2 45 timeout 902.420s 6 71 true 18.766s 2 45 timeout 902.008s 5 22
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-32_7a-drivers--infiniband--hw--cxgb3--iw_cxgb3.ko-ldv_main6_sequence_infinite_withcheck_stateful.cil.out.c true 29.444s 4 17 timeout 901.628s 1 5 true 29.320s 4 17 timeout 901.508s 1 5
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-32_7a-drivers--infiniband--hw--mlx4--mlx4_ib.ko-ldv_main4_sequence_infinite_withcheck_stateful.cil.out.c true 41.051s 7 12 timeout 959.737s - - true 39.804s 7 12 timeout 929.215s 14 98
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-32_7a-drivers--message--fusion--mptsas.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 29.154s 17 155 timeout 959.726s - - true 26.521s 13 92 timeout 916.422s 15 77
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-32_7a-drivers--message--i2o--i2o_core.ko-ldv_main4_sequence_infinite_withcheck_stateful.cil.out.c unknown 265.783s 16 86 timeout 909.475s 10 57 unknown 265.771s 18 136 timeout 912.628s 10 37
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-32_7a-drivers--mtd--ubi--ubi.ko-ldv_main3_sequence_infinite_withcheck_stateful.cil.out.c true 81.511s 11 23 timeout 901.636s 12 27 true 84.756s 11 23 timeout 905.212s 12 28
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-32_7a-drivers--net--arcnet--com90xx.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 10.562s 3 27 timeout 901.687s 4 28 true 10.717s 3 27 timeout 901.604s 7 49
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-32_7a-drivers--net--ethernet--i825xx--znet.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 13.377s 3 12 timeout 901.415s 1 4 true 13.173s 3 12 timeout 901.532s 1 4
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-32_7a-drivers--net--usb--hso.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 16.848s 4 10 timeout 900.932s 256 786 true 17.203s 4 10 timeout 901.817s 251 774
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-32_7a-drivers--parport--parport_pc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 42.177s 3 132 timeout 910.496s 2 88 true 42.269s 3 132 timeout 923.289s 3 131
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-32_7a-drivers--platform--x86--samsung-laptop.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 21.473s 7 51 timeout 901.235s 1 6 true 21.206s 5 136 timeout 901.640s 2 11
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-32_7a-drivers--staging--silicom--bpctl_mod.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 89.354s 3 6 timeout 906.348s 1 2 true 96.312s 3 6 timeout 909.385s 1 2
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-32_7a-drivers--staging--speakup--speakup.ko-ldv_main4_sequence_infinite_withcheck_stateful.cil.out.c true 151.331s 11 71 timeout 901.753s 8 44 true 151.621s 6 62 timeout 901.664s 9 45
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-32_7a-drivers--tty--mxser.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 15.849s 3 12 timeout 903.218s 14 548 true 15.551s 3 12 timeout 903.068s 15 575
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-32_7a-drivers--video--aty--radeonfb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 47.015s 8 54 timeout 901.241s 1 14 true 49.904s 4 17 timeout 901.339s 2 27
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-32_7a-kernel--rcutorture.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 53.408s 13 172 timeout 902.219s 6 37 true 24.481s 7 121 timeout 902.471s 7 24
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-32_7a-lib--rbtree_test.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.926s 1 8 timeout 901.479s 2 14 true 7.690s 1 8 timeout 901.439s 2 14
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--block--paride--pcd.ko-main.cil.out.c true 21.521s 5 43 timeout 903.721s 14 159 true 16.179s 4 33 timeout 902.154s 14 109
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--block--paride--pf.ko-main.cil.out.c true 22.970s 4 36 timeout 902.304s 17 160 true 24.819s 4 36 timeout 903.484s 18 158
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--block--paride--pg.ko-main.cil.out.c true 12.250s 4 28 timeout 902.418s 8 40 true 12.349s 4 28 timeout 901.649s 6 40
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--block--paride--pt.ko-main.cil.out.c true 18.519s 4 20 timeout 903.721s 13 734 true 18.025s 4 20 timeout 928.277s 13 123
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--infiniband--hw-cxgb3--iw_cxgb3.ko-main.cil.out.c true 25.797s 6 30 timeout 901.579s 1 5 true 23.769s 6 30 timeout 901.139s 1 5
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--isdn--hardware--eicon--divadidd.ko-main.cil.out.c true 17.046s 3 24 timeout 901.861s 1 8 true 16.059s 3 24 timeout 901.563s 2 15
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--isdn--mISDN--l1oip.ko-main.cil.out.c true 12.925s 3 18 timeout 901.449s 2 282 true 13.019s 3 18 timeout 901.376s 2 282
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--media--firewire--firedtv.ko-main.cil.out.c true 20.461s 10 33 timeout 902.370s 9 23 timeout 930.122s 7 19 true 41.346s 13 48
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--mfd--sm501.ko-main.cil.out.c true 13.727s 5 9 timeout 901.015s 2 11 true 13.677s 4 8 true 14.070s 5 9
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--staging--silicom--bpctl_mod.ko-main.cil.out.c true 57.034s 3 12 timeout 907.846s 1 4 true 48.602s 3 12 timeout 908.148s 1 4
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--video--aty--radeonfb.ko-main.cil.out.c true 106.395s 9 63 timeout 901.337s 1 16 true 77.260s 5 20 true 43.161s 6 21
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--video--udlfb.ko-main.cil.out.c true 23.159s 8 14 true 20.553s 6 9 timeout 902.211s 5 25 true 22.996s 7 12
ldv-linux-3.12-rc1/linux-3.12-rc1.tar.xz-144_2a-drivers--net--can--usb--ems_usb.ko-entry_point_false-unreach-call.cil.out.c unknown 84.926s 15 34 timeout 901.442s 6 9 unknown 30.742s 13 26 unknown 74.658s 15 32
ldv-linux-3.12-rc1/linux-3.12-rc1.tar.xz-144_2a-drivers--staging--media--go7007--go7007-loader.ko-entry_point_false-unreach-call.cil.out.c false(reach) 13.271s 9 14 timeout 901.056s 6 9 false(reach) 13.033s 9 13 timeout 901.266s 8 15
ldv-linux-3.12-rc1/linux-3.12-rc1.tar.xz-144_2a-drivers--net--arcnet--com90xx.ko-entry_point_true-unreach-call.cil.out.c timeout 901.644s 4 43 timeout 902.062s 4 36 true 14.147s 5 55 timeout 901.977s 7 63
ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--wireless--ath--ath6kl--ath6kl_usb.ko-entry_point_false-unreach-call.cil.out.c unknown 577.458s 11 26 timeout 947.578s 13 51 unknown 566.327s 12 32 unknown 558.351s 11 26
ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--wireless--libertas--usb8xxx.ko-entry_point_false-unreach-call.cil.out.c unknown 878.227s 13 26 unknown 881.014s 12 29 timeout 902.108s 15 31 unknown 884.102s 12 29
ldv-linux-3.16-rc1/43_2a_bitvector_linux-3.16-rc1.tar.xz-43_2a-drivers--usb--dwc3--dwc3.ko-entry_point_false-unreach-call.cil.out.c false(reach) 243.206s 28 294 timeout 900.760s 19 157 false(reach) 268.011s 28 280 timeout 901.513s 18 263
ldv-linux-3.16-rc1/205_9a_array_safes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--arcnet--com90xx.ko-entry_point_true-unreach-call.cil.out.c timeout 917.129s 4 43 timeout 901.568s 4 36 true 8.689s 1 11 timeout 901.663s 7 63
ldv-linux-3.16-rc1/43_2a_bitvector_linux-3.16-rc1.tar.xz-43_2a-drivers--atm--he.ko-entry_point_true-unreach-call.cil.out.c true 52.578s 11 309 true 20.651s 5 15 true 21.506s 3 11 timeout 901.625s 6 94
ldv-linux-3.16-rc1/43_2a_bitvector_linux-3.16-rc1.tar.xz-43_2a-drivers--net--xen-netfront.ko-entry_point_true-unreach-call.cil.out.c timeout 901.677s 13 37 unknown 442.560s 9 22 unknown 448.240s 9 40 timeout 901.755s 13 29
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--acpi--processor.ko-entry_point_true-unreach-call.cil.out.c true 18.132s 4 24 timeout 901.325s 6 48 true 14.920s 1 6 timeout 920.279s 21 90
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--ata--sata_sx4.ko-entry_point_true-unreach-call.cil.out.c true 13.285s 2 20 timeout 901.745s 10 56 true 11.118s 1 11 true 717.623s 10 54
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--block--paride--pg.ko-entry_point_true-unreach-call.cil.out.c true 13.611s 2 14 timeout 959.541s - - true 10.973s 1 5 timeout 959.455s - -
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--block--paride--pt.ko-entry_point_true-unreach-call.cil.out.c true 20.616s 2 30 timeout 903.056s 13 891 true 18.797s 1 14 timeout 907.158s 13 235
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--bluetooth--btmrvl_sdio.ko-entry_point_true-unreach-call.cil.out.c true 12.507s 3 12 timeout 901.372s 5 18 true 10.627s 2 10 timeout 901.257s 5 15
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--fmc--fmc-fakedev.ko-entry_point_true-unreach-call.cil.out.c true 6.763s 2 5 timeout 901.589s 4 10 true 5.985s 1 3 timeout 901.793s 4 10
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--gpu--drm--via--via.ko-entry_point_true-unreach-call.cil.out.c true 17.122s 2 10 timeout 901.339s 2 10 true 15.465s 1 3 timeout 901.416s 2 10
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--hid--hid-axff.ko-entry_point_true-unreach-call.cil.out.c true 6.627s 2 6 timeout 901.752s 3 8 true 5.489s 1 4 timeout 901.473s 3 7
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--hwmon--applesmc.ko-entry_point_true-unreach-call.cil.out.c true 17.595s 2 18 timeout 902.095s 7 86 true 13.897s 1 10 timeout 902.356s 6 35
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--input--joystick--analog.ko-entry_point_true-unreach-call.cil.out.c true 8.907s 2 5 timeout 901.214s 2 5 true 7.426s 1 3 timeout 901.519s 2 5
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--isdn--hardware--mISDN--hfcsusb.ko-entry_point_true-unreach-call.cil.out.c true 15.701s 7 34 timeout 909.882s 8 28 true 12.378s 2 9 timeout 959.560s - -
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--isdn--hisax--hfc_usb.ko-entry_point_true-unreach-call.cil.out.c true 12.497s 3 8 timeout 907.388s 12 35 true 35.841s 6 16 true 12.757s 3 8
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--isdn--mISDN--mISDN_dsp.ko-entry_point_true-unreach-call.cil.out.c true 348.016s 20 356 timeout 901.054s 3 24 timeout 958.653s 8 42 timeout 901.949s 11 318
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--media--i2c--cx25840--cx25840.ko-entry_point_true-unreach-call.cil.out.c timeout 901.259s - - true 881.493s - - timeout 901.214s - - timeout 901.275s - -
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--media--usb--cx231xx--cx231xx.ko-entry_point_true-unreach-call.cil.out.c timeout 909.339s 13 101 out of memory 959.832s - - timeout 960.035s - - timeout 910.615s 19 154
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--media--usb--pwc--pwc.ko-entry_point_true-unreach-call.cil.out.c true 23.247s 3 16 timeout 901.565s 3 24 true 19.346s 1 9 timeout 901.504s 9 43
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--mtd--ubi--ubi.ko-entry_point_true-unreach-call.cil.out.c true 542.224s 3 11 timeout 909.588s 22 89 timeout 915.916s 1 3 timeout 914.435s 17 56
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--net--can--usb--kvaser_usb.ko-entry_point_true-unreach-call.cil.out.c true 12.316s 3 13 timeout 901.654s 10 39 true 10.597s 4 18 timeout 901.624s 6 19
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--net--ethernet--calxeda--xgmac.ko-entry_point_true-unreach-call.cil.out.c true 25.033s 7 60 timeout 901.541s 1 7 true 16.417s 1 7 timeout 901.754s 12 78
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--net--ethernet--cisco--enic--enic.ko-entry_point_true-unreach-call.cil.out.c true 48.074s 3 17 timeout 911.177s 23 151 true 42.180s 2 10 true 124.951s 5 22
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--net--ethernet--mellanox--mlx4--mlx4_en.ko-entry_point_true-unreach-call.cil.out.c true 123.149s 9 45 timeout 959.871s - - true 59.099s 2 11 true 168.183s 14 57
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--net--ethernet--sun--sungem.ko-entry_point_true-unreach-call.cil.out.c true 68.549s 2 12 timeout 902.024s 1 9 true 39.402s 1 9 timeout 902.257s 2 12
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--net--fddi--defxx.ko-entry_point_true-unreach-call.cil.out.c true 755.762s 20 312 timeout 901.685s 1 20 true 22.684s 4 133 timeout 901.931s 10 151
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--net--usb--pegasus.ko-entry_point_true-unreach-call.cil.out.c true 16.481s 3 11 timeout 903.827s 9 30 true 12.074s 2 7 timeout 907.203s 5 14
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--net--wireless--zd1211rw--zd1211rw.ko-entry_point_true-unreach-call.cil.out.c true 410.641s 9 40 timeout 901.433s 17 80 true 122.932s 2 8 true 422.298s 14 44
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--scsi--dc395x.ko-entry_point_true-unreach-call.cil.out.c true 62.641s 5 45 timeout 901.333s 2 25 true 21.514s 1 13 timeout 904.195s 11 2350
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--scsi--qla2xxx--tcm_qla2xxx.ko-entry_point_true-unreach-call.cil.out.c true 25.285s 4 21 timeout 901.604s 6 29 true 18.951s 1 7 timeout 901.369s 4 21
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--scsi--vmw_pvscsi.ko-entry_point_true-unreach-call.cil.out.c true 21.143s 2 50 timeout 901.919s 9 127 true 16.550s 1 26 timeout 902.723s 9 106
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--staging--lustre--lustre--obdclass--llog_test.ko-entry_point_true-unreach-call.cil.out.c true 20.433s 2 80 timeout 901.269s 2 81 true 17.146s 1 41 timeout 901.327s 7 264
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--staging--rtl8723au--r8723au.ko-entry_point_true-unreach-call.cil.out.c timeout 902.097s 1 17 error (1) 915.852s - - timeout 901.911s 1 17 timeout 901.987s 1 17
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--target--sbp--sbp_target.ko-entry_point_true-unreach-call.cil.out.c true 18.659s 5 18 timeout 901.300s 4 14 true 15.512s 1 4 true 24.369s 6 19
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--tty--isicom.ko-entry_point_true-unreach-call.cil.out.c true 28.390s 6 40 timeout 901.068s 8 30 timeout 901.329s 4 27 timeout 901.521s 8 36
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--tty--rocket.ko-entry_point_true-unreach-call.cil.out.c true 23.029s 3 10 timeout 902.180s 7 40 true 18.834s 1 3 timeout 902.477s 9 41
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--usb--class--cdc-acm.ko-entry_point_true-unreach-call.cil.out.c true 88.926s 18 109 timeout 901.648s 15 59 true 13.943s 4 18 timeout 901.841s 12 44
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--usb--serial--sierra.ko-entry_point_true-unreach-call.cil.out.c true 15.904s 8 19 timeout 901.473s 6 17 true 13.258s 6 21 timeout 901.533s 5 15
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--video--fbdev--aty--radeonfb.ko-entry_point_true-unreach-call.cil.out.c true 97.813s 6 62 timeout 901.868s 1 16 true 45.652s 1 16 timeout 901.287s 4 46
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-kernel--locking--locktorture.ko-entry_point_true-unreach-call.cil.out.c true 14.427s 11 46 timeout 901.494s 2 3 timeout 901.489s 2 5 timeout 901.525s 2 3
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-kernel--rcu--rcutorture.ko-entry_point_true-unreach-call.cil.out.c true 18.121s 2 5 timeout 901.496s 3 6 true 15.989s 1 3 timeout 901.546s 3 6
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-net--sched--sch_atm.ko-entry_point_true-unreach-call.cil.out.c true 14.061s 2 8 timeout 902.320s 1 5 true 12.250s 1 5 timeout 902.328s 4 14
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-net--sched--sch_cbq.ko-entry_point_true-unreach-call.cil.out.c true 19.990s 2 6 timeout 901.644s 1 4 true 14.563s 1 4 timeout 901.687s 2 6
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-sound--drivers--snd-mts64.ko-entry_point_true-unreach-call.cil.out.c true 29.160s 2 14 timeout 901.437s 1 7 true 19.865s 1 7 timeout 901.338s 4 25
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-sound--pci--cs46xx--snd-cs46xx.ko-entry_point_true-unreach-call.cil.out.c timeout 917.762s 11 98 timeout 908.214s 19 89 true 88.799s 1 11 timeout 910.682s 16 124
ldv-validator-v0.6/linux-stable-8a9f335-1-32_7a-drivers--net--wireless--ath--carl9170--carl9170.ko-entry_point_false-unreach-call.cil.out.c false(reach) 333.374s 48 139 false(reach) 260.696s 50 122 timeout 902.269s 19 44 false(reach) 315.321s 48 139
test/programs/ status cputime #refs #prefixes status cputime #refs #prefixes status cputime #refs #prefixes status cputime #refs #prefixes
total tasks 98 15010.131 602 4260 98 85479.931 845 7549 98 16065.429 368 2464 98 78495.764 957 8558
correct results 82 4955.846 478 3620 4 1183.393 61 146 78 2336.251 251 1934 11 1907.077 131 433
false negatives 0 - - - 0 - - - 0 - - - 0 - - -
false positives 2 57.461 2 80 0 - - - 2 55.891 2 80 0 - - -
false properties 0 - - - 0 - - - 0 - - - 0 - - -
score (98 tasks) 148 - - - 7 - - - 141 - - - 21 - - -
Run set DOMAIN_BEST_SHALLOW.DeviceDrivers DOMAIN_WORST_SHALLOW.DeviceDrivers LONGEST.DeviceDrivers SHORTEST.DeviceDrivers