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.1332
Test setintegration-explicitAnalysis
branch-r5654
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 files2211706.781191.371075.1287.1341552144052328.196
correct results97612.70355.27326.8023.4898788340154.549
false negatives23.842.131.5860.0060000
false positives26.203.312.7740.0165300.560
score (221 files, max score: 357)139
pthread/fib_bench_BUG.cil.cunknown1.801.120.797s0.002s1000.019s
pthread/fib_bench_longer_BUG.cil.cunknown1.771.060.804s0.001s1000.018s
pthread/queue_BUG.cil.cexception1.841.03------
pthread/reorder_5_BUG.cil.csafe1.961.120.850s0.002s0---
pthread/twostage_3_BUG.cil.csafe1.881.010.736s0.004s0---
pthread/fib_bench.cil.cunknown1.761.010.703s0.001s1000.013s
pthread/fib_bench_longer.cil.cunknown1.760.920.665s0.001s1000.013s
pthread/queue_ok.cil.cexception2.011.13------
ntdrivers-simplified/cdaudio_simpl1_BUG.cil.cunsafe13.328.898.443s0.106s434205.906s
ntdrivers-simplified/floppy_simpl3_BUG.cil.cunsafe7.374.423.840s0.041s201901.825s
ntdrivers-simplified/floppy_simpl4_BUG.cil.cunsafe9.945.465.136s0.064s424103.138s
ntdrivers-simplified/kbfiltr_simpl2_BUG.cil.cunsafe4.822.592.274s0.041s181700.898s
ntdrivers-simplified/cdaudio_simpl1.cil.csafe12.778.067.730s0.092s525205.132s
ntdrivers-simplified/diskperf_simpl1.cil.csafe9.055.615.240s0.089s252503.151s
ntdrivers-simplified/floppy_simpl3.cil.csafe7.173.973.671s0.055s232301.926s
ntdrivers-simplified/floppy_simpl4.cil.csafe10.115.655.338s0.071s454503.265s
ntdrivers-simplified/kbfiltr_simpl1.cil.csafe3.481.951.680s0.027s111100.555s
ntdrivers-simplified/kbfiltr_simpl2.cil.csafe4.742.542.175s0.047s161600.712s
ntdrivers/cdaudio.BUG.i.cil.cunsafe6.853.623.312s0.011s4301.312s
ntdrivers/diskperf.BUG.i.cil.cunsafe4.912.942.625s0.010s3201.021s
ntdrivers/floppy.BUG.i.cil.cunsafe4.752.612.320s0.010s4300.719s
ntdrivers/kbfiltr.BUG.i.cil.cexception2.771.47------
ntdrivers/parport.BUG.i.cil.cunsafe6.643.893.535s0.014s4301.588s
ntdrivers/cdaudio.i.cil.csafe33.4027.6527.291s0.093s4545023.891s
ntdrivers/diskperf.i.cil.csafe18.8814.3013.940s0.084s2020011.206s
ntdrivers/floppy.i.cil.cunknown22.2117.4517.156s0.061s4140114.741s
ntdrivers/parport.i.cil.cexception11.338.19------
ssh-simplified/s3_clnt_1_BUG.cil.cunsafe4.432.201.953s0.025s131200.766s
ssh-simplified/s3_clnt_2_BUG.cil.cunsafe4.412.262.008s0.029s131200.758s
ssh-simplified/s3_clnt_3_BUG.cil.cunsafe4.752.422.126s0.051s131200.882s
ssh-simplified/s3_clnt_4_BUG.cil.cunsafe4.382.231.984s0.041s131200.783s
ssh-simplified/s3_srvr_10_BUG.cil.cunsafe2.561.291.049s0.006s6500.188s
ssh-simplified/s3_srvr_11_BUG.cil.cunsafe5.352.762.519s0.041s191801.118s
ssh-simplified/s3_srvr_12_BUG.cil.cunsafe4.962.502.262s0.041s171600.866s
ssh-simplified/s3_srvr_14_BUG.cil.cunknown2.161.080.836s0.006s4310.135s
ssh-simplified/s3_srvr_1_BUG.cil.cunsafe2.941.431.177s0.012s5400.236s
ssh-simplified/s3_srvr_2_BUG.cil.cunsafe2.781.511.253s0.023s5400.243s
ssh-simplified/s3_srvr_6_BUG.cil.cunsafe9.045.835.543s0.067s161503.313s
ssh-simplified/s3_clnt_1.cil.csafe5.022.782.533s0.042s141401.119s
ssh-simplified/s3_clnt_2.cil.csafe5.983.283.041s0.055s151501.717s
ssh-simplified/s3_clnt_3.cil.csafe5.883.293.033s0.044s141401.652s
ssh-simplified/s3_clnt_4.cil.csafe5.453.092.837s0.048s151501.431s
ssh-simplified/s3_srvr_1a.cil.cunknown2.021.150.895s0.004s8710.142s
ssh-simplified/s3_srvr_1b.cil.cunknown1.760.990.755s0.004s6510.077s
ssh-simplified/s3_srvr_1.cil.cunknown4.672.312.060s0.038s9810.829s
ssh-simplified/s3_srvr_3.cil.cunknown4.182.031.777s0.039s9810.614s
ssh-simplified/s3_srvr_4.cil.cunknown4.282.091.791s0.028s111010.739s
ssh-simplified/s3_srvr_6.cil.csafe9.106.065.773s0.083s141403.527s
ssh-simplified/s3_srvr_7.cil.cunknown4.852.562.300s0.035s111010.906s
ssh-simplified/s3_srvr_8.cil.cunknown4.872.422.168s0.040s10910.959s
ssh/s3_clnt.blast.01.BUG.i.cil.cexception2.061.12------
ssh/s3_clnt.blast.02.BUG.i.cil.cexception1.921.04------
ssh/s3_clnt.blast.03.BUG.i.cil.cexception2.001.06------
ssh/s3_clnt.blast.04.BUG.i.cil.cexception1.881.03------
ssh/s3_srvr.blast.01.BUG.i.cil.cunsafe3.642.001.724s0.023s5400.460s
ssh/s3_srvr.blast.02.BUG.i.cil.cunsafe3.301.841.595s0.016s4300.365s
ssh/s3_srvr.blast.03.BUG.i.cil.cunsafe3.371.921.638s0.017s4300.364s
ssh/s3_srvr.blast.04.BUG.i.cil.cunsafe3.381.881.628s0.018s4300.358s
ssh/s3_srvr.blast.06.BUG.i.cil.cunsafe5.513.072.813s0.025s8701.398s
ssh/s3_srvr.blast.07.BUG.i.cil.cunknown4.022.272.021s0.023s7610.823s
ssh/s3_srvr.blast.08.BUG.i.cil.cunknown7.805.124.866s0.048s121113.517s
ssh/s3_srvr.blast.10.BUG.i.cil.cunknown8.185.475.203s0.036s121113.824s
ssh/s3_srvr.blast.11.BUG.i.cil.cunknown3.471.851.607s0.025s6510.603s
ssh/s3_srvr.blast.12.BUG.i.cil.cunsafe5.583.212.980s0.029s8701.538s
ssh/s3_srvr.blast.13.BUG.i.cil.cunknown4.072.282.026s0.026s7610.858s
ssh/s3_srvr.blast.14.BUG.i.cil.cunsafe5.633.283.032s0.039s8701.438s
ssh/s3_srvr.blast.15.BUG.i.cil.cunknown7.464.704.400s0.038s111013.026s
ssh/s3_srvr.blast.16.BUG.i.cil.cunsafe5.453.152.897s0.022s8701.389s
ssh/s3_clnt.blast.01.i.cil.cexception2.031.10------
ssh/s3_clnt.blast.03.i.cil.cexception2.101.14------
ssh/s3_clnt.blast.04.i.cil.cexception1.740.99------
ssh/s3_srvr.blast.01.i.cil.cunknown5.282.922.652s0.044s8711.216s
ssh/s3_srvr.blast.06.i.cil.cunknown13.379.419.121s0.079s232216.744s
ssh/s3_srvr.blast.07.i.cil.cunknown4.102.282.029s0.021s7610.832s
ssh/s3_srvr.blast.08.i.cil.cunknown8.115.074.790s0.055s111013.237s
ssh/s3_srvr.blast.09.i.cil.cunknown4.082.251.986s0.026s7610.817s
ssh/s3_srvr.blast.10.i.cil.cunknown6.683.913.659s0.035s10912.334s
ssh/s3_srvr.blast.12.i.cil.cunknown7.484.424.150s0.053s141312.499s
ssh/s3_srvr.blast.13.i.cil.cunknown4.272.502.222s0.034s7610.922s
ssh/s3_srvr.blast.14.i.cil.cunknown9.505.795.528s0.061s171613.599s
ssh/s3_srvr.blast.15.i.cil.cunknown9.436.125.839s0.054s131214.134s
ssh/s3_srvr.blast.16.i.cil.cunknown11.847.637.338s0.090s201915.069s
locks/test_locks_14.BUG.cunknown2.661.431.182s0.008s161510.383s
locks/test_locks_15.BUG.cunknown2.661.391.151s0.021s171610.401s
locks/test_locks_11.cunknown65.9960.9260.533s0.203s161600.766s
locks/test_locks_12.cunknown65.0060.8460.485s0.161s141400.650s
locks/test_locks_13.cunknown64.7660.8160.482s0.149s141400.648s
locks/test_locks_14.cunknown63.4860.8660.482s0.124s141400.332s
locks/test_locks_15.cunknown63.8761.0960.624s0.147s151500.416s
locks/test_locks_5.csafe2.381.251.002s0.022s101000.146s
locks/test_locks_6.csafe3.361.611.348s0.025s121200.194s
locks/test_locks_7.csafe4.702.271.997s0.053s141400.325s
locks/test_locks_8.csafe6.223.533.249s0.085s161600.428s
locks/test_locks_9.csafe12.209.138.790s0.122s181800.582s
heap-manipulation/bubble_sort_linux_BUG.cil.cexception2.131.10------
heap-manipulation/dll_of_dll_BUG.cil.cunknown1.891.020.773s0.000s0---
heap-manipulation/merge_sort_BUG.cil.cexception1.871.04------
heap-manipulation/sll_to_dll_rev_BUG.cil.cexception1.901.07------
heap-manipulation/bubble_sort_linux.cil.cexception1.841.01------
heap-manipulation/dll_of_dll.cil.cunknown1.821.000.741s0.000s0---
heap-manipulation/merge_sort.cil.cexception1.680.89------
heap-manipulation/sll_to_dll_rev.cil.cexception1.780.98------
list-properties/alternating_list.cil.cexception1.760.91------
list-properties/list.cil.cexception1.670.94------
list-properties/list_flag.cil.cexception1.650.95------
list-properties/simple.cil.cexception1.620.94------
list-properties/simple_built_from_end.cil.cexception1.610.85------
list-properties/splice.cil.cexception1.710.99------
systemc/token_ring.01.BUG.cil.cunknown3.632.151.854s0.023s121110.834s
systemc/token_ring.02.BUG.cil.cunknown7.174.754.502s0.041s222113.270s
systemc/token_ring.03.BUG.cil.cunknown9.366.265.991s0.054s292814.592s
systemc/transmitter.01.BUG.cil.cunsafe4.142.282.025s0.025s151400.997s
systemc/transmitter.02.BUG.cil.cunsafe7.304.544.294s0.029s222102.990s
systemc/transmitter.03.BUG.cil.cunsafe9.396.215.928s0.036s272604.597s
systemc/transmitter.04.BUG.cil.cunsafe21.4816.2815.946s0.151s3736010.786s
systemc/bist_cell.cil.cunknown2.781.461.209s0.011s6510.441s
systemc/kundu.cil.cunknown15.5711.9911.718s0.081s201919.759s
systemc/mem_slave_tlm.1.cil.csafe8.195.655.370s0.034s121204.172s
systemc/mem_slave_tlm.2.cil.csafe16.3113.1212.823s0.060s1313011.376s
systemc/pc_sfifo_1.cil.cunknown68.0461.1560.493s0.314s9900.586s
systemc/pc_sfifo_2.cil.cunknown68.9461.1960.489s0.321s111101.249s
systemc/pc_sfifo_3.cil.csafe2.131.180.928s0.007s2200.139s
systemc/token_ring.01.cil.cunknown3.391.981.740s0.027s121110.856s
systemc/token_ring.04.cil.cunknown11.658.137.844s0.051s323116.414s
systemc/toy.cil.cunknown3.101.721.451s0.015s6510.568s
ldv-regression/1_3.c-unsafe.cil.cunsafe1.760.940.690s0.000s1000.020s
ldv-regression/alt_test.c-unsafe.cil.cunsafe1.731.010.737s0.001s1000.045s
ldv-regression/callfpointer.c-unsafe.cil.cunsafe1.520.850.626s0.000s1000.015s
ldv-regression/fo_test.c-unsafe.cil.cunknown1.200.67------
ldv-regression/mutex_lock_int.c-unsafe.cil.cexception1.560.84------
ldv-regression/mutex_lock_struct.c-unsafe.cil.cunsafe1.680.980.720s0.000s2000.021s
ldv-regression/recursive_list.c-unsafe.cil.cunsafe1.620.950.670s0.001s1000.027s
ldv-regression/rule57_ebda_blast.c-unsafe.cil.cunsafe1.600.930.687s0.002s2100.040s
ldv-regression/rule60_list2.c-unsafe_1.cil.cunknown1.961.100.853s0.002s2110.156s
ldv-regression/stateful_check-unsafe.cil.cunsafe2.361.301.035s0.010s8700.181s
ldv-regression/test_while_int.c-unsafe.cil.cunsafe1.761.020.751s0.000s2100.033s
ldv-regression/test_while_int.c-unsafe_1.cil.cunsafe1.821.050.761s0.000s2100.024s
ldv-regression/alias_of_return.c-safe.cil.cexception1.640.91------
ldv-regression/alias_of_return.c-safe_1.cil.cexception1.620.84------
ldv-regression/alias_of_return_2.c-safe.cil.cexception1.460.81------
ldv-regression/alias_of_return_2.c-safe_1.cil.cexception1.570.88------
ldv-regression/ex3_forlist.c-safe.cil.cunknown2.151.200.941s0.007s4310.239s
ldv-regression/just_assert.c-safe.cil.csafe1.540.850.598s0.000s0---
ldv-regression/mutex_lock_int.c-safe_1.cil.cexception1.540.87------
ldv-regression/mutex_lock_struct.c-safe_1.cil.cunknown1.590.950.655s0.000s2000.021s
ldv-regression/nested_structure-safe.cil.cexception1.610.89------
ldv-regression/nested_structure.c-safe.cil.cunknown1.640.970.691s0.000s1000.026s
ldv-regression/nested_structure_noptr-safe.cil.csafe1.590.880.642s0.000s1100.019s
ldv-regression/nested_structure_noptr.c-safe.cil.csafe1.580.900.641s0.000s1100.019s
ldv-regression/nested_structure_ptr-safe.cil.cexception1.690.91------
ldv-regression/nested_structure_ptr.c-safe.cil.cunknown1.650.950.701s0.000s1000.020s
ldv-regression/oomInt.c-safe.cil.csafe1.460.790.554s0.000s1100.021s
ldv-regression/oomInt.c-safe_1.cil.csafe1.630.890.635s0.000s0---
ldv-regression/rule57_ebda_blast.c-safe_1.cil.cunsafe1.771.020.756s0.003s2100.070s
ldv-regression/rule60_list.c-safe.cil.cunknown1.781.050.813s0.001s3000.044s
ldv-regression/rule60_list2.c-safe.cil.cunknown1.811.100.837s0.001s2110.141s
ldv-regression/sizeofparameters_test.c-safe.cil.csafe1.590.860.633s0.002s1100.031s
ldv-regression/structure_assignment.c-safe.cil.cunknown1.730.910.668s0.000s1000.016s
ldv-regression/test_address.c-safe.cil.cunknown1.570.880.600s0.000s1000.018s
ldv-regression/test_cut_trace.c-safe.cil.csafe1.560.880.638s0.000s1100.019s
ldv-regression/test_malloc-1-safe.cil.cunknown1.620.890.641s0.000s2110.050s
ldv-regression/test_malloc-2-safe.cil.cunknown1.560.870.625s0.001s2110.041s
ldv-regression/test_overflow.c-safe.cil.csafe1.590.830.575s0.000s1100.023s
ldv-regression/test_union.c-safe.cil.csafe1.710.890.602s0.000s1100.019s
ldv-regression/test_union.c-safe_1.cil.cunknown1.620.890.649s0.001s1000.014s
ldv-regression/test_union_cast-1-safe.cil.csafe1.660.910.662s0.000s1100.020s
ldv-regression/test_union_cast-2-safe.cil.cexception1.590.88------
ldv-regression/test_union_cast.c-safe.cil.cexception1.540.82------
ldv-regression/test_union_cast.c-safe_1.cil.csafe1.650.880.630s0.000s1100.020s
ldv-regression/volatile_alias.c-safe.cil.cexception1.520.83------
ldv-regression/volatile_alias.c-safe_1.cil.cexception1.680.91------
ddv-machzwd/ddv_machzwd_all_BUG.cil.cunknown6.574.253.984s0.030s9812.435s
ddv-machzwd/ddv_machzwd_inw_BUG.cil.cunknown4.442.602.361s0.011s4311.197s
ddv-machzwd/ddv_machzwd_outb_BUG.cil.cunknown3.932.181.949s0.009s3210.789s
ddv-machzwd/ddv_machzwd_inb.cil.csafe3.121.661.371s0.013s0---
ddv-machzwd/ddv_machzwd_inb_p.cil.csafe3.121.611.324s0.014s0---
ddv-machzwd/ddv_machzwd_inl.cil.csafe2.871.551.249s0.011s0---
ddv-machzwd/ddv_machzwd_inl_p.cil.csafe2.841.531.280s0.004s0---
ddv-machzwd/ddv_machzwd_inw_p.cil.csafe2.881.571.298s0.013s0---
ddv-machzwd/ddv_machzwd_outb_p.cil.csafe2.901.661.397s0.016s0---
ddv-machzwd/ddv_machzwd_outl.cil.csafe2.931.571.275s0.014s0---
ddv-machzwd/ddv_machzwd_outl_p.cil.csafe2.811.471.140s0.010s0---
ddv-machzwd/ddv_machzwd_outw_p.cil.csafe2.921.611.328s0.011s0---
ddv-machzwd/ddv_machzwd_pthread_mutex_unlock.cil.csafe3.101.601.333s0.008s0---
ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko-unsafe.cil.out.i.pp.cil.cunsafe13.475.365.082s0.017s1000.095s
ldv-drivers/module_get_put-drivers-block-loop.ko-unsafe.cil.out.i.pp.cil.cunsafe17.3012.5512.283s0.049s8709.681s
ldv-drivers/module_get_put-drivers-block-pktcdvd.ko-unsafe.cil.out.i.pp.cil.cunknown7.153.212.921s0.019s1100.505s
ldv-drivers/module_get_put-drivers-isdn-gigaset-gigaset.ko-unsafe.cil.out.i.pp.cil.cunsafe18.469.429.094s0.021s5404.489s
ldv-drivers/module_get_put-drivers-isdn-mISDN-mISDN_core.ko-unsafe.cil.out.i.pp.cil.cexception9.183.69------
ldv-drivers/module_get_put-drivers-net-ppp_generic.ko-unsafe.cil.out.i.pp.cil.cexception7.683.85------
ldv-drivers/module_get_put-drivers-net-wan-farsync.ko-unsafe.cil.out.iunsafe.cil.out.i.pp.cil.cunknown16.3512.5612.317s0.016s65110.397s
ldv-drivers/module_get_put-drivers-tty-synclink_gt.ko-unsafe.cil.out.i.pp.cil.cunsafe10.204.774.476s0.020s3201.489s
ldv-drivers/module_get_put-drivers-usb-core-usbcore.ko-unsafe.cil.out.i.pp.cil.cunknown24.8913.6313.353s0.020s3217.573s
ldv-drivers/usb_urb-drivers-hid-usbhid-usbmouse.ko-unsafe.cil.out.i.pp.cil.cunknown13.9911.6811.418s0.019s76110.160s
ldv-drivers/usb_urb-drivers-input-misc-keyspan_remote.ko-unsafe.cil.out.i.pp.cil.cunknown12.349.519.246s0.018s6517.898s
ldv-drivers/usb_urb-drivers-media-dvb-ttusb-dec-ttusb_dec.ko-unsafe.cil.out.i.pp.cil.cexception9.776.03------
ldv-drivers/usb_urb-drivers-staging-lirc-lirc_imon.ko-unsafe.cil.out.i.pp.cil.cunknown19.4216.2915.987s0.027s1110114.224s
ldv-drivers/usb_urb-drivers-usb-misc-iowarrior.ko-unsafe.cil.out.i.pp.cil.cexception4.602.53------
ldv-drivers/module_get_put-drivers-atm-eni.ko-safe.cil.out.i.pp.cil.cunknown8.263.893.511s0.058s1100.558s
ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko-safe.cil.out.i.pp.cil.csafe13.875.905.606s0.032s1100.730s
ldv-drivers/module_get_put-drivers-block-paride-pt.ko-safe.cil.out.i.pp.cil.cexception10.645.43------
ldv-drivers/module_get_put-drivers-bluetooth-btmrvl.ko-safe.cil.out.i.pp.cil.csafe5.092.392.126s0.024s1100.432s
ldv-drivers/module_get_put-drivers-char-ipmi-ipmi_watchdog.ko-safe.cil.out.i.pp.cil.cunknown5.333.082.828s0.018s3301.364s
ldv-drivers/module_get_put-drivers-gpu-drm-i915-i915.ko-safe.cil.out.i.pp.cil.csafe19.278.628.222s0.052s1101.213s
ldv-drivers/module_get_put-drivers-hid-hid-magicmouse.ko-safe.cil.out.i.pp.cil.cunknown3.661.871.605s0.029s1100.317s
ldv-drivers/module_get_put-drivers-hwmon-it87.ko-safe.cil.out.i.pp.cil.csafe7.613.353.036s0.037s1100.495s
ldv-drivers/module_get_put-drivers-net-atl1c-atl1c.ko-safe.cil.out.i.pp.cil.csafe11.294.333.872s0.088s1100.518s
ldv-drivers/module_get_put-drivers-net-pppox.ko-safe.cil.out.i.pp.cil.cunknown66.8161.4360.869s0.327s3304.922s
ldv-drivers/module_get_put-drivers-net-sis900.ko-safe.cil.out.i.pp.cil.csafe9.064.233.808s0.144s1100.513s
ldv-drivers/module_get_put-drivers-scsi-megaraid.ko-safe.cil.out.i.pp.cil.cunknown14.985.855.428s0.135s1100.825s
ldv-drivers/module_get_put-drivers-staging-et131x-et131x.ko-safe.cil.out.i.pp.cil.cunknown9.573.923.593s0.026s1100.496s
ldv-drivers/usb_urb-drivers-input-tablet-kbtab.ko-safe.cil.out.i.pp.cil.cunknown8.456.476.015s0.016s5414.632s
ldv-drivers/usb_urb-drivers-media-video-c-qcam.ko-safe.cil.out.i.pp.cil.csafe9.625.044.511s0.164s2200.882s
ldv-drivers/usb_urb-drivers-media-video-msp3400.ko-safe.cil.out.i.pp.cil.csafe8.723.743.367s0.086s2200.633s
ldv-drivers/usb_urb-drivers-misc-c2port-core.ko-safe.cil.out.i.pp.cil.csafe6.183.072.720s0.106s2200.648s
ldv-drivers/usb_urb-drivers-scsi-dc395x.ko-safe.cil.out.i.pp.cil.csafe13.525.485.071s0.094s2201.405s
ldv-drivers/usb_urb-drivers-usb-serial-ir-usb.ko-safe.cil.out.i.pp.cil.cunknown8.636.296.020s0.017s7614.753s
ldv-drivers/usb_urb-drivers-usb-serial-whiteheat.ko-safe.cil.out.i.pp.cil.cunknown10.616.315.999s0.056s5413.832s
ldv-drivers/usb_urb-drivers-uwb-i1480-dfu-i1480-dfu-usb.ko-safe.cil.out.i.pp.cil.cunsafe4.432.292.018s0.013s3200.490s
ldv-drivers/usb_urb-drivers-vhost-vhost_net.ko-safe.cil.out.i.pp.cil.csafe10.384.674.293s0.077s2200.786s
ldv-drivers/usb_urb-drivers-video-arkfb.ko-safe.cil.out.i.pp.cil.csafe6.873.453.105s0.047s2201.057s