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.1023
Test setintegration-explicitAnalysis
branch-r5643
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 files2232035.701492.081402.30013.5301781163082490.672
correct results102713.07441.11411.1444.3989138650223.699
false negatives35.363.052.2340.0122200.109
false positives49.515.194.0840.0147300.697
score (223 files, max score: 361)138
pthread/fib_bench_BUG.cil.cunknown1.690.960.696s0.000s1000.013s
pthread/fib_bench_longer_BUG.cil.cunknown1.640.900.637s0.000s1000.013s
pthread/queue_BUG.cil.csafe1.871.060.797s0.005s2200.109s
pthread/reorder_5_BUG.cil.csafe1.700.980.692s0.004s0---
pthread/twostage_3_BUG.cil.csafe1.791.010.745s0.003s0---
pthread/fib_bench.cil.cunknown1.540.900.608s0.000s1000.016s
pthread/fib_bench_longer.cil.cunknown1.700.950.668s0.000s1000.012s
pthread/queue_ok.cil.csafe2.011.140.884s0.002s2200.119s
ntdrivers-simplified/cdaudio_simpl1_BUG.cil.cunsafe12.077.256.924s0.082s434204.673s
ntdrivers-simplified/floppy_simpl3_BUG.cil.cunsafe7.183.923.645s0.051s201901.814s
ntdrivers-simplified/floppy_simpl4_BUG.cil.cunsafe9.905.515.096s0.065s424103.082s
ntdrivers-simplified/kbfiltr_simpl2_BUG.cil.cunsafe4.382.312.049s0.033s181700.810s
ntdrivers-simplified/cdaudio_simpl1.cil.csafe12.327.657.327s0.102s525204.950s
ntdrivers-simplified/diskperf_simpl1.cil.csafe8.555.485.154s0.077s252503.110s
ntdrivers-simplified/floppy_simpl3.cil.csafe6.893.873.567s0.062s232301.864s
ntdrivers-simplified/floppy_simpl4.cil.csafe10.215.745.399s0.065s454503.314s
ntdrivers-simplified/kbfiltr_simpl1.cil.csafe3.531.961.682s0.019s111100.632s
ntdrivers-simplified/kbfiltr_simpl2.cil.csafe4.962.472.181s0.047s161600.795s
ntdrivers/cdaudio.BUG.i.cil.cunsafe6.733.653.341s0.011s4301.408s
ntdrivers/diskperf.BUG.i.cil.cunsafe4.692.762.475s0.006s3201.037s
ntdrivers/floppy.BUG.i.cil.cunsafe5.152.822.548s0.010s4300.761s
ntdrivers/kbfiltr.BUG.i.cil.cunsafe7.715.385.067s0.028s131203.521s
ntdrivers/parport.BUG.i.cil.cunsafe6.893.993.716s0.013s4301.773s
ntdrivers/cdaudio.i.cil.csafe35.4729.7229.364s0.082s4545026.046s
ntdrivers/diskperf.i.cil.csafe19.7715.2714.910s0.087s2020012.123s
ntdrivers/floppy.i.cil.cunknown23.9419.6219.322s0.049s4140116.758s
ntdrivers/parport.i.cil.cunknown14.5010.119.828s0.043s121117.817s
ssh-simplified/s3_clnt_1_BUG.cil.cunsafe5.192.752.438s0.039s131200.970s
ssh-simplified/s3_clnt_2_BUG.cil.cunsafe4.752.502.254s0.036s131200.831s
ssh-simplified/s3_clnt_3_BUG.cil.cunsafe5.362.622.325s0.028s131200.980s
ssh-simplified/s3_clnt_4_BUG.cil.cunsafe4.582.482.217s0.035s131200.874s
ssh-simplified/s3_srvr_10_BUG.cil.cunsafe2.771.371.109s0.012s6500.198s
ssh-simplified/s3_srvr_11_BUG.cil.cunsafe5.873.072.812s0.050s191801.279s
ssh-simplified/s3_srvr_12_BUG.cil.cunsafe5.512.752.499s0.042s171601.039s
ssh-simplified/s3_srvr_14_BUG.cil.cunknown2.171.160.894s0.004s4310.180s
ssh-simplified/s3_srvr_1_BUG.cil.cunsafe3.181.651.396s0.013s5400.302s
ssh-simplified/s3_srvr_2_BUG.cil.cunsafe3.221.721.455s0.014s5400.305s
ssh-simplified/s3_srvr_6_BUG.cil.cunsafe10.046.476.168s0.078s161503.377s
ssh-simplified/s3_clnt_1.cil.csafe6.003.242.952s0.059s141401.389s
ssh-simplified/s3_clnt_2.cil.csafe6.933.953.691s0.068s151501.987s
ssh-simplified/s3_clnt_3.cil.csafe7.214.253.952s0.053s141402.160s
ssh-simplified/s3_clnt_4.cil.csafe6.623.723.385s0.054s151501.770s
ssh-simplified/s3_srvr_1a.cil.cunknown2.321.280.998s0.005s8710.158s
ssh-simplified/s3_srvr_1b.cil.cunknown1.881.070.823s0.002s6510.078s
ssh-simplified/s3_srvr_1.cil.cunknown4.932.612.314s0.043s9810.849s
ssh-simplified/s3_srvr_3.cil.cunknown4.202.171.887s0.033s9810.726s
ssh-simplified/s3_srvr_4.cil.cunknown5.242.702.383s0.039s111010.945s
ssh-simplified/s3_srvr_6.cil.csafe10.487.066.654s0.092s141403.876s
ssh-simplified/s3_srvr_7.cil.cunknown4.952.612.325s0.051s111010.996s
ssh-simplified/s3_srvr_8.cil.cunknown5.342.922.522s0.036s10911.063s
ssh/s3_clnt.blast.01.BUG.i.cil.cunknown9.186.205.903s0.067s131214.287s
ssh/s3_clnt.blast.02.BUG.i.cil.cunknown8.805.865.596s0.046s121113.871s
ssh/s3_clnt.blast.03.BUG.i.cil.cunknown8.155.595.303s0.052s131213.802s
ssh/s3_clnt.blast.04.BUG.i.cil.cunknown8.345.635.308s0.045s121113.594s
ssh/s3_srvr.blast.01.BUG.i.cil.cunsafe4.112.632.316s0.023s5400.656s
ssh/s3_srvr.blast.02.BUG.i.cil.cunsafe3.632.211.890s0.016s4300.401s
ssh/s3_srvr.blast.03.BUG.i.cil.cunsafe3.612.101.794s0.011s4300.415s
ssh/s3_srvr.blast.04.BUG.i.cil.cunsafe3.732.141.826s0.019s4300.400s
ssh/s3_srvr.blast.06.BUG.i.cil.cunsafe6.814.233.947s0.044s8702.003s
ssh/s3_srvr.blast.07.BUG.i.cil.cunknown4.312.472.168s0.028s7610.911s
ssh/s3_srvr.blast.08.BUG.i.cil.cunknown8.635.605.311s0.037s121113.909s
ssh/s3_srvr.blast.10.BUG.i.cil.cunknown8.965.915.584s0.049s121114.023s
ssh/s3_srvr.blast.11.BUG.i.cil.cunknown3.962.251.924s0.024s6510.712s
ssh/s3_srvr.blast.12.BUG.i.cil.cunsafe5.963.653.345s0.028s8701.726s
ssh/s3_srvr.blast.13.BUG.i.cil.cunknown4.152.412.124s0.030s7610.858s
ssh/s3_srvr.blast.14.BUG.i.cil.cunsafe6.143.523.231s0.039s8701.517s
ssh/s3_srvr.blast.15.BUG.i.cil.cunknown7.664.774.496s0.039s111012.979s
ssh/s3_srvr.blast.16.BUG.i.cil.cunsafe6.443.893.604s0.039s8701.904s
ssh/s3_clnt.blast.01.i.cil.cunknown9.586.506.185s0.049s131214.643s
ssh/s3_clnt.blast.03.i.cil.cunknown21.8219.0418.725s0.065s1817116.894s
ssh/s3_clnt.blast.04.i.cil.cunknown8.936.025.589s0.035s131214.047s
ssh/s3_srvr.blast.01.i.cil.cunknown5.642.932.650s0.042s8711.249s
ssh/s3_srvr.blast.06.i.cil.cunknown13.289.158.839s0.080s232216.541s
ssh/s3_srvr.blast.07.i.cil.cunknown4.272.402.057s0.026s7610.875s
ssh/s3_srvr.blast.08.i.cil.cunknown8.555.154.804s0.067s111013.167s
ssh/s3_srvr.blast.09.i.cil.cunknown4.242.452.091s0.028s7610.911s
ssh/s3_srvr.blast.10.i.cil.cunknown7.404.133.819s0.041s10912.399s
ssh/s3_srvr.blast.12.i.cil.cunknown7.654.394.106s0.045s141312.474s
ssh/s3_srvr.blast.13.i.cil.cunknown4.582.612.291s0.025s7610.922s
ssh/s3_srvr.blast.14.i.cil.cunknown10.056.155.864s0.069s171613.758s
ssh/s3_srvr.blast.15.i.cil.cunknown10.236.886.569s0.051s131214.706s
ssh/s3_srvr.blast.16.i.cil.cunknown12.538.267.910s0.095s201915.559s
locks/test_locks_14.BUG.cunknown2.891.651.309s0.015s161510.404s
locks/test_locks_15.BUG.cunknown2.891.601.335s0.017s171610.444s
locks/test_locks_10.cunknown64.4960.9960.584s0.337s202001.201s
locks/test_locks_11.cunknown65.2060.9060.509s0.240s161600.772s
locks/test_locks_12.cunknown65.3161.1060.644s0.209s141400.737s
locks/test_locks_13.cunknown64.8461.2360.835s0.211s141400.769s
locks/test_locks_14.cunknown63.8561.0360.661s0.193s141400.417s
locks/test_locks_15.cunknown63.3760.8860.506s0.171s151500.480s
locks/test_locks_5.csafe2.441.271.017s0.019s101000.145s
locks/test_locks_6.csafe3.031.491.215s0.027s121200.187s
locks/test_locks_7.csafe4.021.941.671s0.049s141400.256s
locks/test_locks_8.csafe6.483.663.381s0.085s161600.433s
locks/test_locks_9.csafe13.129.839.422s0.106s181800.609s
heap-manipulation/bubble_sort_linux_BUG.cil.cunknown2.441.361.104s0.008s2110.302s
heap-manipulation/dll_of_dll_BUG.cil.cunknown1.680.920.680s0.001s0---
heap-manipulation/merge_sort_BUG.cil.cunknown1.921.150.894s0.000s3210.122s
heap-manipulation/sll_to_dll_rev_BUG.cil.cunknown3.422.291.993s0.003s2111.159s
heap-manipulation/bubble_sort_linux.cil.cunknown2.491.360.996s0.005s2110.290s
heap-manipulation/dll_of_dll.cil.cunknown1.620.860.616s0.001s0---
heap-manipulation/merge_sort.cil.cunknown1.891.040.796s0.004s3210.112s
heap-manipulation/sll_to_dll_rev.cil.cunknown3.151.981.734s0.002s2111.068s
list-properties/alternating_list.cil.cunknown1.660.900.668s0.003s2110.075s
list-properties/list.cil.cunknown1.660.900.659s0.005s2110.086s
list-properties/list_flag.cil.cunknown1.550.860.627s0.000s2110.068s
list-properties/simple.cil.cunknown1.670.920.664s0.000s2110.087s
list-properties/simple_built_from_end.cil.cunknown1.630.960.726s0.004s3210.090s
list-properties/splice.cil.cunknown2.001.100.849s0.005s3210.219s
systemc/token_ring.01.BUG.cil.cunknown3.381.961.701s0.022s121110.832s
systemc/token_ring.02.BUG.cil.cunknown6.533.953.686s0.025s222112.499s
systemc/token_ring.03.BUG.cil.cunknown9.826.426.157s0.053s292814.752s
systemc/transmitter.01.BUG.cil.cunsafe4.302.472.210s0.038s151401.089s
systemc/transmitter.02.BUG.cil.cunsafe7.234.374.090s0.037s222102.886s
systemc/transmitter.03.BUG.cil.cunsafe9.746.486.214s0.058s272604.805s
systemc/transmitter.04.BUG.cil.cunsafe24.3518.7918.439s0.224s3736011.607s
systemc/bist_cell.cil.cunknown2.761.601.306s0.021s6510.454s
systemc/kundu.cil.cunknown17.2113.3013.023s0.086s2019110.786s
systemc/mem_slave_tlm.1.cil.csafe9.006.376.047s0.042s121204.641s
systemc/mem_slave_tlm.2.cil.csafe17.3514.0713.770s0.057s1313012.164s
systemc/mem_slave_tlm.4.cil.csafe61.0057.0056.629s0.086s1515054.517s
systemc/pc_sfifo_1.cil.cunknown67.9561.1760.567s0.344s9900.624s
systemc/pc_sfifo_2.cil.cunknown68.2062.5960.841s0.370s111101.176s
systemc/pc_sfifo_3.cil.csafe1.882.492.239s0.004s2200.133s
systemc/token_ring.01.cil.cunknown3.092.932.683s0.028s121111.061s
systemc/token_ring.04.cil.cunknown10.608.338.064s0.045s323116.026s
systemc/toy.cil.cunknown2.981.711.453s0.017s6510.498s
ldv-regression/1_3.c-unsafe.cil.cunsafe1.520.870.632s0.000s1000.019s
ldv-regression/alt_test.c-unsafe.cil.cunsafe1.380.810.588s0.000s1000.028s
ldv-regression/callfpointer.c-unsafe.cil.cunsafe1.280.750.527s0.000s1000.013s
ldv-regression/fo_test.c-unsafe.cil.cunknown1.010.58------
ldv-regression/mutex_lock_int.c-unsafe.cil.cunsafe1.390.830.613s0.001s2000.021s
ldv-regression/mutex_lock_struct.c-unsafe.cil.cunsafe1.280.790.568s0.000s2000.018s
ldv-regression/recursive_list.c-unsafe.cil.cunsafe1.380.820.579s0.000s1000.026s
ldv-regression/rule57_ebda_blast.c-unsafe.cil.cunsafe1.390.810.594s0.000s2100.036s
ldv-regression/rule60_list2.c-unsafe_1.cil.cunknown1.520.880.663s0.001s2110.142s
ldv-regression/stateful_check-unsafe.cil.cunsafe1.811.050.818s0.011s8700.147s
ldv-regression/test_while_int.c-unsafe.cil.cunsafe1.300.760.547s0.001s2100.026s
ldv-regression/test_while_int.c-unsafe_1.cil.cunsafe1.420.810.589s0.002s2100.033s
ldv-regression/alias_of_return.c-safe.cil.cunknown1.281.040.818s0.002s2110.037s
ldv-regression/alias_of_return.c-safe_1.cil.cunknown1.270.720.501s0.001s2110.022s
ldv-regression/alias_of_return_2.c-safe.cil.cunknown1.300.770.552s0.000s2110.028s
ldv-regression/alias_of_return_2.c-safe_1.cil.cunknown1.270.720.500s0.000s2110.022s
ldv-regression/ex3_forlist.c-safe.cil.cunknown1.731.020.795s0.004s4310.226s
ldv-regression/just_assert.c-safe.cil.csafe1.230.680.466s0.000s0---
ldv-regression/mutex_lock_int.c-safe_1.cil.cunknown1.310.780.560s0.000s2000.021s
ldv-regression/mutex_lock_struct.c-safe_1.cil.cunknown1.330.780.561s0.002s2000.017s
ldv-regression/nested_structure-safe.cil.cunsafe1.410.810.571s0.000s1000.040s
ldv-regression/nested_structure.c-safe.cil.cunknown1.550.850.624s0.000s1000.020s
ldv-regression/nested_structure_noptr-safe.cil.csafe1.660.930.674s0.000s1100.020s
ldv-regression/nested_structure_noptr.c-safe.cil.csafe1.680.900.608s0.001s1100.026s
ldv-regression/nested_structure_ptr-safe.cil.cunsafe2.021.200.838s0.000s1000.108s
ldv-regression/nested_structure_ptr.c-safe.cil.cunknown1.520.880.655s0.000s1000.018s
ldv-regression/oomInt.c-safe.cil.csafe1.450.830.598s0.000s1100.021s
ldv-regression/oomInt.c-safe_1.cil.csafe1.520.760.519s0.000s0---
ldv-regression/rule57_ebda_blast.c-safe_1.cil.cunsafe1.700.980.736s0.002s2100.047s
ldv-regression/rule60_list.c-safe.cil.cunknown1.661.040.777s0.003s3000.036s
ldv-regression/rule60_list2.c-safe.cil.cunknown1.991.080.817s0.001s2110.143s
ldv-regression/sizeofparameters_test.c-safe.cil.csafe1.560.820.559s0.001s1100.020s
ldv-regression/structure_assignment.c-safe.cil.cunknown1.730.930.691s0.000s1000.014s
ldv-regression/test_address.c-safe.cil.cunknown1.640.940.709s0.000s1000.017s
ldv-regression/test_cut_trace.c-safe.cil.csafe1.570.780.534s0.000s1100.019s
ldv-regression/test_malloc-1-safe.cil.cunknown1.610.850.604s0.001s2110.053s
ldv-regression/test_malloc-2-safe.cil.cunknown1.690.910.657s0.000s2110.044s
ldv-regression/test_overflow.c-safe.cil.csafe1.580.870.617s0.000s1100.025s
ldv-regression/test_union.c-safe.cil.csafe1.620.840.595s0.000s1100.019s
ldv-regression/test_union.c-safe_1.cil.cunknown1.590.880.630s0.000s1000.016s
ldv-regression/test_union_cast-1-safe.cil.csafe1.660.880.634s0.000s1100.021s
ldv-regression/test_union_cast-2-safe.cil.cunknown1.580.860.618s0.001s2110.046s
ldv-regression/test_union_cast.c-safe.cil.cunknown1.710.930.672s0.001s1000.022s
ldv-regression/test_union_cast.c-safe_1.cil.csafe1.560.870.631s0.001s1100.019s
ldv-regression/volatile_alias.c-safe.cil.cunknown1.680.900.659s0.000s2110.032s
ldv-regression/volatile_alias.c-safe_1.cil.cunknown1.710.880.639s0.001s2110.028s
ddv-machzwd/ddv_machzwd_all_BUG.cil.cunknown6.214.003.739s0.019s9812.285s
ddv-machzwd/ddv_machzwd_inw_BUG.cil.cunknown4.532.692.425s0.014s4311.134s
ddv-machzwd/ddv_machzwd_outb_BUG.cil.cunknown3.972.282.035s0.003s3210.798s
ddv-machzwd/ddv_machzwd_inb.cil.csafe2.751.501.220s0.007s0---
ddv-machzwd/ddv_machzwd_inb_p.cil.csafe3.041.661.349s0.010s0---
ddv-machzwd/ddv_machzwd_inl.cil.csafe2.971.571.297s0.008s0---
ddv-machzwd/ddv_machzwd_inl_p.cil.csafe3.151.661.306s0.014s0---
ddv-machzwd/ddv_machzwd_inw_p.cil.csafe3.081.621.343s0.020s0---
ddv-machzwd/ddv_machzwd_outb_p.cil.csafe2.871.521.264s0.005s0---
ddv-machzwd/ddv_machzwd_outl.cil.csafe3.021.561.288s0.006s0---
ddv-machzwd/ddv_machzwd_outl_p.cil.csafe2.841.501.254s0.013s0---
ddv-machzwd/ddv_machzwd_outw_p.cil.csafe3.071.691.403s0.009s0---
ddv-machzwd/ddv_machzwd_pthread_mutex_unlock.cil.csafe2.901.631.321s0.011s0---
ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko-unsafe.cil.out.i.pp.cil.cunsafe13.395.395.084s0.020s1000.131s
ldv-drivers/module_get_put-drivers-block-loop.ko-unsafe.cil.out.i.pp.cil.cunsafe16.3712.2511.989s0.039s8709.620s
ldv-drivers/module_get_put-drivers-block-pktcdvd.ko-unsafe.cil.out.i.pp.cil.cunknown6.843.473.190s0.025s1100.597s
ldv-drivers/module_get_put-drivers-isdn-gigaset-gigaset.ko-unsafe.cil.out.i.pp.cil.cunsafe16.888.988.625s0.014s5404.394s
ldv-drivers/module_get_put-drivers-isdn-mISDN-mISDN_core.ko-unsafe.cil.out.i.pp.cil.cunsafe12.745.795.479s0.019s3201.811s
ldv-drivers/module_get_put-drivers-net-ppp_generic.ko-unsafe.cil.out.i.pp.cil.cunknown13.758.328.030s0.061s3215.135s
ldv-drivers/module_get_put-drivers-net-wan-farsync.ko-unsafe.cil.out.iunsafe.cil.out.i.pp.cil.cunknown16.5312.8912.627s0.016s65110.503s
ldv-drivers/module_get_put-drivers-tty-synclink_gt.ko-unsafe.cil.out.i.pp.cil.cunsafe15.025.745.468s0.030s3201.896s
ldv-drivers/module_get_put-drivers-usb-core-usbcore.ko-unsafe.cil.out.i.pp.cil.cunknown19.5112.1511.880s0.019s3217.692s
ldv-drivers/usb_urb-drivers-hid-usbhid-usbmouse.ko-unsafe.cil.out.i.pp.cil.cunknown14.1811.7411.472s0.019s76110.307s
ldv-drivers/usb_urb-drivers-input-misc-keyspan_remote.ko-unsafe.cil.out.i.pp.cil.cunknown11.709.208.947s0.020s6517.615s
ldv-drivers/usb_urb-drivers-media-dvb-ttusb-dec-ttusb_dec.ko-unsafe.cil.out.i.pp.cil.cunknown21.7317.8017.507s0.022s76115.477s
ldv-drivers/usb_urb-drivers-staging-lirc-lirc_imon.ko-unsafe.cil.out.i.pp.cil.cunknown19.0415.6915.430s0.042s1110113.976s
ldv-drivers/usb_urb-drivers-usb-misc-iowarrior.ko-unsafe.cil.out.i.pp.cil.cunknown8.325.565.294s0.019s5413.792s
ldv-drivers/module_get_put-drivers-atm-eni.ko-safe.cil.out.i.pp.cil.cunknown7.803.403.022s0.059s1100.530s
ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko-safe.cil.out.i.pp.cil.csafe14.575.895.587s0.043s1100.767s
ldv-drivers/module_get_put-drivers-block-paride-pt.ko-safe.cil.out.i.pp.cil.cunknown103.5187.2363.707s4.343s44010.016s
ldv-drivers/module_get_put-drivers-bluetooth-btmrvl.ko-safe.cil.out.i.pp.cil.csafe5.032.352.078s0.023s1100.431s
ldv-drivers/module_get_put-drivers-char-ipmi-ipmi_watchdog.ko-safe.cil.out.i.pp.cil.cunknown5.422.992.734s0.016s3301.343s
ldv-drivers/module_get_put-drivers-gpu-drm-i915-i915.ko-safe.cil.out.i.pp.cil.csafe17.198.478.137s0.046s1101.556s
ldv-drivers/module_get_put-drivers-hid-hid-magicmouse.ko-safe.cil.out.i.pp.cil.cunknown3.401.821.563s0.023s1100.260s
ldv-drivers/module_get_put-drivers-hwmon-it87.ko-safe.cil.out.i.pp.cil.csafe7.073.182.884s0.046s1100.574s
ldv-drivers/module_get_put-drivers-net-atl1c-atl1c.ko-safe.cil.out.i.pp.cil.csafe9.844.153.706s0.073s1100.539s
ldv-drivers/module_get_put-drivers-net-pppox.ko-safe.cil.out.i.pp.cil.cunknown66.9061.4060.837s0.258s3304.778s
ldv-drivers/module_get_put-drivers-net-sis900.ko-safe.cil.out.i.pp.cil.csafe8.133.843.443s0.076s1100.496s
ldv-drivers/module_get_put-drivers-scsi-megaraid.ko-safe.cil.out.i.pp.cil.cunknown13.265.374.937s0.105s1100.668s
ldv-drivers/module_get_put-drivers-staging-et131x-et131x.ko-safe.cil.out.i.pp.cil.cunknown9.013.723.450s0.033s1100.359s
ldv-drivers/usb_urb-drivers-input-tablet-kbtab.ko-safe.cil.out.i.pp.cil.cunknown8.386.286.033s0.012s5414.858s
ldv-drivers/usb_urb-drivers-media-video-c-qcam.ko-safe.cil.out.i.pp.cil.csafe9.515.374.834s0.849s2200.953s
ldv-drivers/usb_urb-drivers-media-video-msp3400.ko-safe.cil.out.i.pp.cil.csafe9.024.414.000s0.087s2200.735s
ldv-drivers/usb_urb-drivers-misc-c2port-core.ko-safe.cil.out.i.pp.cil.csafe5.983.162.816s0.080s2200.650s
ldv-drivers/usb_urb-drivers-scsi-dc395x.ko-safe.cil.out.i.pp.cil.csafe13.845.895.516s0.094s2201.173s
ldv-drivers/usb_urb-drivers-usb-serial-ir-usb.ko-safe.cil.out.i.pp.cil.cunknown8.786.626.349s0.025s7615.016s
ldv-drivers/usb_urb-drivers-usb-serial-whiteheat.ko-safe.cil.out.i.pp.cil.cunknown10.246.245.937s0.050s5413.699s
ldv-drivers/usb_urb-drivers-uwb-i1480-dfu-i1480-dfu-usb.ko-safe.cil.out.i.pp.cil.cunsafe4.382.201.939s0.012s3200.502s
ldv-drivers/usb_urb-drivers-vhost-vhost_net.ko-safe.cil.out.i.pp.cil.csafe10.364.434.038s0.115s2200.749s
ldv-drivers/usb_urb-drivers-video-arkfb.ko-safe.cil.out.i.pp.cil.csafe6.713.362.992s0.057s2201.004s