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.1721
Test setintegration-explicitAnalysis
branch-r5628
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 files2231977.171437.241348.77212.0421781163082467.621
correct results97688.64447.24419.7513.5369238750209.047
false negatives35.793.422.4910.0112200.148
false positives49.314.983.9980.0077300.700
score (223 files, max score: 361)128
pthread/fib_bench_BUG.cil.cunknown1.670.940.673s0.000s1000.020s
pthread/fib_bench_longer_BUG.cil.cunknown1.780.980.708s0.001s1000.020s
pthread/queue_BUG.cil.csafe2.231.351.029s0.005s2200.148s
pthread/reorder_5_BUG.cil.csafe1.911.130.786s0.004s0---
pthread/twostage_3_BUG.cil.csafe1.650.940.676s0.002s0---
pthread/fib_bench.cil.cunknown1.861.100.807s0.001s1000.020s
pthread/fib_bench_longer.cil.cunknown1.861.050.775s0.000s1000.014s
pthread/queue_ok.cil.csafe2.241.341.054s0.005s2200.156s
ntdrivers-simplified/cdaudio_simpl1_BUG.cil.cunsafe12.737.957.570s0.056s434205.013s
ntdrivers-simplified/floppy_simpl3_BUG.cil.cunsafe6.823.743.359s0.066s201901.613s
ntdrivers-simplified/floppy_simpl4_BUG.cil.cunsafe9.565.325.024s0.065s424103.025s
ntdrivers-simplified/kbfiltr_simpl2_BUG.cil.cunsafe4.542.442.157s0.043s181700.820s
ntdrivers-simplified/cdaudio_simpl1.cil.csafe12.297.747.405s0.104s525205.004s
ntdrivers-simplified/diskperf_simpl1.cil.csafe8.875.655.266s0.092s252503.193s
ntdrivers-simplified/floppy_simpl3.cil.csafe7.484.083.757s0.060s232301.989s
ntdrivers-simplified/floppy_simpl4.cil.csafe9.835.615.304s0.068s454503.321s
ntdrivers-simplified/kbfiltr_simpl1.cil.csafe3.311.991.719s0.021s111100.672s
ntdrivers-simplified/kbfiltr_simpl2.cil.csafe4.882.452.137s0.040s161600.771s
ntdrivers/cdaudio.BUG.i.cil.cunsafe6.743.663.383s0.013s4301.396s
ntdrivers/diskperf.BUG.i.cil.cunsafe5.193.272.943s0.010s3201.353s
ntdrivers/floppy.BUG.i.cil.cunsafe4.982.922.656s0.016s4300.854s
ntdrivers/kbfiltr.BUG.i.cil.cunsafe7.545.295.042s0.035s131203.605s
ntdrivers/parport.BUG.i.cil.cunsafe6.504.033.709s0.011s4301.803s
ntdrivers/cdaudio.i.cil.csafe32.6226.7126.366s0.086s4545023.236s
ntdrivers/diskperf.i.cil.csafe18.4813.9013.525s0.088s2020010.894s
ntdrivers/floppy.i.cil.cunknown21.7317.5317.155s0.053s4140114.885s
ntdrivers/parport.i.cil.cunknown14.4110.4110.131s0.037s121118.078s
ssh-simplified/s3_clnt_1_BUG.cil.cunsafe5.032.612.349s0.038s131200.959s
ssh-simplified/s3_clnt_2_BUG.cil.cunsafe4.892.462.177s0.047s131200.784s
ssh-simplified/s3_clnt_3_BUG.cil.cunsafe4.932.642.281s0.039s131200.983s
ssh-simplified/s3_clnt_4_BUG.cil.cunsafe4.372.262.001s0.029s131200.792s
ssh-simplified/s3_srvr_10_BUG.cil.cunsafe2.781.501.237s0.006s6500.216s
ssh-simplified/s3_srvr_11_BUG.cil.cunsafe5.943.162.895s0.045s191801.297s
ssh-simplified/s3_srvr_12_BUG.cil.cunsafe5.583.032.749s0.040s171601.050s
ssh-simplified/s3_srvr_14_BUG.cil.cunknown2.221.260.930s0.003s4310.139s
ssh-simplified/s3_srvr_1_BUG.cil.cunsafe3.241.741.404s0.018s5400.360s
ssh-simplified/s3_srvr_2_BUG.cil.cunsafe3.341.881.538s0.017s5400.312s
ssh-simplified/s3_srvr_6_BUG.cil.cunsafe9.636.456.129s0.096s161503.384s
ssh-simplified/s3_clnt_1.cil.csafe5.502.842.577s0.046s141401.214s
ssh-simplified/s3_clnt_2.cil.csafe6.623.793.492s0.039s151501.822s
ssh-simplified/s3_clnt_3.cil.csafe6.103.523.241s0.048s141401.736s
ssh-simplified/s3_clnt_4.cil.csafe5.713.222.950s0.052s151501.432s
ssh-simplified/s3_srvr_1a.cil.cunknown1.991.070.794s0.007s8710.137s
ssh-simplified/s3_srvr_1b.cil.cunknown1.650.910.672s0.003s6510.085s
ssh-simplified/s3_srvr_1.cil.cunknown4.442.071.797s0.029s9810.669s
ssh-simplified/s3_srvr_3.cil.cunknown4.101.841.599s0.026s9810.549s
ssh-simplified/s3_srvr_4.cil.cunknown4.562.161.907s0.033s111010.787s
ssh-simplified/s3_srvr_6.cil.csafe8.555.455.165s0.073s141403.031s
ssh-simplified/s3_srvr_7.cil.cunknown4.572.382.141s0.041s111010.935s
ssh-simplified/s3_srvr_8.cil.cunknown4.922.502.244s0.040s10910.900s
ssh/s3_clnt.blast.01.BUG.i.cil.cunknown7.965.275.006s0.038s131213.740s
ssh/s3_clnt.blast.02.BUG.i.cil.cunknown7.704.814.563s0.051s121113.131s
ssh/s3_clnt.blast.03.BUG.i.cil.cunknown8.075.224.964s0.048s131213.518s
ssh/s3_clnt.blast.04.BUG.i.cil.cunknown7.174.544.265s0.043s121112.953s
ssh/s3_srvr.blast.01.BUG.i.cil.cunsafe3.621.991.733s0.017s5400.475s
ssh/s3_srvr.blast.02.BUG.i.cil.cunsafe3.381.861.607s0.012s4300.394s
ssh/s3_srvr.blast.03.BUG.i.cil.cunsafe3.301.871.612s0.019s4300.365s
ssh/s3_srvr.blast.04.BUG.i.cil.cunsafe3.321.801.542s0.011s4300.354s
ssh/s3_srvr.blast.06.BUG.i.cil.cunsafe5.483.132.872s0.035s8701.350s
ssh/s3_srvr.blast.07.BUG.i.cil.cunknown4.252.231.956s0.025s7610.827s
ssh/s3_srvr.blast.08.BUG.i.cil.cunknown8.375.395.119s0.048s121113.634s
ssh/s3_srvr.blast.10.BUG.i.cil.cunknown8.165.315.036s0.032s121113.751s
ssh/s3_srvr.blast.11.BUG.i.cil.cunknown3.611.951.690s0.020s6510.628s
ssh/s3_srvr.blast.12.BUG.i.cil.cunsafe5.783.212.958s0.032s8701.521s
ssh/s3_srvr.blast.13.BUG.i.cil.cunknown3.772.151.885s0.030s7610.764s
ssh/s3_srvr.blast.14.BUG.i.cil.cunsafe5.403.092.855s0.024s8701.424s
ssh/s3_srvr.blast.15.BUG.i.cil.cunknown7.374.614.353s0.059s111012.879s
ssh/s3_srvr.blast.16.BUG.i.cil.cunsafe5.943.393.132s0.035s8701.535s
ssh/s3_clnt.blast.01.i.cil.cunknown8.705.925.667s0.035s131214.259s
ssh/s3_clnt.blast.03.i.cil.cunknown20.0516.6816.405s0.048s1817114.773s
ssh/s3_clnt.blast.04.i.cil.cunknown8.345.675.386s0.037s131214.000s
ssh/s3_srvr.blast.01.i.cil.cunknown4.922.602.350s0.039s8711.121s
ssh/s3_srvr.blast.06.i.cil.cunknown13.139.198.909s0.078s232216.622s
ssh/s3_srvr.blast.07.i.cil.cunknown3.982.151.901s0.018s7610.818s
ssh/s3_srvr.blast.08.i.cil.cunknown7.594.594.352s0.037s111012.936s
ssh/s3_srvr.blast.09.i.cil.cunknown3.672.081.827s0.024s7610.770s
ssh/s3_srvr.blast.10.i.cil.cunknown6.773.973.729s0.037s10912.324s
ssh/s3_srvr.blast.12.i.cil.cunknown7.634.414.097s0.051s141312.500s
ssh/s3_srvr.blast.13.i.cil.cunknown3.822.141.866s0.021s7610.809s
ssh/s3_srvr.blast.14.i.cil.cunknown8.915.315.030s0.045s171613.363s
ssh/s3_srvr.blast.15.i.cil.cunknown9.146.005.717s0.057s131214.068s
ssh/s3_srvr.blast.16.i.cil.cunknown11.567.577.283s0.084s201915.214s
locks/test_locks_14.BUG.cunknown2.581.381.126s0.011s161510.351s
locks/test_locks_15.BUG.cunknown2.801.581.312s0.020s171610.459s
locks/test_locks_10.csafe55.5250.8150.431s0.280s202001.094s
locks/test_locks_11.cunknown65.7860.9660.556s0.231s161600.855s
locks/test_locks_12.cunknown65.3461.1160.628s0.187s141400.618s
locks/test_locks_13.cunknown64.7960.8260.470s0.147s141400.602s
locks/test_locks_14.cunknown63.8160.9360.510s0.127s141400.324s
locks/test_locks_15.cunknown63.7260.9560.554s0.147s151500.432s
locks/test_locks_5.csafe2.371.281.028s0.024s101000.142s
locks/test_locks_6.csafe3.041.481.217s0.036s121200.185s
locks/test_locks_7.csafe4.332.111.835s0.062s141400.302s
locks/test_locks_8.csafe5.653.182.905s0.062s161600.363s
locks/test_locks_9.csafe12.959.569.223s0.127s181800.650s
heap-manipulation/bubble_sort_linux_BUG.cil.cunknown2.621.321.052s0.002s2110.257s
heap-manipulation/dll_of_dll_BUG.cil.cunknown1.620.870.638s0.001s0---
heap-manipulation/merge_sort_BUG.cil.cunknown1.801.080.835s0.005s3210.111s
heap-manipulation/sll_to_dll_rev_BUG.cil.cunknown3.221.981.693s0.003s2111.014s
heap-manipulation/bubble_sort_linux.cil.cunknown2.611.361.082s0.002s2110.309s
heap-manipulation/dll_of_dll.cil.cunknown1.630.840.614s0.000s0---
heap-manipulation/merge_sort.cil.cunknown1.791.020.782s0.003s3210.118s
heap-manipulation/sll_to_dll_rev.cil.cunknown3.211.971.731s0.003s2111.096s
list-properties/alternating_list.cil.cunknown1.630.940.698s0.001s2110.069s
list-properties/list.cil.cunknown1.630.930.658s0.000s2110.086s
list-properties/list_flag.cil.cunknown1.750.980.756s0.001s2110.101s
list-properties/simple.cil.cunknown1.570.910.661s0.002s2110.091s
list-properties/simple_built_from_end.cil.cunknown1.580.890.641s0.000s3210.086s
list-properties/splice.cil.cunknown2.071.130.894s0.004s3210.186s
systemc/token_ring.01.BUG.cil.cunknown3.562.121.867s0.016s121110.915s
systemc/token_ring.02.BUG.cil.cunknown7.154.604.277s0.038s222113.006s
systemc/token_ring.03.BUG.cil.cunknown10.146.686.362s0.047s292814.935s
systemc/transmitter.01.BUG.cil.cunsafe4.462.572.285s0.037s151401.099s
systemc/transmitter.02.BUG.cil.cunsafe7.254.243.985s0.037s222102.813s
systemc/transmitter.03.BUG.cil.cunsafe9.496.336.062s0.038s272604.712s
systemc/transmitter.04.BUG.cil.cunsafe21.9716.3115.975s0.157s3736010.703s
systemc/bist_cell.cil.cunknown2.761.441.197s0.019s6510.437s
systemc/kundu.cil.cunknown15.7611.9211.657s0.094s201919.834s
systemc/mem_slave_tlm.1.cil.csafe8.746.005.725s0.054s121204.314s
systemc/mem_slave_tlm.2.cil.csafe17.2313.8313.535s0.056s1313011.999s
systemc/mem_slave_tlm.4.cil.csafe59.8255.9055.560s0.077s1515053.594s
systemc/pc_sfifo_1.cil.cunknown67.9361.1160.534s0.375s9900.646s
systemc/pc_sfifo_2.cil.cunknown69.5261.1160.514s0.339s111101.158s
systemc/pc_sfifo_3.cil.csafe2.091.090.844s0.011s2200.131s
systemc/token_ring.01.cil.cunknown3.351.951.696s0.017s121110.802s
systemc/token_ring.04.cil.cunknown11.828.157.885s0.057s323116.424s
systemc/toy.cil.cunknown2.861.551.312s0.011s6510.520s
ldv-regression/1_3.c-unsafe.cil.cunsafe1.540.870.624s0.000s1000.020s
ldv-regression/alt_test.c-unsafe.cil.cunsafe1.620.960.712s0.001s1000.031s
ldv-regression/callfpointer.c-unsafe.cil.cunsafe1.560.890.653s0.000s1000.014s
ldv-regression/fo_test.c-unsafe.cil.cunknown1.300.71------
ldv-regression/mutex_lock_int.c-unsafe.cil.cunsafe1.520.850.610s0.000s2000.024s
ldv-regression/mutex_lock_struct.c-unsafe.cil.cunsafe1.590.930.687s0.000s2000.021s
ldv-regression/recursive_list.c-unsafe.cil.cunsafe1.540.850.627s0.002s1000.028s
ldv-regression/rule57_ebda_blast.c-unsafe.cil.cunsafe1.580.890.663s0.001s2100.039s
ldv-regression/rule60_list2.c-unsafe_1.cil.cunknown1.981.090.839s0.003s2110.177s
ldv-regression/stateful_check-unsafe.cil.cunsafe2.391.311.050s0.015s8700.182s
ldv-regression/test_while_int.c-unsafe.cil.cunsafe1.630.920.681s0.002s2100.027s
ldv-regression/test_while_int.c-unsafe_1.cil.cunsafe1.560.870.641s0.003s2100.025s
ldv-regression/alias_of_return.c-safe.cil.cunknown1.500.880.645s0.000s2110.038s
ldv-regression/alias_of_return.c-safe_1.cil.cunknown1.520.790.555s0.000s2110.023s
ldv-regression/alias_of_return_2.c-safe.cil.cunknown1.610.860.628s0.001s2110.029s
ldv-regression/alias_of_return_2.c-safe_1.cil.cunknown1.440.770.541s0.001s2110.024s
ldv-regression/ex3_forlist.c-safe.cil.cunknown1.981.140.901s0.001s4310.215s
ldv-regression/just_assert.c-safe.cil.csafe1.460.750.517s0.000s0---
ldv-regression/mutex_lock_int.c-safe_1.cil.cunknown1.510.910.680s0.001s2000.025s
ldv-regression/mutex_lock_struct.c-safe_1.cil.cunknown1.520.890.658s0.000s2000.021s
ldv-regression/nested_structure-safe.cil.cunsafe1.580.840.613s0.000s1000.042s
ldv-regression/nested_structure.c-safe.cil.cunknown1.500.800.574s0.000s1000.017s
ldv-regression/nested_structure_noptr-safe.cil.csafe1.430.790.568s0.000s1100.019s
ldv-regression/nested_structure_noptr.c-safe.cil.csafe1.520.780.550s0.000s1100.019s
ldv-regression/nested_structure_ptr-safe.cil.cunsafe1.750.990.739s0.000s1000.114s
ldv-regression/nested_structure_ptr.c-safe.cil.cunknown1.470.830.593s0.001s1000.019s
ldv-regression/oomInt.c-safe.cil.csafe1.460.750.528s0.000s1100.020s
ldv-regression/oomInt.c-safe_1.cil.csafe1.420.760.533s0.000s0---
ldv-regression/rule57_ebda_blast.c-safe_1.cil.cunsafe1.620.910.670s0.001s2100.047s
ldv-regression/rule60_list.c-safe.cil.cunknown1.701.080.809s0.001s3000.037s
ldv-regression/rule60_list2.c-safe.cil.cunknown1.760.990.735s0.004s2110.146s
ldv-regression/sizeofparameters_test.c-safe.cil.csafe1.440.790.551s0.000s1100.020s
ldv-regression/structure_assignment.c-safe.cil.cunknown1.500.800.568s0.000s1000.015s
ldv-regression/test_address.c-safe.cil.cunknown1.640.870.627s0.001s1000.016s
ldv-regression/test_cut_trace.c-safe.cil.csafe1.430.770.532s0.000s1100.019s
ldv-regression/test_malloc-1-safe.cil.cunknown1.740.920.680s0.000s2110.054s
ldv-regression/test_malloc-2-safe.cil.cunknown1.490.870.633s0.001s2110.041s
ldv-regression/test_overflow.c-safe.cil.csafe1.480.820.589s0.000s1100.023s
ldv-regression/test_union.c-safe.cil.csafe1.440.800.578s0.000s1100.018s
ldv-regression/test_union.c-safe_1.cil.cunknown1.460.820.594s0.000s1000.014s
ldv-regression/test_union_cast-1-safe.cil.csafe1.480.770.545s0.000s1100.022s
ldv-regression/test_union_cast-2-safe.cil.cunknown1.500.790.566s0.000s2110.042s
ldv-regression/test_union_cast.c-safe.cil.cunknown1.540.830.602s0.001s1000.019s
ldv-regression/test_union_cast.c-safe_1.cil.csafe1.480.770.544s0.000s1100.020s
ldv-regression/volatile_alias.c-safe.cil.cunknown1.440.770.547s0.001s2110.028s
ldv-regression/volatile_alias.c-safe_1.cil.cunknown1.420.760.535s0.000s2110.027s
ddv-machzwd/ddv_machzwd_all_BUG.cil.cunknown5.763.723.482s0.023s9812.181s
ddv-machzwd/ddv_machzwd_inw_BUG.cil.cunknown4.252.562.327s0.015s4311.137s
ddv-machzwd/ddv_machzwd_outb_BUG.cil.cunknown3.782.141.887s0.007s3210.796s
ddv-machzwd/ddv_machzwd_inb.cil.csafe2.621.341.090s0.010s0---
ddv-machzwd/ddv_machzwd_inb_p.cil.csafe2.631.351.112s0.008s0---
ddv-machzwd/ddv_machzwd_inl.cil.csafe2.841.481.232s0.007s0---
ddv-machzwd/ddv_machzwd_inl_p.cil.csafe3.051.641.385s0.011s0---
ddv-machzwd/ddv_machzwd_inw_p.cil.csafe3.011.621.354s0.008s0---
ddv-machzwd/ddv_machzwd_outb_p.cil.csafe2.771.481.221s0.014s0---
ddv-machzwd/ddv_machzwd_outl.cil.csafe2.711.411.157s0.011s0---
ddv-machzwd/ddv_machzwd_outl_p.cil.csafe3.031.591.332s0.006s0---
ddv-machzwd/ddv_machzwd_outw_p.cil.csafe2.911.521.256s0.011s0---
ddv-machzwd/ddv_machzwd_pthread_mutex_unlock.cil.csafe2.861.551.218s0.006s0---
ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko-unsafe.cil.out.i.pp.cil.cunsafe13.405.635.242s0.010s1000.117s
ldv-drivers/module_get_put-drivers-block-loop.ko-unsafe.cil.out.i.pp.cil.cunsafe15.7411.5311.255s0.053s8708.856s
ldv-drivers/module_get_put-drivers-block-pktcdvd.ko-unsafe.cil.out.i.pp.cil.cunknown7.433.062.772s0.028s1100.525s
ldv-drivers/module_get_put-drivers-isdn-gigaset-gigaset.ko-unsafe.cil.out.i.pp.cil.cunsafe15.307.917.663s0.020s5404.168s
ldv-drivers/module_get_put-drivers-isdn-mISDN-mISDN_core.ko-unsafe.cil.out.i.pp.cil.cunsafe11.585.104.836s0.027s3201.607s
ldv-drivers/module_get_put-drivers-net-ppp_generic.ko-unsafe.cil.out.i.pp.cil.cunknown13.498.057.783s0.072s3215.172s
ldv-drivers/module_get_put-drivers-net-wan-farsync.ko-unsafe.cil.out.iunsafe.cil.out.i.pp.cil.cunknown15.7012.2712.030s0.012s65110.203s
ldv-drivers/module_get_put-drivers-tty-synclink_gt.ko-unsafe.cil.out.i.pp.cil.cunsafe9.604.704.449s0.017s3201.539s
ldv-drivers/module_get_put-drivers-usb-core-usbcore.ko-unsafe.cil.out.i.pp.cil.cunknown24.7913.8213.553s0.015s3217.935s
ldv-drivers/usb_urb-drivers-hid-usbhid-usbmouse.ko-unsafe.cil.out.i.pp.cil.cunknown13.7811.6211.342s0.016s76110.211s
ldv-drivers/usb_urb-drivers-input-misc-keyspan_remote.ko-unsafe.cil.out.i.pp.cil.cunknown11.439.068.800s0.020s6517.518s
ldv-drivers/usb_urb-drivers-media-dvb-ttusb-dec-ttusb_dec.ko-unsafe.cil.out.i.pp.cil.cunknown21.1317.4617.188s0.014s76115.402s
ldv-drivers/usb_urb-drivers-staging-lirc-lirc_imon.ko-unsafe.cil.out.i.pp.cil.cunknown18.5215.3015.040s0.024s1110113.384s
ldv-drivers/usb_urb-drivers-usb-misc-iowarrior.ko-unsafe.cil.out.i.pp.cil.cunknown7.875.275.020s0.033s5413.591s
ldv-drivers/module_get_put-drivers-atm-eni.ko-safe.cil.out.i.pp.cil.cunknown6.763.182.904s0.015s1100.617s
ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko-safe.cil.out.i.pp.cil.csafe14.426.115.797s0.049s1100.780s
ldv-drivers/module_get_put-drivers-block-paride-pt.ko-safe.cil.out.i.pp.cil.cunknown105.7889.2463.149s4.300s44010.202s
ldv-drivers/module_get_put-drivers-bluetooth-btmrvl.ko-safe.cil.out.i.pp.cil.csafe5.322.712.259s0.025s1100.481s
ldv-drivers/module_get_put-drivers-char-ipmi-ipmi_watchdog.ko-safe.cil.out.i.pp.cil.cunknown6.183.613.240s0.014s3301.415s
ldv-drivers/module_get_put-drivers-gpu-drm-i915-i915.ko-safe.cil.out.i.pp.cil.csafe18.018.157.800s0.063s1101.225s
ldv-drivers/module_get_put-drivers-hid-hid-magicmouse.ko-safe.cil.out.i.pp.cil.cunknown3.811.821.563s0.024s1100.271s
ldv-drivers/module_get_put-drivers-hwmon-it87.ko-safe.cil.out.i.pp.cil.cunknown5.932.732.451s0.020s1100.508s
ldv-drivers/module_get_put-drivers-net-atl1c-atl1c.ko-safe.cil.out.i.pp.cil.csafe10.224.193.832s0.127s1100.515s
ldv-drivers/module_get_put-drivers-net-pppox.ko-safe.cil.out.i.pp.cil.cunknown66.8061.5461.018s0.256s3304.680s
ldv-drivers/module_get_put-drivers-net-sis900.ko-safe.cil.out.i.pp.cil.cunknown5.282.492.229s0.017s1100.464s
ldv-drivers/module_get_put-drivers-scsi-megaraid.ko-safe.cil.out.i.pp.cil.cunknown12.795.054.683s0.121s1100.752s
ldv-drivers/module_get_put-drivers-staging-et131x-et131x.ko-safe.cil.out.i.pp.cil.cunknown8.663.883.625s0.020s1100.471s
ldv-drivers/usb_urb-drivers-input-tablet-kbtab.ko-safe.cil.out.i.pp.cil.cunknown7.685.785.525s0.027s5414.418s
ldv-drivers/usb_urb-drivers-media-video-c-qcam.ko-safe.cil.out.i.pp.cil.csafe10.235.655.110s0.207s2200.915s
ldv-drivers/usb_urb-drivers-media-video-msp3400.ko-safe.cil.out.i.pp.cil.cunknown7.083.222.921s0.049s2200.622s
ldv-drivers/usb_urb-drivers-misc-c2port-core.ko-safe.cil.out.i.pp.cil.csafe5.883.022.686s0.067s2200.644s
ldv-drivers/usb_urb-drivers-scsi-dc395x.ko-safe.cil.out.i.pp.cil.cunknown12.285.154.883s0.022s2201.411s
ldv-drivers/usb_urb-drivers-usb-serial-ir-usb.ko-safe.cil.out.i.pp.cil.cunknown8.666.215.927s0.016s7614.512s
ldv-drivers/usb_urb-drivers-usb-serial-whiteheat.ko-safe.cil.out.i.pp.cil.cunknown11.016.486.198s0.069s5413.917s
ldv-drivers/usb_urb-drivers-uwb-i1480-dfu-i1480-dfu-usb.ko-safe.cil.out.i.pp.cil.cunsafe4.362.241.976s0.006s3200.497s
ldv-drivers/usb_urb-drivers-vhost-vhost_net.ko-safe.cil.out.i.pp.cil.cunknown7.863.873.561s0.016s2200.737s
ldv-drivers/usb_urb-drivers-video-arkfb.ko-safe.cil.out.i.pp.cil.cunknown5.623.313.040s0.017s2201.165s