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-16.0927
Test setintegration-explicitAnalysis
branch-r5623
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 files2231912.591433.301269.79711.2221780162982461.957
correct results96585.87371.93346.1083.2429038550198.804
false negatives35.052.832.0880.0062200.099
false positives47.884.543.5790.0107300.594
score (223 files, max score: 361)126
pthread/fib_bench_BUG.cil.cunknown1.440.800.558s0.001s1000.013s
pthread/fib_bench_longer_BUG.cil.cunknown1.600.970.740s0.000s1000.012s
pthread/queue_BUG.cil.csafe1.730.940.708s0.000s2200.099s
pthread/reorder_5_BUG.cil.csafe1.610.890.619s0.004s0---
pthread/twostage_3_BUG.cil.csafe1.711.000.761s0.002s0---
pthread/fib_bench.cil.cunknown1.330.770.530s0.000s1000.013s
pthread/fib_bench_longer.cil.cunknown1.460.830.599s0.000s1000.013s
pthread/queue_ok.cil.csafe1.771.050.805s0.001s2200.099s
ntdrivers-simplified/cdaudio_simpl1_BUG.cil.cunsafe10.486.235.953s0.068s434204.051s
ntdrivers-simplified/floppy_simpl3_BUG.cil.cunsafe6.083.132.827s0.040s201901.410s
ntdrivers-simplified/floppy_simpl4_BUG.cil.cunsafe9.005.224.912s0.052s424103.044s
ntdrivers-simplified/kbfiltr_simpl2_BUG.cil.cunsafe4.392.512.224s0.035s181700.897s
ntdrivers-simplified/cdaudio_simpl1.cil.csafe11.497.226.918s0.082s525204.593s
ntdrivers-simplified/diskperf_simpl1.cil.csafe7.514.754.443s0.076s252502.639s
ntdrivers-simplified/floppy_simpl3.cil.csafe6.903.443.152s0.066s232301.646s
ntdrivers-simplified/floppy_simpl4.cil.csafe9.094.794.493s0.064s454502.765s
ntdrivers-simplified/kbfiltr_simpl1.cil.csafe3.181.711.454s0.019s111100.525s
ntdrivers-simplified/kbfiltr_simpl2.cil.csafe4.121.971.718s0.041s161600.605s
ntdrivers/cdaudio.BUG.i.cil.cunsafe6.193.062.808s0.008s4301.125s
ntdrivers/diskperf.BUG.i.cil.cunsafe4.702.702.417s0.010s3200.985s
ntdrivers/floppy.BUG.i.cil.cunsafe5.042.692.365s0.007s4300.762s
ntdrivers/kbfiltr.BUG.i.cil.cunsafe7.675.325.064s0.024s131203.594s
ntdrivers/parport.BUG.i.cil.cunsafe6.353.823.540s0.009s4301.553s
ntdrivers/cdaudio.i.cil.csafe30.5924.9424.632s0.080s4545021.434s
ntdrivers/diskperf.i.cil.csafe17.7513.4013.084s0.091s2020010.570s
ntdrivers/floppy.i.cil.cunknown21.4917.3217.054s0.052s4140114.703s
ntdrivers/parport.i.cil.cunknown13.609.539.236s0.035s121117.404s
ssh-simplified/s3_clnt_1_BUG.cil.cunsafe5.032.582.307s0.028s131200.896s
ssh-simplified/s3_clnt_2_BUG.cil.cunsafe5.102.672.368s0.046s131200.860s
ssh-simplified/s3_clnt_3_BUG.cil.cunsafe5.432.742.437s0.044s131201.083s
ssh-simplified/s3_clnt_4_BUG.cil.cunsafe4.772.422.160s0.034s131200.814s
ssh-simplified/s3_srvr_10_BUG.cil.cunsafe2.601.321.049s0.008s6500.179s
ssh-simplified/s3_srvr_11_BUG.cil.cunsafe5.582.792.537s0.039s191801.125s
ssh-simplified/s3_srvr_12_BUG.cil.cunsafe4.852.412.145s0.027s171600.845s
ssh-simplified/s3_srvr_14_BUG.cil.cunknown2.141.100.849s0.004s4310.150s
ssh-simplified/s3_srvr_1_BUG.cil.cunsafe3.061.481.207s0.012s5400.237s
ssh-simplified/s3_srvr_2_BUG.cil.cunsafe3.141.481.225s0.015s5400.263s
ssh-simplified/s3_srvr_6_BUG.cil.cunsafe9.415.995.708s0.061s161503.200s
ssh-simplified/s3_clnt_1.cil.csafe5.142.772.515s0.043s141401.143s
ssh-simplified/s3_clnt_2.cil.csafe6.613.743.485s0.054s151501.917s
ssh-simplified/s3_clnt_3.cil.csafe6.203.553.291s0.042s141401.884s
ssh-simplified/s3_clnt_4.cil.csafe6.103.343.069s0.049s151501.541s
ssh-simplified/s3_srvr_1a.cil.cunknown2.121.200.922s0.007s8710.154s
ssh-simplified/s3_srvr_1b.cil.cunknown1.620.950.689s0.003s6510.076s
ssh-simplified/s3_srvr_1.cil.cunknown4.452.311.995s0.034s9810.805s
ssh-simplified/s3_srvr_3.cil.cunknown3.851.951.685s0.032s9810.555s
ssh-simplified/s3_srvr_4.cil.cunknown4.562.412.145s0.035s111010.923s
ssh-simplified/s3_srvr_6.cil.csafe9.145.645.350s0.063s141403.220s
ssh-simplified/s3_srvr_7.cil.cunknown4.732.422.142s0.030s111010.856s
ssh-simplified/s3_srvr_8.cil.cunknown4.592.221.930s0.021s10910.798s
ssh/s3_clnt.blast.01.BUG.i.cil.cunknown8.415.555.262s0.035s131213.875s
ssh/s3_clnt.blast.02.BUG.i.cil.cunknown7.724.704.418s0.023s121112.976s
ssh/s3_clnt.blast.03.BUG.i.cil.cunknown8.105.325.055s0.041s131213.671s
ssh/s3_clnt.blast.04.BUG.i.cil.cunknown7.634.734.441s0.039s121113.017s
ssh/s3_srvr.blast.01.BUG.i.cil.cunsafe3.732.151.887s0.018s5400.570s
ssh/s3_srvr.blast.02.BUG.i.cil.cunsafe3.371.811.550s0.017s4300.351s
ssh/s3_srvr.blast.03.BUG.i.cil.cunsafe3.411.891.627s0.013s4300.366s
ssh/s3_srvr.blast.04.BUG.i.cil.cunsafe3.351.811.569s0.023s4300.359s
ssh/s3_srvr.blast.06.BUG.i.cil.cunsafe5.933.373.101s0.030s8701.437s
ssh/s3_srvr.blast.07.BUG.i.cil.cunknown4.002.201.954s0.027s7610.828s
ssh/s3_srvr.blast.08.BUG.i.cil.cunknown8.245.305.024s0.045s121113.565s
ssh/s3_srvr.blast.10.BUG.i.cil.cunknown8.965.925.597s0.047s121114.118s
ssh/s3_srvr.blast.11.BUG.i.cil.cunknown4.002.372.056s0.027s6510.802s
ssh/s3_srvr.blast.12.BUG.i.cil.cunsafe6.043.693.445s0.036s8701.713s
ssh/s3_srvr.blast.13.BUG.i.cil.cunknown4.162.602.250s0.023s7610.900s
ssh/s3_srvr.blast.14.BUG.i.cil.cunsafe5.783.463.210s0.044s8701.720s
ssh/s3_srvr.blast.15.BUG.i.cil.cunknown7.585.104.833s0.033s111013.347s
ssh/s3_srvr.blast.16.BUG.i.cil.cunsafe6.033.593.322s0.040s8701.536s
ssh/s3_clnt.blast.01.i.cil.cunknown9.286.556.216s0.047s131214.616s
ssh/s3_clnt.blast.03.i.cil.cunknown21.8618.1217.848s0.056s1817116.109s
ssh/s3_clnt.blast.04.i.cil.cunknown8.935.965.583s0.043s131214.191s
ssh/s3_srvr.blast.01.i.cil.cunknown6.353.303.026s0.040s8711.476s
ssh/s3_srvr.blast.06.i.cil.cunknown14.6010.219.810s0.072s232217.225s
ssh/s3_srvr.blast.07.i.cil.cunknown4.472.552.291s0.036s7611.002s
ssh/s3_srvr.blast.08.i.cil.cunknown9.586.426.128s0.056s111014.211s
ssh/s3_srvr.blast.09.i.cil.cunknown4.852.832.557s0.033s7611.124s
ssh/s3_srvr.blast.10.i.cil.cunknown7.825.264.902s0.048s10913.087s
ssh/s3_srvr.blast.12.i.cil.cunknown8.535.435.112s0.064s141313.180s
ssh/s3_srvr.blast.13.i.cil.cunknown4.872.892.586s0.026s7611.081s
ssh/s3_srvr.blast.14.i.cil.cunknown11.027.136.825s0.077s171614.622s
ssh/s3_srvr.blast.15.i.cil.cunknown9.766.356.022s0.074s131214.302s
ssh/s3_srvr.blast.16.i.cil.cunknown11.607.477.169s0.080s201914.996s
locks/test_locks_14.BUG.cunknown2.511.411.093s0.012s161510.350s
locks/test_locks_15.BUG.cunknown2.671.421.171s0.014s171610.387s
locks/test_locks_10.cunknown65.5661.0660.703s0.330s202001.285s
locks/test_locks_11.cunknown65.0760.9360.564s0.234s151500.782s
locks/test_locks_12.cunknown65.2860.8760.503s0.228s141400.695s
locks/test_locks_13.cunknown64.6960.9260.569s0.187s141400.677s
locks/test_locks_14.cunknown63.7361.1460.701s0.155s141400.346s
locks/test_locks_15.cunknown63.7860.8560.479s0.144s151500.358s
locks/test_locks_5.csafe2.381.351.101s0.021s101000.161s
locks/test_locks_6.csafe3.421.871.525s0.048s121200.233s
locks/test_locks_7.csafe3.801.881.611s0.039s141400.268s
locks/test_locks_8.csafe5.212.982.712s0.059s161600.347s
locks/test_locks_9.csafe11.709.058.740s0.094s181800.561s
heap-manipulation/bubble_sort_linux_BUG.cil.cunknown2.141.170.923s0.003s2110.252s
heap-manipulation/dll_of_dll_BUG.cil.cunknown1.520.850.615s0.003s0---
heap-manipulation/merge_sort_BUG.cil.cunknown1.630.950.719s0.005s3210.121s
heap-manipulation/sll_to_dll_rev_BUG.cil.cunknown2.701.751.507s0.002s2110.900s
heap-manipulation/bubble_sort_linux.cil.cunknown2.201.180.934s0.004s2110.252s
heap-manipulation/dll_of_dll.cil.cunknown1.540.840.609s0.000s0---
heap-manipulation/merge_sort.cil.cunknown1.640.960.709s0.001s3210.109s
heap-manipulation/sll_to_dll_rev.cil.cunknown3.032.051.807s0.001s2111.123s
list-properties/alternating_list.cil.cunknown1.380.850.629s0.001s2110.068s
list-properties/list.cil.cunknown1.480.870.635s0.001s2110.088s
list-properties/list_flag.cil.cunknown1.440.850.609s0.002s2110.066s
list-properties/simple.cil.cunknown1.460.860.629s0.003s2110.086s
list-properties/simple_built_from_end.cil.cunknown1.420.840.615s0.002s3210.088s
list-properties/splice.cil.cunknown1.710.980.742s0.003s3210.177s
systemc/token_ring.01.BUG.cil.cunknown3.181.921.678s0.026s121110.812s
systemc/token_ring.02.BUG.cil.cunknown5.773.653.394s0.037s222112.361s
systemc/token_ring.03.BUG.cil.cunknown8.325.685.422s0.035s292814.222s
systemc/transmitter.01.BUG.cil.cunsafe3.812.291.994s0.027s151400.991s
systemc/transmitter.02.BUG.cil.cunsafe6.594.133.874s0.035s222102.730s
systemc/transmitter.03.BUG.cil.cunsafe8.585.685.435s0.032s272604.231s
systemc/transmitter.04.BUG.cil.cunsafe22.5917.4117.101s0.199s3736011.013s
systemc/bist_cell.cil.cunknown2.501.391.151s0.019s6510.404s
systemc/kundu.cil.cunknown14.8811.5311.243s0.068s201919.321s
systemc/mem_slave_tlm.1.cil.csafe8.125.655.393s0.039s121204.195s
systemc/mem_slave_tlm.2.cil.csafe15.2312.4612.172s0.048s1313010.849s
systemc/mem_slave_tlm.4.cil.csafe59.5955.9055.585s0.084s1515053.562s
systemc/pc_sfifo_1.cil.cunknown68.0261.0360.494s0.340s9900.585s
systemc/pc_sfifo_2.cil.cunknown68.3861.1060.484s0.341s111101.070s
systemc/pc_sfifo_3.cil.csafe1.951.180.907s0.008s2200.130s
systemc/token_ring.01.cil.cunknown3.021.911.659s0.020s121110.784s
systemc/token_ring.04.cil.cunknown10.887.917.628s0.032s323116.381s
systemc/toy.cil.cunknown2.581.501.262s0.011s6510.498s
ldv-regression/1_3.c-unsafe.cil.cunsafe1.510.870.642s0.000s1000.019s
ldv-regression/alt_test.c-unsafe.cil.cunsafe1.540.860.628s0.001s1000.032s
ldv-regression/callfpointer.c-unsafe.cil.cunsafe1.360.790.539s0.000s1000.013s
ldv-regression/fo_test.c-unsafe.cil.cunknown1.080.62------
ldv-regression/mutex_lock_int.c-unsafe.cil.cunsafe1.380.820.591s0.000s2000.024s
ldv-regression/mutex_lock_struct.c-unsafe.cil.cunsafe1.430.850.618s0.000s2000.020s
ldv-regression/recursive_list.c-unsafe.cil.cunsafe1.430.850.621s0.000s1000.035s
ldv-regression/rule57_ebda_blast.c-unsafe.cil.cunsafe1.460.840.613s0.000s2100.038s
ldv-regression/rule60_list2.c-unsafe_1.cil.cunknown1.610.930.704s0.002s2110.145s
ldv-regression/stateful_check-unsafe.cil.cunsafe2.041.140.910s0.009s8700.160s
ldv-regression/test_while_int.c-unsafe.cil.cunsafe1.370.810.584s0.000s2100.030s
ldv-regression/test_while_int.c-unsafe_1.cil.cunsafe1.340.790.552s0.000s2100.023s
ldv-regression/alias_of_return.c-safe.cil.cunknown1.340.750.526s0.000s2110.027s
ldv-regression/alias_of_return.c-safe_1.cil.cunknown1.300.740.514s0.000s2110.022s
ldv-regression/alias_of_return_2.c-safe.cil.cunknown1.330.760.525s0.000s2110.028s
ldv-regression/alias_of_return_2.c-safe_1.cil.cunknown1.300.750.523s0.000s2110.023s
ldv-regression/ex3_forlist.c-safe.cil.cunknown1.741.020.791s0.002s4310.211s
ldv-regression/just_assert.c-safe.cil.csafe1.320.720.484s0.000s0---
ldv-regression/mutex_lock_int.c-safe_1.cil.cunknown1.390.830.599s0.000s2000.025s
ldv-regression/mutex_lock_struct.c-safe_1.cil.cunknown1.390.830.597s0.001s2000.019s
ldv-regression/nested_structure-safe.cil.cunsafe1.450.840.605s0.001s1000.042s
ldv-regression/nested_structure.c-safe.cil.cunknown1.350.790.565s0.000s1000.018s
ldv-regression/nested_structure_noptr-safe.cil.csafe1.300.740.513s0.000s1100.019s
ldv-regression/nested_structure_noptr.c-safe.cil.csafe1.340.760.534s0.000s1100.018s
ldv-regression/nested_structure_ptr-safe.cil.cunsafe1.540.900.670s0.003s1000.108s
ldv-regression/nested_structure_ptr.c-safe.cil.cunknown1.420.810.570s0.001s1000.020s
ldv-regression/oomInt.c-safe.cil.csafe1.500.870.622s0.000s1100.020s
ldv-regression/oomInt.c-safe_1.cil.csafe1.370.720.491s0.001s0---
ldv-regression/rule57_ebda_blast.c-safe_1.cil.cunsafe1.570.960.726s0.001s2100.047s
ldv-regression/rule60_list.c-safe.cil.cunknown1.801.080.828s0.000s3000.039s
ldv-regression/rule60_list2.c-safe.cil.cunknown1.821.060.800s0.001s2110.144s
ldv-regression/sizeofparameters_test.c-safe.cil.csafe1.550.810.580s0.001s1100.022s
ldv-regression/structure_assignment.c-safe.cil.cunknown1.691.050.745s0.000s1000.024s
ldv-regression/test_address.c-safe.cil.cunknown1.480.890.662s0.002s1000.022s
ldv-regression/test_cut_trace.c-safe.cil.csafe1.550.820.597s0.000s1100.021s
ldv-regression/test_malloc-1-safe.cil.cunknown1.470.840.615s0.001s2110.051s
ldv-regression/test_malloc-2-safe.cil.cunknown1.571.050.711s0.001s2110.055s
ldv-regression/test_overflow.c-safe.cil.csafe1.400.820.584s0.000s1100.023s
ldv-regression/test_union.c-safe.cil.csafe1.440.930.641s0.000s1100.028s
ldv-regression/test_union.c-safe_1.cil.cunknown1.561.030.716s0.000s1000.014s
ldv-regression/test_union_cast-1-safe.cil.csafe1.360.770.543s0.000s1100.019s
ldv-regression/test_union_cast-2-safe.cil.cunknown1.370.790.562s0.001s2110.045s
ldv-regression/test_union_cast.c-safe.cil.cunknown1.550.920.676s0.000s1000.019s
ldv-regression/test_union_cast.c-safe_1.cil.csafe1.470.880.592s0.001s1100.019s
ldv-regression/volatile_alias.c-safe.cil.cunknown1.440.910.632s0.000s2110.028s
ldv-regression/volatile_alias.c-safe_1.cil.cunknown1.340.770.542s0.000s2110.030s
ddv-machzwd/ddv_machzwd_all_BUG.cil.cunknown5.353.633.380s0.024s9812.110s
ddv-machzwd/ddv_machzwd_inw_BUG.cil.cunknown3.902.392.159s0.012s4311.049s
ddv-machzwd/ddv_machzwd_outb_BUG.cil.cunknown3.482.071.812s0.007s3210.735s
ddv-machzwd/ddv_machzwd_inb.cil.csafe2.441.331.087s0.008s0---
ddv-machzwd/ddv_machzwd_inb_p.cil.csafe2.441.331.086s0.011s0---
ddv-machzwd/ddv_machzwd_inl.cil.csafe2.451.291.051s0.011s0---
ddv-machzwd/ddv_machzwd_inl_p.cil.csafe2.431.331.083s0.010s0---
ddv-machzwd/ddv_machzwd_inw_p.cil.csafe2.491.321.068s0.008s0---
ddv-machzwd/ddv_machzwd_outb_p.cil.csafe2.451.321.072s0.006s0---
ddv-machzwd/ddv_machzwd_outl.cil.csafe2.501.331.083s0.009s0---
ddv-machzwd/ddv_machzwd_outl_p.cil.csafe2.481.341.087s0.011s0---
ddv-machzwd/ddv_machzwd_outw_p.cil.csafe2.421.331.080s0.009s0---
ddv-machzwd/ddv_machzwd_pthread_mutex_unlock.cil.csafe2.431.331.061s0.005s0---
ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko-unsafe.cil.out.i.pp.cil.cunsafe10.784.304.048s0.017s1000.100s
ldv-drivers/module_get_put-drivers-block-loop.ko-unsafe.cil.out.i.pp.cil.cunsafe14.0110.4010.149s0.047s8708.204s
ldv-drivers/module_get_put-drivers-block-pktcdvd.ko-unsafe.cil.out.i.pp.cil.cunknown6.042.762.508s0.032s1100.454s
ldv-drivers/module_get_put-drivers-isdn-gigaset-gigaset.ko-unsafe.cil.out.i.pp.cil.cunsafe13.627.377.117s0.015s5403.936s
ldv-drivers/module_get_put-drivers-isdn-mISDN-mISDN_core.ko-unsafe.cil.out.i.pp.cil.cunsafe9.364.604.337s0.012s3201.652s
ldv-drivers/module_get_put-drivers-net-ppp_generic.ko-unsafe.cil.out.i.pp.cil.cunknown13.048.207.902s0.059s3215.363s
ldv-drivers/module_get_put-drivers-net-wan-farsync.ko-unsafe.cil.out.iunsafe.cil.out.i.pp.cil.cunknown15.5212.5012.249s0.015s65110.349s
ldv-drivers/module_get_put-drivers-tty-synclink_gt.ko-unsafe.cil.out.i.pp.cil.cunsafe8.544.283.992s0.016s3201.437s
ldv-drivers/module_get_put-drivers-usb-core-usbcore.ko-unsafe.cil.out.i.pp.cil.cunknown18.6911.3411.075s0.019s3217.207s
ldv-drivers/usb_urb-drivers-hid-usbhid-usbmouse.ko-unsafe.cil.out.i.pp.cil.cunknown13.3011.2010.949s0.015s7619.867s
ldv-drivers/usb_urb-drivers-input-misc-keyspan_remote.ko-unsafe.cil.out.i.pp.cil.cunknown10.838.798.545s0.014s6517.388s
ldv-drivers/usb_urb-drivers-media-dvb-ttusb-dec-ttusb_dec.ko-unsafe.cil.out.i.pp.cil.cunknown19.1917.8317.540s0.022s76115.709s
ldv-drivers/usb_urb-drivers-staging-lirc-lirc_imon.ko-unsafe.cil.out.i.pp.cil.cunknown16.5519.0718.813s0.024s1110117.176s
ldv-drivers/usb_urb-drivers-usb-misc-iowarrior.ko-unsafe.cil.out.i.pp.cil.cunknown6.864.904.649s0.015s5413.350s
ldv-drivers/module_get_put-drivers-atm-eni.ko-safe.cil.out.i.pp.cil.cunknown5.032.492.226s0.011s1100.488s
ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko-safe.cil.out.i.pp.cil.csafe10.804.764.457s0.026s1100.703s
ldv-drivers/module_get_put-drivers-block-paride-pt.ko-safe.cil.out.i.pp.cil.ctimeout119.62102.35-3.496s4408.535s
ldv-drivers/module_get_put-drivers-bluetooth-btmrvl.ko-safe.cil.out.i.pp.cil.csafe4.232.201.922s0.025s1100.417s
ldv-drivers/module_get_put-drivers-char-ipmi-ipmi_watchdog.ko-safe.cil.out.i.pp.cil.cunknown4.802.792.531s0.019s3301.243s
ldv-drivers/module_get_put-drivers-gpu-drm-i915-i915.ko-safe.cil.out.i.pp.cil.csafe13.626.496.175s0.034s1101.085s
ldv-drivers/module_get_put-drivers-hid-hid-magicmouse.ko-safe.cil.out.i.pp.cil.cunknown2.901.601.340s0.016s1100.243s
ldv-drivers/module_get_put-drivers-hwmon-it87.ko-safe.cil.out.i.pp.cil.cunknown4.522.241.967s0.018s1100.431s
ldv-drivers/module_get_put-drivers-net-atl1c-atl1c.ko-safe.cil.out.i.pp.cil.csafe8.113.453.066s0.096s1100.463s
ldv-drivers/module_get_put-drivers-net-pppox.ko-safe.cil.out.i.pp.cil.cunknown66.6861.2660.749s0.236s3304.377s
ldv-drivers/module_get_put-drivers-net-sis900.ko-safe.cil.out.i.pp.cil.cunknown4.372.262.000s0.008s1100.440s
ldv-drivers/module_get_put-drivers-scsi-megaraid.ko-safe.cil.out.i.pp.cil.cunknown9.324.023.644s0.097s1100.544s
ldv-drivers/module_get_put-drivers-staging-et131x-et131x.ko-safe.cil.out.i.pp.cil.cunknown6.852.932.658s0.017s1100.321s
ldv-drivers/usb_urb-drivers-input-tablet-kbtab.ko-safe.cil.out.i.pp.cil.cunknown6.885.295.033s0.011s5414.082s
ldv-drivers/usb_urb-drivers-media-video-c-qcam.ko-safe.cil.out.i.pp.cil.csafe8.034.373.891s0.511s2200.816s
ldv-drivers/usb_urb-drivers-media-video-msp3400.ko-safe.cil.out.i.pp.cil.cunknown5.292.702.422s0.039s2200.574s
ldv-drivers/usb_urb-drivers-misc-c2port-core.ko-safe.cil.out.i.pp.cil.csafe4.712.532.194s0.050s2200.581s
ldv-drivers/usb_urb-drivers-scsi-dc395x.ko-safe.cil.out.i.pp.cil.cunknown9.584.083.808s0.026s2201.176s
ldv-drivers/usb_urb-drivers-usb-serial-ir-usb.ko-safe.cil.out.i.pp.cil.cunknown7.055.325.054s0.008s7613.996s
ldv-drivers/usb_urb-drivers-usb-serial-whiteheat.ko-safe.cil.out.i.pp.cil.cunknown8.165.154.865s0.054s5413.206s
ldv-drivers/usb_urb-drivers-uwb-i1480-dfu-i1480-dfu-usb.ko-safe.cil.out.i.pp.cil.cunsafe3.321.841.578s0.005s3200.397s
ldv-drivers/usb_urb-drivers-vhost-vhost_net.ko-safe.cil.out.i.pp.cil.cunknown5.922.842.564s0.015s2200.670s
ldv-drivers/usb_urb-drivers-video-arkfb.ko-safe.cil.out.i.pp.cil.cunknown4.322.522.258s0.013s2200.924s