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.0901
Test setintegration-explicitAnalysis
branch-r5622
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 files2231976.151438.111348.35611.9401781163082465.473
correct results97692.31448.87421.3563.4629238750207.397
false negatives35.633.162.3230.0072200.136
false positives49.144.743.7790.0097300.626
score (223 files, max score: 361)128
pthread/fib_bench_BUG.cil.cunknown1.751.050.681s0.000s1000.017s
pthread/fib_bench_longer_BUG.cil.cunknown1.770.960.702s0.000s1000.013s
pthread/queue_BUG.cil.csafe1.901.070.804s0.000s2200.136s
pthread/reorder_5_BUG.cil.csafe1.901.080.767s0.001s0---
pthread/twostage_3_BUG.cil.csafe1.831.010.752s0.006s0---
pthread/fib_bench.cil.cunknown1.720.990.683s0.001s1000.015s
pthread/fib_bench_longer.cil.cunknown1.580.870.630s0.000s1000.012s
pthread/queue_ok.cil.csafe1.771.020.785s0.000s2200.132s
ntdrivers-simplified/cdaudio_simpl1_BUG.cil.cunsafe13.428.868.488s0.086s434205.677s
ntdrivers-simplified/floppy_simpl3_BUG.cil.cunsafe6.833.713.429s0.053s201901.795s
ntdrivers-simplified/floppy_simpl4_BUG.cil.cunsafe9.445.174.885s0.065s424103.049s
ntdrivers-simplified/kbfiltr_simpl2_BUG.cil.cunsafe4.522.412.144s0.039s181700.863s
ntdrivers-simplified/cdaudio_simpl1.cil.csafe12.848.097.759s0.099s525205.235s
ntdrivers-simplified/diskperf_simpl1.cil.csafe8.855.755.401s0.091s252503.179s
ntdrivers-simplified/floppy_simpl3.cil.csafe7.304.003.650s0.050s232301.920s
ntdrivers-simplified/floppy_simpl4.cil.csafe9.845.705.371s0.069s454503.282s
ntdrivers-simplified/kbfiltr_simpl1.cil.csafe3.531.991.716s0.019s111100.587s
ntdrivers-simplified/kbfiltr_simpl2.cil.csafe4.892.472.140s0.040s161600.738s
ntdrivers/cdaudio.BUG.i.cil.cunsafe6.743.743.449s0.010s4301.474s
ntdrivers/diskperf.BUG.i.cil.cunsafe4.932.992.704s0.009s3201.087s
ntdrivers/floppy.BUG.i.cil.cunsafe5.202.962.662s0.009s4300.808s
ntdrivers/kbfiltr.BUG.i.cil.cunsafe7.745.525.160s0.027s131203.577s
ntdrivers/parport.BUG.i.cil.cunsafe6.663.883.554s0.018s4301.803s
ntdrivers/cdaudio.i.cil.csafe31.7526.2025.714s0.097s4545022.499s
ntdrivers/diskperf.i.cil.csafe18.2413.7713.443s0.090s2020010.903s
ntdrivers/floppy.i.cil.cunknown21.9617.1516.854s0.053s4140114.486s
ntdrivers/parport.i.cil.cunknown14.4910.4410.073s0.037s121118.039s
ssh-simplified/s3_clnt_1_BUG.cil.cunsafe5.222.662.389s0.038s131200.911s
ssh-simplified/s3_clnt_2_BUG.cil.cunsafe4.952.432.150s0.040s131200.805s
ssh-simplified/s3_clnt_3_BUG.cil.cunsafe5.192.492.221s0.035s131200.902s
ssh-simplified/s3_clnt_4_BUG.cil.cunsafe4.822.552.257s0.048s131200.838s
ssh-simplified/s3_srvr_10_BUG.cil.cunsafe2.721.491.205s0.009s6500.264s
ssh-simplified/s3_srvr_11_BUG.cil.cunsafe6.113.323.060s0.051s191801.382s
ssh-simplified/s3_srvr_12_BUG.cil.cunsafe5.452.952.635s0.038s171600.968s
ssh-simplified/s3_srvr_14_BUG.cil.cunknown2.271.230.977s0.005s4310.171s
ssh-simplified/s3_srvr_1_BUG.cil.cunsafe3.091.771.506s0.013s5400.396s
ssh-simplified/s3_srvr_2_BUG.cil.cunsafe3.111.661.356s0.021s5400.234s
ssh-simplified/s3_srvr_6_BUG.cil.cunsafe9.365.765.450s0.057s161503.030s
ssh-simplified/s3_clnt_1.cil.csafe5.342.812.560s0.040s141401.128s
ssh-simplified/s3_clnt_2.cil.csafe6.153.543.284s0.045s151501.756s
ssh-simplified/s3_clnt_3.cil.csafe5.983.423.156s0.042s141401.784s
ssh-simplified/s3_clnt_4.cil.csafe5.363.022.760s0.039s151501.410s
ssh-simplified/s3_srvr_1a.cil.cunknown2.041.281.016s0.006s8710.182s
ssh-simplified/s3_srvr_1b.cil.cunknown1.650.920.655s0.003s6510.072s
ssh-simplified/s3_srvr_1.cil.cunknown4.352.041.790s0.020s9810.668s
ssh-simplified/s3_srvr_3.cil.cunknown4.172.151.901s0.039s9810.647s
ssh-simplified/s3_srvr_4.cil.cunknown4.552.252.003s0.028s111010.872s
ssh-simplified/s3_srvr_6.cil.csafe8.685.415.140s0.066s141403.006s
ssh-simplified/s3_srvr_7.cil.cunknown4.342.221.966s0.030s111010.839s
ssh-simplified/s3_srvr_8.cil.cunknown4.652.282.027s0.036s10910.826s
ssh/s3_clnt.blast.01.BUG.i.cil.cunknown8.806.025.750s0.046s131214.276s
ssh/s3_clnt.blast.02.BUG.i.cil.cunknown7.184.444.183s0.035s121112.887s
ssh/s3_clnt.blast.03.BUG.i.cil.cunknown8.045.365.104s0.042s131213.735s
ssh/s3_clnt.blast.04.BUG.i.cil.cunknown7.764.924.654s0.045s121113.155s
ssh/s3_srvr.blast.01.BUG.i.cil.cunsafe3.872.181.919s0.021s5400.555s
ssh/s3_srvr.blast.02.BUG.i.cil.cunsafe3.492.031.743s0.017s4300.383s
ssh/s3_srvr.blast.03.BUG.i.cil.cunsafe3.621.991.734s0.018s4300.399s
ssh/s3_srvr.blast.04.BUG.i.cil.cunsafe3.571.911.652s0.012s4300.394s
ssh/s3_srvr.blast.06.BUG.i.cil.cunsafe5.503.162.906s0.040s8701.440s
ssh/s3_srvr.blast.07.BUG.i.cil.cunknown4.122.362.104s0.024s7610.938s
ssh/s3_srvr.blast.08.BUG.i.cil.cunknown8.225.264.998s0.035s121113.568s
ssh/s3_srvr.blast.10.BUG.i.cil.cunknown8.325.415.122s0.040s121113.608s
ssh/s3_srvr.blast.11.BUG.i.cil.cunknown3.822.071.814s0.023s6510.708s
ssh/s3_srvr.blast.12.BUG.i.cil.cunsafe5.483.212.944s0.027s8701.461s
ssh/s3_srvr.blast.13.BUG.i.cil.cunknown4.162.241.976s0.032s7610.860s
ssh/s3_srvr.blast.14.BUG.i.cil.cunsafe5.483.112.853s0.035s8701.351s
ssh/s3_srvr.blast.15.BUG.i.cil.cunknown7.294.614.371s0.043s111012.973s
ssh/s3_srvr.blast.16.BUG.i.cil.cunsafe5.363.072.785s0.032s8701.403s
ssh/s3_clnt.blast.01.i.cil.cunknown8.795.955.700s0.051s131214.293s
ssh/s3_clnt.blast.03.i.cil.cunknown19.4815.9915.736s0.039s1817114.320s
ssh/s3_clnt.blast.04.i.cil.cunknown7.925.204.940s0.040s131213.681s
ssh/s3_srvr.blast.01.i.cil.cunknown4.942.632.368s0.034s8711.130s
ssh/s3_srvr.blast.06.i.cil.cunknown13.289.198.917s0.082s232216.749s
ssh/s3_srvr.blast.07.i.cil.cunknown3.862.231.989s0.024s7610.888s
ssh/s3_srvr.blast.08.i.cil.cunknown7.394.564.311s0.045s111012.941s
ssh/s3_srvr.blast.09.i.cil.cunknown4.122.241.995s0.025s7610.861s
ssh/s3_srvr.blast.10.i.cil.cunknown6.713.953.706s0.036s10912.337s
ssh/s3_srvr.blast.12.i.cil.cunknown7.404.253.980s0.058s141312.342s
ssh/s3_srvr.blast.13.i.cil.cunknown4.062.362.109s0.036s7610.825s
ssh/s3_srvr.blast.14.i.cil.cunknown9.055.585.316s0.059s171613.619s
ssh/s3_srvr.blast.15.i.cil.cunknown9.566.326.009s0.047s131214.248s
ssh/s3_srvr.blast.16.i.cil.cunknown11.307.337.044s0.086s201914.977s
locks/test_locks_14.BUG.cunknown2.601.431.172s0.011s161510.393s
locks/test_locks_15.BUG.cunknown2.891.571.292s0.014s171610.451s
locks/test_locks_10.csafe58.1353.2252.810s0.284s202001.079s
locks/test_locks_11.cunknown65.7260.8760.485s0.219s161600.796s
locks/test_locks_12.cunknown65.2660.9660.590s0.163s141400.651s
locks/test_locks_13.cunknown64.9860.9160.547s0.146s141400.677s
locks/test_locks_14.cunknown63.4860.8460.479s0.146s141400.316s
locks/test_locks_15.cunknown63.6860.9160.539s0.144s151500.364s
locks/test_locks_5.csafe2.631.411.139s0.015s101000.178s
locks/test_locks_6.csafe3.201.641.364s0.028s121200.194s
locks/test_locks_7.csafe4.402.021.754s0.056s141400.252s
locks/test_locks_8.csafe5.663.232.899s0.070s161600.373s
locks/test_locks_9.csafe12.729.599.222s0.123s181800.618s
heap-manipulation/bubble_sort_linux_BUG.cil.cunknown2.651.391.109s0.004s2110.301s
heap-manipulation/dll_of_dll_BUG.cil.cunknown1.640.850.619s0.000s0---
heap-manipulation/merge_sort_BUG.cil.cunknown1.971.090.849s0.004s3210.121s
heap-manipulation/sll_to_dll_rev_BUG.cil.cunknown3.051.851.598s0.004s2110.905s
heap-manipulation/bubble_sort_linux.cil.cunknown2.571.461.196s0.003s2110.293s
heap-manipulation/dll_of_dll.cil.cunknown1.900.970.718s0.001s0---
heap-manipulation/merge_sort.cil.cunknown1.901.060.809s0.005s3210.110s
heap-manipulation/sll_to_dll_rev.cil.cunknown3.102.061.816s0.005s2111.096s
list-properties/alternating_list.cil.cunknown1.660.980.733s0.003s2110.067s
list-properties/list.cil.cunknown1.650.900.672s0.004s2110.087s
list-properties/list_flag.cil.cunknown1.560.900.665s0.000s2110.070s
list-properties/simple.cil.cunknown1.731.000.744s0.000s2110.095s
list-properties/simple_built_from_end.cil.cunknown1.740.970.727s0.002s3210.093s
list-properties/splice.cil.cunknown2.131.150.917s0.003s3210.208s
systemc/token_ring.01.BUG.cil.cunknown3.382.021.767s0.027s121110.847s
systemc/token_ring.02.BUG.cil.cunknown6.524.033.748s0.042s222112.485s
systemc/token_ring.03.BUG.cil.cunknown9.125.945.646s0.047s292814.396s
systemc/transmitter.01.BUG.cil.cunsafe4.102.352.091s0.043s151401.043s
systemc/transmitter.02.BUG.cil.cunsafe7.674.754.466s0.024s222103.188s
systemc/transmitter.03.BUG.cil.cunsafe9.346.145.854s0.046s272604.430s
systemc/transmitter.04.BUG.cil.cunsafe21.3015.9815.668s0.185s3736010.502s
systemc/bist_cell.cil.cunknown2.701.431.193s0.016s6510.427s
systemc/kundu.cil.cunknown15.9812.0611.782s0.083s201919.735s
systemc/mem_slave_tlm.1.cil.csafe8.896.065.765s0.051s121204.393s
systemc/mem_slave_tlm.2.cil.csafe16.2313.1512.839s0.048s1313011.323s
systemc/mem_slave_tlm.4.cil.csafe59.6555.6855.303s0.081s1515053.285s
systemc/pc_sfifo_1.cil.cunknown67.5761.1560.552s0.369s9900.643s
systemc/pc_sfifo_2.cil.cunknown69.0761.1560.566s0.374s111101.121s
systemc/pc_sfifo_3.cil.csafe2.111.130.865s0.013s2200.140s
systemc/token_ring.01.cil.cunknown3.381.901.644s0.024s121110.795s
systemc/token_ring.04.cil.cunknown12.228.738.425s0.063s323116.808s
systemc/toy.cil.cunknown2.831.601.360s0.018s6510.501s
ldv-regression/1_3.c-unsafe.cil.cunsafe1.560.900.677s0.000s1000.019s
ldv-regression/alt_test.c-unsafe.cil.cunsafe1.560.860.623s0.000s1000.030s
ldv-regression/callfpointer.c-unsafe.cil.cunsafe1.440.780.556s0.000s1000.013s
ldv-regression/fo_test.c-unsafe.cil.cunknown1.100.62------
ldv-regression/mutex_lock_int.c-unsafe.cil.cunsafe1.520.840.610s0.000s2000.025s
ldv-regression/mutex_lock_struct.c-unsafe.cil.cunsafe1.560.850.621s0.000s2000.020s
ldv-regression/recursive_list.c-unsafe.cil.cunsafe1.560.860.621s0.000s1000.028s
ldv-regression/rule57_ebda_blast.c-unsafe.cil.cunsafe1.560.850.627s0.001s2100.038s
ldv-regression/rule60_list2.c-unsafe_1.cil.cunknown1.801.030.804s0.003s2110.163s
ldv-regression/stateful_check-unsafe.cil.cunsafe2.121.110.871s0.006s8700.151s
ldv-regression/test_while_int.c-unsafe.cil.cunsafe1.520.840.610s0.000s2100.033s
ldv-regression/test_while_int.c-unsafe_1.cil.cunsafe1.520.830.584s0.001s2100.024s
ldv-regression/alias_of_return.c-safe.cil.cunknown1.440.770.540s0.000s2110.027s
ldv-regression/alias_of_return.c-safe_1.cil.cunknown1.420.760.534s0.000s2110.022s
ldv-regression/alias_of_return_2.c-safe.cil.cunknown1.440.770.545s0.001s2110.028s
ldv-regression/alias_of_return_2.c-safe_1.cil.cunknown1.530.850.629s0.000s2110.023s
ldv-regression/ex3_forlist.c-safe.cil.cunknown1.971.160.926s0.007s4310.272s
ldv-regression/just_assert.c-safe.cil.csafe1.450.730.505s0.000s0---
ldv-regression/mutex_lock_int.c-safe_1.cil.cunknown1.530.840.609s0.001s2000.023s
ldv-regression/mutex_lock_struct.c-safe_1.cil.cunknown1.640.860.634s0.000s2000.020s
ldv-regression/nested_structure-safe.cil.cunsafe1.620.880.651s0.000s1000.047s
ldv-regression/nested_structure.c-safe.cil.cunknown1.530.820.592s0.000s1000.018s
ldv-regression/nested_structure_noptr-safe.cil.csafe1.440.770.542s0.000s1100.018s
ldv-regression/nested_structure_noptr.c-safe.cil.csafe1.470.760.537s0.001s1100.018s
ldv-regression/nested_structure_ptr-safe.cil.cunsafe1.720.930.689s0.000s1000.100s
ldv-regression/nested_structure_ptr.c-safe.cil.cunknown1.460.850.621s0.000s1000.020s
ldv-regression/oomInt.c-safe.cil.csafe1.430.760.534s0.000s1100.021s
ldv-regression/oomInt.c-safe_1.cil.csafe1.410.740.508s0.000s0---
ldv-regression/rule57_ebda_blast.c-safe_1.cil.cunsafe1.590.880.649s0.001s2100.046s
ldv-regression/rule60_list.c-safe.cil.cunknown1.620.970.738s0.000s3000.041s
ldv-regression/rule60_list2.c-safe.cil.cunknown1.831.060.807s0.004s2110.143s
ldv-regression/sizeofparameters_test.c-safe.cil.csafe1.570.870.634s0.000s1100.020s
ldv-regression/structure_assignment.c-safe.cil.cunknown1.540.850.612s0.000s1000.019s
ldv-regression/test_address.c-safe.cil.cunknown1.470.800.577s0.001s1000.017s
ldv-regression/test_cut_trace.c-safe.cil.csafe1.500.840.604s0.000s1100.019s
ldv-regression/test_malloc-1-safe.cil.cunknown1.530.800.576s0.000s2110.052s
ldv-regression/test_malloc-2-safe.cil.cunknown1.570.890.651s0.001s2110.040s
ldv-regression/test_overflow.c-safe.cil.csafe1.460.830.606s0.001s1100.023s
ldv-regression/test_union.c-safe.cil.csafe1.460.760.534s0.000s1100.017s
ldv-regression/test_union.c-safe_1.cil.cunknown1.490.790.567s0.000s1000.014s
ldv-regression/test_union_cast-1-safe.cil.csafe1.460.820.598s0.000s1100.019s
ldv-regression/test_union_cast-2-safe.cil.cunknown1.500.790.565s0.001s2110.041s
ldv-regression/test_union_cast.c-safe.cil.cunknown1.560.910.683s0.000s1000.028s
ldv-regression/test_union_cast.c-safe_1.cil.csafe1.520.820.597s0.000s1100.020s
ldv-regression/volatile_alias.c-safe.cil.cunknown1.420.800.560s0.000s2110.028s
ldv-regression/volatile_alias.c-safe_1.cil.cunknown1.430.780.554s0.001s2110.028s
ddv-machzwd/ddv_machzwd_all_BUG.cil.cunknown6.023.963.728s0.025s9812.350s
ddv-machzwd/ddv_machzwd_inw_BUG.cil.cunknown4.943.012.736s0.014s4311.335s
ddv-machzwd/ddv_machzwd_outb_BUG.cil.cunknown3.932.312.037s0.016s3210.815s
ddv-machzwd/ddv_machzwd_inb.cil.csafe2.901.591.322s0.018s0---
ddv-machzwd/ddv_machzwd_inb_p.cil.csafe3.081.621.359s0.008s0---
ddv-machzwd/ddv_machzwd_inl.cil.csafe2.971.661.361s0.015s0---
ddv-machzwd/ddv_machzwd_inl_p.cil.csafe3.011.641.354s0.008s0---
ddv-machzwd/ddv_machzwd_inw_p.cil.csafe2.681.471.215s0.008s0---
ddv-machzwd/ddv_machzwd_outb_p.cil.csafe2.931.641.294s0.003s0---
ddv-machzwd/ddv_machzwd_outl.cil.csafe2.761.451.189s0.015s0---
ddv-machzwd/ddv_machzwd_outl_p.cil.csafe2.681.421.140s0.007s0---
ddv-machzwd/ddv_machzwd_outw_p.cil.csafe3.021.631.304s0.014s0---
ddv-machzwd/ddv_machzwd_pthread_mutex_unlock.cil.csafe2.961.541.270s0.010s0---
ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko-unsafe.cil.out.i.pp.cil.cunsafe13.224.974.715s0.013s1000.076s
ldv-drivers/module_get_put-drivers-block-loop.ko-unsafe.cil.out.i.pp.cil.cunsafe14.9810.7010.442s0.026s8708.436s
ldv-drivers/module_get_put-drivers-block-pktcdvd.ko-unsafe.cil.out.i.pp.cil.cunknown7.062.942.686s0.033s1100.447s
ldv-drivers/module_get_put-drivers-isdn-gigaset-gigaset.ko-unsafe.cil.out.i.pp.cil.cunsafe19.009.228.968s0.022s5404.653s
ldv-drivers/module_get_put-drivers-isdn-mISDN-mISDN_core.ko-unsafe.cil.out.i.pp.cil.cunsafe11.695.285.022s0.012s3201.577s
ldv-drivers/module_get_put-drivers-net-ppp_generic.ko-unsafe.cil.out.i.pp.cil.cunknown13.108.037.722s0.067s3215.203s
ldv-drivers/module_get_put-drivers-net-wan-farsync.ko-unsafe.cil.out.iunsafe.cil.out.i.pp.cil.cunknown16.2512.6112.357s0.020s65110.428s
ldv-drivers/module_get_put-drivers-tty-synclink_gt.ko-unsafe.cil.out.i.pp.cil.cunsafe9.184.664.403s0.014s3201.511s
ldv-drivers/module_get_put-drivers-usb-core-usbcore.ko-unsafe.cil.out.i.pp.cil.cunknown19.7912.0711.800s0.018s3217.425s
ldv-drivers/usb_urb-drivers-hid-usbhid-usbmouse.ko-unsafe.cil.out.i.pp.cil.cunknown13.9711.6311.375s0.010s76110.021s
ldv-drivers/usb_urb-drivers-input-misc-keyspan_remote.ko-unsafe.cil.out.i.pp.cil.cunknown11.549.248.994s0.015s6517.730s
ldv-drivers/usb_urb-drivers-media-dvb-ttusb-dec-ttusb_dec.ko-unsafe.cil.out.i.pp.cil.cunknown21.4117.2216.921s0.024s76114.734s
ldv-drivers/usb_urb-drivers-staging-lirc-lirc_imon.ko-unsafe.cil.out.i.pp.cil.cunknown19.0515.6515.391s0.036s1110113.884s
ldv-drivers/usb_urb-drivers-usb-misc-iowarrior.ko-unsafe.cil.out.i.pp.cil.cunknown8.465.685.411s0.028s5413.766s
ldv-drivers/module_get_put-drivers-atm-eni.ko-safe.cil.out.i.pp.cil.cunknown7.123.323.038s0.012s1100.549s
ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko-safe.cil.out.i.pp.cil.csafe14.936.336.021s0.044s1100.931s
ldv-drivers/module_get_put-drivers-block-paride-pt.ko-safe.cil.out.i.pp.cil.cunknown106.2289.5461.751s4.205s44010.678s
ldv-drivers/module_get_put-drivers-bluetooth-btmrvl.ko-safe.cil.out.i.pp.cil.csafe5.682.822.536s0.027s1100.474s
ldv-drivers/module_get_put-drivers-char-ipmi-ipmi_watchdog.ko-safe.cil.out.i.pp.cil.cunknown5.683.062.795s0.018s3301.377s
ldv-drivers/module_get_put-drivers-gpu-drm-i915-i915.ko-safe.cil.out.i.pp.cil.csafe17.307.797.471s0.034s1101.216s
ldv-drivers/module_get_put-drivers-hid-hid-magicmouse.ko-safe.cil.out.i.pp.cil.cunknown3.631.931.674s0.025s1100.262s
ldv-drivers/module_get_put-drivers-hwmon-it87.ko-safe.cil.out.i.pp.cil.cunknown5.642.622.349s0.011s1100.490s
ldv-drivers/module_get_put-drivers-net-atl1c-atl1c.ko-safe.cil.out.i.pp.cil.csafe10.204.474.126s0.153s1100.549s
ldv-drivers/module_get_put-drivers-net-pppox.ko-safe.cil.out.i.pp.cil.cunknown67.0961.4160.890s0.301s3305.043s
ldv-drivers/module_get_put-drivers-net-sis900.ko-safe.cil.out.i.pp.cil.cunknown5.692.622.363s0.008s1100.615s
ldv-drivers/module_get_put-drivers-scsi-megaraid.ko-safe.cil.out.i.pp.cil.cunknown11.665.054.640s0.129s1100.531s
ldv-drivers/module_get_put-drivers-staging-et131x-et131x.ko-safe.cil.out.i.pp.cil.cunknown9.764.063.768s0.021s1100.394s
ldv-drivers/usb_urb-drivers-input-tablet-kbtab.ko-safe.cil.out.i.pp.cil.cunknown8.326.336.052s0.010s5414.716s
ldv-drivers/usb_urb-drivers-media-video-c-qcam.ko-safe.cil.out.i.pp.cil.csafe9.835.555.004s0.203s2200.898s
ldv-drivers/usb_urb-drivers-media-video-msp3400.ko-safe.cil.out.i.pp.cil.cunknown7.473.883.503s0.048s2200.728s
ldv-drivers/usb_urb-drivers-misc-c2port-core.ko-safe.cil.out.i.pp.cil.csafe6.803.483.083s0.076s2200.714s
ldv-drivers/usb_urb-drivers-scsi-dc395x.ko-safe.cil.out.i.pp.cil.cunknown12.905.585.269s0.033s2201.582s
ldv-drivers/usb_urb-drivers-usb-serial-ir-usb.ko-safe.cil.out.i.pp.cil.cunknown8.226.015.640s0.017s7614.301s
ldv-drivers/usb_urb-drivers-usb-serial-whiteheat.ko-safe.cil.out.i.pp.cil.cunknown9.385.755.482s0.035s5413.433s
ldv-drivers/usb_urb-drivers-uwb-i1480-dfu-i1480-dfu-usb.ko-safe.cil.out.i.pp.cil.cunsafe4.212.051.790s0.008s3200.433s
ldv-drivers/usb_urb-drivers-vhost-vhost_net.ko-safe.cil.out.i.pp.cil.cunknown8.043.723.448s0.014s2200.774s
ldv-drivers/usb_urb-drivers-video-arkfb.ko-safe.cil.out.i.pp.cil.cunknown5.422.912.641s0.020s2201.006s