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.1030					12-02-17.1107					12-02-17.1331					12-02-17.1402					12-02-19.0041
Test set	integration-predicateAnalysis-abm					integration-predicateAnalysis-abm					integration-predicateAnalysis-abm					integration-predicateAnalysis-abm					integration-predicateAnalysis-abm
branch	-r5643					-r5647					-r5654					-r5656					-r5662
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	836.05	538.89	515.612	351.923	72	743.35	466.81	328.539	186.738	72	415.58	245.31	61.851	57.652	72	847.06	530.95	506.953	329.837	72	741.44	443.98	418.976	264.106
correct results	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	52	593.57	346.14	329.737	192.410
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	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	9	20.51	11.00	8.770	1.890
score (72 files, max score: 120)	69					63					2					67					66
pthread/queue_BUG.cil.c	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	unknown	1.89	1.01	0.758s	0.092s
pthread/reorder_5_BUG.cil.c	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	unknown	1.89	1.06	0.802s	0.113s
pthread/twostage_3_BUG.cil.c	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	unknown	1.83	0.96	0.721s	0.129s
pthread/queue_ok.cil.c	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	unknown	2.02	1.09	0.812s	0.123s
ntdrivers/floppy.BUG.i.cil.c	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	unsafe	12.52	6.92	6.560s	3.305s
ntdrivers/kbfiltr.BUG.i.cil.c	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	unsafe	7.76	3.80	3.473s	1.475s
ntdrivers/parport.BUG.i.cil.c	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	unsafe	21.92	13.86	13.330s	6.905s
ntdrivers/floppy.i.cil.c	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	safe	15.33	9.19	8.764s	4.637s
ntdrivers/parport.i.cil.c	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	safe	28.55	19.08	18.649s	10.811s
ssh/s3_clnt.blast.01.BUG.i.cil.c	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	unsafe	6.54	3.08	2.809s	1.523s
ssh/s3_clnt.blast.02.BUG.i.cil.c	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	unsafe	4.93	2.63	2.375s	1.152s
ssh/s3_clnt.blast.03.BUG.i.cil.c	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	unsafe	4.80	2.50	2.223s	1.024s
ssh/s3_clnt.blast.04.BUG.i.cil.c	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	unsafe	5.72	2.89	2.578s	1.260s
ssh/s3_clnt.blast.01.i.cil.c	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	safe	8.25	5.11	4.810s	3.161s
ssh/s3_clnt.blast.03.i.cil.c	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	safe	12.40	8.90	8.562s	6.015s
ssh/s3_clnt.blast.04.i.cil.c	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	safe	11.38	7.15	6.871s	3.973s
locks/test_locks_10.c	safe	1.78	1.05	0.825s	0.238s	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-
heap-manipulation/bubble_sort_linux_BUG.cil.c	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	unsafe	2.54	1.47	1.076s	0.202s
heap-manipulation/dll_of_dll_BUG.cil.c	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	unknown	2.08	1.09	0.780s	0.137s
heap-manipulation/merge_sort_BUG.cil.c	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	unsafe	2.35	1.48	1.043s	0.162s
heap-manipulation/bubble_sort_linux.cil.c	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	unsafe	2.60	1.33	1.074s	0.203s
heap-manipulation/dll_of_dll.cil.c	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	unknown	2.08	1.09	0.839s	0.130s
heap-manipulation/merge_sort.cil.c	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	safe	1.96	1.10	0.863s	0.102s
heap-manipulation/sll_to_dll_rev.cil.c	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	unknown	13.86	11.88	11.627s	8.897s
list-properties/alternating_list.cil.c	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	safe	1.94	1.04	0.800s	0.156s
list-properties/list.cil.c	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	safe	2.29	1.12	0.866s	0.213s
list-properties/list_flag.cil.c	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	safe	2.08	1.06	0.773s	0.164s
list-properties/simple.cil.c	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	unsafe	2.12	1.05	0.805s	0.159s
list-properties/simple_built_from_end.cil.c	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	unsafe	1.97	1.01	0.762s	0.141s
list-properties/splice.cil.c	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	unsafe	3.48	2.12	1.859s	0.737s
systemc/kundu.cil.c	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	exception	7.19	3.82	-	-
systemc/toy.cil.c	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	safe	69.16	62.32	62.000s	60.118s
ldv-regression/fo_test.c-unsafe.cil.c	unknown	1.07	0.61	-	-	unknown	0.98	0.57	-	-	unknown	1.07	0.61	-	-	unknown	1.30	0.71	-	-	unsafe	1.53	0.93	0.645s	0.047s
ldv-regression/mutex_lock_int.c-unsafe.cil.c	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	unsafe	1.46	0.85	0.590s	0.018s
ldv-regression/alias_of_return.c-safe.cil.c	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	safe	1.37	0.81	0.555s	0.030s
ldv-regression/alias_of_return.c-safe_1.cil.c	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	safe	1.51	0.94	0.681s	0.030s
ldv-regression/alias_of_return_2.c-safe.cil.c	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	safe	1.41	0.82	0.558s	0.037s
ldv-regression/alias_of_return_2.c-safe_1.cil.c	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	safe	1.39	0.81	0.558s	0.019s
ldv-regression/mutex_lock_int.c-safe_1.cil.c	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	unsafe	1.35	0.78	0.531s	0.018s
ldv-regression/nested_structure-safe.cil.c	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	unsafe	1.54	0.86	0.629s	0.058s
ldv-regression/nested_structure_ptr-safe.cil.c	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	unsafe	1.60	0.94	0.676s	0.100s
ldv-regression/test_union_cast-2-safe.cil.c	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	safe	1.36	0.78	0.535s	0.026s
ldv-regression/test_union_cast.c-safe.cil.c	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	unsafe	1.59	0.89	0.664s	0.022s
ldv-regression/volatile_alias.c-safe.cil.c	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	safe	1.42	0.83	0.592s	0.022s
ldv-regression/volatile_alias.c-safe_1.cil.c	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	safe	1.36	0.79	0.543s	0.017s
ldv-drivers/module_get_put-drivers-block-loop.ko-unsafe.cil.out.i.pp.cil.c	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	unsafe	11.50	6.11	5.806s	2.246s
ldv-drivers/module_get_put-drivers-block-pktcdvd.ko-unsafe.cil.out.i.pp.cil.c	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	unsafe	14.93	7.63	7.289s	3.657s
ldv-drivers/module_get_put-drivers-isdn-gigaset-gigaset.ko-unsafe.cil.out.i.pp.cil.c	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	unsafe	12.53	4.72	4.456s	0.524s
ldv-drivers/module_get_put-drivers-isdn-mISDN-mISDN_core.ko-unsafe.cil.out.i.pp.cil.c	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	unsafe	17.35	9.27	8.958s	2.987s
ldv-drivers/module_get_put-drivers-net-ppp_generic.ko-unsafe.cil.out.i.pp.cil.c	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	unsafe	9.13	4.14	3.846s	1.555s
ldv-drivers/module_get_put-drivers-net-wan-farsync.ko-unsafe.cil.out.iunsafe.cil.out.i.pp.cil.c	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	unsafe	19.69	11.49	11.153s	5.155s
ldv-drivers/usb_urb-drivers-media-dvb-ttusb-dec-ttusb_dec.ko-unsafe.cil.out.i.pp.cil.c	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	unsafe	6.47	3.16	2.884s	0.610s
ldv-drivers/usb_urb-drivers-staging-lirc-lirc_imon.ko-unsafe.cil.out.i.pp.cil.c	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	unsafe	17.23	10.64	10.329s	3.470s
ldv-drivers/usb_urb-drivers-usb-misc-iowarrior.ko-unsafe.cil.out.i.pp.cil.c	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	unsafe	5.47	2.74	2.473s	0.907s
ldv-drivers/module_get_put-drivers-atm-eni.ko-safe.cil.out.i.pp.cil.c	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	safe	21.07	11.07	10.649s	7.778s
ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko-safe.cil.out.i.pp.cil.c	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	safe	15.79	7.08	6.735s	1.005s
ldv-drivers/module_get_put-drivers-block-paride-pt.ko-safe.cil.out.i.pp.cil.c	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	safe	42.69	22.81	22.401s	13.660s
ldv-drivers/module_get_put-drivers-char-ipmi-ipmi_watchdog.ko-safe.cil.out.i.pp.cil.c	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	safe	12.88	7.10	6.760s	3.758s
ldv-drivers/module_get_put-drivers-gpu-drm-i915-i915.ko-safe.cil.out.i.pp.cil.c	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	safe	17.67	8.28	7.965s	1.075s
ldv-drivers/module_get_put-drivers-hid-hid-magicmouse.ko-safe.cil.out.i.pp.cil.c	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	unknown	3.86	1.91	1.662s	0.637s
ldv-drivers/module_get_put-drivers-hwmon-it87.ko-safe.cil.out.i.pp.cil.c	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	safe	6.69	3.28	2.975s	1.375s
ldv-drivers/module_get_put-drivers-net-atl1c-atl1c.ko-safe.cil.out.i.pp.cil.c	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	safe	19.93	10.30	9.951s	6.850s
ldv-drivers/module_get_put-drivers-net-sis900.ko-safe.cil.out.i.pp.cil.c	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	safe	16.15	8.04	7.671s	5.197s
ldv-drivers/module_get_put-drivers-scsi-megaraid.ko-safe.cil.out.i.pp.cil.c	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	unknown	90.66	62.93	62.468s	59.548s
ldv-drivers/module_get_put-drivers-staging-et131x-et131x.ko-safe.cil.out.i.pp.cil.c	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	safe	24.40	11.92	11.545s	8.336s
ldv-drivers/usb_urb-drivers-media-video-c-qcam.ko-safe.cil.out.i.pp.cil.c	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	safe	5.19	2.65	2.388s	0.989s
ldv-drivers/usb_urb-drivers-misc-c2port-core.ko-safe.cil.out.i.pp.cil.c	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	safe	4.27	2.18	1.916s	0.725s
ldv-drivers/usb_urb-drivers-scsi-dc395x.ko-safe.cil.out.i.pp.cil.c	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	safe	18.09	8.43	8.095s	4.664s
ldv-drivers/usb_urb-drivers-usb-serial-ir-usb.ko-safe.cil.out.i.pp.cil.c	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	unsafe	4.26	2.02	1.770s	0.452s
ldv-drivers/usb_urb-drivers-usb-serial-whiteheat.ko-safe.cil.out.i.pp.cil.c	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	safe	19.93	11.68	11.345s	4.806s
ldv-drivers/usb_urb-drivers-vhost-vhost_net.ko-safe.cil.out.i.pp.cil.c	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	safe	12.54	5.95	5.581s	3.333s
ldv-drivers/usb_urb-drivers-video-arkfb.ko-safe.cil.out.i.pp.cil.c	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	safe	6.75	3.21	2.884s	1.144s