Tool	CPAchecker 1.1-svn
Limits	timelimit: 120 s, memlimit: 3000 MB
System	host: 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 run	12-02-17.0918					12-02-17.0954					12-02-17.1030					12-02-17.1107					12-02-17.1331
Test set	integration-predicateAnalysis-abm					integration-predicateAnalysis-abm					integration-predicateAnalysis-abm					integration-predicateAnalysis-abm					integration-predicateAnalysis-abm
branch	-r5631					-r5639					-r5643					-r5647					-r5654
Options	-noout -predicateAnalysis-abm -heap 2000m -setprop cpa.conditions.global.time.wall=1min					-noout -predicateAnalysis-abm -heap 2000m -setprop cpa.conditions.global.time.wall=1min					-noout -predicateAnalysis-abm -heap 2000m -setprop cpa.conditions.global.time.wall=1min					-noout -predicateAnalysis-abm -heap 2000m -setprop cpa.conditions.global.time.wall=1min					-noout -predicateAnalysis-abm -heap 2000m -setprop cpa.conditions.global.time.wall=1min
test/programs/benchmarks/	status	cputime	walltime	total	cpa time	status	cputime	walltime	total	cpa time	status	cputime	walltime	total	cpa time	status	cputime	walltime	total	cpa time	status	cputime	walltime	total	cpa time
total files	72	895.28	578.26	553.303	373.144	72	948.40	627.54	489.509	314.838	72	954.71	652.05	515.612	351.923	72	742.37	466.24	328.539	186.738	72	414.51	244.70	61.851	57.652
correct results	54	758.80	482.11	462.050	301.357	53	689.61	417.55	397.911	242.521	53	699.78	442.83	425.117	279.617	50	482.86	256.95	240.174	115.488	1	67.45	62.25	61.851	57.652
false negatives	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0
false positives	9	20.76	11.24	9.005	1.922	9	21.95	12.44	10.022	2.054	9	19.83	11.12	8.847	1.852	9	18.36	10.29	8.174	1.726	0	0	0	0	0
score (72 files, max score: 121)	71					69					69					63					2
pthread/queue_BUG.cil.c	unknown	1.93	1.12	0.868s	0.086s	unknown	1.90	1.09	0.823s	0.124s	unknown	1.98	1.44	1.133s	0.084s	unknown	2.04	1.37	0.947s	0.121s	exception	1.64	0.93	-	-
pthread/reorder_5_BUG.cil.c	unknown	2.01	1.14	0.850s	0.120s	unknown	2.07	1.11	0.825s	0.127s	unknown	1.93	1.09	0.800s	0.130s	unknown	2.07	1.16	0.880s	0.127s	exception	1.86	0.93	-	-
pthread/twostage_3_BUG.cil.c	unknown	1.98	1.09	0.829s	0.141s	unknown	2.07	1.17	0.883s	0.136s	unknown	2.06	1.20	0.907s	0.148s	unknown	2.07	1.10	0.815s	0.144s	exception	1.77	0.94	-	-
pthread/queue_ok.cil.c	unknown	2.02	1.32	0.986s	0.125s	unknown	1.88	1.07	0.786s	0.104s	unknown	1.79	0.99	0.744s	0.087s	unknown	1.92	1.23	0.953s	0.114s	exception	1.50	0.83	-	-
ntdrivers/floppy.BUG.i.cil.c	unsafe	12.18	6.74	6.242s	3.032s	unsafe	12.73	6.65	6.233s	2.971s	unsafe	12.72	6.66	6.292s	3.025s	unsafe	12.50	6.49	6.099s	3.102s	exception	8.29	4.01	-	-
ntdrivers/kbfiltr.BUG.i.cil.c	unsafe	7.09	3.57	3.194s	1.365s	unsafe	7.26	3.57	3.239s	1.389s	unsafe	7.30	3.38	3.071s	1.306s	unsafe	7.69	3.70	3.364s	1.377s	exception	2.82	1.50	-	-
ntdrivers/parport.BUG.i.cil.c	unsafe	20.56	12.11	11.685s	6.080s	unsafe	20.50	12.72	12.284s	6.403s	unsafe	20.50	13.01	12.610s	7.155s	unsafe	20.22	11.79	11.407s	6.272s	exception	7.38	3.41	-	-
ntdrivers/floppy.i.cil.c	safe	16.31	9.48	9.129s	4.657s	safe	15.01	8.74	8.378s	4.454s	safe	15.83	8.79	8.451s	4.366s	safe	15.18	8.87	8.501s	4.319s	exception	7.62	3.28	-	-
ntdrivers/parport.i.cil.c	safe	28.96	19.84	19.327s	11.315s	safe	28.24	18.99	18.494s	11.495s	safe	27.41	18.96	18.539s	11.868s	safe	29.29	20.01	19.579s	11.788s	exception	6.65	3.04	-	-
ssh/s3_clnt.blast.01.BUG.i.cil.c	unsafe	7.34	3.25	2.937s	1.459s	unsafe	6.60	3.53	3.208s	1.628s	unsafe	6.59	3.62	3.336s	1.718s	unsafe	6.84	3.84	3.546s	1.946s	exception	1.98	1.06	-	-
ssh/s3_clnt.blast.02.BUG.i.cil.c	unsafe	5.11	2.58	2.306s	1.087s	unsafe	4.80	2.63	2.347s	1.060s	unsafe	5.21	2.98	2.687s	1.339s	unsafe	5.20	2.90	2.607s	1.212s	exception	1.97	1.07	-	-
ssh/s3_clnt.blast.03.BUG.i.cil.c	unsafe	5.16	2.68	2.404s	1.119s	unsafe	4.99	2.47	2.201s	1.036s	unsafe	5.09	2.65	2.376s	1.163s	unsafe	4.96	2.73	2.385s	1.105s	exception	1.99	1.06	-	-
ssh/s3_clnt.blast.04.BUG.i.cil.c	unsafe	6.25	3.08	2.738s	1.345s	unsafe	5.83	2.71	2.424s	1.186s	unsafe	6.04	3.44	3.004s	1.404s	unsafe	6.39	3.60	3.290s	1.768s	exception	1.94	1.05	-	-
ssh/s3_clnt.blast.01.i.cil.c	safe	8.14	7.56	7.058s	4.259s	safe	9.04	5.08	4.795s	3.151s	safe	8.86	5.41	5.045s	3.234s	safe	9.38	6.16	5.680s	3.586s	exception	1.94	1.05	-	-
ssh/s3_clnt.blast.03.i.cil.c	safe	13.65	12.44	11.102s	6.320s	safe	12.92	9.05	8.756s	6.033s	safe	13.37	9.46	9.131s	6.285s	safe	12.70	9.09	8.793s	5.954s	exception	1.94	1.06	-	-
ssh/s3_clnt.blast.04.i.cil.c	safe	11.70	7.62	7.319s	4.272s	safe	11.39	7.42	7.111s	4.068s	safe	12.06	7.54	7.265s	4.204s	safe	12.92	8.54	8.201s	4.759s	exception	2.02	1.08	-	-
locks/test_locks_10.c	safe	2.11	1.20	0.946s	0.257s	safe	2.01	1.13	0.892s	0.245s	safe	1.78	1.05	0.825s	0.238s	-	-	-	-	-	-	-	-	-	-
heap-manipulation/bubble_sort_linux_BUG.cil.c	unsafe	2.60	1.39	1.089s	0.170s	unsafe	2.35	1.31	1.024s	0.168s	unsafe	2.15	1.18	0.938s	0.159s	unsafe	2.12	1.17	0.931s	0.163s	exception	2.01	1.07	-	-
heap-manipulation/dll_of_dll_BUG.cil.c	unknown	2.20	1.17	0.911s	0.107s	unknown	1.86	0.96	0.719s	0.085s	unknown	1.72	0.96	0.717s	0.083s	unknown	1.72	0.95	0.704s	0.093s	exception	1.93	1.07	-	-
heap-manipulation/merge_sort_BUG.cil.c	unsafe	2.29	1.25	0.965s	0.173s	unsafe	2.02	1.07	0.833s	0.151s	unsafe	2.13	1.22	0.931s	0.157s	unsafe	1.87	1.05	0.802s	0.141s	exception	1.90	1.00	-	-
heap-manipulation/bubble_sort_linux.cil.c	unsafe	2.64	1.45	1.181s	0.194s	unsafe	2.48	1.33	1.083s	0.213s	unsafe	2.23	1.19	0.946s	0.157s	unsafe	2.15	1.20	0.947s	0.166s	exception	1.95	1.02	-	-
heap-manipulation/dll_of_dll.cil.c	unknown	1.91	0.98	0.745s	0.103s	unknown	2.03	1.10	0.846s	0.099s	unknown	1.64	0.91	0.670s	0.085s	unknown	1.74	0.96	0.702s	0.084s	exception	1.96	1.03	-	-
heap-manipulation/merge_sort.cil.c	safe	1.96	1.08	0.824s	0.075s	safe	2.08	1.13	0.836s	0.072s	safe	1.60	0.91	0.682s	0.070s	safe	1.70	0.95	0.714s	0.071s	exception	1.95	1.05	-	-
heap-manipulation/sll_to_dll_rev.cil.c	unknown	13.02	11.25	10.959s	8.353s	unknown	14.35	12.37	12.091s	9.436s	unknown	11.74	10.27	10.018s	7.783s	unknown	12.34	10.81	10.557s	8.072s	exception	1.78	0.96	-	-
list-properties/alternating_list.cil.c	safe	1.87	0.98	0.744s	0.151s	safe	2.02	1.12	0.839s	0.170s	safe	1.67	0.93	0.694s	0.142s	safe	1.69	0.96	0.710s	0.156s	exception	1.89	1.05	-	-
list-properties/list.cil.c	safe	1.88	1.09	0.783s	0.198s	safe	2.05	1.07	0.826s	0.249s	safe	1.82	1.05	0.810s	0.207s	safe	1.75	1.00	0.761s	0.202s	exception	1.88	2.69	-	-
list-properties/list_flag.cil.c	safe	1.94	1.07	0.830s	0.182s	safe	2.00	1.06	0.820s	0.165s	safe	1.82	1.03	0.772s	0.158s	safe	1.87	0.98	0.727s	0.153s	exception	1.82	2.73	-	-
list-properties/simple.cil.c	unsafe	1.89	1.00	0.747s	0.150s	unsafe	2.01	1.15	0.871s	0.172s	unsafe	1.80	0.97	0.715s	0.141s	unsafe	1.66	0.95	0.716s	0.144s	exception	1.68	1.81	-	-
list-properties/simple_built_from_end.cil.c	unsafe	1.85	1.00	0.755s	0.142s	unsafe	1.93	1.12	0.875s	0.164s	unsafe	1.86	1.18	0.946s	0.185s	unsafe	1.66	0.97	0.734s	0.141s	exception	1.78	3.47	-	-
list-properties/splice.cil.c	unsafe	3.37	2.16	1.908s	0.721s	unsafe	3.61	2.31	2.048s	0.778s	unsafe	2.82	1.83	1.598s	0.589s	unsafe	2.93	1.91	1.667s	0.625s	exception	1.81	1.66	-	-
systemc/kundu.cil.c	safe	68.40	60.94	60.598s	57.260s	safe	67.93	60.98	60.632s	56.993s	safe	67.70	61.01	60.648s	57.315s	exception	5.87	3.16	-	-	safe	67.45	62.25	61.851s	57.652s
systemc/mem_slave_tlm.4.cil.c	safe	67.66	62.03	61.658s	58.706s	timeout	119.69	113.30	-	-	timeout	119.73	113.77	-	-	-	-	-	-	-	-	-	-	-	-
systemc/toy.cil.c	safe	69.63	60.92	60.593s	57.826s	safe	66.76	61.17	60.841s	58.367s	safe	106.42	100.45	100.036s	98.408s	timeout	119.60	112.96	-	-	exception	43.45	36.86	-	-
ldv-regression/mutex_lock_int.c-unsafe.cil.c	unsafe	1.39	0.78	0.545s	0.017s	unsafe	1.84	1.28	0.951s	0.024s	unsafe	1.49	0.83	0.555s	0.017s	unsafe	1.27	0.74	0.511s	0.016s	exception	1.50	0.79	-	-
ldv-regression/alias_of_return.c-safe.cil.c	safe	1.52	0.81	0.577s	0.029s	safe	1.68	0.96	0.673s	0.040s	safe	1.51	0.83	0.573s	0.030s	safe	1.28	0.75	0.524s	0.029s	exception	1.69	0.95	-	-
ldv-regression/alias_of_return.c-safe_1.cil.c	safe	1.59	0.82	0.568s	0.018s	safe	1.73	0.95	0.648s	0.025s	safe	1.40	0.76	0.521s	0.017s	safe	1.27	0.73	0.505s	0.018s	exception	1.66	0.94	-	-
ldv-regression/alias_of_return_2.c-safe.cil.c	safe	1.59	0.92	0.666s	0.039s	safe	1.68	0.97	0.683s	0.036s	safe	1.50	0.89	0.641s	0.038s	safe	1.28	0.76	0.534s	0.033s	exception	1.86	1.01	-	-
ldv-regression/alias_of_return_2.c-safe_1.cil.c	safe	1.45	0.82	0.585s	0.019s	safe	1.72	0.97	0.689s	0.018s	safe	1.56	0.89	0.626s	0.018s	safe	1.26	0.74	0.509s	0.017s	exception	1.64	0.88	-	-
ldv-regression/mutex_lock_int.c-safe_1.cil.c	unsafe	1.37	0.78	0.532s	0.017s	unsafe	1.56	0.87	0.624s	0.017s	unsafe	1.48	0.84	0.589s	0.018s	unsafe	1.26	0.74	0.510s	0.016s	exception	1.54	0.87	-	-
ldv-regression/nested_structure-safe.cil.c	unsafe	1.54	0.84	0.603s	0.041s	unsafe	1.72	0.99	0.721s	0.046s	unsafe	1.48	0.83	0.590s	0.042s	unsafe	1.32	0.79	0.567s	0.039s	exception	1.62	0.91	-	-
ldv-regression/nested_structure_ptr-safe.cil.c	unsafe	1.69	0.98	0.743s	0.101s	unsafe	2.14	1.36	1.021s	0.107s	unsafe	1.59	0.91	0.679s	0.090s	unsafe	1.56	0.90	0.674s	0.088s	exception	1.57	0.84	-	-
ldv-regression/test_union_cast-2-safe.cil.c	safe	1.46	0.86	0.617s	0.023s	safe	1.68	0.91	0.658s	0.024s	safe	1.35	0.77	0.536s	0.024s	safe	1.30	0.75	0.526s	0.023s	exception	1.82	1.00	-	-
ldv-regression/test_union_cast.c-safe.cil.c	unsafe	1.46	0.79	0.559s	0.020s	unsafe	1.77	0.96	0.704s	0.021s	unsafe	1.43	0.79	0.557s	0.022s	unsafe	1.36	0.77	0.546s	0.020s	exception	1.48	0.84	-	-
ldv-regression/volatile_alias.c-safe.cil.c	safe	1.73	0.90	0.641s	0.017s	safe	1.59	0.86	0.615s	0.023s	safe	1.45	0.78	0.523s	0.022s	safe	1.30	0.74	0.515s	0.017s	exception	1.64	0.93	-	-
ldv-regression/volatile_alias.c-safe_1.cil.c	safe	1.66	0.89	0.632s	0.017s	safe	1.71	0.89	0.606s	0.017s	safe	1.42	0.79	0.545s	0.016s	safe	1.30	0.75	0.512s	0.016s	exception	1.52	0.78	-	-
ldv-drivers/module_get_put-drivers-block-loop.ko-unsafe.cil.out.i.pp.cil.c	unsafe	12.50	6.37	6.036s	2.111s	unsafe	13.07	6.61	6.200s	2.214s	unsafe	11.98	6.31	5.978s	2.159s	unsafe	9.94	5.35	5.063s	1.841s	exception	5.21	2.46	-	-
ldv-drivers/module_get_put-drivers-block-pktcdvd.ko-unsafe.cil.out.i.pp.cil.c	unsafe	15.70	7.73	7.335s	3.152s	unsafe	16.09	7.80	7.450s	3.142s	unsafe	14.07	6.85	6.505s	2.940s	unsafe	14.24	6.66	6.264s	2.646s	exception	7.21	2.92	-	-
ldv-drivers/module_get_put-drivers-isdn-gigaset-gigaset.ko-unsafe.cil.out.i.pp.cil.c	unsafe	15.06	5.63	5.351s	0.611s	unsafe	15.79	5.84	5.538s	0.686s	unsafe	12.77	4.90	4.598s	0.533s	unsafe	11.92	4.51	4.228s	0.511s	exception	14.76	5.49	-	-
ldv-drivers/module_get_put-drivers-isdn-mISDN-mISDN_core.ko-unsafe.cil.out.i.pp.cil.c	unsafe	19.50	10.00	9.662s	3.221s	unsafe	20.85	10.95	10.564s	3.571s	unsafe	15.96	8.38	8.052s	2.668s	unsafe	16.50	8.62	8.315s	3.114s	exception	10.41	3.96	-	-
ldv-drivers/module_get_put-drivers-net-ppp_generic.ko-unsafe.cil.out.i.pp.cil.c	unsafe	10.61	4.72	4.393s	1.636s	unsafe	11.10	4.81	4.463s	1.565s	unsafe	9.46	4.24	3.885s	1.469s	unsafe	8.46	3.77	3.482s	1.290s	exception	7.18	3.02	-	-
ldv-drivers/module_get_put-drivers-net-wan-farsync.ko-unsafe.cil.out.iunsafe.cil.out.i.pp.cil.c	unsafe	20.42	11.41	11.025s	4.783s	unsafe	20.41	11.38	10.927s	4.800s	unsafe	18.19	10.27	9.927s	4.327s	unsafe	17.37	9.77	9.444s	3.948s	exception	9.08	3.82	-	-
ldv-drivers/usb_urb-drivers-media-dvb-ttusb-dec-ttusb_dec.ko-unsafe.cil.out.i.pp.cil.c	unsafe	7.50	3.50	3.130s	0.704s	unsafe	7.88	3.57	3.224s	0.622s	unsafe	7.86	3.60	3.256s	0.692s	unsafe	6.12	2.93	2.664s	0.558s	exception	5.56	2.59	-	-
ldv-drivers/usb_urb-drivers-staging-lirc-lirc_imon.ko-unsafe.cil.out.i.pp.cil.c	unsafe	18.49	11.53	11.127s	4.415s	unsafe	19.39	12.14	11.772s	4.990s	unsafe	17.96	10.70	10.374s	3.595s	unsafe	17.22	10.40	10.066s	4.311s	exception	8.53	4.03	-	-
ldv-drivers/usb_urb-drivers-usb-misc-iowarrior.ko-unsafe.cil.out.i.pp.cil.c	unsafe	6.18	2.89	2.591s	0.792s	unsafe	6.97	3.41	3.022s	1.079s	unsafe	6.49	3.10	2.811s	0.854s	unsafe	5.92	2.74	2.456s	0.852s	exception	3.77	1.89	-	-
ldv-drivers/module_get_put-drivers-atm-eni.ko-safe.cil.out.i.pp.cil.c	safe	19.29	9.49	9.076s	6.372s	safe	19.77	9.97	9.489s	6.630s	safe	17.84	8.97	8.561s	5.861s	safe	15.49	7.72	7.362s	5.253s	exception	6.28	2.51	-	-
ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko-safe.cil.out.i.pp.cil.c	safe	18.16	8.08	7.715s	1.284s	safe	18.67	8.68	8.339s	1.394s	safe	17.61	7.67	7.369s	1.243s	safe	15.16	6.66	6.349s	1.167s	exception	14.35	6.02	-	-
ldv-drivers/module_get_put-drivers-block-paride-pt.ko-safe.cil.out.i.pp.cil.c	safe	39.64	21.97	21.486s	11.768s	safe	38.38	21.95	21.495s	12.273s	safe	34.35	19.88	19.395s	11.411s	safe	35.04	18.02	17.594s	10.445s	exception	4.56	2.08	-	-
ldv-drivers/module_get_put-drivers-char-ipmi-ipmi_watchdog.ko-safe.cil.out.i.pp.cil.c	safe	15.24	7.97	7.566s	4.412s	safe	14.10	7.82	7.356s	4.373s	safe	14.19	7.36	6.960s	4.125s	safe	11.04	5.80	5.469s	3.276s	exception	5.01	2.54	-	-
ldv-drivers/module_get_put-drivers-gpu-drm-i915-i915.ko-safe.cil.out.i.pp.cil.c	safe	22.18	10.65	10.278s	1.364s	safe	21.18	10.26	9.914s	1.229s	safe	20.75	9.91	9.551s	1.261s	safe	16.21	7.66	7.341s	0.981s	exception	15.05	7.05	-	-
ldv-drivers/module_get_put-drivers-hid-hid-magicmouse.ko-safe.cil.out.i.pp.cil.c	unknown	4.92	2.40	2.095s	0.759s	unknown	4.52	2.17	1.890s	0.643s	unknown	4.71	2.24	1.916s	0.619s	unknown	3.81	1.92	1.671s	0.650s	exception	3.57	1.71	-	-
ldv-drivers/module_get_put-drivers-hwmon-it87.ko-safe.cil.out.i.pp.cil.c	safe	8.32	3.96	3.612s	1.494s	safe	7.84	3.59	3.279s	1.284s	safe	7.31	3.48	3.181s	1.389s	safe	6.01	2.85	2.579s	1.051s	exception	5.64	2.56	-	-
ldv-drivers/module_get_put-drivers-net-atl1c-atl1c.ko-safe.cil.out.i.pp.cil.c	safe	23.88	13.38	12.926s	7.635s	safe	20.94	10.70	9.082s	5.915s	safe	19.55	9.54	9.142s	5.710s	safe	16.84	8.03	7.692s	5.014s	exception	7.40	3.28	-	-
ldv-drivers/module_get_put-drivers-net-sis900.ko-safe.cil.out.i.pp.cil.c	safe	15.50	7.56	7.154s	4.606s	safe	16.05	7.49	7.094s	4.548s	safe	15.74	7.40	7.030s	4.487s	safe	12.72	6.14	5.793s	3.629s	exception	6.34	2.51	-	-
ldv-drivers/module_get_put-drivers-scsi-megaraid.ko-safe.cil.out.i.pp.cil.c	unknown	85.73	64.44	64.005s	60.071s	unknown	86.47	63.21	62.713s	59.509s	unknown	87.80	65.23	64.743s	61.435s	unknown	87.97	63.38	62.962s	60.119s	exception	14.15	5.03	-	-
ldv-drivers/module_get_put-drivers-staging-et131x-et131x.ko-safe.cil.out.i.pp.cil.c	safe	21.41	10.40	9.799s	6.112s	safe	20.76	9.98	9.555s	6.117s	safe	22.23	10.96	10.554s	6.797s	safe	18.20	8.56	8.206s	5.588s	exception	8.95	3.70	-	-
ldv-drivers/usb_urb-drivers-media-video-c-qcam.ko-safe.cil.out.i.pp.cil.c	safe	6.18	3.02	2.737s	0.981s	safe	6.34	2.94	2.623s	1.014s	safe	6.52	3.13	2.831s	1.051s	safe	5.85	2.73	2.479s	0.921s	exception	4.75	2.22	-	-
ldv-drivers/usb_urb-drivers-misc-c2port-core.ko-safe.cil.out.i.pp.cil.c	safe	4.96	2.41	2.111s	0.783s	safe	5.16	2.58	2.261s	0.876s	safe	5.18	2.59	2.224s	0.742s	safe	4.26	2.07	1.795s	0.630s	exception	4.06	1.92	-	-
ldv-drivers/usb_urb-drivers-scsi-dc395x.ko-safe.cil.out.i.pp.cil.c	safe	20.19	8.55	8.105s	3.810s	safe	20.45	8.85	8.500s	3.880s	safe	18.89	8.07	7.668s	3.313s	safe	16.85	7.28	6.899s	3.505s	exception	12.18	4.59	-	-
ldv-drivers/usb_urb-drivers-usb-serial-ir-usb.ko-safe.cil.out.i.pp.cil.c	unsafe	4.95	2.24	1.977s	0.536s	unsafe	4.73	2.35	2.075s	0.536s	unsafe	5.14	2.58	2.227s	0.608s	unsafe	4.46	2.06	1.813s	0.487s	exception	3.96	1.88	-	-
ldv-drivers/usb_urb-drivers-usb-serial-whiteheat.ko-safe.cil.out.i.pp.cil.c	safe	22.22	11.97	11.623s	4.358s	safe	24.90	15.34	14.985s	4.935s	safe	24.07	14.42	14.051s	5.158s	safe	19.25	10.68	9.370s	3.719s	exception	5.23	2.52	-	-
ldv-drivers/usb_urb-drivers-vhost-vhost_net.ko-safe.cil.out.i.pp.cil.c	safe	13.37	6.01	5.016s	2.446s	safe	14.02	6.41	5.422s	2.582s	safe	13.96	6.49	5.532s	2.633s	safe	11.66	5.32	4.422s	2.084s	exception	8.53	3.44	-	-
ldv-drivers/usb_urb-drivers-video-arkfb.ko-safe.cil.out.i.pp.cil.c	safe	7.12	3.21	2.894s	1.020s	safe	7.34	3.09	2.821s	1.141s	safe	7.10	3.34	3.019s	1.096s	safe	6.06	2.89	2.609s	0.911s	exception	4.70	2.20	-	-