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.1004					12-02-17.1041					12-02-17.1125					12-02-17.1332					12-02-17.1354
Test set	integration-predicateAnalysis					integration-predicateAnalysis					integration-predicateAnalysis					integration-predicateAnalysis					integration-predicateAnalysis
branch	-r5639					-r5643					-r5647					-r5654					-r5655
Options	-noout -predicateAnalysis -heap 2000m -setprop cpa.conditions.global.time.wall=1min					-noout -predicateAnalysis -heap 2000m -setprop cpa.conditions.global.time.wall=1min					-noout -predicateAnalysis -heap 2000m -setprop cpa.conditions.global.time.wall=1min					-noout -predicateAnalysis -heap 2000m -setprop cpa.conditions.global.time.wall=1min					-noout -predicateAnalysis -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	110	1924.99	1434.38	1147.213	1006.174	110	2650.82	2033.76	1637.131	1439.590	110	2552.77	1975.47	1602.732	1421.921	110	1000.60	689.80	302.938	240.613	110	995.08	706.67	368.716	299.320
correct results	34	133.32	81.65	71.494	38.216	58	395.26	243.65	222.043	132.080	57	340.26	207.87	190.490	116.224	27	202.25	119.90	110.962	68.944	27	205.33	123.43	113.917	70.228
false negatives	25	101.50	50.74	43.629	16.433	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0
false positives	7	14.85	8.48	6.478	1.260	12	24.94	13.59	10.572	2.024	12	22.58	12.96	9.866	1.963	3	7.22	3.83	2.982	0.256	3	6.93	3.55	2.763	0.265
score (110 files, max score: 173)	-51					57					55					28					28
pthread/fib_bench_BUG.cil.c	safe	1.44	0.80	0.564s	0.030s	unknown	1.51	0.86	0.623s	0.025s	unknown	1.52	0.85	0.612s	0.023s	unknown	1.77	1.16	0.835s	0.023s	unknown	1.48	2.98	1.534s	0.022s
pthread/fib_bench_longer_BUG.cil.c	safe	1.43	0.79	0.561s	0.030s	unknown	1.71	0.91	0.664s	0.024s	unknown	1.52	1.66	1.416s	0.024s	unknown	1.98	1.27	0.887s	0.039s	unknown	1.71	0.89	0.642s	0.022s
pthread/queue_BUG.cil.c	safe	1.63	0.93	0.690s	0.091s	unknown	1.82	1.01	0.768s	0.098s	unknown	1.46	2.02	1.439s	0.072s	exception	2.08	1.32	-	-	exception	1.55	1.36	-	-
pthread/reorder_5_BUG.cil.c	unknown	1.70	0.93	0.694s	0.104s	unknown	1.82	1.08	0.815s	0.118s	unknown	1.69	4.16	2.873s	1.280s	exception	2.08	1.35	-	-	exception	1.82	1.05	-	-
pthread/twostage_3_BUG.cil.c	unknown	1.79	1.00	0.741s	0.132s	unknown	1.90	1.07	0.814s	0.121s	unknown	1.70	1.71	1.441s	0.117s	exception	2.24	1.58	-	-	exception	1.64	0.90	-	-
pthread/fib_bench.cil.c	safe	1.48	0.82	0.572s	0.029s	unknown	1.64	0.91	0.666s	0.029s	unknown	1.51	3.22	2.149s	0.024s	unknown	2.06	1.45	1.054s	0.038s	unknown	1.51	0.83	0.591s	0.021s
pthread/fib_bench_longer.cil.c	safe	1.44	0.80	0.565s	0.029s	unknown	1.72	0.89	0.639s	0.025s	unknown	1.44	3.02	1.485s	0.024s	unknown	1.88	1.20	0.850s	0.029s	unknown	1.41	0.85	0.612s	0.023s
pthread/queue_ok.cil.c	safe	1.68	0.92	0.679s	0.090s	unknown	1.87	1.05	0.791s	0.083s	unknown	1.60	3.94	1.621s	1.142s	exception	1.90	1.09	-	-	exception	1.64	0.95	-	-
ntdrivers-simplified/cdaudio_simpl1_BUG.cil.c	safe	6.32	3.58	3.199s	2.356s	unsafe	5.66	3.43	3.142s	1.862s	unsafe	5.31	3.20	2.931s	1.729s	unsafe	6.06	3.71	3.366s	1.961s	unsafe	5.56	3.28	2.923s	1.641s
ntdrivers-simplified/floppy_simpl3_BUG.cil.c	safe	3.92	1.96	1.676s	0.983s	unsafe	3.64	2.12	1.795s	0.743s	unsafe	3.06	2.27	1.398s	0.601s	unsafe	3.96	2.28	1.974s	0.831s	unsafe	3.58	1.98	1.698s	0.741s
ntdrivers-simplified/floppy_simpl4_BUG.cil.c	safe	4.79	2.53	2.244s	1.478s	unsafe	4.23	2.29	2.015s	0.963s	unsafe	3.32	1.92	1.674s	0.762s	unsafe	4.30	2.46	2.172s	0.980s	unsafe	3.80	2.09	1.798s	0.802s
ntdrivers-simplified/kbfiltr_simpl2_BUG.cil.c	safe	3.40	1.60	1.319s	0.681s	unsafe	3.24	1.71	1.450s	0.582s	unsafe	2.48	1.34	1.110s	0.420s	unsafe	3.40	1.70	1.423s	0.563s	unsafe	2.98	1.55	1.306s	0.525s
ntdrivers/cdaudio.BUG.i.cil.c	safe	8.09	3.91	3.591s	2.072s	unsafe	9.76	5.13	4.768s	2.525s	unsafe	7.92	4.54	4.253s	2.226s	unsafe	10.59	5.86	5.499s	3.050s	unsafe	9.25	4.90	4.597s	2.465s
ntdrivers/diskperf.BUG.i.cil.c	safe	5.76	3.42	3.125s	2.050s	unsafe	5.70	3.29	2.990s	1.554s	unsafe	4.83	2.91	2.637s	1.427s	unsafe	6.37	3.91	3.555s	1.894s	unsafe	5.86	3.40	3.120s	1.694s
ntdrivers/floppy.BUG.i.cil.c	safe	7.38	3.85	3.544s	2.091s	unsafe	10.41	6.18	5.842s	3.777s	unsafe	8.57	4.89	4.557s	2.889s	exception	5.70	3.09	-	-	exception	4.74	2.40	-	-
ntdrivers/kbfiltr.BUG.i.cil.c	safe	4.25	2.22	1.939s	1.002s	unsafe	5.01	2.80	2.462s	0.959s	unsafe	3.42	1.88	1.629s	0.664s	exception	2.60	1.46	-	-	exception	2.20	1.17	-	-
ntdrivers/parport.BUG.i.cil.c	unknown	86.55	69.78	63.531s	62.182s	unknown	86.15	69.78	63.841s	62.293s	unknown	86.01	69.66	63.835s	62.649s	exception	4.97	2.41	-	-	exception	5.03	2.41	-	-
ntdrivers/floppy.i.cil.c	safe	7.66	4.06	3.751s	2.366s	safe	12.61	8.05	7.705s	5.284s	safe	9.04	5.73	5.426s	3.632s	exception	5.20	2.60	-	-	exception	4.75	2.38	-	-
ntdrivers/parport.i.cil.c	unknown	85.92	67.92	61.844s	60.482s	unknown	85.94	69.77	63.111s	61.770s	unknown	86.89	70.78	64.815s	63.556s	exception	5.23	2.56	-	-	exception	4.90	2.22	-	-
ssh-simplified/s3_srvr_7.cil.c	out of memory	77.10	72.65	-	-	safe	21.43	17.45	17.012s	15.208s	safe	20.87	17.09	16.664s	15.048s	safe	22.73	18.37	17.914s	16.040s	safe	23.27	19.07	18.586s	16.655s
ssh/s3_clnt.blast.01.BUG.i.cil.c	unsafe	6.13	3.44	3.085s	1.737s	unsafe	4.82	2.82	2.430s	1.119s	unsafe	3.97	2.35	2.068s	0.951s	exception	1.88	0.99	-	-	exception	2.02	1.18	-	-
ssh/s3_clnt.blast.02.BUG.i.cil.c	unsafe	4.57	2.46	2.177s	1.181s	unsafe	4.87	2.51	2.166s	0.959s	unsafe	3.72	2.08	1.807s	0.829s	exception	2.02	1.09	-	-	exception	2.15	1.20	-	-
ssh/s3_clnt.blast.03.BUG.i.cil.c	unsafe	4.75	2.57	2.260s	1.157s	unsafe	4.64	2.66	2.224s	0.976s	unsafe	3.69	2.05	1.781s	0.809s	exception	1.87	0.99	-	-	exception	2.16	1.27	-	-
ssh/s3_clnt.blast.04.BUG.i.cil.c	unsafe	5.54	3.12	2.787s	1.593s	unsafe	4.33	2.28	1.951s	0.841s	unsafe	3.37	1.88	1.612s	0.689s	exception	2.06	1.16	-	-	exception	2.23	1.20	-	-
ssh/s3_clnt.blast.01.i.cil.c	safe	16.55	12.81	12.458s	10.771s	safe	9.09	6.12	5.765s	3.756s	safe	9.12	6.08	5.775s	3.929s	exception	1.92	1.07	-	-	exception	2.17	1.16	-	-
ssh/s3_clnt.blast.03.i.cil.c	safe	10.07	6.42	6.085s	3.701s	safe	7.56	5.56	5.226s	3.105s	safe	7.64	5.10	4.768s	3.367s	exception	1.93	1.12	-	-	exception	2.05	1.12	-	-
ssh/s3_clnt.blast.04.i.cil.c	safe	10.22	6.88	6.525s	4.623s	safe	10.23	8.56	8.216s	5.793s	safe	9.91	6.99	6.660s	4.788s	exception	1.99	1.12	-	-	exception	2.38	1.34	-	-
ssh/s3_srvr.blast.07.i.cil.c	unknown	66.10	61.36	60.845s	57.276s	safe	12.42	8.93	8.507s	7.191s	safe	12.47	8.88	8.468s	7.135s	safe	15.08	10.31	9.813s	8.196s	safe	15.01	10.74	10.208s	8.566s
ssh/s3_srvr.blast.08.i.cil.c	safe	16.27	11.38	10.833s	7.241s	out of memory	81.94	78.29	-	-	out of memory	91.13	87.59	-	-	out of memory	89.43	85.03	-	-	out of memory	94.67	90.83	-	-
ssh/s3_srvr.blast.09.i.cil.c	unknown	71.47	61.70	60.852s	58.111s	safe	11.24	7.57	7.179s	5.209s	safe	11.96	8.14	7.707s	5.573s	safe	12.88	8.49	8.050s	5.690s	safe	13.57	9.11	8.669s	6.169s
ssh/s3_srvr.blast.16.i.cil.c	unknown	66.83	61.41	60.806s	41.834s	safe	14.44	10.43	9.989s	6.799s	safe	15.11	10.74	10.288s	7.139s	safe	16.12	11.46	10.897s	7.448s	safe	17.03	12.20	11.716s	8.104s
locks/test_locks_10.c	safe	1.79	1.00	0.746s	0.129s	safe	1.38	0.79	0.566s	0.073s	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-
heap-manipulation/bubble_sort_linux_BUG.cil.c	segmentation fault	2.35	1.33	-	-	unsafe	1.90	1.09	0.854s	0.153s	unsafe	2.24	1.19	0.941s	0.159s	exception	1.90	1.00	-	-	exception	1.80	1.01	-	-
heap-manipulation/dll_of_dll_BUG.cil.c	safe	1.96	1.07	0.804s	0.097s	unknown	1.52	0.86	0.621s	0.076s	unknown	1.71	1.01	0.720s	0.076s	exception	1.62	0.86	-	-	exception	1.91	1.00	-	-
heap-manipulation/merge_sort_BUG.cil.c	safe	1.76	0.94	0.697s	0.087s	unsafe	1.66	0.95	0.723s	0.134s	unsafe	2.04	1.20	0.957s	0.158s	exception	1.64	0.85	-	-	exception	1.63	0.93	-	-
heap-manipulation/sll_to_dll_rev_BUG.cil.c	unknown	65.67	62.73	62.462s	58.109s	unknown	63.11	60.81	60.545s	56.864s	unknown	63.90	61.65	61.325s	58.442s	exception	1.67	0.86	-	-	exception	1.70	0.95	-	-
heap-manipulation/bubble_sort_linux.cil.c	segmentation fault	2.59	1.35	-	-	unsafe	1.90	1.08	0.853s	0.157s	unsafe	2.18	1.33	1.046s	0.220s	exception	1.87	0.99	-	-	exception	1.74	0.98	-	-
heap-manipulation/dll_of_dll.cil.c	safe	2.01	1.11	0.854s	0.132s	unknown	1.53	0.86	0.626s	0.075s	unknown	1.86	1.06	0.712s	0.083s	exception	1.64	0.86	-	-	exception	1.67	0.89	-	-
heap-manipulation/merge_sort.cil.c	safe	1.92	1.08	0.817s	0.097s	safe	1.46	0.84	0.621s	0.067s	safe	1.58	0.90	0.670s	0.071s	exception	1.62	0.86	-	-	exception	1.87	0.98	-	-
heap-manipulation/sll_to_dll_rev.cil.c	unknown	65.12	61.66	61.333s	54.989s	unknown	63.52	61.77	61.499s	55.880s	unknown	63.63	61.72	61.434s	55.288s	exception	1.53	0.89	-	-	exception	1.70	1.03	-	-
list-properties/alternating_list.cil.c	safe	1.98	1.31	0.974s	0.198s	safe	1.51	0.87	0.633s	0.127s	safe	1.74	0.94	0.711s	0.136s	exception	1.52	0.81	-	-	exception	1.62	0.97	-	-
list-properties/list.cil.c	safe	2.06	1.23	0.889s	0.254s	safe	1.57	0.91	0.681s	0.167s	safe	1.91	1.13	0.865s	0.209s	exception	1.49	0.84	-	-	exception	1.79	1.05	-	-
list-properties/list_flag.cil.c	safe	2.14	1.17	0.882s	0.229s	safe	1.58	0.90	0.665s	0.147s	safe	1.71	0.94	0.712s	0.145s	exception	1.62	0.82	-	-	exception	1.65	0.97	-	-
list-properties/simple.cil.c	unsafe	2.08	1.21	0.931s	0.200s	unsafe	1.53	0.88	0.652s	0.124s	unsafe	1.97	1.06	0.807s	0.153s	exception	1.58	0.89	-	-	exception	1.70	0.93	-	-
list-properties/simple_built_from_end.cil.c	unsafe	2.00	1.12	0.829s	0.147s	unsafe	1.48	0.87	0.641s	0.104s	unsafe	1.68	1.05	0.751s	0.105s	exception	1.58	0.80	-	-	exception	1.66	0.91	-	-
list-properties/splice.cil.c	unsafe	3.52	2.11	1.803s	0.698s	unsafe	3.10	1.96	1.707s	0.832s	unsafe	2.98	1.85	1.593s	0.767s	exception	1.61	0.83	-	-	exception	1.48	0.89	-	-
systemc/token_ring.01.BUG.cil.c	safe	1.93	1.10	0.803s	0.138s	unsafe	2.87	1.54	1.268s	0.519s	unsafe	2.79	1.56	1.290s	0.537s	unsafe	2.77	1.53	1.269s	0.540s	unsafe	3.21	1.81	1.539s	0.715s
systemc/token_ring.02.BUG.cil.c	safe	1.92	1.12	0.818s	0.136s	unsafe	4.14	2.21	1.927s	1.154s	unsafe	4.83	2.49	2.207s	1.392s	unsafe	4.73	2.37	2.074s	1.251s	unsafe	4.73	2.31	1.969s	1.170s
systemc/token_ring.03.BUG.cil.c	safe	2.10	1.21	0.912s	0.180s	unsafe	6.54	3.35	3.025s	2.179s	unsafe	7.72	4.17	3.792s	2.688s	unsafe	8.10	4.09	3.723s	2.730s	unsafe	7.21	3.74	3.331s	2.369s
systemc/transmitter.01.BUG.cil.c	safe	1.90	1.10	0.798s	0.131s	unsafe	1.92	1.10	0.842s	0.255s	unsafe	2.10	1.19	0.929s	0.289s	unsafe	2.06	1.22	0.920s	0.240s	unsafe	2.18	1.15	0.896s	0.250s
systemc/transmitter.02.BUG.cil.c	safe	2.78	1.56	1.262s	0.485s	unsafe	2.40	1.36	1.114s	0.483s	unsafe	2.97	1.61	1.336s	0.521s	unsafe	2.99	1.51	1.251s	0.554s	unsafe	3.04	1.62	1.355s	0.572s
systemc/transmitter.03.BUG.cil.c	safe	2.89	1.49	1.196s	0.488s	unsafe	3.87	2.02	1.767s	1.050s	unsafe	4.54	2.20	1.907s	1.092s	unsafe	4.66	2.25	1.942s	1.138s	unsafe	4.96	2.49	2.188s	1.287s
systemc/transmitter.04.BUG.cil.c	safe	3.43	1.80	1.524s	0.631s	unsafe	7.46	3.97	3.652s	2.700s	unsafe	8.82	4.65	4.290s	3.161s	unsafe	8.81	4.56	4.223s	3.159s	unsafe	9.48	4.94	4.563s	3.361s
systemc/mem_slave_tlm.1.cil.c	safe	3.21	1.93	1.558s	0.442s	out of memory	46.91	43.18	-	-	out of memory	45.08	41.58	-	-	out of memory	52.92	48.24	-	-	unknown	51.92	47.65	-	-
systemc/mem_slave_tlm.2.cil.c	safe	3.01	1.67	1.322s	0.341s	out of memory	47.92	44.18	-	-	segmentation fault	53.79	50.22	-	-	segmentation fault	60.98	56.27	-	-	segmentation fault	55.22	50.02	-	-
systemc/mem_slave_tlm.4.cil.c	safe	2.94	1.52	1.237s	0.380s	segmentation fault	55.75	50.75	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-
systemc/token_ring.04.cil.c	safe	2.21	1.28	0.998s	0.220s	out of memory	70.60	58.08	-	-	out of memory	71.47	56.94	-	-	segmentation fault	67.79	56.89	-	-	unknown	74.70	61.49	60.619s	54.872s
systemc/toy.cil.c	safe	1.98	1.15	0.844s	0.144s	out of memory	65.11	60.62	-	-	out of memory	61.92	57.51	-	-	unknown	67.20	61.98	61.553s	58.626s	unknown	67.28	61.94	61.483s	58.513s
ldv-regression/mutex_lock_int.c-unsafe.cil.c	unsafe	1.68	0.95	0.680s	0.034s	unsafe	1.51	0.82	0.571s	0.014s	unsafe	1.24	0.72	0.479s	0.014s	exception	1.42	0.75	-	-	exception	1.60	0.84	-	-
ldv-regression/mutex_lock_struct.c-unsafe.cil.c	safe	1.66	0.90	0.657s	0.026s	unsafe	1.63	0.91	0.654s	0.015s	unsafe	1.23	0.72	0.479s	0.013s	unsafe	1.50	0.78	0.550s	0.016s	unsafe	1.72	0.98	0.691s	0.023s
ldv-regression/rule57_ebda_blast.c-unsafe.cil.c	safe	1.72	1.02	0.753s	0.075s	unsafe	1.44	0.84	0.597s	0.035s	unsafe	1.30	0.76	0.510s	0.026s	unsafe	1.55	0.86	0.620s	0.030s	unsafe	1.55	0.88	0.636s	0.029s
ldv-regression/rule60_list2.c-unsafe_1.cil.c	safe	1.87	1.02	0.765s	0.118s	unsafe	1.71	0.99	0.752s	0.098s	unsafe	1.44	0.85	0.603s	0.081s	unsafe	1.88	1.08	0.777s	0.087s	unsafe	1.70	0.93	0.666s	0.085s
ldv-regression/test_while_int.c-unsafe.cil.c	segmentation fault	1.74	0.93	-	-	unsafe	1.39	0.82	0.584s	0.056s	unsafe	1.26	0.76	0.502s	0.033s	unsafe	1.68	0.93	0.689s	0.044s	unsafe	1.65	0.88	0.635s	0.048s
ldv-regression/alias_of_return.c-safe.cil.c	safe	1.64	0.87	0.636s	0.027s	safe	1.39	0.82	0.598s	0.023s	safe	1.23	0.71	0.467s	0.015s	exception	1.47	0.78	-	-	exception	1.41	0.72	-	-
ldv-regression/alias_of_return.c-safe_1.cil.c	safe	1.75	0.95	0.702s	0.024s	safe	1.29	0.73	0.494s	0.014s	safe	1.22	0.72	0.467s	0.014s	exception	1.60	0.88	-	-	exception	1.26	0.71	-	-
ldv-regression/alias_of_return_2.c-safe.cil.c	safe	1.66	0.94	0.676s	0.035s	safe	1.45	0.82	0.568s	0.019s	safe	1.24	0.72	0.471s	0.017s	exception	1.44	0.81	-	-	exception	1.46	0.75	-	-
ldv-regression/alias_of_return_2.c-safe_1.cil.c	safe	1.58	0.89	0.633s	0.026s	safe	1.40	0.80	0.566s	0.015s	safe	1.22	0.71	0.468s	0.014s	exception	1.67	0.89	-	-	exception	1.39	0.76	-	-
ldv-regression/mutex_lock_int.c-safe_1.cil.c	unsafe	1.69	0.95	0.694s	0.031s	unsafe	1.38	0.79	0.513s	0.016s	unsafe	1.26	0.73	0.487s	0.014s	exception	1.69	0.95	-	-	exception	1.75	0.89	-	-
ldv-regression/mutex_lock_struct.c-safe_1.cil.c	safe	1.69	0.94	0.668s	0.031s	unsafe	1.46	0.83	0.587s	0.015s	unsafe	1.24	0.73	0.480s	0.014s	unsafe	1.53	0.97	0.672s	0.015s	unsafe	1.59	0.83	0.569s	0.015s
ldv-regression/nested_structure-safe.cil.c	unsafe	1.83	1.00	0.739s	0.056s	unsafe	1.55	0.88	0.615s	0.040s	unsafe	1.28	0.77	0.516s	0.038s	exception	1.55	0.86	-	-	exception	1.65	0.89	-	-
ldv-regression/nested_structure_ptr-safe.cil.c	unsafe	1.93	1.10	0.820s	0.100s	unsafe	1.64	0.94	0.702s	0.101s	unsafe	1.42	0.85	0.603s	0.084s	exception	1.49	0.80	-	-	exception	1.54	0.86	-	-
ldv-regression/oomInt.c-safe.cil.c	segmentation fault	1.73	1.03	-	-	safe	1.40	0.75	0.516s	0.018s	safe	1.22	0.72	0.471s	0.017s	safe	1.66	0.86	0.610s	0.018s	safe	1.51	0.81	0.582s	0.019s
ldv-regression/rule57_ebda_blast.c-safe_1.cil.c	safe	1.80	1.00	0.737s	0.085s	unsafe	1.36	0.80	0.572s	0.041s	unsafe	1.30	0.79	0.540s	0.039s	unsafe	1.71	0.94	0.649s	0.041s	unsafe	1.49	0.83	0.600s	0.042s
ldv-regression/test_union_cast-2-safe.cil.c	safe	1.73	0.99	0.692s	0.034s	safe	1.41	0.79	0.555s	0.022s	safe	1.34	0.80	0.546s	0.022s	exception	1.61	0.84	-	-	exception	1.49	0.79	-	-
ldv-regression/test_union_cast.c-safe.cil.c	unsafe	1.80	0.99	0.662s	0.028s	unsafe	1.49	0.84	0.567s	0.024s	unsafe	1.24	0.72	0.486s	0.018s	exception	1.62	0.84	-	-	exception	1.56	0.76	-	-
ldv-regression/volatile_alias.c-safe.cil.c	safe	1.74	0.90	0.641s	0.026s	safe	1.45	0.79	0.563s	0.021s	safe	1.24	0.71	0.471s	0.016s	exception	1.67	0.89	-	-	exception	1.39	0.82	-	-
ldv-regression/volatile_alias.c-safe_1.cil.c	safe	1.70	0.97	0.692s	0.021s	safe	1.39	0.74	0.506s	0.016s	safe	1.23	0.71	0.467s	0.015s	exception	1.55	0.81	-	-	exception	1.43	0.73	-	-
ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko-unsafe.cil.out.i.pp.cil.c	safe	13.98	5.54	5.245s	0.462s	unsafe	13.64	5.24	4.912s	0.357s	unsafe	10.70	4.36	4.078s	0.413s	unsafe	13.34	5.48	5.194s	0.462s	unsafe	12.87	4.97	4.681s	0.395s
ldv-drivers/module_get_put-drivers-block-loop.ko-unsafe.cil.out.i.pp.cil.c	segmentation fault	5.64	2.71	-	-	unsafe	15.56	8.55	8.150s	5.360s	unsafe	13.00	7.17	6.806s	4.483s	exception	4.79	2.37	-	-	exception	4.45	2.10	-	-
ldv-drivers/module_get_put-drivers-block-pktcdvd.ko-unsafe.cil.out.i.pp.cil.c	unknown	86.29	65.07	64.410s	62.160s	unknown	83.49	63.00	62.445s	60.466s	unknown	92.94	65.89	62.576s	61.096s	exception	6.95	2.89	-	-	exception	5.68	2.36	-	-
ldv-drivers/module_get_put-drivers-isdn-gigaset-gigaset.ko-unsafe.cil.out.i.pp.cil.c	segmentation fault	15.15	5.56	-	-	unsafe	13.03	8.36	6.201s	1.861s	unsafe	10.34	3.92	3.641s	0.509s	exception	14.96	5.64	-	-	exception	12.76	4.64	-	-
ldv-drivers/module_get_put-drivers-isdn-mISDN-mISDN_core.ko-unsafe.cil.out.i.pp.cil.c	segmentation fault	11.56	4.45	-	-	unknown	70.60	65.05	64.587s	40.697s	unknown	74.72	62.71	62.251s	39.458s	exception	9.01	3.60	-	-	exception	8.66	3.53	-	-
ldv-drivers/module_get_put-drivers-net-ppp_generic.ko-unsafe.cil.out.i.pp.cil.c	segmentation fault	14.45	7.66	-	-	unsafe	17.93	9.45	8.991s	6.532s	unsafe	13.61	6.87	6.487s	4.659s	exception	6.68	2.73	-	-	exception	6.12	2.62	-	-
ldv-drivers/module_get_put-drivers-net-wan-farsync.ko-unsafe.cil.out.iunsafe.cil.out.i.pp.cil.c	segmentation fault	9.74	4.78	-	-	unknown	83.39	64.70	64.245s	61.501s	unknown	81.33	63.15	62.734s	58.305s	unknown	83.70	62.35	61.911s	59.378s	unknown	84.59	64.54	64.083s	61.467s
ldv-drivers/module_get_put-drivers-usb-core-usbcore.ko-unsafe.cil.out.i.pp.cil.c	safe	13.19	5.28	4.943s	0.515s	unsafe	20.60	7.65	7.343s	0.541s	unsafe	10.28	4.01	3.712s	0.347s	unsafe	14.42	5.56	5.264s	0.506s	unsafe	19.14	6.92	6.667s	0.385s
ldv-drivers/usb_urb-drivers-hid-usbhid-usbmouse.ko-unsafe.cil.out.i.pp.cil.c	segmentation fault	4.16	2.07	-	-	unsafe	13.86	8.90	8.448s	5.849s	unsafe	10.55	6.73	6.339s	4.392s	unsafe	13.01	8.29	7.815s	5.378s	unsafe	12.50	7.72	7.343s	5.093s
ldv-drivers/usb_urb-drivers-input-misc-keyspan_remote.ko-unsafe.cil.out.i.pp.cil.c	segmentation fault	5.27	2.27	-	-	unknown	87.20	64.13	63.568s	54.217s	unknown	81.92	62.61	62.165s	52.617s	unknown	85.43	62.47	61.904s	53.280s	unknown	81.80	63.00	62.472s	53.887s
ldv-drivers/usb_urb-drivers-media-dvb-ttusb-dec-ttusb_dec.ko-unsafe.cil.out.i.pp.cil.c	segmentation fault	6.33	2.94	-	-	unsafe	6.35	3.02	2.716s	0.590s	unsafe	4.63	2.28	1.988s	0.428s	exception	5.73	2.45	-	-	exception	5.55	2.47	-	-
ldv-drivers/usb_urb-drivers-staging-lirc-lirc_imon.ko-unsafe.cil.out.i.pp.cil.c	segmentation fault	4.95	2.46	-	-	unsafe	46.25	36.39	34.955s	25.421s	unsafe	37.71	28.48	27.932s	19.951s	exception	9.02	4.52	-	-	exception	8.89	4.45	-	-
ldv-drivers/usb_urb-drivers-usb-misc-iowarrior.ko-unsafe.cil.out.i.pp.cil.c	segmentation fault	5.50	2.55	-	-	unsafe	5.60	3.85	2.467s	0.887s	unsafe	4.48	2.20	1.896s	0.774s	exception	3.66	1.79	-	-	exception	3.71	1.80	-	-
ldv-drivers/module_get_put-drivers-atm-eni.ko-safe.cil.out.i.pp.cil.c	unknown	94.22	70.83	63.491s	61.366s	unknown	82.66	63.24	62.646s	60.876s	unknown	86.01	64.28	63.787s	62.225s	exception	6.00	2.52	-	-	exception	5.63	2.54	-	-
ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko-safe.cil.out.i.pp.cil.c	unknown	97.46	76.00	66.899s	61.935s	unknown	90.96	69.12	66.118s	61.345s	unknown	93.79	72.70	64.765s	61.429s	exception	13.65	5.21	-	-	exception	13.27	5.14	-	-
ldv-drivers/module_get_put-drivers-block-paride-pt.ko-safe.cil.out.i.pp.cil.c	unknown	93.45	70.00	63.322s	62.143s	unknown	81.42	62.13	61.392s	60.057s	unknown	79.90	63.70	63.039s	62.101s	exception	10.16	4.85	-	-	exception	10.42	5.50	-	-
ldv-drivers/module_get_put-drivers-bluetooth-btmrvl.ko-safe.cil.out.i.pp.cil.c	segmentation fault	7.31	9.15	-	-	safe	9.16	5.11	4.777s	3.235s	safe	6.82	4.01	3.710s	2.472s	safe	8.57	5.06	4.754s	3.139s	safe	8.55	5.01	4.707s	3.050s
ldv-drivers/module_get_put-drivers-char-ipmi-ipmi_watchdog.ko-safe.cil.out.i.pp.cil.c	unknown	6.44	5.66	5.340s	2.764s	unknown	5.09	2.42	2.132s	0.883s	unknown	3.96	2.00	1.728s	0.679s	exception	4.87	2.16	-	-	exception	5.01	2.44	-	-
ldv-drivers/module_get_put-drivers-gpu-drm-i915-i915.ko-safe.cil.out.i.pp.cil.c	unknown	90.76	74.93	72.470s	61.326s	unknown	92.50	68.13	67.595s	61.840s	unknown	93.11	67.64	64.878s	60.447s	exception	15.04	6.32	-	-	exception	15.42	6.51	-	-
ldv-drivers/module_get_put-drivers-hid-hid-magicmouse.ko-safe.cil.out.i.pp.cil.c	unknown	5.37	2.53	2.194s	0.917s	unknown	4.32	1.96	1.646s	0.677s	unknown	3.57	1.76	1.473s	0.612s	exception	3.50	1.80	-	-	exception	3.87	1.93	-	-
ldv-drivers/module_get_put-drivers-hwmon-it87.ko-safe.cil.out.i.pp.cil.c	segmentation fault	16.38	8.43	-	-	unknown	80.51	62.49	62.024s	59.981s	unknown	83.91	63.23	62.756s	61.141s	exception	6.23	2.40	-	-	exception	6.09	2.47	-	-
ldv-drivers/module_get_put-drivers-net-atl1c-atl1c.ko-safe.cil.out.i.pp.cil.c	unknown	86.78	66.37	63.238s	61.134s	unknown	86.31	68.68	62.619s	60.635s	unknown	82.02	65.25	62.437s	60.916s	exception	8.01	3.41	-	-	exception	8.27	3.77	-	-
ldv-drivers/module_get_put-drivers-net-sis900.ko-safe.cil.out.i.pp.cil.c	unknown	92.20	72.95	61.951s	60.103s	unknown	82.36	66.04	62.472s	60.901s	unknown	84.14	66.21	63.425s	61.939s	exception	5.98	2.54	-	-	exception	5.70	3.45	-	-
ldv-drivers/module_get_put-drivers-scsi-megaraid.ko-safe.cil.out.i.pp.cil.c	unknown	89.08	65.76	65.193s	62.070s	unknown	87.63	64.62	64.107s	61.515s	unknown	89.53	68.84	63.853s	61.854s	exception	9.24	3.54	-	-	exception	7.79	7.30	-	-
ldv-drivers/module_get_put-drivers-staging-et131x-et131x.ko-safe.cil.out.i.pp.cil.c	unknown	85.20	64.63	63.996s	61.128s	unknown	84.24	65.16	64.661s	62.263s	unknown	81.54	62.89	62.380s	60.277s	exception	8.57	3.38	-	-	exception	7.71	7.13	-	-
ldv-drivers/usb_urb-drivers-input-tablet-kbtab.ko-safe.cil.out.i.pp.cil.c	segmentation fault	3.52	1.67	-	-	safe	8.83	4.72	4.387s	2.668s	safe	6.96	4.00	3.680s	2.334s	safe	9.03	4.92	4.624s	2.999s	safe	9.42	7.95	6.847s	4.015s
ldv-drivers/usb_urb-drivers-misc-c2port-core.ko-safe.cil.out.i.pp.cil.c	segmentation fault	23.73	13.00	-	-	unknown	86.39	64.20	63.622s	62.084s	unknown	82.98	61.96	61.438s	60.276s	exception	4.54	2.26	-	-	exception	4.29	2.16	-	-
ldv-drivers/usb_urb-drivers-scsi-dc395x.ko-safe.cil.out.i.pp.cil.c	segmentation fault	32.38	15.89	-	-	unknown	88.58	64.21	63.718s	60.390s	unknown	93.10	67.80	62.877s	60.255s	exception	11.40	4.35	-	-	exception	11.69	4.42	-	-
ldv-drivers/usb_urb-drivers-usb-serial-ir-usb.ko-safe.cil.out.i.pp.cil.c	safe	4.74	2.12	1.839s	0.789s	unsafe	3.80	1.77	1.496s	0.403s	unsafe	3.22	1.62	1.349s	0.361s	exception	4.14	2.02	-	-	exception	3.58	1.83	-	-
ldv-drivers/usb_urb-drivers-usb-serial-whiteheat.ko-safe.cil.out.i.pp.cil.c	segmentation fault	17.00	8.91	-	-	unknown	96.53	63.81	63.317s	56.955s	unknown	94.25	63.27	62.778s	54.155s	exception	4.90	2.46	-	-	exception	4.47	2.12	-	-
ldv-drivers/usb_urb-drivers-uwb-i1480-dfu-i1480-dfu-usb.ko-safe.cil.out.i.pp.cil.c	segmentation fault	3.51	1.71	-	-	unsafe	4.25	1.95	1.667s	0.167s	unsafe	2.81	1.46	1.208s	0.150s	unsafe	3.98	1.92	1.661s	0.200s	unsafe	3.85	1.89	1.594s	0.208s
ldv-drivers/usb_urb-drivers-vhost-vhost_net.ko-safe.cil.out.i.pp.cil.c	segmentation fault	45.80	26.80	-	-	unknown	80.77	62.88	62.325s	59.800s	unknown	83.60	66.61	63.809s	61.774s	exception	7.35	3.25	-	-	exception	7.77	3.50	-	-
ldv-drivers/usb_urb-drivers-video-arkfb.ko-safe.cil.out.i.pp.cil.c	segmentation fault	19.03	9.99	-	-	unknown	91.68	63.82	63.254s	60.922s	unknown	83.78	61.84	61.350s	59.378s	exception	4.27	2.04	-	-	exception	4.45	2.17	-	-