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.1352
Test setintegration-explicitAnalysis
branch-r5655
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 files2211709.011212.021089.8418.1671552144052337.773
correct results97605.91369.38337.7584.1048788340160.020
false negatives23.361.931.3950.0050000
false positives26.123.422.9050.0075300.530
score (221 files, max score: 357)139
pthread/fib_bench_BUG.cil.cunknown1.782.030.677s0.001s1000.015s
pthread/fib_bench_longer_BUG.cil.cunknown1.410.800.545s0.000s1000.012s
pthread/queue_BUG.cil.cexception1.820.96------
pthread/reorder_5_BUG.cil.csafe1.710.960.694s0.002s0---
pthread/twostage_3_BUG.cil.csafe1.650.970.701s0.003s0---
pthread/fib_bench.cil.cunknown1.520.870.629s0.003s1000.014s
pthread/fib_bench_longer.cil.cunknown1.440.810.556s0.000s1000.013s
pthread/queue_ok.cil.cexception1.750.95------
ntdrivers-simplified/cdaudio_simpl1_BUG.cil.cunsafe10.256.165.886s0.047s434203.992s
ntdrivers-simplified/floppy_simpl3_BUG.cil.cunsafe6.683.403.137s0.045s201901.546s
ntdrivers-simplified/floppy_simpl4_BUG.cil.cunsafe10.285.515.183s0.063s424103.232s
ntdrivers-simplified/kbfiltr_simpl2_BUG.cil.cunsafe4.402.372.062s0.031s181700.821s
ntdrivers-simplified/cdaudio_simpl1.cil.csafe12.087.427.062s0.118s525204.747s
ntdrivers-simplified/diskperf_simpl1.cil.csafe7.535.364.989s0.071s252502.659s
ntdrivers-simplified/floppy_simpl3.cil.csafe6.304.283.969s0.051s232301.700s
ntdrivers-simplified/floppy_simpl4.cil.csafe9.235.795.491s0.067s454502.784s
ntdrivers-simplified/kbfiltr_simpl1.cil.csafe3.124.232.815s0.024s111100.490s
ntdrivers-simplified/kbfiltr_simpl2.cil.csafe4.292.752.403s0.025s161600.639s
ntdrivers/cdaudio.BUG.i.cil.cunsafe6.454.123.812s0.011s4301.766s
ntdrivers/diskperf.BUG.i.cil.cunsafe4.732.742.426s0.007s3200.996s
ntdrivers/floppy.BUG.i.cil.cunsafe4.543.443.189s0.013s4300.814s
ntdrivers/kbfiltr.BUG.i.cil.cexception2.254.28------
ntdrivers/parport.BUG.i.cil.cunsafe5.577.035.579s0.011s4303.941s
ntdrivers/cdaudio.i.cil.csafe30.6533.9132.339s0.088s4545028.102s
ntdrivers/diskperf.i.cil.csafe18.3513.5313.143s0.095s2020010.655s
ntdrivers/floppy.i.cil.cunknown21.8517.1116.793s0.060s4140114.494s
ntdrivers/parport.i.cil.cexception11.778.40------
ssh-simplified/s3_clnt_1_BUG.cil.cunsafe5.102.502.235s0.031s131200.872s
ssh-simplified/s3_clnt_2_BUG.cil.cunsafe4.742.362.093s0.035s131200.791s
ssh-simplified/s3_clnt_3_BUG.cil.cunsafe5.452.652.320s0.040s131200.910s
ssh-simplified/s3_clnt_4_BUG.cil.cunsafe4.772.402.161s0.050s131200.859s
ssh-simplified/s3_srvr_10_BUG.cil.cunsafe2.761.461.195s0.004s6500.222s
ssh-simplified/s3_srvr_11_BUG.cil.cunsafe5.472.892.634s0.033s191801.235s
ssh-simplified/s3_srvr_12_BUG.cil.cunsafe5.352.612.351s0.046s171600.965s
ssh-simplified/s3_srvr_14_BUG.cil.cunknown2.411.271.007s0.004s4310.178s
ssh-simplified/s3_srvr_1_BUG.cil.cunsafe3.491.881.573s0.017s5400.366s
ssh-simplified/s3_srvr_2_BUG.cil.cunsafe3.441.831.561s0.018s5400.343s
ssh-simplified/s3_srvr_6_BUG.cil.cunsafe10.256.375.983s0.078s161503.418s
ssh-simplified/s3_clnt_1.cil.csafe5.402.912.641s0.050s141401.195s
ssh-simplified/s3_clnt_2.cil.csafe6.263.823.507s0.034s151501.965s
ssh-simplified/s3_clnt_3.cil.csafe6.573.643.305s0.040s141401.760s
ssh-simplified/s3_clnt_4.cil.csafe5.322.982.713s0.034s151501.442s
ssh-simplified/s3_srvr_1a.cil.cunknown2.061.130.889s0.004s8710.159s
ssh-simplified/s3_srvr_1b.cil.cunknown1.730.940.688s0.003s6510.081s
ssh-simplified/s3_srvr_1.cil.cunknown4.832.432.182s0.044s9810.866s
ssh-simplified/s3_srvr_3.cil.cunknown3.961.851.590s0.024s9810.563s
ssh-simplified/s3_srvr_4.cil.cunknown4.742.432.116s0.037s111010.889s
ssh-simplified/s3_srvr_6.cil.csafe9.085.595.283s0.067s141403.136s
ssh-simplified/s3_srvr_7.cil.cunknown4.322.282.031s0.027s111010.869s
ssh-simplified/s3_srvr_8.cil.cunknown4.592.332.076s0.032s10910.854s
ssh/s3_clnt.blast.01.BUG.i.cil.cexception1.861.01------
ssh/s3_clnt.blast.02.BUG.i.cil.cexception1.901.07------
ssh/s3_clnt.blast.03.BUG.i.cil.cexception1.841.01------
ssh/s3_clnt.blast.04.BUG.i.cil.cexception1.861.00------
ssh/s3_srvr.blast.01.BUG.i.cil.cunsafe3.592.011.777s0.018s5400.482s
ssh/s3_srvr.blast.02.BUG.i.cil.cunsafe3.131.741.500s0.016s4300.351s
ssh/s3_srvr.blast.03.BUG.i.cil.cunsafe3.301.791.550s0.025s4300.378s
ssh/s3_srvr.blast.04.BUG.i.cil.cunsafe3.141.751.509s0.021s4300.338s
ssh/s3_srvr.blast.06.BUG.i.cil.cunsafe5.142.922.689s0.028s8701.344s
ssh/s3_srvr.blast.07.BUG.i.cil.cunknown3.862.141.891s0.024s7610.793s
ssh/s3_srvr.blast.08.BUG.i.cil.cunknown7.765.054.804s0.046s121113.479s
ssh/s3_srvr.blast.10.BUG.i.cil.cunknown7.935.074.796s0.032s121113.520s
ssh/s3_srvr.blast.11.BUG.i.cil.cunknown3.521.971.719s0.024s6510.663s
ssh/s3_srvr.blast.12.BUG.i.cil.cunsafe5.483.202.947s0.040s8701.552s
ssh/s3_srvr.blast.13.BUG.i.cil.cunknown4.052.312.056s0.028s7610.812s
ssh/s3_srvr.blast.14.BUG.i.cil.cunsafe5.643.062.803s0.027s8701.353s
ssh/s3_srvr.blast.15.BUG.i.cil.cunknown7.014.674.399s0.034s111012.843s
ssh/s3_srvr.blast.16.BUG.i.cil.cunsafe5.893.423.148s0.039s8701.571s
ssh/s3_clnt.blast.01.i.cil.cexception1.891.04------
ssh/s3_clnt.blast.03.i.cil.cexception1.861.03------
ssh/s3_clnt.blast.04.i.cil.cexception1.961.09------
ssh/s3_srvr.blast.01.i.cil.cunknown5.322.672.417s0.045s8711.128s
ssh/s3_srvr.blast.06.i.cil.cunknown13.549.609.293s0.100s232216.950s
ssh/s3_srvr.blast.07.i.cil.cunknown3.892.221.952s0.035s7610.826s
ssh/s3_srvr.blast.08.i.cil.cunknown7.894.894.638s0.048s111013.178s
ssh/s3_srvr.blast.09.i.cil.cunknown4.002.272.020s0.029s7610.873s
ssh/s3_srvr.blast.10.i.cil.cunknown7.324.414.152s0.046s10912.629s
ssh/s3_srvr.blast.12.i.cil.cunknown7.614.474.217s0.046s141312.586s
ssh/s3_srvr.blast.13.i.cil.cunknown4.462.502.206s0.030s7610.927s
ssh/s3_srvr.blast.14.i.cil.cunknown10.045.985.691s0.066s171613.866s
ssh/s3_srvr.blast.15.i.cil.cunknown9.826.466.167s0.061s131214.421s
ssh/s3_srvr.blast.16.i.cil.cunknown12.398.177.872s0.084s201915.524s
locks/test_locks_14.BUG.cunknown2.801.531.214s0.011s161510.428s
locks/test_locks_15.BUG.cunknown2.841.671.319s0.015s171610.488s
locks/test_locks_11.cunknown65.3660.9860.605s0.252s161600.939s
locks/test_locks_12.cunknown64.8960.9760.546s0.217s141400.721s
locks/test_locks_13.cunknown65.0260.9560.567s0.178s141400.677s
locks/test_locks_14.cunknown63.7561.0660.667s0.153s141400.397s
locks/test_locks_15.cunknown63.8661.0560.649s0.157s151500.373s
locks/test_locks_5.csafe2.401.260.985s0.018s101000.136s
locks/test_locks_6.csafe3.421.871.486s0.030s121200.232s
locks/test_locks_7.csafe5.012.422.121s0.050s141400.353s
locks/test_locks_8.csafe6.714.003.697s0.086s161600.493s
locks/test_locks_9.csafe13.6610.6510.287s0.128s181800.617s
heap-manipulation/bubble_sort_linux_BUG.cil.cexception2.131.25------
heap-manipulation/dll_of_dll_BUG.cil.cunknown1.700.930.665s0.001s0---
heap-manipulation/merge_sort_BUG.cil.cexception1.871.06------
heap-manipulation/sll_to_dll_rev_BUG.cil.cexception1.650.96------
heap-manipulation/bubble_sort_linux.cil.cexception1.981.03------
heap-manipulation/dll_of_dll.cil.cunknown1.730.950.662s0.000s0---
heap-manipulation/merge_sort.cil.cexception1.720.91------
heap-manipulation/sll_to_dll_rev.cil.cexception1.770.96------
list-properties/alternating_list.cil.cexception1.740.99------
list-properties/list.cil.cexception1.681.03------
list-properties/list_flag.cil.cexception1.841.11------
list-properties/simple.cil.cexception1.700.92------
list-properties/simple_built_from_end.cil.cexception1.650.91------
list-properties/splice.cil.cexception1.801.00------
systemc/token_ring.01.BUG.cil.cunknown3.722.211.925s0.033s121110.926s
systemc/token_ring.02.BUG.cil.cunknown7.134.574.259s0.040s222112.968s
systemc/token_ring.03.BUG.cil.cunknown10.687.236.916s0.052s292815.380s
systemc/transmitter.01.BUG.cil.cunsafe4.892.842.523s0.037s151401.217s
systemc/transmitter.02.BUG.cil.cunsafe8.004.974.681s0.053s222103.272s
systemc/transmitter.03.BUG.cil.cunsafe9.986.716.418s0.041s272604.970s
systemc/transmitter.04.BUG.cil.cunsafe24.4518.9518.624s0.183s3736012.274s
systemc/bist_cell.cil.cunknown2.841.581.298s0.011s6510.456s
systemc/kundu.cil.cunknown16.6912.4712.183s0.064s2019110.054s
systemc/mem_slave_tlm.1.cil.csafe8.485.885.587s0.047s121204.329s
systemc/mem_slave_tlm.2.cil.csafe15.9412.8112.523s0.041s1313011.059s
systemc/pc_sfifo_1.cil.cunknown68.7961.0460.491s0.367s9900.594s
systemc/pc_sfifo_2.cil.cunknown69.9961.1060.489s0.370s111101.075s
systemc/pc_sfifo_3.cil.csafe2.031.120.875s0.008s2200.133s
systemc/token_ring.01.cil.cunknown3.361.961.716s0.026s121110.851s
systemc/token_ring.04.cil.cunknown11.007.807.539s0.052s323116.166s
systemc/toy.cil.cunknown2.961.651.400s0.015s6510.548s
ldv-regression/1_3.c-unsafe.cil.cunsafe1.560.860.624s0.002s1000.020s
ldv-regression/alt_test.c-unsafe.cil.cunsafe1.600.940.667s0.000s1000.031s
ldv-regression/callfpointer.c-unsafe.cil.cunsafe1.540.820.581s0.000s1000.014s
ldv-regression/fo_test.c-unsafe.cil.cunknown1.080.61------
ldv-regression/mutex_lock_int.c-unsafe.cil.cexception1.420.77------
ldv-regression/mutex_lock_struct.c-unsafe.cil.cunsafe1.600.950.703s0.000s2000.019s
ldv-regression/recursive_list.c-unsafe.cil.cunsafe1.620.930.643s0.002s1000.027s
ldv-regression/rule57_ebda_blast.c-unsafe.cil.cunsafe1.640.960.727s0.000s2100.044s
ldv-regression/rule60_list2.c-unsafe_1.cil.cunknown1.901.100.856s0.002s2110.153s
ldv-regression/stateful_check-unsafe.cil.cunsafe2.161.140.884s0.007s8700.155s
ldv-regression/test_while_int.c-unsafe.cil.cunsafe1.790.970.721s0.001s2100.034s
ldv-regression/test_while_int.c-unsafe_1.cil.cunsafe1.580.890.637s0.000s2100.024s
ldv-regression/alias_of_return.c-safe.cil.cexception1.540.77------
ldv-regression/alias_of_return.c-safe_1.cil.cexception1.580.84------
ldv-regression/alias_of_return_2.c-safe.cil.cexception1.520.86------
ldv-regression/alias_of_return_2.c-safe_1.cil.cexception1.560.79------
ldv-regression/ex3_forlist.c-safe.cil.cunknown1.901.110.866s0.007s4310.215s
ldv-regression/just_assert.c-safe.cil.csafe1.410.750.518s0.000s0---
ldv-regression/mutex_lock_int.c-safe_1.cil.cexception1.460.75------
ldv-regression/mutex_lock_struct.c-safe_1.cil.cunknown1.610.890.658s0.000s2000.019s
ldv-regression/nested_structure-safe.cil.cexception1.440.79------
ldv-regression/nested_structure.c-safe.cil.cunknown1.530.860.636s0.000s1000.017s
ldv-regression/nested_structure_noptr-safe.cil.csafe1.500.790.549s0.000s1100.019s
ldv-regression/nested_structure_noptr.c-safe.cil.csafe1.570.790.564s0.000s1100.018s
ldv-regression/nested_structure_ptr-safe.cil.cexception1.470.77------
ldv-regression/nested_structure_ptr.c-safe.cil.cunknown1.610.940.711s0.000s1000.020s
ldv-regression/oomInt.c-safe.cil.csafe1.650.880.612s0.001s1100.022s
ldv-regression/oomInt.c-safe_1.cil.csafe1.560.920.636s0.000s0---
ldv-regression/rule57_ebda_blast.c-safe_1.cil.cunsafe1.640.990.753s0.001s2100.051s
ldv-regression/rule60_list.c-safe.cil.cunknown1.821.080.824s0.000s3000.042s
ldv-regression/rule60_list2.c-safe.cil.cunknown1.720.990.705s0.001s2110.121s
ldv-regression/sizeofparameters_test.c-safe.cil.csafe1.620.880.635s0.000s1100.026s
ldv-regression/structure_assignment.c-safe.cil.cunknown1.720.950.672s0.000s1000.016s
ldv-regression/test_address.c-safe.cil.cunknown1.650.920.687s0.000s1000.017s
ldv-regression/test_cut_trace.c-safe.cil.csafe1.690.910.647s0.000s1100.019s
ldv-regression/test_malloc-1-safe.cil.cunknown1.540.860.602s0.001s2110.050s
ldv-regression/test_malloc-2-safe.cil.cunknown1.450.800.574s0.000s2110.039s
ldv-regression/test_overflow.c-safe.cil.csafe1.470.840.598s0.000s1100.023s
ldv-regression/test_union.c-safe.cil.csafe1.500.810.557s0.000s1100.018s
ldv-regression/test_union.c-safe_1.cil.cunknown1.530.830.598s0.000s1000.015s
ldv-regression/test_union_cast-1-safe.cil.csafe1.620.910.633s0.000s1100.020s
ldv-regression/test_union_cast-2-safe.cil.cexception1.580.87------
ldv-regression/test_union_cast.c-safe.cil.cexception1.550.81------
ldv-regression/test_union_cast.c-safe_1.cil.csafe1.480.780.546s0.000s1100.020s
ldv-regression/volatile_alias.c-safe.cil.cexception1.440.74------
ldv-regression/volatile_alias.c-safe_1.cil.cexception1.500.83------
ddv-machzwd/ddv_machzwd_all_BUG.cil.cunknown6.474.163.891s0.020s9812.430s
ddv-machzwd/ddv_machzwd_inw_BUG.cil.cunknown4.592.832.600s0.007s4311.329s
ddv-machzwd/ddv_machzwd_outb_BUG.cil.cunknown4.002.312.039s0.010s3210.785s
ddv-machzwd/ddv_machzwd_inb.cil.csafe2.651.431.162s0.005s0---
ddv-machzwd/ddv_machzwd_inb_p.cil.csafe2.671.391.119s0.009s0---
ddv-machzwd/ddv_machzwd_inl.cil.csafe2.691.421.168s0.011s0---
ddv-machzwd/ddv_machzwd_inl_p.cil.csafe2.751.431.182s0.014s0---
ddv-machzwd/ddv_machzwd_inw_p.cil.csafe2.681.461.201s0.008s0---
ddv-machzwd/ddv_machzwd_outb_p.cil.csafe2.941.641.352s0.012s0---
ddv-machzwd/ddv_machzwd_outl.cil.csafe2.781.551.258s0.009s0---
ddv-machzwd/ddv_machzwd_outl_p.cil.csafe2.931.611.342s0.011s0---
ddv-machzwd/ddv_machzwd_outw_p.cil.csafe2.741.431.167s0.009s0---
ddv-machzwd/ddv_machzwd_pthread_mutex_unlock.cil.csafe2.711.351.109s0.007s0---
ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko-unsafe.cil.out.i.pp.cil.cunsafe14.125.435.155s0.014s1000.082s
ldv-drivers/module_get_put-drivers-block-loop.ko-unsafe.cil.out.i.pp.cil.cunsafe15.5111.4111.102s0.064s8708.927s
ldv-drivers/module_get_put-drivers-block-pktcdvd.ko-unsafe.cil.out.i.pp.cil.cunknown6.923.022.726s0.019s1100.457s
ldv-drivers/module_get_put-drivers-isdn-gigaset-gigaset.ko-unsafe.cil.out.i.pp.cil.cunsafe15.678.268.008s0.015s5404.258s
ldv-drivers/module_get_put-drivers-isdn-mISDN-mISDN_core.ko-unsafe.cil.out.i.pp.cil.cexception8.883.51------
ldv-drivers/module_get_put-drivers-net-ppp_generic.ko-unsafe.cil.out.i.pp.cil.cexception7.133.46------
ldv-drivers/module_get_put-drivers-net-wan-farsync.ko-unsafe.cil.out.iunsafe.cil.out.i.pp.cil.cunknown16.0012.3912.129s0.026s65110.111s
ldv-drivers/module_get_put-drivers-tty-synclink_gt.ko-unsafe.cil.out.i.pp.cil.cunsafe10.444.924.669s0.015s3201.531s
ldv-drivers/module_get_put-drivers-usb-core-usbcore.ko-unsafe.cil.out.i.pp.cil.cunknown21.4712.9812.700s0.015s3218.078s
ldv-drivers/usb_urb-drivers-hid-usbhid-usbmouse.ko-unsafe.cil.out.i.pp.cil.cunknown14.7212.2811.982s0.012s76110.518s
ldv-drivers/usb_urb-drivers-input-misc-keyspan_remote.ko-unsafe.cil.out.i.pp.cil.cunknown13.7010.8610.475s0.021s6518.897s
ldv-drivers/usb_urb-drivers-media-dvb-ttusb-dec-ttusb_dec.ko-unsafe.cil.out.i.pp.cil.cexception10.356.39------
ldv-drivers/usb_urb-drivers-staging-lirc-lirc_imon.ko-unsafe.cil.out.i.pp.cil.cunknown18.9116.0315.700s0.025s1110114.122s
ldv-drivers/usb_urb-drivers-usb-misc-iowarrior.ko-unsafe.cil.out.i.pp.cil.cexception4.572.33------
ldv-drivers/module_get_put-drivers-atm-eni.ko-safe.cil.out.i.pp.cil.cunknown12.544.694.286s0.093s1100.788s
ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko-safe.cil.out.i.pp.cil.csafe14.375.995.682s0.037s1100.751s
ldv-drivers/module_get_put-drivers-block-paride-pt.ko-safe.cil.out.i.pp.cil.cexception10.955.38------
ldv-drivers/module_get_put-drivers-bluetooth-btmrvl.ko-safe.cil.out.i.pp.cil.csafe5.822.762.495s0.033s1100.481s
ldv-drivers/module_get_put-drivers-char-ipmi-ipmi_watchdog.ko-safe.cil.out.i.pp.cil.cunknown5.683.132.868s0.017s3301.399s
ldv-drivers/module_get_put-drivers-gpu-drm-i915-i915.ko-safe.cil.out.i.pp.cil.csafe17.817.947.605s0.044s1101.161s
ldv-drivers/module_get_put-drivers-hid-hid-magicmouse.ko-safe.cil.out.i.pp.cil.cunknown3.591.761.507s0.019s1100.262s
ldv-drivers/module_get_put-drivers-hwmon-it87.ko-safe.cil.out.i.pp.cil.csafe6.792.912.633s0.038s1100.482s
ldv-drivers/module_get_put-drivers-net-atl1c-atl1c.ko-safe.cil.out.i.pp.cil.csafe9.774.073.718s0.093s1100.542s
ldv-drivers/module_get_put-drivers-net-pppox.ko-safe.cil.out.i.pp.cil.cunknown67.0661.4160.894s0.329s3305.460s
ldv-drivers/module_get_put-drivers-net-sis900.ko-safe.cil.out.i.pp.cil.csafe8.323.923.523s0.088s1100.498s
ldv-drivers/module_get_put-drivers-scsi-megaraid.ko-safe.cil.out.i.pp.cil.cunknown18.846.546.089s0.256s1100.791s
ldv-drivers/module_get_put-drivers-staging-et131x-et131x.ko-safe.cil.out.i.pp.cil.cunknown11.674.173.871s0.066s1100.551s
ldv-drivers/usb_urb-drivers-input-tablet-kbtab.ko-safe.cil.out.i.pp.cil.cunknown8.125.855.575s0.008s5414.432s
ldv-drivers/usb_urb-drivers-media-video-c-qcam.ko-safe.cil.out.i.pp.cil.csafe10.345.645.098s0.879s2200.913s
ldv-drivers/usb_urb-drivers-media-video-msp3400.ko-safe.cil.out.i.pp.cil.csafe9.344.323.928s0.095s2200.671s
ldv-drivers/usb_urb-drivers-misc-c2port-core.ko-safe.cil.out.i.pp.cil.csafe6.663.332.976s0.082s2200.680s
ldv-drivers/usb_urb-drivers-scsi-dc395x.ko-safe.cil.out.i.pp.cil.csafe14.986.085.705s0.079s2201.547s
ldv-drivers/usb_urb-drivers-usb-serial-ir-usb.ko-safe.cil.out.i.pp.cil.cunknown9.307.076.792s0.010s7615.179s
ldv-drivers/usb_urb-drivers-usb-serial-whiteheat.ko-safe.cil.out.i.pp.cil.cunknown10.596.416.091s0.056s5413.844s
ldv-drivers/usb_urb-drivers-uwb-i1480-dfu-i1480-dfu-usb.ko-safe.cil.out.i.pp.cil.cunsafe4.482.432.152s0.006s3200.479s
ldv-drivers/usb_urb-drivers-vhost-vhost_net.ko-safe.cil.out.i.pp.cil.csafe10.314.664.309s0.081s2200.973s
ldv-drivers/usb_urb-drivers-video-arkfb.ko-safe.cil.out.i.pp.cil.csafe7.784.013.640s0.059s2201.153s