ToolCPAchecker 1.1-svn
Limitstimelimit: 120 s, memlimit: 3000 MB
Systemhost: pc-wehr-serv1
os: Linux 3.0.0-15-generic x86_64
cpu: Intel(R) Core(TM) i7-2600 CPU @ 3.40GHz
cores: 4, frequency: 3401 MHz, ram: 16408608 kB
Date of run12-02-17.0841
Test setintegration-explicitAnalysis
branch-r5630
Options-noout
-heap 2000m
-explicitAnalysis
-setprop cpa.conditions.global.time.wall=1min
-setprop analysis.useRefinement=true
-setprop cegar.refiner=cpa.explicit.ExplicitRefiner
test/programs/benchmarks/statuscputimewalltimetotalreachedrefinementsrefinements_succrefinements_failtime_refinements
total files2231972.311431.761350.64915.2521781163082465.407
correct results103738.53469.92440.2894.0459338850210.705
false negatives35.723.302.4480.0112200.113
false positives49.345.144.1600.0127300.710
score (223 files, max score: 361)140
pthread/fib_bench_BUG.cil.cunknown1.650.940.639s0.001s1000.014s
pthread/fib_bench_longer_BUG.cil.cunknown1.770.990.655s0.000s1000.019s
pthread/queue_BUG.cil.csafe2.021.120.859s0.005s2200.113s
pthread/reorder_5_BUG.cil.csafe1.981.150.864s0.002s0---
pthread/twostage_3_BUG.cil.csafe1.721.030.725s0.004s0---
pthread/fib_bench.cil.cunknown1.821.030.760s0.000s1000.026s
pthread/fib_bench_longer.cil.cunknown1.721.090.830s0.001s1000.019s
pthread/queue_ok.cil.csafe2.281.391.100s0.003s2200.135s
ntdrivers-simplified/cdaudio_simpl1_BUG.cil.cunsafe12.367.497.115s0.067s434204.721s
ntdrivers-simplified/floppy_simpl3_BUG.cil.cunsafe7.053.783.490s0.051s201901.731s
ntdrivers-simplified/floppy_simpl4_BUG.cil.cunsafe9.625.555.248s0.053s424103.197s
ntdrivers-simplified/kbfiltr_simpl2_BUG.cil.cunsafe4.742.522.249s0.034s181700.885s
ntdrivers-simplified/cdaudio_simpl1.cil.csafe11.907.587.261s0.093s525204.838s
ntdrivers-simplified/diskperf_simpl1.cil.csafe9.135.785.455s0.098s252503.289s
ntdrivers-simplified/floppy_simpl3.cil.csafe7.183.923.553s0.061s232301.859s
ntdrivers-simplified/floppy_simpl4.cil.csafe10.095.675.354s0.061s454503.352s
ntdrivers-simplified/kbfiltr_simpl1.cil.csafe3.662.291.911s0.015s111100.718s
ntdrivers-simplified/kbfiltr_simpl2.cil.csafe4.652.372.006s0.047s161600.725s
ntdrivers/cdaudio.BUG.i.cil.cunsafe6.353.463.169s0.011s4301.222s
ntdrivers/diskperf.BUG.i.cil.cunsafe4.972.872.568s0.001s3201.067s
ntdrivers/floppy.BUG.i.cil.cunsafe4.862.802.408s0.009s4300.689s
ntdrivers/kbfiltr.BUG.i.cil.cunsafe7.865.655.275s0.027s131203.609s
ntdrivers/parport.BUG.i.cil.cunsafe6.684.283.921s0.030s4301.861s
ntdrivers/cdaudio.i.cil.csafe31.6825.7725.445s0.101s4545022.271s
ntdrivers/diskperf.i.cil.csafe17.5413.1912.839s0.110s2020010.364s
ntdrivers/floppy.i.cil.cunknown22.4317.4617.134s0.059s4140114.806s
ntdrivers/parport.i.cil.cunknown15.3610.9810.695s0.046s121118.594s
ssh-simplified/s3_clnt_1_BUG.cil.cunsafe4.942.572.311s0.046s131200.901s
ssh-simplified/s3_clnt_2_BUG.cil.cunsafe4.462.281.999s0.032s131200.778s
ssh-simplified/s3_clnt_3_BUG.cil.cunsafe4.842.432.140s0.033s131200.871s
ssh-simplified/s3_clnt_4_BUG.cil.cunsafe4.522.432.153s0.041s131200.805s
ssh-simplified/s3_srvr_10_BUG.cil.cunsafe2.881.501.244s0.010s6500.221s
ssh-simplified/s3_srvr_11_BUG.cil.cunsafe5.502.862.618s0.043s191801.167s
ssh-simplified/s3_srvr_12_BUG.cil.cunsafe5.662.892.614s0.055s171601.046s
ssh-simplified/s3_srvr_14_BUG.cil.cunknown2.341.291.040s0.006s4310.183s
ssh-simplified/s3_srvr_1_BUG.cil.cunsafe3.331.771.433s0.014s5400.256s
ssh-simplified/s3_srvr_2_BUG.cil.cunsafe3.221.691.419s0.019s5400.269s
ssh-simplified/s3_srvr_6_BUG.cil.cunsafe9.646.315.941s0.070s161503.315s
ssh-simplified/s3_clnt_1.cil.csafe5.252.932.667s0.048s141401.155s
ssh-simplified/s3_clnt_2.cil.csafe5.873.503.171s0.047s151501.708s
ssh-simplified/s3_clnt_3.cil.csafe6.243.333.057s0.049s141401.638s
ssh-simplified/s3_clnt_4.cil.csafe5.923.212.929s0.053s151501.444s
ssh-simplified/s3_srvr_1a.cil.cunknown1.991.060.805s0.004s8710.144s
ssh-simplified/s3_srvr_1b.cil.cunknown1.510.860.629s0.004s6510.071s
ssh-simplified/s3_srvr_1.cil.cunknown4.522.312.039s0.044s9810.783s
ssh-simplified/s3_srvr_3.cil.cunknown4.142.081.832s0.038s9810.654s
ssh-simplified/s3_srvr_4.cil.cunknown4.822.332.088s0.037s111010.901s
ssh-simplified/s3_srvr_6.cil.csafe8.985.475.186s0.076s141402.991s
ssh-simplified/s3_srvr_7.cil.cunknown4.572.362.106s0.048s111010.896s
ssh-simplified/s3_srvr_8.cil.cunknown4.642.282.023s0.035s10910.859s
ssh/s3_clnt.blast.01.BUG.i.cil.cunknown8.195.335.054s0.035s131213.743s
ssh/s3_clnt.blast.02.BUG.i.cil.cunknown7.334.524.263s0.043s121112.879s
ssh/s3_clnt.blast.03.BUG.i.cil.cunknown7.705.084.750s0.032s131213.487s
ssh/s3_clnt.blast.04.BUG.i.cil.cunknown7.644.704.409s0.035s121113.016s
ssh/s3_srvr.blast.01.BUG.i.cil.cunsafe3.501.991.739s0.020s5400.477s
ssh/s3_srvr.blast.02.BUG.i.cil.cunsafe3.201.791.540s0.015s4300.357s
ssh/s3_srvr.blast.03.BUG.i.cil.cunsafe3.622.041.781s0.017s4300.415s
ssh/s3_srvr.blast.04.BUG.i.cil.cunsafe3.541.981.725s0.022s4300.412s
ssh/s3_srvr.blast.06.BUG.i.cil.cunsafe5.863.373.101s0.044s8701.486s
ssh/s3_srvr.blast.07.BUG.i.cil.cunknown4.122.241.989s0.025s7610.839s
ssh/s3_srvr.blast.08.BUG.i.cil.cunknown8.155.184.919s0.042s121113.576s
ssh/s3_srvr.blast.10.BUG.i.cil.cunknown8.345.415.132s0.056s121113.620s
ssh/s3_srvr.blast.11.BUG.i.cil.cunknown3.752.021.770s0.024s6510.688s
ssh/s3_srvr.blast.12.BUG.i.cil.cunsafe5.663.333.056s0.028s8701.549s
ssh/s3_srvr.blast.13.BUG.i.cil.cunknown4.282.412.145s0.022s7610.876s
ssh/s3_srvr.blast.14.BUG.i.cil.cunsafe5.733.363.109s0.044s8701.494s
ssh/s3_srvr.blast.15.BUG.i.cil.cunknown7.134.634.372s0.040s111013.064s
ssh/s3_srvr.blast.16.BUG.i.cil.cunsafe5.473.112.873s0.030s8701.359s
ssh/s3_clnt.blast.01.i.cil.cunknown9.036.005.711s0.037s131214.251s
ssh/s3_clnt.blast.03.i.cil.cunknown20.4616.8316.572s0.051s1817114.990s
ssh/s3_clnt.blast.04.i.cil.cunknown7.935.315.030s0.038s131213.767s
ssh/s3_srvr.blast.01.i.cil.cunknown5.132.742.428s0.035s8711.127s
ssh/s3_srvr.blast.06.i.cil.cunknown12.738.768.490s0.074s232216.381s
ssh/s3_srvr.blast.07.i.cil.cunknown4.002.231.983s0.024s7610.861s
ssh/s3_srvr.blast.08.i.cil.cunknown7.985.054.798s0.037s111013.415s
ssh/s3_srvr.blast.09.i.cil.cunknown4.092.372.126s0.025s7610.878s
ssh/s3_srvr.blast.10.i.cil.cunknown6.814.113.866s0.046s10912.399s
ssh/s3_srvr.blast.12.i.cil.cunknown7.064.113.864s0.040s141312.355s
ssh/s3_srvr.blast.13.i.cil.cunknown4.132.302.055s0.028s7610.871s
ssh/s3_srvr.blast.14.i.cil.cunknown9.165.835.539s0.057s171613.692s
ssh/s3_srvr.blast.15.i.cil.cunknown9.676.366.030s0.054s131214.240s
ssh/s3_srvr.blast.16.i.cil.cunknown11.707.667.382s0.078s201915.204s
locks/test_locks_14.BUG.cunknown2.821.551.268s0.014s161510.388s
locks/test_locks_15.BUG.cunknown2.781.601.346s0.011s171610.462s
locks/test_locks_10.csafe56.0551.3250.929s0.299s202001.106s
locks/test_locks_11.cunknown65.6860.9460.539s0.222s161600.809s
locks/test_locks_12.cunknown65.0860.8660.485s0.171s141400.701s
locks/test_locks_13.cunknown64.6460.8560.504s0.153s141400.648s
locks/test_locks_14.cunknown63.7260.9360.552s0.155s141400.425s
locks/test_locks_15.cunknown63.6460.8660.489s0.127s151500.358s
locks/test_locks_5.csafe2.501.331.083s0.017s101000.151s
locks/test_locks_6.csafe3.011.551.290s0.034s121200.217s
locks/test_locks_7.csafe4.271.991.722s0.052s141400.275s
locks/test_locks_8.csafe6.083.493.189s0.077s161600.398s
locks/test_locks_9.csafe12.629.419.082s0.127s181800.605s
heap-manipulation/bubble_sort_linux_BUG.cil.cunknown2.311.240.984s0.003s2110.255s
heap-manipulation/dll_of_dll_BUG.cil.cunknown1.620.850.621s0.000s0---
heap-manipulation/merge_sort_BUG.cil.cunknown1.891.080.827s0.004s3210.119s
heap-manipulation/sll_to_dll_rev_BUG.cil.cunknown2.921.841.592s0.004s2110.933s
heap-manipulation/bubble_sort_linux.cil.cunknown2.481.230.976s0.005s2110.261s
heap-manipulation/dll_of_dll.cil.cunknown1.630.890.663s0.004s0---
heap-manipulation/merge_sort.cil.cunknown1.961.120.850s0.001s3210.121s
heap-manipulation/sll_to_dll_rev.cil.cunknown3.302.071.823s0.003s2111.092s
list-properties/alternating_list.cil.cunknown1.750.950.701s0.000s2110.075s
list-properties/list.cil.cunknown1.771.000.748s0.001s2110.085s
list-properties/list_flag.cil.cunknown1.720.980.698s0.000s2110.072s
list-properties/simple.cil.cunknown1.710.990.710s0.000s2110.092s
list-properties/simple_built_from_end.cil.cunknown1.760.940.696s0.002s3210.085s
list-properties/splice.cil.cunknown2.271.300.992s0.003s3210.251s
systemc/token_ring.01.BUG.cil.cunknown3.912.402.074s0.029s121110.978s
systemc/token_ring.02.BUG.cil.cunknown7.104.484.212s0.045s222112.894s
systemc/token_ring.03.BUG.cil.cunknown9.466.336.013s0.041s292814.556s
systemc/transmitter.01.BUG.cil.cunsafe4.152.312.059s0.027s151401.033s
systemc/transmitter.02.BUG.cil.cunsafe7.204.364.108s0.029s222102.877s
systemc/transmitter.03.BUG.cil.cunsafe9.586.326.056s0.037s272604.596s
systemc/transmitter.04.BUG.cil.cunsafe21.4616.2515.874s0.190s3736010.649s
systemc/bist_cell.cil.cunknown2.901.601.355s0.011s6510.536s
systemc/kundu.cil.cunknown15.9712.0611.795s0.076s201919.936s
systemc/mem_slave_tlm.1.cil.csafe8.545.925.622s0.035s121204.383s
systemc/mem_slave_tlm.2.cil.csafe16.4713.3313.036s0.048s1313011.555s
systemc/mem_slave_tlm.4.cil.csafe59.3155.3755.032s0.065s1515053.110s
systemc/pc_sfifo_1.cil.cunknown68.3361.0460.484s0.310s9900.592s
systemc/pc_sfifo_2.cil.cunknown70.2261.1560.505s0.357s111101.092s
systemc/pc_sfifo_3.cil.csafe2.441.291.004s0.010s2200.161s
systemc/token_ring.01.cil.cunknown3.342.031.767s0.028s121110.865s
systemc/token_ring.04.cil.cunknown11.127.867.603s0.046s323116.301s
systemc/toy.cil.cunknown2.751.531.292s0.024s6510.495s
ldv-regression/1_3.c-unsafe.cil.cunsafe1.530.830.606s0.001s1000.020s
ldv-regression/alt_test.c-unsafe.cil.cunsafe1.600.920.690s0.001s1000.031s
ldv-regression/callfpointer.c-unsafe.cil.cunsafe1.450.780.559s0.000s1000.013s
ldv-regression/fo_test.c-unsafe.cil.cunknown1.160.68------
ldv-regression/mutex_lock_int.c-unsafe.cil.cunsafe1.480.860.629s0.001s2000.022s
ldv-regression/mutex_lock_struct.c-unsafe.cil.cunsafe1.540.840.611s0.000s2000.020s
ldv-regression/recursive_list.c-unsafe.cil.cunsafe1.560.860.633s0.000s1000.027s
ldv-regression/rule57_ebda_blast.c-unsafe.cil.cunsafe1.540.850.627s0.002s2100.038s
ldv-regression/rule60_list2.c-unsafe_1.cil.cunknown1.720.940.720s0.004s2110.150s
ldv-regression/stateful_check-unsafe.cil.cunsafe2.291.240.989s0.005s8700.158s
ldv-regression/test_while_int.c-unsafe.cil.cunsafe1.460.840.615s0.000s2100.029s
ldv-regression/test_while_int.c-unsafe_1.cil.cunsafe1.610.930.654s0.000s2100.024s
ldv-regression/alias_of_return.c-safe.cil.cunknown1.500.820.589s0.001s2110.029s
ldv-regression/alias_of_return.c-safe_1.cil.cunknown1.830.990.683s0.000s2110.023s
ldv-regression/alias_of_return_2.c-safe.cil.cunknown1.480.830.595s0.000s2110.029s
ldv-regression/alias_of_return_2.c-safe_1.cil.cunknown1.520.820.588s0.001s2110.029s
ldv-regression/ex3_forlist.c-safe.cil.cunknown1.831.100.848s0.004s4310.225s
ldv-regression/just_assert.c-safe.cil.csafe1.450.740.508s0.000s0---
ldv-regression/mutex_lock_int.c-safe_1.cil.cunknown1.620.960.725s0.000s2000.025s
ldv-regression/mutex_lock_struct.c-safe_1.cil.cunknown1.580.900.662s0.000s2000.021s
ldv-regression/nested_structure-safe.cil.cunsafe1.680.970.713s0.000s1000.044s
ldv-regression/nested_structure.c-safe.cil.cunknown1.510.810.581s0.001s1000.017s
ldv-regression/nested_structure_noptr-safe.cil.csafe1.420.800.564s0.002s1100.019s
ldv-regression/nested_structure_noptr.c-safe.cil.csafe1.490.840.608s0.000s1100.019s
ldv-regression/nested_structure_ptr-safe.cil.cunsafe1.781.020.781s0.001s1000.124s
ldv-regression/nested_structure_ptr.c-safe.cil.cunknown1.500.810.579s0.000s1000.019s
ldv-regression/oomInt.c-safe.cil.csafe1.510.810.569s0.000s1100.021s
ldv-regression/oomInt.c-safe_1.cil.csafe1.430.750.523s0.000s0---
ldv-regression/rule57_ebda_blast.c-safe_1.cil.cunsafe1.610.930.703s0.002s2100.049s
ldv-regression/rule60_list.c-safe.cil.cunknown1.621.000.772s0.000s3000.049s
ldv-regression/rule60_list2.c-safe.cil.cunknown1.650.920.679s0.004s2110.124s
ldv-regression/sizeofparameters_test.c-safe.cil.csafe1.440.800.569s0.000s1100.019s
ldv-regression/structure_assignment.c-safe.cil.cunknown1.530.800.574s0.000s1000.015s
ldv-regression/test_address.c-safe.cil.cunknown1.450.800.568s0.000s1000.017s
ldv-regression/test_cut_trace.c-safe.cil.csafe1.590.880.638s0.000s1100.019s
ldv-regression/test_malloc-1-safe.cil.cunknown1.510.800.580s0.001s2110.050s
ldv-regression/test_malloc-2-safe.cil.cunknown1.450.820.592s0.000s2110.041s
ldv-regression/test_overflow.c-safe.cil.csafe1.490.780.554s0.000s1100.024s
ldv-regression/test_union.c-safe.cil.csafe1.480.790.553s0.002s1100.017s
ldv-regression/test_union.c-safe_1.cil.cunknown1.550.820.581s0.000s1000.014s
ldv-regression/test_union_cast-1-safe.cil.csafe1.500.820.580s0.000s1100.020s
ldv-regression/test_union_cast-2-safe.cil.cunknown1.470.830.608s0.000s2110.042s
ldv-regression/test_union_cast.c-safe.cil.cunknown1.520.820.595s0.000s1000.019s
ldv-regression/test_union_cast.c-safe_1.cil.csafe1.540.780.546s0.000s1100.020s
ldv-regression/volatile_alias.c-safe.cil.cunknown1.490.770.551s0.000s2110.029s
ldv-regression/volatile_alias.c-safe_1.cil.cunknown1.440.770.543s0.000s2110.027s
ddv-machzwd/ddv_machzwd_all_BUG.cil.cunknown5.953.943.697s0.021s9812.245s
ddv-machzwd/ddv_machzwd_inw_BUG.cil.cunknown4.312.462.221s0.010s4311.094s
ddv-machzwd/ddv_machzwd_outb_BUG.cil.cunknown3.812.121.877s0.006s3210.797s
ddv-machzwd/ddv_machzwd_inb.cil.csafe2.961.631.363s0.012s0---
ddv-machzwd/ddv_machzwd_inb_p.cil.csafe2.981.561.303s0.012s0---
ddv-machzwd/ddv_machzwd_inl.cil.csafe2.671.381.111s0.008s0---
ddv-machzwd/ddv_machzwd_inl_p.cil.csafe3.021.601.341s0.006s0---
ddv-machzwd/ddv_machzwd_inw_p.cil.csafe2.831.431.171s0.009s0---
ddv-machzwd/ddv_machzwd_outb_p.cil.csafe2.821.531.263s0.012s0---
ddv-machzwd/ddv_machzwd_outl.cil.csafe2.871.591.333s0.008s0---
ddv-machzwd/ddv_machzwd_outl_p.cil.csafe2.641.361.113s0.011s0---
ddv-machzwd/ddv_machzwd_outw_p.cil.csafe2.871.541.293s0.010s0---
ddv-machzwd/ddv_machzwd_pthread_mutex_unlock.cil.csafe2.811.431.181s0.005s0---
ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko-unsafe.cil.out.i.pp.cil.cunsafe12.625.224.950s0.019s1000.108s
ldv-drivers/module_get_put-drivers-block-loop.ko-unsafe.cil.out.i.pp.cil.cunsafe16.5211.9111.641s0.051s8709.477s
ldv-drivers/module_get_put-drivers-block-pktcdvd.ko-unsafe.cil.out.i.pp.cil.cunknown6.922.972.701s0.022s1100.473s
ldv-drivers/module_get_put-drivers-isdn-gigaset-gigaset.ko-unsafe.cil.out.i.pp.cil.cunsafe16.468.298.018s0.028s5404.164s
ldv-drivers/module_get_put-drivers-isdn-mISDN-mISDN_core.ko-unsafe.cil.out.i.pp.cil.cunsafe10.624.864.596s0.020s3201.577s
ldv-drivers/module_get_put-drivers-net-ppp_generic.ko-unsafe.cil.out.i.pp.cil.cunknown13.488.488.156s0.068s3215.225s
ldv-drivers/module_get_put-drivers-net-wan-farsync.ko-unsafe.cil.out.iunsafe.cil.out.i.pp.cil.cunknown15.9812.3812.117s0.017s65110.234s
ldv-drivers/module_get_put-drivers-tty-synclink_gt.ko-unsafe.cil.out.i.pp.cil.cunsafe9.604.844.576s0.013s3201.552s
ldv-drivers/module_get_put-drivers-usb-core-usbcore.ko-unsafe.cil.out.i.pp.cil.cunknown19.2011.7611.508s0.025s3217.738s
ldv-drivers/usb_urb-drivers-hid-usbhid-usbmouse.ko-unsafe.cil.out.i.pp.cil.cunknown14.0911.7511.478s0.024s76110.282s
ldv-drivers/usb_urb-drivers-input-misc-keyspan_remote.ko-unsafe.cil.out.i.pp.cil.cunknown11.369.188.926s0.021s6517.587s
ldv-drivers/usb_urb-drivers-media-dvb-ttusb-dec-ttusb_dec.ko-unsafe.cil.out.i.pp.cil.cunknown20.7417.2817.015s0.026s76114.950s
ldv-drivers/usb_urb-drivers-staging-lirc-lirc_imon.ko-unsafe.cil.out.i.pp.cil.cunknown18.2815.2815.024s0.051s1110113.440s
ldv-drivers/usb_urb-drivers-usb-misc-iowarrior.ko-unsafe.cil.out.i.pp.cil.cunknown7.785.204.944s0.015s5413.560s
ldv-drivers/module_get_put-drivers-atm-eni.ko-safe.cil.out.i.pp.cil.cunknown7.503.363.031s0.055s1100.520s
ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko-safe.cil.out.i.pp.cil.csafe14.656.075.762s0.058s1100.787s
ldv-drivers/module_get_put-drivers-block-paride-pt.ko-safe.cil.out.i.pp.cil.cunknown97.5981.0062.638s7.051s44010.316s
ldv-drivers/module_get_put-drivers-bluetooth-btmrvl.ko-safe.cil.out.i.pp.cil.csafe5.382.752.485s0.028s1100.507s
ldv-drivers/module_get_put-drivers-char-ipmi-ipmi_watchdog.ko-safe.cil.out.i.pp.cil.cunknown6.573.863.576s0.020s3301.807s
ldv-drivers/module_get_put-drivers-gpu-drm-i915-i915.ko-safe.cil.out.i.pp.cil.csafe17.278.628.249s0.076s1101.491s
ldv-drivers/module_get_put-drivers-hid-hid-magicmouse.ko-safe.cil.out.i.pp.cil.cunknown3.862.231.957s0.020s1100.308s
ldv-drivers/module_get_put-drivers-hwmon-it87.ko-safe.cil.out.i.pp.cil.csafe6.333.112.785s0.031s1100.521s
ldv-drivers/module_get_put-drivers-net-atl1c-atl1c.ko-safe.cil.out.i.pp.cil.csafe11.095.134.691s0.128s1100.540s
ldv-drivers/module_get_put-drivers-net-pppox.ko-safe.cil.out.i.pp.cil.cunknown66.6661.5961.071s0.311s3305.105s
ldv-drivers/module_get_put-drivers-net-sis900.ko-safe.cil.out.i.pp.cil.csafe8.483.723.350s0.095s1100.497s
ldv-drivers/module_get_put-drivers-scsi-megaraid.ko-safe.cil.out.i.pp.cil.cunknown13.365.194.812s0.158s1100.750s
ldv-drivers/module_get_put-drivers-staging-et131x-et131x.ko-safe.cil.out.i.pp.cil.cunknown9.303.933.658s0.021s1100.381s
ldv-drivers/usb_urb-drivers-input-tablet-kbtab.ko-safe.cil.out.i.pp.cil.cunknown7.986.005.722s0.013s5414.555s
ldv-drivers/usb_urb-drivers-media-video-c-qcam.ko-safe.cil.out.i.pp.cil.csafe9.435.124.608s0.199s2200.873s
ldv-drivers/usb_urb-drivers-media-video-msp3400.ko-safe.cil.out.i.pp.cil.csafe8.103.743.387s0.089s2200.625s
ldv-drivers/usb_urb-drivers-misc-c2port-core.ko-safe.cil.out.i.pp.cil.csafe5.762.972.648s0.067s2200.629s
ldv-drivers/usb_urb-drivers-scsi-dc395x.ko-safe.cil.out.i.pp.cil.csafe14.325.995.662s0.106s2201.169s
ldv-drivers/usb_urb-drivers-usb-serial-ir-usb.ko-safe.cil.out.i.pp.cil.cunknown8.185.975.703s0.016s7614.384s
ldv-drivers/usb_urb-drivers-usb-serial-whiteheat.ko-safe.cil.out.i.pp.cil.cunknown9.555.875.591s0.046s5413.469s
ldv-drivers/usb_urb-drivers-uwb-i1480-dfu-i1480-dfu-usb.ko-safe.cil.out.i.pp.cil.cunsafe4.272.221.963s0.009s3200.493s
ldv-drivers/usb_urb-drivers-vhost-vhost_net.ko-safe.cil.out.i.pp.cil.csafe9.554.303.948s0.088s2200.801s
ldv-drivers/usb_urb-drivers-video-arkfb.ko-safe.cil.out.i.pp.cil.csafe7.373.753.377s0.067s2201.064s