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.1107					12-02-17.1331					12-02-17.1402					12-02-19.0041					12-02-20.1411
Test set	integration-predicateAnalysis-abm					integration-predicateAnalysis-abm					integration-predicateAnalysis-abm					integration-predicateAnalysis-abm					integration-predicateAnalysis-abm
branch	-r5647					-r5654					-r5656					-r5662					-r5668
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	71	743.35	466.81	328.539	186.738	71	415.58	245.31	61.851	57.652	71	847.06	530.95	506.953	329.837	71	741.44	443.98	418.976	264.106	71	847.04	528.38	505.970	336.061
correct results	50	482.86	256.95	240.174	115.488	1	67.45	62.25	61.851	57.652	52	700.96	432.96	414.702	256.891	52	593.57	346.14	329.737	192.410	53	702.15	430.82	413.507	262.352
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	18.36	10.29	8.174	1.726	0	0	0	0	0	9	22.53	12.41	10.069	2.251	9	20.51	11.00	8.770	1.890	9	22.63	12.23	9.752	2.215
score (71 files, max score: 118)	63					2					67					66					68
pthread/queue_BUG.cil.c	unknown	2.04	1.37	0.947s	0.121s	exception	1.64	0.93	-	-	unknown	2.17	1.14	0.870s	0.116s	unknown	1.89	1.01	0.758s	0.092s	unknown	1.64	0.93	0.667s	0.091s
pthread/reorder_5_BUG.cil.c	unknown	2.07	1.16	0.880s	0.127s	exception	1.86	0.93	-	-	unknown	2.21	1.26	0.895s	0.135s	unknown	1.89	1.06	0.802s	0.113s	unknown	1.86	1.00	0.718s	0.110s
pthread/twostage_3_BUG.cil.c	unknown	2.07	1.10	0.815s	0.144s	exception	1.77	0.94	-	-	unknown	2.23	1.12	0.862s	0.126s	unknown	1.83	0.96	0.721s	0.129s	unknown	1.97	1.12	0.885s	0.147s
pthread/queue_ok.cil.c	unknown	1.92	1.23	0.953s	0.114s	exception	1.50	0.83	-	-	unknown	1.82	0.98	0.720s	0.094s	unknown	2.02	1.09	0.812s	0.123s	unknown	1.95	1.03	0.784s	0.113s
ntdrivers/floppy.BUG.i.cil.c	unsafe	12.50	6.49	6.099s	3.102s	exception	8.29	4.01	-	-	unsafe	11.67	6.14	5.820s	2.860s	unsafe	12.52	6.92	6.560s	3.305s	unsafe	12.68	6.81	6.362s	3.296s
ntdrivers/kbfiltr.BUG.i.cil.c	unsafe	7.69	3.70	3.364s	1.377s	exception	2.82	1.50	-	-	unsafe	7.12	3.43	3.076s	1.294s	unsafe	7.76	3.80	3.473s	1.475s	unsafe	7.86	4.06	3.753s	1.633s
ntdrivers/parport.BUG.i.cil.c	unsafe	20.22	11.79	11.407s	6.272s	exception	7.38	3.41	-	-	unsafe	21.66	13.07	12.652s	7.095s	unsafe	21.92	13.86	13.330s	6.905s	unsafe	21.42	13.23	12.843s	7.256s
ntdrivers/floppy.i.cil.c	safe	15.18	8.87	8.501s	4.319s	exception	7.62	3.28	-	-	safe	15.58	9.19	8.780s	4.495s	safe	15.33	9.19	8.764s	4.637s	safe	15.16	8.77	8.390s	4.454s
ntdrivers/parport.i.cil.c	safe	29.29	20.01	19.579s	11.788s	exception	6.65	3.04	-	-	safe	31.00	21.58	21.096s	13.327s	safe	28.55	19.08	18.649s	10.811s	safe	28.24	19.42	18.964s	11.745s
ssh/s3_clnt.blast.01.BUG.i.cil.c	unsafe	6.84	3.84	3.546s	1.946s	exception	1.98	1.06	-	-	unsafe	6.66	7.22	5.726s	1.591s	unsafe	6.54	3.08	2.809s	1.523s	unsafe	6.77	3.71	3.449s	1.865s
ssh/s3_clnt.blast.02.BUG.i.cil.c	unsafe	5.20	2.90	2.607s	1.212s	exception	1.97	1.07	-	-	unsafe	4.31	3.89	3.481s	0.904s	unsafe	4.93	2.63	2.375s	1.152s	unsafe	5.29	2.89	2.579s	1.199s
ssh/s3_clnt.blast.03.BUG.i.cil.c	unsafe	4.96	2.73	2.385s	1.105s	exception	1.99	1.06	-	-	unsafe	4.81	3.59	3.273s	1.084s	unsafe	4.80	2.50	2.223s	1.024s	unsafe	5.20	2.76	2.483s	1.099s
ssh/s3_clnt.blast.04.BUG.i.cil.c	unsafe	6.39	3.60	3.290s	1.768s	exception	1.94	1.05	-	-	unsafe	6.33	4.22	3.913s	1.599s	unsafe	5.72	2.89	2.578s	1.260s	unsafe	5.67	2.62	2.362s	1.183s
ssh/s3_clnt.blast.01.i.cil.c	safe	9.38	6.16	5.680s	3.586s	exception	1.94	1.05	-	-	safe	8.74	5.60	5.329s	3.588s	safe	8.25	5.11	4.810s	3.161s	safe	9.06	5.48	5.171s	3.397s
ssh/s3_clnt.blast.03.i.cil.c	safe	12.70	9.09	8.793s	5.954s	exception	1.94	1.06	-	-	safe	13.88	10.11	9.773s	6.879s	safe	12.40	8.90	8.562s	6.015s	safe	13.44	9.66	9.321s	6.425s
ssh/s3_clnt.blast.04.i.cil.c	safe	12.92	8.54	8.201s	4.759s	exception	2.02	1.08	-	-	safe	12.11	8.07	7.761s	4.196s	safe	11.38	7.15	6.871s	3.973s	safe	12.22	8.02	7.706s	4.452s
heap-manipulation/bubble_sort_linux_BUG.cil.c	unsafe	2.12	1.17	0.931s	0.163s	exception	2.01	1.07	-	-	unsafe	2.64	1.30	1.018s	0.195s	unsafe	2.54	1.47	1.076s	0.202s	unsafe	2.62	1.31	1.053s	0.220s
heap-manipulation/dll_of_dll_BUG.cil.c	unknown	1.72	0.95	0.704s	0.093s	exception	1.93	1.07	-	-	unknown	1.84	1.00	0.750s	0.113s	unknown	2.08	1.09	0.780s	0.137s	unknown	2.10	1.15	0.867s	0.135s
heap-manipulation/merge_sort_BUG.cil.c	unsafe	1.87	1.05	0.802s	0.141s	exception	1.90	1.00	-	-	unsafe	2.18	1.11	0.847s	0.153s	unsafe	2.35	1.48	1.043s	0.162s	unsafe	2.23	1.28	1.005s	0.191s
heap-manipulation/bubble_sort_linux.cil.c	unsafe	2.15	1.20	0.947s	0.166s	exception	1.95	1.02	-	-	unsafe	2.88	1.61	1.345s	0.271s	unsafe	2.60	1.33	1.074s	0.203s	unsafe	2.55	1.29	1.014s	0.201s
heap-manipulation/dll_of_dll.cil.c	unknown	1.74	0.96	0.702s	0.084s	exception	1.96	1.03	-	-	unknown	2.20	1.17	0.898s	0.129s	unknown	2.08	1.09	0.839s	0.130s	unknown	1.95	1.05	0.773s	0.133s
heap-manipulation/merge_sort.cil.c	safe	1.70	0.95	0.714s	0.071s	exception	1.95	1.05	-	-	safe	1.94	1.08	0.834s	0.100s	safe	1.96	1.10	0.863s	0.102s	safe	1.97	1.03	0.761s	0.085s
heap-manipulation/sll_to_dll_rev.cil.c	unknown	12.34	10.81	10.557s	8.072s	exception	1.78	0.96	-	-	unknown	13.92	12.08	11.835s	9.255s	unknown	13.86	11.88	11.627s	8.897s	unknown	13.85	11.81	11.553s	8.816s
list-properties/alternating_list.cil.c	safe	1.69	0.96	0.710s	0.156s	exception	1.89	1.05	-	-	safe	2.09	1.13	0.868s	0.175s	safe	1.94	1.04	0.800s	0.156s	safe	1.97	1.05	0.761s	0.157s
list-properties/list.cil.c	safe	1.75	1.00	0.761s	0.202s	exception	1.88	2.69	-	-	safe	2.07	1.09	0.815s	0.202s	safe	2.29	1.12	0.866s	0.213s	safe	2.42	1.23	0.928s	0.266s
list-properties/list_flag.cil.c	safe	1.87	0.98	0.727s	0.153s	exception	1.82	2.73	-	-	safe	2.15	1.18	0.855s	0.187s	safe	2.08	1.06	0.773s	0.164s	safe	2.27	1.18	0.915s	0.190s
list-properties/simple.cil.c	unsafe	1.66	0.95	0.716s	0.144s	exception	1.68	1.81	-	-	unsafe	2.03	1.11	0.866s	0.187s	unsafe	2.12	1.05	0.805s	0.159s	unsafe	2.22	1.30	0.996s	0.186s
list-properties/simple_built_from_end.cil.c	unsafe	1.66	0.97	0.734s	0.141s	exception	1.78	3.47	-	-	unsafe	2.09	1.26	0.995s	0.220s	unsafe	1.97	1.01	0.762s	0.141s	unsafe	2.00	1.02	0.759s	0.146s
list-properties/splice.cil.c	unsafe	2.93	1.91	1.667s	0.625s	exception	1.81	1.66	-	-	unsafe	3.67	2.25	1.987s	0.778s	unsafe	3.48	2.12	1.859s	0.737s	unsafe	3.68	2.27	1.937s	0.805s
systemc/kundu.cil.c	exception	5.87	3.16	-	-	safe	67.45	62.25	61.851s	57.652s	safe	68.14	61.09	60.697s	56.594s	exception	7.19	3.82	-	-	safe	67.00	60.97	60.643s	56.998s
systemc/toy.cil.c	timeout	119.60	112.96	-	-	exception	43.45	36.86	-	-	safe	68.02	60.92	60.611s	56.040s	safe	69.16	62.32	62.000s	60.118s	safe	69.56	62.11	61.717s	59.313s
ldv-regression/fo_test.c-unsafe.cil.c	unknown	0.98	0.57	-	-	unknown	1.07	0.61	-	-	unknown	1.30	0.71	-	-	unsafe	1.53	0.93	0.645s	0.047s	unsafe	1.63	0.90	0.646s	0.065s
ldv-regression/mutex_lock_int.c-unsafe.cil.c	unsafe	1.27	0.74	0.511s	0.016s	exception	1.50	0.79	-	-	unsafe	1.66	0.94	0.677s	0.017s	unsafe	1.46	0.85	0.590s	0.018s	unsafe	1.80	1.01	0.731s	0.023s
ldv-regression/alias_of_return.c-safe.cil.c	safe	1.28	0.75	0.524s	0.029s	exception	1.69	0.95	-	-	safe	1.51	0.84	0.598s	0.030s	safe	1.37	0.81	0.555s	0.030s	safe	1.66	1.01	0.767s	0.038s
ldv-regression/alias_of_return.c-safe_1.cil.c	safe	1.27	0.73	0.505s	0.018s	exception	1.66	0.94	-	-	safe	1.58	0.89	0.606s	0.018s	safe	1.51	0.94	0.681s	0.030s	safe	1.64	0.92	0.650s	0.019s
ldv-regression/alias_of_return_2.c-safe.cil.c	safe	1.28	0.76	0.534s	0.033s	exception	1.86	1.01	-	-	safe	1.50	0.85	0.572s	0.036s	safe	1.41	0.82	0.558s	0.037s	safe	1.87	0.98	0.715s	0.046s
ldv-regression/alias_of_return_2.c-safe_1.cil.c	safe	1.26	0.74	0.509s	0.017s	exception	1.64	0.88	-	-	safe	1.67	0.88	0.637s	0.020s	safe	1.39	0.81	0.558s	0.019s	safe	1.66	0.87	0.619s	0.020s
ldv-regression/mutex_lock_int.c-safe_1.cil.c	unsafe	1.26	0.74	0.510s	0.016s	exception	1.54	0.87	-	-	unsafe	1.62	0.92	0.656s	0.022s	unsafe	1.35	0.78	0.531s	0.018s	unsafe	1.61	0.89	0.642s	0.018s
ldv-regression/nested_structure-safe.cil.c	unsafe	1.32	0.79	0.567s	0.039s	exception	1.62	0.91	-	-	unsafe	1.77	0.96	0.705s	0.065s	unsafe	1.54	0.86	0.629s	0.058s	unsafe	1.71	0.94	0.700s	0.072s
ldv-regression/nested_structure_ptr-safe.cil.c	unsafe	1.56	0.90	0.674s	0.088s	exception	1.57	0.84	-	-	unsafe	1.93	1.06	0.795s	0.109s	unsafe	1.60	0.94	0.676s	0.100s	unsafe	1.94	1.11	0.845s	0.124s
ldv-regression/test_union_cast-2-safe.cil.c	safe	1.30	0.75	0.526s	0.023s	exception	1.82	1.00	-	-	safe	1.55	0.81	0.574s	0.028s	safe	1.36	0.78	0.535s	0.026s	safe	1.62	0.86	0.612s	0.031s
ldv-regression/test_union_cast.c-safe.cil.c	unsafe	1.36	0.77	0.546s	0.020s	exception	1.48	0.84	-	-	unsafe	1.68	0.93	0.672s	0.021s	unsafe	1.59	0.89	0.664s	0.022s	unsafe	1.58	0.86	0.614s	0.027s
ldv-regression/volatile_alias.c-safe.cil.c	safe	1.30	0.74	0.515s	0.017s	exception	1.64	0.93	-	-	safe	1.64	0.90	0.656s	0.032s	safe	1.42	0.83	0.592s	0.022s	safe	1.72	0.92	0.660s	0.020s
ldv-regression/volatile_alias.c-safe_1.cil.c	safe	1.30	0.75	0.512s	0.016s	exception	1.52	0.78	-	-	safe	1.58	0.82	0.563s	0.017s	safe	1.36	0.79	0.543s	0.017s	safe	1.67	0.95	0.692s	0.017s
ldv-drivers/module_get_put-drivers-block-loop.ko-unsafe.cil.out.i.pp.cil.c	unsafe	9.94	5.35	5.063s	1.841s	exception	5.21	2.46	-	-	unsafe	12.10	6.16	5.855s	2.217s	unsafe	11.50	6.11	5.806s	2.246s	unsafe	12.35	6.30	5.960s	2.287s
ldv-drivers/module_get_put-drivers-block-pktcdvd.ko-unsafe.cil.out.i.pp.cil.c	unsafe	14.24	6.66	6.264s	2.646s	exception	7.21	2.92	-	-	unsafe	17.09	8.76	8.339s	4.148s	unsafe	14.93	7.63	7.289s	3.657s	unsafe	18.21	8.56	8.197s	3.778s
ldv-drivers/module_get_put-drivers-isdn-gigaset-gigaset.ko-unsafe.cil.out.i.pp.cil.c	unsafe	11.92	4.51	4.228s	0.511s	exception	14.76	5.49	-	-	unsafe	14.26	5.33	5.053s	0.618s	unsafe	12.53	4.72	4.456s	0.524s	unsafe	11.93	4.56	4.201s	0.596s
ldv-drivers/module_get_put-drivers-isdn-mISDN-mISDN_core.ko-unsafe.cil.out.i.pp.cil.c	unsafe	16.50	8.62	8.315s	3.114s	exception	10.41	3.96	-	-	unsafe	20.31	10.45	10.099s	3.372s	unsafe	17.35	9.27	8.958s	2.987s	unsafe	20.79	10.84	10.507s	3.915s
ldv-drivers/module_get_put-drivers-net-ppp_generic.ko-unsafe.cil.out.i.pp.cil.c	unsafe	8.46	3.77	3.482s	1.290s	exception	7.18	3.02	-	-	unsafe	10.98	4.91	4.619s	1.871s	unsafe	9.13	4.14	3.846s	1.555s	unsafe	11.22	5.11	4.779s	1.741s
ldv-drivers/module_get_put-drivers-net-wan-farsync.ko-unsafe.cil.out.iunsafe.cil.out.i.pp.cil.c	unsafe	17.37	9.77	9.444s	3.948s	exception	9.08	3.82	-	-	unsafe	20.33	11.48	11.078s	4.823s	unsafe	19.69	11.49	11.153s	5.155s	unsafe	22.30	13.14	12.714s	5.451s
ldv-drivers/usb_urb-drivers-media-dvb-ttusb-dec-ttusb_dec.ko-unsafe.cil.out.i.pp.cil.c	unsafe	6.12	2.93	2.664s	0.558s	exception	5.56	2.59	-	-	unsafe	7.34	3.44	3.154s	0.705s	unsafe	6.47	3.16	2.884s	0.610s	unsafe	7.51	3.34	3.051s	0.668s
ldv-drivers/usb_urb-drivers-staging-lirc-lirc_imon.ko-unsafe.cil.out.i.pp.cil.c	unsafe	17.22	10.40	10.066s	4.311s	exception	8.53	4.03	-	-	unsafe	18.45	10.95	10.621s	4.792s	unsafe	17.23	10.64	10.329s	3.470s	unsafe	19.05	11.60	11.245s	4.083s
ldv-drivers/usb_urb-drivers-usb-misc-iowarrior.ko-unsafe.cil.out.i.pp.cil.c	unsafe	5.92	2.74	2.456s	0.852s	exception	3.77	1.89	-	-	unsafe	5.97	2.78	2.504s	0.886s	unsafe	5.47	2.74	2.473s	0.907s	unsafe	6.74	3.41	3.126s	1.154s
ldv-drivers/module_get_put-drivers-atm-eni.ko-safe.cil.out.i.pp.cil.c	safe	15.49	7.72	7.362s	5.253s	exception	6.28	2.51	-	-	safe	19.54	10.51	10.115s	7.736s	safe	21.07	11.07	10.649s	7.778s	safe	20.38	11.08	10.716s	8.042s
ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko-safe.cil.out.i.pp.cil.c	safe	15.16	6.66	6.349s	1.167s	exception	14.35	6.02	-	-	safe	17.77	8.08	7.728s	1.432s	safe	15.79	7.08	6.735s	1.005s	safe	17.33	7.94	7.624s	1.437s
ldv-drivers/module_get_put-drivers-block-paride-pt.ko-safe.cil.out.i.pp.cil.c	safe	35.04	18.02	17.594s	10.445s	exception	4.56	2.08	-	-	safe	41.25	23.37	22.824s	14.396s	safe	42.69	22.81	22.401s	13.660s	safe	41.25	23.48	23.001s	15.867s
ldv-drivers/module_get_put-drivers-char-ipmi-ipmi_watchdog.ko-safe.cil.out.i.pp.cil.c	safe	11.04	5.80	5.469s	3.276s	exception	5.01	2.54	-	-	safe	14.83	8.29	7.857s	4.807s	safe	12.88	7.10	6.760s	3.758s	safe	15.76	8.22	7.851s	4.921s
ldv-drivers/module_get_put-drivers-gpu-drm-i915-i915.ko-safe.cil.out.i.pp.cil.c	safe	16.21	7.66	7.341s	0.981s	exception	15.05	7.05	-	-	safe	21.75	9.64	9.298s	1.188s	safe	17.67	8.28	7.965s	1.075s	safe	20.44	10.00	9.626s	1.237s
ldv-drivers/module_get_put-drivers-hid-hid-magicmouse.ko-safe.cil.out.i.pp.cil.c	unknown	3.81	1.92	1.671s	0.650s	exception	3.57	1.71	-	-	unknown	4.54	2.21	1.946s	0.762s	unknown	3.86	1.91	1.662s	0.637s	unknown	4.55	2.20	1.919s	0.784s
ldv-drivers/module_get_put-drivers-hwmon-it87.ko-safe.cil.out.i.pp.cil.c	safe	6.01	2.85	2.579s	1.051s	exception	5.64	2.56	-	-	safe	8.32	3.73	3.431s	1.431s	safe	6.69	3.28	2.975s	1.375s	safe	8.26	4.27	3.963s	1.595s
ldv-drivers/module_get_put-drivers-net-atl1c-atl1c.ko-safe.cil.out.i.pp.cil.c	safe	16.84	8.03	7.692s	5.014s	exception	7.40	3.28	-	-	safe	23.36	11.82	11.437s	8.016s	safe	19.93	10.30	9.951s	6.850s	safe	23.74	12.89	12.521s	7.899s
ldv-drivers/module_get_put-drivers-net-sis900.ko-safe.cil.out.i.pp.cil.c	safe	12.72	6.14	5.793s	3.629s	exception	6.34	2.51	-	-	safe	16.62	8.01	7.638s	5.164s	safe	16.15	8.04	7.671s	5.197s	safe	17.69	8.40	8.001s	5.581s
ldv-drivers/module_get_put-drivers-scsi-megaraid.ko-safe.cil.out.i.pp.cil.c	unknown	87.97	63.38	62.962s	60.119s	exception	14.15	5.03	-	-	unknown	91.34	63.91	63.406s	59.965s	unknown	90.66	62.93	62.468s	59.548s	unknown	92.39	65.04	64.545s	61.165s
ldv-drivers/module_get_put-drivers-staging-et131x-et131x.ko-safe.cil.out.i.pp.cil.c	safe	18.20	8.56	8.206s	5.588s	exception	8.95	3.70	-	-	safe	24.69	12.03	11.673s	8.144s	safe	24.40	11.92	11.545s	8.336s	safe	22.12	11.72	11.310s	8.035s
ldv-drivers/usb_urb-drivers-media-video-c-qcam.ko-safe.cil.out.i.pp.cil.c	safe	5.85	2.73	2.479s	0.921s	exception	4.75	2.22	-	-	safe	6.27	2.89	2.618s	1.079s	safe	5.19	2.65	2.388s	0.989s	safe	6.30	2.94	2.628s	1.046s
ldv-drivers/usb_urb-drivers-misc-c2port-core.ko-safe.cil.out.i.pp.cil.c	safe	4.26	2.07	1.795s	0.630s	exception	4.06	1.92	-	-	safe	5.31	2.80	2.524s	0.880s	safe	4.27	2.18	1.916s	0.725s	safe	5.65	2.97	2.675s	0.981s
ldv-drivers/usb_urb-drivers-scsi-dc395x.ko-safe.cil.out.i.pp.cil.c	safe	16.85	7.28	6.899s	3.505s	exception	12.18	4.59	-	-	safe	19.94	9.02	8.658s	4.830s	safe	18.09	8.43	8.095s	4.664s	safe	19.89	9.45	9.038s	5.250s
ldv-drivers/usb_urb-drivers-usb-serial-ir-usb.ko-safe.cil.out.i.pp.cil.c	unsafe	4.46	2.06	1.813s	0.487s	exception	3.96	1.88	-	-	unsafe	4.86	2.31	2.048s	0.578s	unsafe	4.26	2.02	1.770s	0.452s	unsafe	5.34	2.55	2.245s	0.636s
ldv-drivers/usb_urb-drivers-usb-serial-whiteheat.ko-safe.cil.out.i.pp.cil.c	safe	19.25	10.68	9.370s	3.719s	exception	5.23	2.52	-	-	safe	25.76	15.62	15.267s	6.219s	safe	19.93	11.68	11.345s	4.806s	safe	22.45	13.91	13.509s	5.970s
ldv-drivers/usb_urb-drivers-vhost-vhost_net.ko-safe.cil.out.i.pp.cil.c	safe	11.66	5.32	4.422s	2.084s	exception	8.53	3.44	-	-	safe	15.03	7.17	6.776s	3.904s	safe	12.54	5.95	5.581s	3.333s	safe	15.09	7.13	6.760s	3.806s
ldv-drivers/usb_urb-drivers-video-arkfb.ko-safe.cil.out.i.pp.cil.c	safe	6.06	2.89	2.609s	0.911s	exception	4.70	2.20	-	-	safe	7.90	3.78	3.428s	1.477s	safe	6.75	3.21	2.884s	1.144s	safe	7.38	3.55	3.246s	1.309s