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.1102
Test setintegration-explicitAnalysis
branch-r5647
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 files2211884.981383.481298.54011.1741745159482438.775
correct results101636.55388.30354.8023.5938988500164.084
false negatives35.797.653.2560.0112200.133
false positives510.836.144.7950.0168300.682
score (221 files, max score: 357)134
pthread/fib_bench_BUG.cil.cunknown1.590.950.696s0.000s1000.015s
pthread/fib_bench_longer_BUG.cil.cunknown1.683.302.675s0.001s1000.031s
pthread/queue_BUG.cil.csafe2.063.151.602s0.003s2200.133s
pthread/reorder_5_BUG.cil.csafe1.902.810.814s0.006s0---
pthread/twostage_3_BUG.cil.csafe1.831.690.840s0.002s0---
pthread/fib_bench.cil.cunknown1.642.541.448s0.000s1000.013s
pthread/fib_bench_longer.cil.cunknown1.672.911.439s0.001s1000.020s
pthread/queue_ok.cil.csafe2.184.211.723s0.004s2200.161s
ntdrivers-simplified/cdaudio_simpl1_BUG.cil.cunsafe11.869.178.756s0.077s434204.799s
ntdrivers-simplified/floppy_simpl3_BUG.cil.cunsafe6.673.373.094s0.047s201901.474s
ntdrivers-simplified/floppy_simpl4_BUG.cil.cunsafe9.124.904.633s0.049s424102.773s
ntdrivers-simplified/kbfiltr_simpl2_BUG.cil.cunsafe4.612.472.199s0.041s181700.887s
ntdrivers-simplified/cdaudio_simpl1.cil.csafe11.907.397.069s0.110s525204.661s
ntdrivers-simplified/diskperf_simpl1.cil.csafe8.625.274.961s0.068s252502.875s
ntdrivers-simplified/floppy_simpl3.cil.csafe7.383.973.689s0.051s232301.867s
ntdrivers-simplified/floppy_simpl4.cil.csafe9.945.655.335s0.080s454503.375s
ntdrivers-simplified/kbfiltr_simpl1.cil.csafe3.442.031.724s0.024s111100.616s
ntdrivers-simplified/kbfiltr_simpl2.cil.csafe4.682.542.216s0.039s161600.756s
ntdrivers/cdaudio.BUG.i.cil.cunsafe5.933.102.845s0.011s4301.167s
ntdrivers/diskperf.BUG.i.cil.cunsafe4.502.732.439s0.008s3200.974s
ntdrivers/floppy.BUG.i.cil.cunsafe4.522.462.215s0.010s4300.661s
ntdrivers/kbfiltr.BUG.i.cil.cunsafe7.445.234.954s0.012s131203.464s
ntdrivers/parport.BUG.i.cil.cunsafe6.754.213.852s0.012s4301.735s
ntdrivers/cdaudio.i.cil.csafe33.0728.2527.849s0.092s4545024.377s
ntdrivers/diskperf.i.cil.csafe19.2714.9214.514s0.103s2020011.871s
ntdrivers/floppy.i.cil.cunknown22.8118.0117.714s0.055s4140115.303s
ntdrivers/parport.i.cil.cunknown14.4610.199.919s0.031s121117.858s
ssh-simplified/s3_clnt_1_BUG.cil.cunsafe5.002.492.216s0.035s131200.861s
ssh-simplified/s3_clnt_2_BUG.cil.cunsafe4.812.592.311s0.040s131200.834s
ssh-simplified/s3_clnt_3_BUG.cil.cunsafe5.292.692.317s0.036s131200.955s
ssh-simplified/s3_clnt_4_BUG.cil.cunsafe5.202.622.359s0.044s131200.866s
ssh-simplified/s3_srvr_10_BUG.cil.cunsafe2.831.441.126s0.008s6500.189s
ssh-simplified/s3_srvr_11_BUG.cil.cunsafe5.822.922.662s0.051s191801.147s
ssh-simplified/s3_srvr_12_BUG.cil.cunsafe5.022.552.277s0.042s171600.931s
ssh-simplified/s3_srvr_14_BUG.cil.cunknown2.571.291.019s0.001s4310.184s
ssh-simplified/s3_srvr_1_BUG.cil.cunsafe3.051.591.311s0.018s5400.244s
ssh-simplified/s3_srvr_2_BUG.cil.cunsafe3.371.701.416s0.017s5400.300s
ssh-simplified/s3_srvr_6_BUG.cil.cunsafe9.726.135.823s0.060s161503.130s
ssh-simplified/s3_clnt_1.cil.csafe5.222.742.482s0.048s141401.130s
ssh-simplified/s3_clnt_2.cil.csafe6.443.723.461s0.072s151501.836s
ssh-simplified/s3_clnt_3.cil.csafe6.603.883.529s0.051s141401.989s
ssh-simplified/s3_clnt_4.cil.csafe6.383.653.370s0.045s151501.689s
ssh-simplified/s3_srvr_1a.cil.cunknown2.091.200.925s0.005s8710.171s
ssh-simplified/s3_srvr_1b.cil.cunknown1.841.220.872s0.004s6510.078s
ssh-simplified/s3_srvr_1.cil.cunknown4.772.452.180s0.035s9810.793s
ssh-simplified/s3_srvr_3.cil.cunknown4.492.321.994s0.033s9810.729s
ssh-simplified/s3_srvr_4.cil.cunknown4.972.502.247s0.028s111010.860s
ssh-simplified/s3_srvr_6.cil.csafe9.666.195.836s0.069s141403.365s
ssh-simplified/s3_srvr_7.cil.cunknown5.032.712.431s0.049s111011.051s
ssh-simplified/s3_srvr_8.cil.cunknown4.872.662.352s0.037s10911.035s
ssh/s3_clnt.blast.01.BUG.i.cil.cunknown8.976.045.741s0.041s131214.246s
ssh/s3_clnt.blast.02.BUG.i.cil.cunknown8.365.435.146s0.042s121113.495s
ssh/s3_clnt.blast.03.BUG.i.cil.cunknown7.995.234.902s0.026s131213.482s
ssh/s3_clnt.blast.04.BUG.i.cil.cunknown7.905.174.908s0.055s121113.379s
ssh/s3_srvr.blast.01.BUG.i.cil.cunsafe4.092.382.101s0.025s5400.610s
ssh/s3_srvr.blast.02.BUG.i.cil.cunsafe3.522.081.821s0.020s4300.455s
ssh/s3_srvr.blast.03.BUG.i.cil.cunsafe3.712.181.915s0.019s4300.507s
ssh/s3_srvr.blast.04.BUG.i.cil.cunsafe3.872.332.015s0.019s4300.522s
ssh/s3_srvr.blast.06.BUG.i.cil.cunsafe5.983.473.215s0.030s8701.594s
ssh/s3_srvr.blast.07.BUG.i.cil.cunknown3.824.934.665s0.021s7613.577s
ssh/s3_srvr.blast.08.BUG.i.cil.cunknown7.669.959.684s0.054s121117.769s
ssh/s3_srvr.blast.10.BUG.i.cil.cunknown7.5310.4510.102s0.024s121118.620s
ssh/s3_srvr.blast.11.BUG.i.cil.cunknown3.862.191.932s0.027s6510.768s
ssh/s3_srvr.blast.12.BUG.i.cil.cunsafe5.493.202.940s0.032s8701.504s
ssh/s3_srvr.blast.13.BUG.i.cil.cunknown3.962.322.050s0.027s7610.822s
ssh/s3_srvr.blast.14.BUG.i.cil.cunsafe5.323.272.963s0.029s8701.445s
ssh/s3_srvr.blast.15.BUG.i.cil.cunknown7.535.495.205s0.036s111013.701s
ssh/s3_srvr.blast.16.BUG.i.cil.cunsafe6.064.694.362s0.037s8701.532s
ssh/s3_clnt.blast.01.i.cil.cunknown9.686.576.249s0.050s131214.686s
ssh/s3_clnt.blast.03.i.cil.cunknown21.4917.7217.466s0.056s1817115.735s
ssh/s3_clnt.blast.04.i.cil.cunknown8.725.775.454s0.042s131214.000s
ssh/s3_srvr.blast.01.i.cil.cunknown5.812.972.681s0.033s8711.255s
ssh/s3_srvr.blast.06.i.cil.cunknown14.009.799.501s0.104s232216.946s
ssh/s3_srvr.blast.07.i.cil.cunknown4.722.772.484s0.034s7611.145s
ssh/s3_srvr.blast.08.i.cil.cunknown9.175.875.487s0.055s111013.666s
ssh/s3_srvr.blast.09.i.cil.cunknown4.552.732.354s0.032s7611.009s
ssh/s3_srvr.blast.10.i.cil.cunknown7.484.574.296s0.043s10912.748s
ssh/s3_srvr.blast.12.i.cil.cunknown8.315.084.746s0.048s141312.766s
ssh/s3_srvr.blast.13.i.cil.cunknown4.512.762.435s0.031s7611.002s
ssh/s3_srvr.blast.14.i.cil.cunknown10.116.105.800s0.062s171613.906s
ssh/s3_srvr.blast.15.i.cil.cunknown9.966.586.246s0.077s131214.452s
ssh/s3_srvr.blast.16.i.cil.cunknown11.747.737.422s0.077s201915.197s
locks/test_locks_14.BUG.cunknown2.861.621.266s0.008s161510.372s
locks/test_locks_15.BUG.cunknown2.901.631.329s0.012s171610.431s
locks/test_locks_11.cunknown65.1160.9760.589s0.209s151500.700s
locks/test_locks_12.cunknown65.0960.9160.520s0.213s141400.654s
locks/test_locks_13.cunknown64.7860.9360.564s0.154s141400.659s
locks/test_locks_14.cunknown63.7260.9760.583s0.169s141400.323s
locks/test_locks_15.cunknown63.6160.9860.519s0.156s151500.360s
locks/test_locks_5.csafe2.411.431.072s0.015s101000.146s
locks/test_locks_6.csafe3.221.731.434s0.045s121200.209s
locks/test_locks_7.csafe4.582.402.089s0.042s141400.314s
locks/test_locks_8.csafe5.983.373.089s0.080s161600.383s
locks/test_locks_9.csafe14.8011.1810.845s0.099s181800.635s
heap-manipulation/bubble_sort_linux_BUG.cil.cunknown2.641.441.165s0.004s2110.292s
heap-manipulation/dll_of_dll_BUG.cil.cunknown1.680.910.672s0.004s0---
heap-manipulation/merge_sort_BUG.cil.cunknown1.921.030.791s0.002s3210.124s
heap-manipulation/sll_to_dll_rev_BUG.cil.cunknown3.031.851.583s0.003s2110.943s
heap-manipulation/bubble_sort_linux.cil.cunknown2.541.260.998s0.002s2110.264s
heap-manipulation/dll_of_dll.cil.cunknown1.660.890.646s0.000s0---
heap-manipulation/merge_sort.cil.cunknown1.971.090.849s0.000s3210.128s
heap-manipulation/sll_to_dll_rev.cil.cunknown3.262.081.833s0.004s2111.188s
list-properties/alternating_list.cil.cunknown1.640.900.646s0.001s2110.070s
list-properties/list.cil.cunknown1.710.940.692s0.001s2110.089s
list-properties/list_flag.cil.cunknown1.741.000.768s0.001s2110.095s
list-properties/simple.cil.cunknown1.640.900.653s0.002s2110.089s
list-properties/simple_built_from_end.cil.cunknown1.660.970.715s0.001s3210.086s
list-properties/splice.cil.cunknown1.991.130.876s0.002s3210.210s
systemc/token_ring.01.BUG.cil.cunknown3.411.931.678s0.028s121110.804s
systemc/token_ring.02.BUG.cil.cunknown6.393.803.537s0.044s222112.417s
systemc/token_ring.03.BUG.cil.cunknown10.146.646.345s0.053s292814.837s
systemc/transmitter.01.BUG.cil.cunsafe4.242.392.121s0.035s151401.035s
systemc/transmitter.02.BUG.cil.cunsafe7.484.504.235s0.027s222102.937s
systemc/transmitter.03.BUG.cil.cunsafe10.156.746.448s0.035s272605.018s
systemc/transmitter.04.BUG.cil.cunsafe24.5719.4219.064s0.204s3736012.167s
systemc/bist_cell.cil.cunknown2.801.441.188s0.016s6510.420s
systemc/kundu.cil.cunknown16.2412.1811.899s0.067s201919.792s
systemc/mem_slave_tlm.1.cil.csafe8.605.805.529s0.034s121204.266s
systemc/mem_slave_tlm.2.cil.csafe16.5513.4813.167s0.041s1313011.777s
systemc/pc_sfifo_1.cil.cunknown68.4761.1260.494s0.348s9900.614s
systemc/pc_sfifo_2.cil.cunknown70.5861.2360.621s0.319s111101.124s
systemc/pc_sfifo_3.cil.csafe2.151.220.961s0.012s2200.146s
systemc/token_ring.01.cil.cunknown3.522.011.738s0.025s121110.831s
systemc/token_ring.04.cil.cunknown11.367.897.591s0.049s323116.213s
systemc/toy.cil.cunknown2.961.581.322s0.016s6510.503s
ldv-regression/1_3.c-unsafe.cil.cunsafe1.761.010.742s0.001s1000.020s
ldv-regression/alt_test.c-unsafe.cil.cunsafe1.961.130.846s0.000s1000.031s
ldv-regression/callfpointer.c-unsafe.cil.cunsafe1.720.960.706s0.000s1000.014s
ldv-regression/fo_test.c-unsafe.cil.cunknown1.310.73------
ldv-regression/mutex_lock_int.c-unsafe.cil.cunsafe1.610.920.677s0.000s2000.025s
ldv-regression/mutex_lock_struct.c-unsafe.cil.cunsafe1.600.880.626s0.000s2000.020s
ldv-regression/recursive_list.c-unsafe.cil.cunsafe1.690.950.709s0.001s1000.039s
ldv-regression/rule57_ebda_blast.c-unsafe.cil.cunsafe1.791.050.805s0.001s2100.043s
ldv-regression/rule60_list2.c-unsafe_1.cil.cunknown2.161.250.930s0.005s2110.201s
ldv-regression/stateful_check-unsafe.cil.cunsafe2.371.361.050s0.025s8700.176s
ldv-regression/test_while_int.c-unsafe.cil.cunsafe1.761.020.748s0.000s2100.041s
ldv-regression/test_while_int.c-unsafe_1.cil.cunsafe1.690.950.706s0.000s2100.024s
ldv-regression/alias_of_return.c-safe.cil.cunknown1.661.020.689s0.000s2110.027s
ldv-regression/alias_of_return.c-safe_1.cil.cunknown1.791.080.733s0.000s2110.031s
ldv-regression/alias_of_return_2.c-safe.cil.cunknown1.771.070.814s0.000s2110.033s
ldv-regression/alias_of_return_2.c-safe_1.cil.cunknown1.640.980.667s0.000s2110.026s
ldv-regression/ex3_forlist.c-safe.cil.cunknown2.241.461.185s0.004s4310.338s
ldv-regression/just_assert.c-safe.cil.csafe1.761.050.737s0.000s0---
ldv-regression/mutex_lock_int.c-safe_1.cil.cunknown1.831.140.819s0.000s2000.027s
ldv-regression/mutex_lock_struct.c-safe_1.cil.cunknown1.861.090.759s0.000s2000.021s
ldv-regression/nested_structure-safe.cil.cunsafe1.800.960.684s0.000s1000.050s
ldv-regression/nested_structure.c-safe.cil.cunsafe1.701.090.823s0.000s1000.019s
ldv-regression/nested_structure_noptr-safe.cil.csafe1.721.010.705s0.001s1100.018s
ldv-regression/nested_structure_noptr.c-safe.cil.csafe1.711.220.827s0.000s1100.021s
ldv-regression/nested_structure_ptr-safe.cil.cunsafe1.811.060.816s0.004s1000.134s
ldv-regression/nested_structure_ptr.c-safe.cil.cunknown1.811.100.826s0.000s1000.034s
ldv-regression/oomInt.c-safe.cil.csafe1.690.850.591s0.000s1100.023s
ldv-regression/oomInt.c-safe_1.cil.csafe1.500.790.539s0.001s0---
ldv-regression/rule57_ebda_blast.c-safe_1.cil.cunsafe1.991.150.845s0.003s2100.065s
ldv-regression/rule60_list.c-safe.cil.cunknown1.731.120.842s0.001s3000.035s
ldv-regression/rule60_list2.c-safe.cil.cunknown2.091.170.883s0.004s2110.168s
ldv-regression/sizeofparameters_test.c-safe.cil.csafe1.680.970.712s0.002s1100.031s
ldv-regression/structure_assignment.c-safe.cil.cunknown1.710.980.699s0.000s1000.017s
ldv-regression/test_address.c-safe.cil.cunknown1.761.020.741s0.000s1000.018s
ldv-regression/test_cut_trace.c-safe.cil.csafe1.660.960.649s0.000s1100.019s
ldv-regression/test_malloc-1-safe.cil.cunknown1.720.940.693s0.000s2110.058s
ldv-regression/test_malloc-2-safe.cil.cunknown1.800.990.708s0.001s2110.042s
ldv-regression/test_overflow.c-safe.cil.csafe1.550.890.640s0.001s1100.025s
ldv-regression/test_union.c-safe.cil.csafe1.680.890.660s0.000s1100.021s
ldv-regression/test_union.c-safe_1.cil.cunknown1.760.950.688s0.000s1000.015s
ldv-regression/test_union_cast-1-safe.cil.csafe1.500.820.563s0.001s1100.020s
ldv-regression/test_union_cast-2-safe.cil.cunknown1.550.810.577s0.000s2110.043s
ldv-regression/test_union_cast.c-safe.cil.cunknown1.670.980.731s0.000s1000.019s
ldv-regression/test_union_cast.c-safe_1.cil.csafe1.490.810.583s0.000s1100.020s
ldv-regression/volatile_alias.c-safe.cil.cunknown1.530.800.567s0.000s2110.034s
ldv-regression/volatile_alias.c-safe_1.cil.cunknown1.560.810.571s0.000s2110.028s
ddv-machzwd/ddv_machzwd_all_BUG.cil.cunknown5.873.763.519s0.013s9812.201s
ddv-machzwd/ddv_machzwd_inw_BUG.cil.cunknown4.342.532.294s0.008s4311.088s
ddv-machzwd/ddv_machzwd_outb_BUG.cil.cunknown3.992.181.934s0.007s3210.792s
ddv-machzwd/ddv_machzwd_inb.cil.csafe2.841.461.191s0.012s0---
ddv-machzwd/ddv_machzwd_inb_p.cil.csafe2.881.541.292s0.010s0---
ddv-machzwd/ddv_machzwd_inl.cil.csafe2.851.461.189s0.010s0---
ddv-machzwd/ddv_machzwd_inl_p.cil.csafe2.741.381.122s0.009s0---
ddv-machzwd/ddv_machzwd_inw_p.cil.csafe2.871.531.279s0.016s0---
ddv-machzwd/ddv_machzwd_outb_p.cil.csafe2.801.471.214s0.010s0---
ddv-machzwd/ddv_machzwd_outl.cil.csafe2.771.431.165s0.015s0---
ddv-machzwd/ddv_machzwd_outl_p.cil.csafe2.771.411.154s0.009s0---
ddv-machzwd/ddv_machzwd_outw_p.cil.csafe2.811.541.285s0.008s0---
ddv-machzwd/ddv_machzwd_pthread_mutex_unlock.cil.csafe2.761.401.149s0.008s0---
ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko-unsafe.cil.out.i.pp.cil.cunsafe13.165.064.802s0.013s1000.112s
ldv-drivers/module_get_put-drivers-block-loop.ko-unsafe.cil.out.i.pp.cil.cunsafe16.0712.0411.735s0.067s8709.442s
ldv-drivers/module_get_put-drivers-block-pktcdvd.ko-unsafe.cil.out.i.pp.cil.cunknown7.713.313.032s0.028s1100.518s
ldv-drivers/module_get_put-drivers-isdn-gigaset-gigaset.ko-unsafe.cil.out.i.pp.cil.cunsafe15.718.878.589s0.023s5404.667s
ldv-drivers/module_get_put-drivers-isdn-mISDN-mISDN_core.ko-unsafe.cil.out.i.pp.cil.cunsafe11.325.254.970s0.021s3201.687s
ldv-drivers/module_get_put-drivers-net-ppp_generic.ko-unsafe.cil.out.i.pp.cil.cunknown13.588.237.916s0.076s3215.221s
ldv-drivers/module_get_put-drivers-net-wan-farsync.ko-unsafe.cil.out.iunsafe.cil.out.i.pp.cil.cunknown16.0012.5412.268s0.021s65110.310s
ldv-drivers/module_get_put-drivers-tty-synclink_gt.ko-unsafe.cil.out.i.pp.cil.cunsafe10.184.914.579s0.016s3201.623s
ldv-drivers/module_get_put-drivers-usb-core-usbcore.ko-unsafe.cil.out.i.pp.cil.cunknown22.1312.6212.314s0.013s3217.470s
ldv-drivers/usb_urb-drivers-hid-usbhid-usbmouse.ko-unsafe.cil.out.i.pp.cil.cunknown14.9213.0312.726s0.023s76111.293s
ldv-drivers/usb_urb-drivers-input-misc-keyspan_remote.ko-unsafe.cil.out.i.pp.cil.cunknown12.079.609.284s0.010s6517.968s
ldv-drivers/usb_urb-drivers-media-dvb-ttusb-dec-ttusb_dec.ko-unsafe.cil.out.i.pp.cil.cunknown21.0017.0516.785s0.028s76114.739s
ldv-drivers/usb_urb-drivers-staging-lirc-lirc_imon.ko-unsafe.cil.out.i.pp.cil.cunknown19.4216.0615.800s0.031s1110114.175s
ldv-drivers/usb_urb-drivers-usb-misc-iowarrior.ko-unsafe.cil.out.i.pp.cil.cunknown8.365.715.448s0.027s5413.903s
ldv-drivers/module_get_put-drivers-atm-eni.ko-safe.cil.out.i.pp.cil.cunknown8.603.873.497s0.061s1100.598s
ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko-safe.cil.out.i.pp.cil.csafe15.546.746.386s0.061s1100.812s
ldv-drivers/module_get_put-drivers-block-paride-pt.ko-safe.cil.out.i.pp.cil.cunknown87.1671.4562.499s3.325s44010.682s
ldv-drivers/module_get_put-drivers-bluetooth-btmrvl.ko-safe.cil.out.i.pp.cil.csafe5.692.782.496s0.018s1100.476s
ldv-drivers/module_get_put-drivers-char-ipmi-ipmi_watchdog.ko-safe.cil.out.i.pp.cil.cunknown5.713.273.015s0.013s3301.433s
ldv-drivers/module_get_put-drivers-gpu-drm-i915-i915.ko-safe.cil.out.i.pp.cil.csafe17.198.047.721s0.054s1101.223s
ldv-drivers/module_get_put-drivers-hid-hid-magicmouse.ko-safe.cil.out.i.pp.cil.cunknown3.651.791.531s0.017s1100.259s
ldv-drivers/module_get_put-drivers-hwmon-it87.ko-safe.cil.out.i.pp.cil.csafe7.383.172.870s0.039s1100.528s
ldv-drivers/module_get_put-drivers-net-atl1c-atl1c.ko-safe.cil.out.i.pp.cil.csafe14.405.264.913s0.138s1100.517s
ldv-drivers/module_get_put-drivers-net-pppox.ko-safe.cil.out.i.pp.cil.cunknown66.8461.4360.865s0.304s3304.803s
ldv-drivers/module_get_put-drivers-net-sis900.ko-safe.cil.out.i.pp.cil.csafe8.744.183.799s0.100s1100.540s
ldv-drivers/module_get_put-drivers-scsi-megaraid.ko-safe.cil.out.i.pp.cil.cunknown12.445.244.848s0.134s1100.540s
ldv-drivers/module_get_put-drivers-staging-et131x-et131x.ko-safe.cil.out.i.pp.cil.cunknown11.274.153.860s0.042s1100.571s
ldv-drivers/usb_urb-drivers-input-tablet-kbtab.ko-safe.cil.out.i.pp.cil.cunknown8.096.015.728s0.012s5414.455s
ldv-drivers/usb_urb-drivers-media-video-c-qcam.ko-safe.cil.out.i.pp.cil.csafe9.655.254.727s0.234s2200.913s
ldv-drivers/usb_urb-drivers-media-video-msp3400.ko-safe.cil.out.i.pp.cil.csafe7.546.846.457s0.072s2201.490s
ldv-drivers/usb_urb-drivers-misc-c2port-core.ko-safe.cil.out.i.pp.cil.csafe5.524.232.388s0.054s2200.619s
ldv-drivers/usb_urb-drivers-scsi-dc395x.ko-safe.cil.out.i.pp.cil.csafe10.957.377.035s0.044s2201.814s
ldv-drivers/usb_urb-drivers-usb-serial-ir-usb.ko-safe.cil.out.i.pp.cil.cunknown7.797.976.699s0.018s7615.150s
ldv-drivers/usb_urb-drivers-usb-serial-whiteheat.ko-safe.cil.out.i.pp.cil.cunknown8.595.425.166s0.038s5413.347s
ldv-drivers/usb_urb-drivers-uwb-i1480-dfu-i1480-dfu-usb.ko-safe.cil.out.i.pp.cil.cunsafe3.531.881.627s0.009s3200.414s
ldv-drivers/usb_urb-drivers-vhost-vhost_net.ko-safe.cil.out.i.pp.cil.csafe7.853.693.358s0.074s2200.696s
ldv-drivers/usb_urb-drivers-video-arkfb.ko-safe.cil.out.i.pp.cil.csafe6.623.483.167s0.070s2201.133s