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.0954					12-02-17.1030					12-02-17.1107					12-02-17.1331					12-02-17.1402
Test set	integration-predicateAnalysis-abm					integration-predicateAnalysis-abm					integration-predicateAnalysis-abm					integration-predicateAnalysis-abm					integration-predicateAnalysis-abm
branch	-r5639					-r5643					-r5647					-r5654					-r5656
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	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	72	845.76	530.24	506.953	329.837
correct results	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	52	700.96	432.96	414.702	256.891
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	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	9	22.53	12.41	10.069	2.251
score (72 files, max score: 121)	69					69					63					2					67
pthread/queue_BUG.cil.c	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	-	-	unknown	2.17	1.14	0.870s	0.116s
pthread/reorder_5_BUG.cil.c	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	-	-	unknown	2.21	1.26	0.895s	0.135s
pthread/twostage_3_BUG.cil.c	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	-	-	unknown	2.23	1.12	0.862s	0.126s
pthread/queue_ok.cil.c	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	-	-	unknown	1.82	0.98	0.720s	0.094s
ntdrivers/floppy.BUG.i.cil.c	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	-	-	unsafe	11.67	6.14	5.820s	2.860s
ntdrivers/kbfiltr.BUG.i.cil.c	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	-	-	unsafe	7.12	3.43	3.076s	1.294s
ntdrivers/parport.BUG.i.cil.c	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	-	-	unsafe	21.66	13.07	12.652s	7.095s
ntdrivers/floppy.i.cil.c	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	-	-	safe	15.58	9.19	8.780s	4.495s
ntdrivers/parport.i.cil.c	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	-	-	safe	31.00	21.58	21.096s	13.327s
ssh/s3_clnt.blast.01.BUG.i.cil.c	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	-	-	unsafe	6.66	7.22	5.726s	1.591s
ssh/s3_clnt.blast.02.BUG.i.cil.c	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	-	-	unsafe	4.31	3.89	3.481s	0.904s
ssh/s3_clnt.blast.03.BUG.i.cil.c	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	-	-	unsafe	4.81	3.59	3.273s	1.084s
ssh/s3_clnt.blast.04.BUG.i.cil.c	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	-	-	unsafe	6.33	4.22	3.913s	1.599s
ssh/s3_clnt.blast.01.i.cil.c	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	-	-	safe	8.74	5.60	5.329s	3.588s
ssh/s3_clnt.blast.03.i.cil.c	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	-	-	safe	13.88	10.11	9.773s	6.879s
ssh/s3_clnt.blast.04.i.cil.c	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	-	-	safe	12.11	8.07	7.761s	4.196s
locks/test_locks_10.c	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.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	-	-	unsafe	2.64	1.30	1.018s	0.195s
heap-manipulation/dll_of_dll_BUG.cil.c	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	-	-	unknown	1.84	1.00	0.750s	0.113s
heap-manipulation/merge_sort_BUG.cil.c	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	-	-	unsafe	2.18	1.11	0.847s	0.153s
heap-manipulation/bubble_sort_linux.cil.c	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	-	-	unsafe	2.88	1.61	1.345s	0.271s
heap-manipulation/dll_of_dll.cil.c	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	-	-	unknown	2.20	1.17	0.898s	0.129s
heap-manipulation/merge_sort.cil.c	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	-	-	safe	1.94	1.08	0.834s	0.100s
heap-manipulation/sll_to_dll_rev.cil.c	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	-	-	unknown	13.92	12.08	11.835s	9.255s
list-properties/alternating_list.cil.c	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	-	-	safe	2.09	1.13	0.868s	0.175s
list-properties/list.cil.c	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	-	-	safe	2.07	1.09	0.815s	0.202s
list-properties/list_flag.cil.c	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	-	-	safe	2.15	1.18	0.855s	0.187s
list-properties/simple.cil.c	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	-	-	unsafe	2.03	1.11	0.866s	0.187s
list-properties/simple_built_from_end.cil.c	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	-	-	unsafe	2.09	1.26	0.995s	0.220s
list-properties/splice.cil.c	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	-	-	unsafe	3.67	2.25	1.987s	0.778s
systemc/kundu.cil.c	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	safe	68.14	61.09	60.697s	56.594s
systemc/mem_slave_tlm.4.cil.c	timeout	119.69	113.30	-	-	timeout	119.73	113.77	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-
systemc/toy.cil.c	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	-	-	safe	68.02	60.92	60.611s	56.040s
ldv-regression/mutex_lock_int.c-unsafe.cil.c	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	-	-	unsafe	1.66	0.94	0.677s	0.017s
ldv-regression/alias_of_return.c-safe.cil.c	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	-	-	safe	1.51	0.84	0.598s	0.030s
ldv-regression/alias_of_return.c-safe_1.cil.c	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	-	-	safe	1.58	0.89	0.606s	0.018s
ldv-regression/alias_of_return_2.c-safe.cil.c	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	-	-	safe	1.50	0.85	0.572s	0.036s
ldv-regression/alias_of_return_2.c-safe_1.cil.c	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	-	-	safe	1.67	0.88	0.637s	0.020s
ldv-regression/mutex_lock_int.c-safe_1.cil.c	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	-	-	unsafe	1.62	0.92	0.656s	0.022s
ldv-regression/nested_structure-safe.cil.c	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	-	-	unsafe	1.77	0.96	0.705s	0.065s
ldv-regression/nested_structure_ptr-safe.cil.c	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	-	-	unsafe	1.93	1.06	0.795s	0.109s
ldv-regression/test_union_cast-2-safe.cil.c	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	-	-	safe	1.55	0.81	0.574s	0.028s
ldv-regression/test_union_cast.c-safe.cil.c	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	-	-	unsafe	1.68	0.93	0.672s	0.021s
ldv-regression/volatile_alias.c-safe.cil.c	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	-	-	safe	1.64	0.90	0.656s	0.032s
ldv-regression/volatile_alias.c-safe_1.cil.c	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	-	-	safe	1.58	0.82	0.563s	0.017s
ldv-drivers/module_get_put-drivers-block-loop.ko-unsafe.cil.out.i.pp.cil.c	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	-	-	unsafe	12.10	6.16	5.855s	2.217s
ldv-drivers/module_get_put-drivers-block-pktcdvd.ko-unsafe.cil.out.i.pp.cil.c	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	-	-	unsafe	17.09	8.76	8.339s	4.148s
ldv-drivers/module_get_put-drivers-isdn-gigaset-gigaset.ko-unsafe.cil.out.i.pp.cil.c	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	-	-	unsafe	14.26	5.33	5.053s	0.618s
ldv-drivers/module_get_put-drivers-isdn-mISDN-mISDN_core.ko-unsafe.cil.out.i.pp.cil.c	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	-	-	unsafe	20.31	10.45	10.099s	3.372s
ldv-drivers/module_get_put-drivers-net-ppp_generic.ko-unsafe.cil.out.i.pp.cil.c	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	-	-	unsafe	10.98	4.91	4.619s	1.871s
ldv-drivers/module_get_put-drivers-net-wan-farsync.ko-unsafe.cil.out.iunsafe.cil.out.i.pp.cil.c	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	-	-	unsafe	20.33	11.48	11.078s	4.823s
ldv-drivers/usb_urb-drivers-media-dvb-ttusb-dec-ttusb_dec.ko-unsafe.cil.out.i.pp.cil.c	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	-	-	unsafe	7.34	3.44	3.154s	0.705s
ldv-drivers/usb_urb-drivers-staging-lirc-lirc_imon.ko-unsafe.cil.out.i.pp.cil.c	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	-	-	unsafe	18.45	10.95	10.621s	4.792s
ldv-drivers/usb_urb-drivers-usb-misc-iowarrior.ko-unsafe.cil.out.i.pp.cil.c	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	-	-	unsafe	5.97	2.78	2.504s	0.886s
ldv-drivers/module_get_put-drivers-atm-eni.ko-safe.cil.out.i.pp.cil.c	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	-	-	safe	19.54	10.51	10.115s	7.736s
ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko-safe.cil.out.i.pp.cil.c	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	-	-	safe	17.77	8.08	7.728s	1.432s
ldv-drivers/module_get_put-drivers-block-paride-pt.ko-safe.cil.out.i.pp.cil.c	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	-	-	safe	41.25	23.37	22.824s	14.396s
ldv-drivers/module_get_put-drivers-char-ipmi-ipmi_watchdog.ko-safe.cil.out.i.pp.cil.c	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	-	-	safe	14.83	8.29	7.857s	4.807s
ldv-drivers/module_get_put-drivers-gpu-drm-i915-i915.ko-safe.cil.out.i.pp.cil.c	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	-	-	safe	21.75	9.64	9.298s	1.188s
ldv-drivers/module_get_put-drivers-hid-hid-magicmouse.ko-safe.cil.out.i.pp.cil.c	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	-	-	unknown	4.54	2.21	1.946s	0.762s
ldv-drivers/module_get_put-drivers-hwmon-it87.ko-safe.cil.out.i.pp.cil.c	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	-	-	safe	8.32	3.73	3.431s	1.431s
ldv-drivers/module_get_put-drivers-net-atl1c-atl1c.ko-safe.cil.out.i.pp.cil.c	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	-	-	safe	23.36	11.82	11.437s	8.016s
ldv-drivers/module_get_put-drivers-net-sis900.ko-safe.cil.out.i.pp.cil.c	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	-	-	safe	16.62	8.01	7.638s	5.164s
ldv-drivers/module_get_put-drivers-scsi-megaraid.ko-safe.cil.out.i.pp.cil.c	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	-	-	unknown	91.34	63.91	63.406s	59.965s
ldv-drivers/module_get_put-drivers-staging-et131x-et131x.ko-safe.cil.out.i.pp.cil.c	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	-	-	safe	24.69	12.03	11.673s	8.144s
ldv-drivers/usb_urb-drivers-media-video-c-qcam.ko-safe.cil.out.i.pp.cil.c	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	-	-	safe	6.27	2.89	2.618s	1.079s
ldv-drivers/usb_urb-drivers-misc-c2port-core.ko-safe.cil.out.i.pp.cil.c	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	-	-	safe	5.31	2.80	2.524s	0.880s
ldv-drivers/usb_urb-drivers-scsi-dc395x.ko-safe.cil.out.i.pp.cil.c	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	-	-	safe	19.94	9.02	8.658s	4.830s
ldv-drivers/usb_urb-drivers-usb-serial-ir-usb.ko-safe.cil.out.i.pp.cil.c	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	-	-	unsafe	4.86	2.31	2.048s	0.578s
ldv-drivers/usb_urb-drivers-usb-serial-whiteheat.ko-safe.cil.out.i.pp.cil.c	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	-	-	safe	25.76	15.62	15.267s	6.219s
ldv-drivers/usb_urb-drivers-vhost-vhost_net.ko-safe.cil.out.i.pp.cil.c	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	-	-	safe	15.03	7.17	6.776s	3.904s
ldv-drivers/usb_urb-drivers-video-arkfb.ko-safe.cil.out.i.pp.cil.c	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	-	-	safe	7.90	3.78	3.428s	1.477s