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.1414
Test setintegration-explicitAnalysis
branch-r5656
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 files2211876.411364.721275.38911.7001746159582434.601
correct results101620.48366.88338.1473.5048988500158.751
false negatives35.162.802.0750.0112200.112
false positives49.555.164.1470.0077300.686
score (221 files, max score: 357)136
pthread/fib_bench_BUG.cil.cunknown1.600.910.683s0.001s1000.012s
pthread/fib_bench_longer_BUG.cil.cunknown1.420.800.568s0.000s1000.012s
pthread/queue_BUG.cil.csafe1.961.030.789s0.003s2200.112s
pthread/reorder_5_BUG.cil.csafe1.660.920.673s0.003s0---
pthread/twostage_3_BUG.cil.csafe1.540.850.613s0.005s0---
pthread/fib_bench.cil.cunknown1.490.830.578s0.001s1000.016s
pthread/fib_bench_longer.cil.cunknown1.480.830.577s0.000s1000.012s
pthread/queue_ok.cil.csafe1.830.980.741s0.000s2200.123s
ntdrivers-simplified/cdaudio_simpl1_BUG.cil.cunsafe10.966.566.271s0.074s434204.301s
ntdrivers-simplified/floppy_simpl3_BUG.cil.cunsafe6.593.232.982s0.052s201901.520s
ntdrivers-simplified/floppy_simpl4_BUG.cil.cunsafe9.214.834.568s0.054s424102.893s
ntdrivers-simplified/kbfiltr_simpl2_BUG.cil.cunsafe4.372.292.038s0.039s181700.810s
ntdrivers-simplified/cdaudio_simpl1.cil.csafe12.107.717.393s0.094s525204.973s
ntdrivers-simplified/diskperf_simpl1.cil.csafe8.225.445.107s0.061s252503.116s
ntdrivers-simplified/floppy_simpl3.cil.csafe7.024.033.741s0.055s232301.895s
ntdrivers-simplified/floppy_simpl4.cil.csafe9.855.344.995s0.074s454503.022s
ntdrivers-simplified/kbfiltr_simpl1.cil.csafe3.361.891.590s0.021s111100.559s
ntdrivers-simplified/kbfiltr_simpl2.cil.csafe4.562.302.041s0.042s161600.730s
ntdrivers/cdaudio.BUG.i.cil.cunsafe6.313.343.039s0.010s4301.249s
ntdrivers/diskperf.BUG.i.cil.cunsafe4.432.452.205s0.008s3200.929s
ntdrivers/floppy.BUG.i.cil.cunsafe4.622.462.195s0.007s4300.633s
ntdrivers/kbfiltr.BUG.i.cil.cunsafe7.044.744.493s0.023s131203.213s
ntdrivers/parport.BUG.i.cil.cunsafe6.213.493.248s0.012s4301.564s
ntdrivers/cdaudio.i.cil.csafe30.3624.7924.505s0.089s4545021.668s
ntdrivers/diskperf.i.cil.csafe18.5714.0013.657s0.093s2020011.062s
ntdrivers/floppy.i.cil.cunknown22.2330.7630.467s0.059s4140127.966s
ntdrivers/parport.i.cil.cunknown13.3710.4410.162s0.025s121117.349s
ssh-simplified/s3_clnt_1_BUG.cil.cunsafe4.352.262.021s0.036s131200.838s
ssh-simplified/s3_clnt_2_BUG.cil.cunsafe4.002.081.844s0.035s131200.752s
ssh-simplified/s3_clnt_3_BUG.cil.cunsafe4.452.231.992s0.030s131200.863s
ssh-simplified/s3_clnt_4_BUG.cil.cunsafe4.522.392.131s0.038s131200.870s
ssh-simplified/s3_srvr_10_BUG.cil.cunsafe2.661.391.124s0.011s6500.223s
ssh-simplified/s3_srvr_11_BUG.cil.cunsafe6.303.333.003s0.044s191801.367s
ssh-simplified/s3_srvr_12_BUG.cil.cunsafe5.422.722.360s0.039s171600.926s
ssh-simplified/s3_srvr_14_BUG.cil.cunknown2.541.280.923s0.002s4310.160s
ssh-simplified/s3_srvr_1_BUG.cil.cunsafe3.441.781.500s0.018s5400.324s
ssh-simplified/s3_srvr_2_BUG.cil.cunsafe3.061.541.273s0.010s5400.270s
ssh-simplified/s3_srvr_6_BUG.cil.cunsafe9.916.115.813s0.065s161503.292s
ssh-simplified/s3_clnt_1.cil.csafe5.512.932.665s0.043s141401.252s
ssh-simplified/s3_clnt_2.cil.csafe6.583.953.659s0.046s151502.031s
ssh-simplified/s3_clnt_3.cil.csafe6.573.753.457s0.056s141401.844s
ssh-simplified/s3_clnt_4.cil.csafe6.053.293.029s0.052s151501.488s
ssh-simplified/s3_srvr_1a.cil.cunknown2.071.150.885s0.008s8710.146s
ssh-simplified/s3_srvr_1b.cil.cunknown1.680.950.715s0.002s6510.071s
ssh-simplified/s3_srvr_1.cil.cunknown4.642.382.074s0.040s9810.769s
ssh-simplified/s3_srvr_3.cil.cunknown4.202.091.824s0.027s9810.622s
ssh-simplified/s3_srvr_4.cil.cunknown4.802.362.079s0.051s111010.854s
ssh-simplified/s3_srvr_6.cil.csafe9.145.725.432s0.066s141403.247s
ssh-simplified/s3_srvr_7.cil.cunknown4.732.422.170s0.041s111010.983s
ssh-simplified/s3_srvr_8.cil.cunknown4.552.352.087s0.037s10910.924s
ssh/s3_clnt.blast.01.BUG.i.cil.cunknown8.785.985.662s0.047s131214.200s
ssh/s3_clnt.blast.02.BUG.i.cil.cunknown8.175.254.978s0.055s121113.394s
ssh/s3_clnt.blast.03.BUG.i.cil.cunknown8.025.455.188s0.037s131213.880s
ssh/s3_clnt.blast.04.BUG.i.cil.cunknown7.595.034.635s0.036s121113.290s
ssh/s3_srvr.blast.01.BUG.i.cil.cunsafe3.632.061.810s0.017s5400.464s
ssh/s3_srvr.blast.02.BUG.i.cil.cunsafe3.882.312.027s0.031s4300.446s
ssh/s3_srvr.blast.03.BUG.i.cil.cunsafe3.612.291.978s0.020s4300.418s
ssh/s3_srvr.blast.04.BUG.i.cil.cunsafe3.221.831.578s0.020s4300.340s
ssh/s3_srvr.blast.06.BUG.i.cil.cunsafe5.573.082.841s0.029s8701.349s
ssh/s3_srvr.blast.07.BUG.i.cil.cunknown4.222.452.172s0.027s7610.883s
ssh/s3_srvr.blast.08.BUG.i.cil.cunknown7.895.124.849s0.038s121113.445s
ssh/s3_srvr.blast.10.BUG.i.cil.cunknown8.085.064.776s0.039s121113.477s
ssh/s3_srvr.blast.11.BUG.i.cil.cunknown3.771.961.683s0.022s6510.613s
ssh/s3_srvr.blast.12.BUG.i.cil.cunsafe5.803.333.069s0.032s8701.530s
ssh/s3_srvr.blast.13.BUG.i.cil.cunknown4.082.261.985s0.023s7610.830s
ssh/s3_srvr.blast.14.BUG.i.cil.cunsafe5.363.042.780s0.034s8701.356s
ssh/s3_srvr.blast.15.BUG.i.cil.cunknown6.864.344.059s0.036s111012.755s
ssh/s3_srvr.blast.16.BUG.i.cil.cunsafe5.473.042.798s0.019s8701.353s
ssh/s3_clnt.blast.01.i.cil.cunknown8.866.015.744s0.058s131214.341s
ssh/s3_clnt.blast.03.i.cil.cunknown21.2017.3217.056s0.061s1817115.336s
ssh/s3_clnt.blast.04.i.cil.cunknown8.936.145.874s0.031s131214.456s
ssh/s3_srvr.blast.01.i.cil.cunknown5.462.902.649s0.037s8711.261s
ssh/s3_srvr.blast.06.i.cil.cunknown13.499.699.411s0.091s232216.915s
ssh/s3_srvr.blast.07.i.cil.cunknown4.632.642.346s0.031s7610.882s
ssh/s3_srvr.blast.08.i.cil.cunknown8.585.505.141s0.043s111013.398s
ssh/s3_srvr.blast.09.i.cil.cunknown4.312.522.172s0.026s7610.805s
ssh/s3_srvr.blast.10.i.cil.cunknown7.404.824.548s0.048s10912.875s
ssh/s3_srvr.blast.12.i.cil.cunknown7.944.974.651s0.050s141312.866s
ssh/s3_srvr.blast.13.i.cil.cunknown4.122.272.011s0.023s7610.846s
ssh/s3_srvr.blast.14.i.cil.cunknown8.985.355.077s0.052s171613.426s
ssh/s3_srvr.blast.15.i.cil.cunknown9.105.975.683s0.050s131214.070s
ssh/s3_srvr.blast.16.i.cil.cunknown11.227.206.905s0.073s201914.876s
locks/test_locks_14.BUG.cunknown2.621.391.111s0.011s161510.354s
locks/test_locks_15.BUG.cunknown2.721.391.138s0.011s171610.402s
locks/test_locks_11.cunknown65.7860.8760.505s0.211s161600.806s
locks/test_locks_12.cunknown65.1860.8860.518s0.139s141400.618s
locks/test_locks_13.cunknown64.4460.8760.503s0.161s141400.681s
locks/test_locks_14.cunknown63.6660.9860.580s0.145s141400.399s
locks/test_locks_15.cunknown63.5260.9060.534s0.166s151500.396s
locks/test_locks_5.csafe2.571.351.087s0.018s101000.163s
locks/test_locks_6.csafe3.181.611.334s0.038s121200.207s
locks/test_locks_7.csafe4.241.971.691s0.064s141400.253s
locks/test_locks_8.csafe5.923.503.222s0.065s161600.384s
locks/test_locks_9.csafe12.369.108.755s0.120s181800.607s
heap-manipulation/bubble_sort_linux_BUG.cil.cunknown2.521.361.088s0.001s2110.298s
heap-manipulation/dll_of_dll_BUG.cil.cunknown1.680.960.712s0.000s0---
heap-manipulation/merge_sort_BUG.cil.cunknown2.081.140.881s0.000s3210.156s
heap-manipulation/sll_to_dll_rev_BUG.cil.cunknown2.901.771.527s0.001s2110.898s
heap-manipulation/bubble_sort_linux.cil.cunknown2.461.250.977s0.003s2110.282s
heap-manipulation/dll_of_dll.cil.cunknown1.600.840.606s0.000s0---
heap-manipulation/merge_sort.cil.cunknown1.900.970.740s0.005s3210.120s
heap-manipulation/sll_to_dll_rev.cil.cunknown3.081.991.754s0.003s2111.042s
list-properties/alternating_list.cil.cunknown1.560.850.620s0.001s2110.074s
list-properties/list.cil.cunknown1.730.910.677s0.003s2110.095s
list-properties/list_flag.cil.cunknown1.640.930.685s0.003s2110.075s
list-properties/simple.cil.cunknown1.690.900.647s0.003s2110.095s
list-properties/simple_built_from_end.cil.cunknown1.660.890.667s0.002s3210.117s
list-properties/splice.cil.cunknown2.081.090.813s0.002s3210.188s
systemc/token_ring.01.BUG.cil.cunknown3.331.901.645s0.023s121110.799s
systemc/token_ring.02.BUG.cil.cunknown6.293.783.538s0.051s222112.452s
systemc/token_ring.03.BUG.cil.cunknown9.636.426.157s0.051s292814.812s
systemc/transmitter.01.BUG.cil.cunsafe4.332.532.286s0.035s151401.111s
systemc/transmitter.02.BUG.cil.cunsafe7.104.374.094s0.047s222102.902s
systemc/transmitter.03.BUG.cil.cunsafe9.256.125.861s0.042s272604.552s
systemc/transmitter.04.BUG.cil.cunsafe22.2017.3317.000s0.178s3736011.354s
systemc/bist_cell.cil.cunknown2.711.451.206s0.016s6510.447s
systemc/kundu.cil.cunknown16.0412.1211.848s0.067s201919.801s
systemc/mem_slave_tlm.1.cil.csafe8.375.845.582s0.036s121204.249s
systemc/mem_slave_tlm.2.cil.csafe15.9512.7612.464s0.041s1313011.138s
systemc/pc_sfifo_1.cil.cunknown68.8861.2060.582s0.363s9900.726s
systemc/pc_sfifo_2.cil.cunknown69.6461.1860.547s0.360s111101.106s
systemc/pc_sfifo_3.cil.csafe2.411.270.995s0.011s2200.142s
systemc/token_ring.01.cil.cunknown3.422.041.785s0.019s121110.849s
systemc/token_ring.04.cil.cunknown11.107.807.542s0.043s323116.199s
systemc/toy.cil.cunknown3.071.691.422s0.014s6510.564s
ldv-regression/1_3.c-unsafe.cil.cunsafe1.500.850.608s0.002s1000.021s
ldv-regression/alt_test.c-unsafe.cil.cunsafe1.600.880.642s0.001s1000.037s
ldv-regression/callfpointer.c-unsafe.cil.cunsafe1.470.800.570s0.000s1000.014s
ldv-regression/fo_test.c-unsafe.cil.cunknown1.100.62------
ldv-regression/mutex_lock_int.c-unsafe.cil.cunsafe1.580.870.634s0.000s2000.024s
ldv-regression/mutex_lock_struct.c-unsafe.cil.cunsafe1.841.010.762s0.000s2000.020s
ldv-regression/recursive_list.c-unsafe.cil.cunsafe1.831.130.826s0.002s1000.045s
ldv-regression/rule57_ebda_blast.c-unsafe.cil.cunsafe1.620.940.692s0.000s2100.039s
ldv-regression/rule60_list2.c-unsafe_1.cil.cunknown2.091.080.829s0.004s2110.167s
ldv-regression/stateful_check-unsafe.cil.cunsafe2.261.301.049s0.014s8700.193s
ldv-regression/test_while_int.c-unsafe.cil.cunsafe1.580.900.660s0.000s2100.028s
ldv-regression/test_while_int.c-unsafe_1.cil.cunsafe1.620.920.667s0.000s2100.023s
ldv-regression/alias_of_return.c-safe.cil.cunknown1.560.880.610s0.000s2110.033s
ldv-regression/alias_of_return.c-safe_1.cil.cunknown1.590.840.603s0.001s2110.024s
ldv-regression/alias_of_return_2.c-safe.cil.cunknown1.490.840.555s0.001s2110.030s
ldv-regression/alias_of_return_2.c-safe_1.cil.cunknown1.670.860.613s0.000s2110.030s
ldv-regression/ex3_forlist.c-safe.cil.cunknown2.171.240.926s0.006s4310.261s
ldv-regression/just_assert.c-safe.cil.csafe1.470.810.566s0.000s0---
ldv-regression/mutex_lock_int.c-safe_1.cil.cunknown1.660.960.716s0.001s2000.030s
ldv-regression/mutex_lock_struct.c-safe_1.cil.cunknown1.750.980.738s0.000s2000.020s
ldv-regression/nested_structure-safe.cil.cunsafe1.740.980.734s0.001s1000.052s
ldv-regression/nested_structure.c-safe.cil.cunknown1.670.950.697s0.000s1000.017s
ldv-regression/nested_structure_noptr-safe.cil.csafe1.610.900.653s0.000s1100.021s
ldv-regression/nested_structure_noptr.c-safe.cil.csafe1.560.860.617s0.000s1100.019s
ldv-regression/nested_structure_ptr-safe.cil.cunsafe1.941.070.816s0.001s1000.130s
ldv-regression/nested_structure_ptr.c-safe.cil.cunknown1.740.980.726s0.000s1000.030s
ldv-regression/oomInt.c-safe.cil.csafe1.500.840.590s0.000s1100.021s
ldv-regression/oomInt.c-safe_1.cil.csafe1.550.840.590s0.000s0---
ldv-regression/rule57_ebda_blast.c-safe_1.cil.cunsafe1.821.030.787s0.000s2100.073s
ldv-regression/rule60_list.c-safe.cil.cunknown1.751.080.826s0.000s3000.043s
ldv-regression/rule60_list2.c-safe.cil.cunknown2.011.090.841s0.005s2110.138s
ldv-regression/sizeofparameters_test.c-safe.cil.csafe1.620.890.631s0.000s1100.020s
ldv-regression/structure_assignment.c-safe.cil.cunknown1.620.920.662s0.000s1000.015s
ldv-regression/test_address.c-safe.cil.cunknown1.680.950.703s0.000s1000.026s
ldv-regression/test_cut_trace.c-safe.cil.csafe1.560.880.641s0.000s1100.020s
ldv-regression/test_malloc-1-safe.cil.cunknown1.780.940.688s0.002s2110.085s
ldv-regression/test_malloc-2-safe.cil.cunknown1.590.880.639s0.001s2110.047s
ldv-regression/test_overflow.c-safe.cil.csafe1.610.890.624s0.000s1100.036s
ldv-regression/test_union.c-safe.cil.csafe1.610.870.628s0.000s1100.019s
ldv-regression/test_union.c-safe_1.cil.cunknown1.610.940.652s0.000s1000.023s
ldv-regression/test_union_cast-1-safe.cil.csafe1.670.900.665s0.000s1100.021s
ldv-regression/test_union_cast-2-safe.cil.cunknown1.660.940.662s0.000s2110.051s
ldv-regression/test_union_cast.c-safe.cil.cunknown1.740.960.713s0.000s1000.020s
ldv-regression/test_union_cast.c-safe_1.cil.csafe1.540.840.545s0.001s1100.020s
ldv-regression/volatile_alias.c-safe.cil.cunknown1.720.920.664s0.000s2110.039s
ldv-regression/volatile_alias.c-safe_1.cil.cunknown1.630.970.647s0.002s2110.027s
ddv-machzwd/ddv_machzwd_all_BUG.cil.cunknown6.284.093.846s0.020s9812.319s
ddv-machzwd/ddv_machzwd_inw_BUG.cil.cunknown4.402.552.257s0.009s4311.091s
ddv-machzwd/ddv_machzwd_outb_BUG.cil.cunknown4.222.442.181s0.008s3210.816s
ddv-machzwd/ddv_machzwd_inb.cil.csafe2.981.541.273s0.011s0---
ddv-machzwd/ddv_machzwd_inb_p.cil.csafe3.041.671.391s0.009s0---
ddv-machzwd/ddv_machzwd_inl.cil.csafe2.961.621.320s0.006s0---
ddv-machzwd/ddv_machzwd_inl_p.cil.csafe3.261.841.496s0.018s0---
ddv-machzwd/ddv_machzwd_inw_p.cil.csafe3.071.591.320s0.010s0---
ddv-machzwd/ddv_machzwd_outb_p.cil.csafe2.851.501.244s0.012s0---
ddv-machzwd/ddv_machzwd_outl.cil.csafe2.851.591.319s0.009s0---
ddv-machzwd/ddv_machzwd_outl_p.cil.csafe2.771.481.198s0.013s0---
ddv-machzwd/ddv_machzwd_outw_p.cil.csafe2.961.591.273s0.014s0---
ddv-machzwd/ddv_machzwd_pthread_mutex_unlock.cil.csafe3.011.571.273s0.010s0---
ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko-unsafe.cil.out.i.pp.cil.cunsafe13.435.355.089s0.018s1000.107s
ldv-drivers/module_get_put-drivers-block-loop.ko-unsafe.cil.out.i.pp.cil.cunsafe16.4611.8611.584s0.043s8709.160s
ldv-drivers/module_get_put-drivers-block-pktcdvd.ko-unsafe.cil.out.i.pp.cil.cunknown6.943.102.815s0.017s1100.507s
ldv-drivers/module_get_put-drivers-isdn-gigaset-gigaset.ko-unsafe.cil.out.i.pp.cil.cunsafe16.968.858.584s0.016s5404.515s
ldv-drivers/module_get_put-drivers-isdn-mISDN-mISDN_core.ko-unsafe.cil.out.i.pp.cil.cunsafe12.946.175.834s0.016s3201.902s
ldv-drivers/module_get_put-drivers-net-ppp_generic.ko-unsafe.cil.out.i.pp.cil.cunknown13.438.408.100s0.099s3215.329s
ldv-drivers/module_get_put-drivers-net-wan-farsync.ko-unsafe.cil.out.iunsafe.cil.out.i.pp.cil.cunknown17.0213.4013.122s0.016s65111.012s
ldv-drivers/module_get_put-drivers-tty-synclink_gt.ko-unsafe.cil.out.i.pp.cil.cunsafe10.865.425.098s0.021s3201.724s
ldv-drivers/module_get_put-drivers-usb-core-usbcore.ko-unsafe.cil.out.i.pp.cil.cunknown24.1314.2113.907s0.018s3218.597s
ldv-drivers/usb_urb-drivers-hid-usbhid-usbmouse.ko-unsafe.cil.out.i.pp.cil.cunknown15.1612.7312.452s0.015s76111.058s
ldv-drivers/usb_urb-drivers-input-misc-keyspan_remote.ko-unsafe.cil.out.i.pp.cil.cunknown12.189.599.317s0.015s6518.022s
ldv-drivers/usb_urb-drivers-media-dvb-ttusb-dec-ttusb_dec.ko-unsafe.cil.out.i.pp.cil.cunknown22.1118.1817.909s0.020s76115.876s
ldv-drivers/usb_urb-drivers-staging-lirc-lirc_imon.ko-unsafe.cil.out.i.pp.cil.cunknown19.3416.0215.722s0.021s1110114.250s
ldv-drivers/usb_urb-drivers-usb-misc-iowarrior.ko-unsafe.cil.out.i.pp.cil.cunknown8.435.585.271s0.026s5413.710s
ldv-drivers/module_get_put-drivers-atm-eni.ko-safe.cil.out.i.pp.cil.cunknown8.844.083.657s0.055s1100.659s
ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko-safe.cil.out.i.pp.cil.csafe14.806.466.157s0.050s1100.866s
ldv-drivers/module_get_put-drivers-block-paride-pt.ko-safe.cil.out.i.pp.cil.cunknown103.4888.2063.063s4.070s44010.849s
ldv-drivers/module_get_put-drivers-bluetooth-btmrvl.ko-safe.cil.out.i.pp.cil.csafe5.512.992.690s0.051s1100.492s
ldv-drivers/module_get_put-drivers-char-ipmi-ipmi_watchdog.ko-safe.cil.out.i.pp.cil.cunknown5.893.463.062s0.012s3301.490s
ldv-drivers/module_get_put-drivers-gpu-drm-i915-i915.ko-safe.cil.out.i.pp.cil.csafe17.378.378.013s0.058s1101.305s
ldv-drivers/module_get_put-drivers-hid-hid-magicmouse.ko-safe.cil.out.i.pp.cil.cunknown3.872.121.835s0.022s1100.343s
ldv-drivers/module_get_put-drivers-hwmon-it87.ko-safe.cil.out.i.pp.cil.csafe6.122.842.513s0.033s1100.474s
ldv-drivers/module_get_put-drivers-net-atl1c-atl1c.ko-safe.cil.out.i.pp.cil.csafe10.044.193.845s0.090s1100.524s
ldv-drivers/module_get_put-drivers-net-pppox.ko-safe.cil.out.i.pp.cil.cunknown67.0461.4960.927s0.285s3304.988s
ldv-drivers/module_get_put-drivers-net-sis900.ko-safe.cil.out.i.pp.cil.csafe8.554.033.621s0.128s1100.526s
ldv-drivers/module_get_put-drivers-scsi-megaraid.ko-safe.cil.out.i.pp.cil.cunknown12.165.084.670s0.122s1100.700s
ldv-drivers/module_get_put-drivers-staging-et131x-et131x.ko-safe.cil.out.i.pp.cil.cunknown9.974.193.910s0.021s1100.357s
ldv-drivers/usb_urb-drivers-input-tablet-kbtab.ko-safe.cil.out.i.pp.cil.cunknown8.676.426.137s0.025s5414.851s
ldv-drivers/usb_urb-drivers-media-video-c-qcam.ko-safe.cil.out.i.pp.cil.csafe10.305.915.290s0.221s2200.994s
ldv-drivers/usb_urb-drivers-media-video-msp3400.ko-safe.cil.out.i.pp.cil.csafe9.204.434.034s0.099s2200.752s
ldv-drivers/usb_urb-drivers-misc-c2port-core.ko-safe.cil.out.i.pp.cil.csafe5.836.406.051s0.056s2203.005s
ldv-drivers/usb_urb-drivers-scsi-dc395x.ko-safe.cil.out.i.pp.cil.csafe10.827.036.680s0.053s2201.896s
ldv-drivers/usb_urb-drivers-usb-serial-ir-usb.ko-safe.cil.out.i.pp.cil.cunknown7.828.847.470s0.016s7615.724s
ldv-drivers/usb_urb-drivers-usb-serial-whiteheat.ko-safe.cil.out.i.pp.cil.cunknown9.476.436.078s0.037s5413.481s
ldv-drivers/usb_urb-drivers-uwb-i1480-dfu-i1480-dfu-usb.ko-safe.cil.out.i.pp.cil.cunsafe4.052.081.810s0.005s3200.431s
ldv-drivers/usb_urb-drivers-vhost-vhost_net.ko-safe.cil.out.i.pp.cil.csafe8.693.903.554s0.078s2200.707s
ldv-drivers/usb_urb-drivers-video-arkfb.ko-safe.cil.out.i.pp.cil.csafe6.663.503.179s0.047s2200.996s