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.0927					12-02-17.1004					12-02-17.1041					12-02-17.1125					12-02-17.1332
Test set	integration-predicateAnalysis					integration-predicateAnalysis					integration-predicateAnalysis					integration-predicateAnalysis					integration-predicateAnalysis
branch	-r5637					-r5639					-r5643					-r5647					-r5654
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	1908.77	1415.19	1150.518	1010.427	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
correct results	34	137.63	83.52	73.292	39.576	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
false negatives	25	105.60	53.51	46.055	17.850	25	101.50	50.74	43.629	16.433	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0
false positives	7	14.43	8.01	6.151	1.154	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
score (110 files, max score: 173)	-51					-51					57					55					28
pthread/fib_bench_BUG.cil.c	safe	1.72	0.97	0.692s	0.043s	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
pthread/fib_bench_longer_BUG.cil.c	safe	1.70	0.97	0.647s	0.029s	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
pthread/queue_BUG.cil.c	safe	2.02	1.16	0.898s	0.140s	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	-	-
pthread/reorder_5_BUG.cil.c	unknown	2.07	1.29	0.909s	0.108s	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	-	-
pthread/twostage_3_BUG.cil.c	unknown	1.91	1.06	0.803s	0.129s	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	-	-
pthread/fib_bench.cil.c	safe	1.60	0.92	0.655s	0.033s	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
pthread/fib_bench_longer.cil.c	safe	1.74	1.01	0.699s	0.032s	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
pthread/queue_ok.cil.c	safe	2.00	1.11	0.801s	0.105s	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	-	-
ntdrivers-simplified/cdaudio_simpl1_BUG.cil.c	safe	6.64	3.86	3.511s	2.542s	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
ntdrivers-simplified/floppy_simpl3_BUG.cil.c	safe	4.11	2.14	1.849s	1.166s	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
ntdrivers-simplified/floppy_simpl4_BUG.cil.c	safe	5.59	3.01	2.610s	1.662s	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
ntdrivers-simplified/kbfiltr_simpl2_BUG.cil.c	safe	4.25	2.22	1.807s	0.924s	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
ntdrivers/cdaudio.BUG.i.cil.c	safe	8.24	4.31	3.993s	2.277s	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
ntdrivers/diskperf.BUG.i.cil.c	safe	5.74	3.32	3.045s	1.971s	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
ntdrivers/floppy.BUG.i.cil.c	safe	7.95	4.18	3.875s	2.449s	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	-	-
ntdrivers/kbfiltr.BUG.i.cil.c	safe	4.40	2.19	1.900s	1.020s	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	-	-
ntdrivers/parport.BUG.i.cil.c	unknown	91.78	72.73	62.724s	61.272s	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	-	-
ntdrivers/floppy.i.cil.c	safe	8.01	4.10	3.804s	2.399s	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	-	-
ntdrivers/parport.i.cil.c	unknown	87.14	70.28	61.236s	59.978s	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	-	-
ssh-simplified/s3_srvr_7.cil.c	segmentation fault	71.10	66.41	-	-	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
ssh/s3_clnt.blast.01.BUG.i.cil.c	unsafe	6.62	3.66	3.311s	1.876s	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	-	-
ssh/s3_clnt.blast.02.BUG.i.cil.c	unsafe	5.06	2.76	2.396s	1.269s	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	-	-
ssh/s3_clnt.blast.03.BUG.i.cil.c	unsafe	4.80	2.62	2.307s	1.098s	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	-	-
ssh/s3_clnt.blast.04.BUG.i.cil.c	unsafe	5.45	3.00	2.686s	1.446s	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	-	-
ssh/s3_clnt.blast.01.i.cil.c	safe	19.24	15.08	14.631s	12.533s	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	-	-
ssh/s3_clnt.blast.03.i.cil.c	safe	10.82	6.89	6.516s	4.022s	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	-	-
ssh/s3_clnt.blast.04.i.cil.c	safe	10.47	6.79	6.443s	4.557s	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	-	-
ssh/s3_srvr.blast.07.i.cil.c	unknown	66.09	61.31	60.814s	57.104s	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
ssh/s3_srvr.blast.08.i.cil.c	safe	15.94	10.82	10.286s	6.727s	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	-	-
ssh/s3_srvr.blast.09.i.cil.c	unknown	73.82	61.90	60.979s	58.370s	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
ssh/s3_srvr.blast.16.i.cil.c	unknown	67.04	61.56	60.959s	40.068s	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
locks/test_locks_10.c	safe	1.83	1.06	0.738s	0.109s	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.19	1.21	-	-	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	-	-
heap-manipulation/dll_of_dll_BUG.cil.c	safe	1.85	0.95	0.700s	0.092s	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	-	-
heap-manipulation/merge_sort_BUG.cil.c	safe	1.87	1.03	0.779s	0.089s	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	-	-
heap-manipulation/sll_to_dll_rev_BUG.cil.c	unknown	64.23	61.06	60.789s	56.545s	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	-	-
heap-manipulation/bubble_sort_linux.cil.c	segmentation fault	2.34	1.29	-	-	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	-	-
heap-manipulation/dll_of_dll.cil.c	safe	1.98	1.04	0.800s	0.101s	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	-	-
heap-manipulation/merge_sort.cil.c	safe	1.71	0.91	0.683s	0.087s	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	-	-
heap-manipulation/sll_to_dll_rev.cil.c	unknown	67.12	64.98	64.621s	59.289s	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	-	-
list-properties/alternating_list.cil.c	safe	1.93	1.10	0.842s	0.188s	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	-	-
list-properties/list.cil.c	safe	1.86	1.03	0.778s	0.212s	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	-	-
list-properties/list_flag.cil.c	safe	1.91	1.05	0.801s	0.196s	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	-	-
list-properties/simple.cil.c	unsafe	1.92	1.05	0.798s	0.181s	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	-	-
list-properties/simple_built_from_end.cil.c	unsafe	1.95	1.10	0.843s	0.144s	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	-	-
list-properties/splice.cil.c	unsafe	3.28	1.90	1.604s	0.602s	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	-	-
systemc/token_ring.01.BUG.cil.c	safe	1.79	1.00	0.758s	0.109s	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
systemc/token_ring.02.BUG.cil.c	safe	1.74	1.07	0.803s	0.169s	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
systemc/token_ring.03.BUG.cil.c	safe	1.97	1.21	0.949s	0.186s	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
systemc/transmitter.01.BUG.cil.c	safe	1.69	1.06	0.791s	0.156s	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
systemc/transmitter.02.BUG.cil.c	safe	2.48	1.32	1.037s	0.398s	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
systemc/transmitter.03.BUG.cil.c	safe	2.87	1.51	1.205s	0.454s	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
systemc/transmitter.04.BUG.cil.c	safe	3.64	1.83	1.524s	0.752s	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
systemc/mem_slave_tlm.1.cil.c	safe	2.94	1.57	1.283s	0.395s	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	-	-
systemc/mem_slave_tlm.2.cil.c	safe	2.71	1.41	1.138s	0.342s	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	-	-
systemc/mem_slave_tlm.4.cil.c	safe	2.86	1.51	1.226s	0.353s	safe	2.94	1.52	1.237s	0.380s	segmentation fault	55.75	50.75	-	-	-	-	-	-	-	-	-	-	-	-
systemc/token_ring.04.cil.c	safe	2.04	1.18	0.918s	0.232s	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	-	-
systemc/toy.cil.c	safe	2.13	1.27	0.862s	0.135s	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
ldv-regression/mutex_lock_int.c-unsafe.cil.c	unsafe	1.70	0.94	0.694s	0.026s	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	-	-
ldv-regression/mutex_lock_struct.c-unsafe.cil.c	safe	1.65	0.93	0.579s	0.027s	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
ldv-regression/rule57_ebda_blast.c-unsafe.cil.c	safe	1.89	1.05	0.764s	0.078s	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
ldv-regression/rule60_list2.c-unsafe_1.cil.c	safe	1.96	1.08	0.819s	0.130s	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
ldv-regression/test_while_int.c-unsafe.cil.c	segmentation fault	1.54	0.89	-	-	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
ldv-regression/alias_of_return.c-safe.cil.c	safe	1.81	0.94	0.695s	0.027s	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	-	-
ldv-regression/alias_of_return.c-safe_1.cil.c	safe	1.71	0.92	0.666s	0.025s	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	-	-
ldv-regression/alias_of_return_2.c-safe.cil.c	safe	1.56	0.91	0.656s	0.032s	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	-	-
ldv-regression/alias_of_return_2.c-safe_1.cil.c	safe	1.66	0.94	0.660s	0.026s	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	-	-
ldv-regression/mutex_lock_int.c-safe_1.cil.c	unsafe	1.58	0.84	0.576s	0.022s	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	-	-
ldv-regression/mutex_lock_struct.c-safe_1.cil.c	safe	1.70	0.91	0.665s	0.032s	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
ldv-regression/nested_structure-safe.cil.c	unsafe	1.91	1.08	0.816s	0.058s	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	-	-
ldv-regression/nested_structure_ptr-safe.cil.c	unsafe	2.02	1.07	0.820s	0.108s	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	-	-
ldv-regression/oomInt.c-safe.cil.c	segmentation fault	1.67	0.91	-	-	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
ldv-regression/rule57_ebda_blast.c-safe_1.cil.c	safe	1.66	0.96	0.692s	0.084s	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
ldv-regression/test_union_cast-2-safe.cil.c	safe	1.74	1.01	0.712s	0.031s	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	-	-
ldv-regression/test_union_cast.c-safe.cil.c	unsafe	1.77	0.97	0.694s	0.039s	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	-	-
ldv-regression/volatile_alias.c-safe.cil.c	safe	1.74	1.02	0.710s	0.026s	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	-	-
ldv-regression/volatile_alias.c-safe_1.cil.c	safe	1.86	0.99	0.715s	0.028s	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	-	-
ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko-unsafe.cil.out.i.pp.cil.c	safe	13.30	5.49	5.163s	0.467s	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
ldv-drivers/module_get_put-drivers-block-loop.ko-unsafe.cil.out.i.pp.cil.c	segmentation fault	5.54	2.64	-	-	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	-	-
ldv-drivers/module_get_put-drivers-block-pktcdvd.ko-unsafe.cil.out.i.pp.cil.c	unknown	86.89	64.95	64.376s	62.104s	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	-	-
ldv-drivers/module_get_put-drivers-isdn-gigaset-gigaset.ko-unsafe.cil.out.i.pp.cil.c	segmentation fault	13.61	5.22	-	-	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	-	-
ldv-drivers/module_get_put-drivers-isdn-mISDN-mISDN_core.ko-unsafe.cil.out.i.pp.cil.c	segmentation fault	9.94	3.96	-	-	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	-	-
ldv-drivers/module_get_put-drivers-net-ppp_generic.ko-unsafe.cil.out.i.pp.cil.c	segmentation fault	14.32	7.48	-	-	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	-	-
ldv-drivers/module_get_put-drivers-net-wan-farsync.ko-unsafe.cil.out.iunsafe.cil.out.i.pp.cil.c	segmentation fault	9.84	4.74	-	-	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
ldv-drivers/module_get_put-drivers-usb-core-usbcore.ko-unsafe.cil.out.i.pp.cil.c	safe	14.54	5.65	5.357s	0.520s	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
ldv-drivers/usb_urb-drivers-hid-usbhid-usbmouse.ko-unsafe.cil.out.i.pp.cil.c	segmentation fault	4.16	1.98	-	-	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
ldv-drivers/usb_urb-drivers-input-misc-keyspan_remote.ko-unsafe.cil.out.i.pp.cil.c	segmentation fault	5.30	2.46	-	-	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
ldv-drivers/usb_urb-drivers-media-dvb-ttusb-dec-ttusb_dec.ko-unsafe.cil.out.i.pp.cil.c	segmentation fault	6.39	2.85	-	-	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	-	-
ldv-drivers/usb_urb-drivers-staging-lirc-lirc_imon.ko-unsafe.cil.out.i.pp.cil.c	segmentation fault	5.18	2.52	-	-	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	-	-
ldv-drivers/usb_urb-drivers-usb-misc-iowarrior.ko-unsafe.cil.out.i.pp.cil.c	segmentation fault	5.64	2.69	-	-	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	-	-
ldv-drivers/module_get_put-drivers-atm-eni.ko-safe.cil.out.i.pp.cil.c	unknown	90.04	68.55	64.648s	62.276s	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	-	-
ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko-safe.cil.out.i.pp.cil.c	unknown	95.22	71.36	68.130s	63.187s	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	-	-
ldv-drivers/module_get_put-drivers-block-paride-pt.ko-safe.cil.out.i.pp.cil.c	unknown	79.75	66.72	62.744s	61.505s	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	-	-
ldv-drivers/module_get_put-drivers-bluetooth-btmrvl.ko-safe.cil.out.i.pp.cil.c	segmentation fault	6.79	3.11	-	-	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
ldv-drivers/module_get_put-drivers-char-ipmi-ipmi_watchdog.ko-safe.cil.out.i.pp.cil.c	unknown	6.86	3.09	2.756s	1.305s	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	-	-
ldv-drivers/module_get_put-drivers-gpu-drm-i915-i915.ko-safe.cil.out.i.pp.cil.c	unknown	95.51	69.26	68.597s	62.592s	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	-	-
ldv-drivers/module_get_put-drivers-hid-hid-magicmouse.ko-safe.cil.out.i.pp.cil.c	unknown	5.21	2.49	2.182s	1.110s	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	-	-
ldv-drivers/module_get_put-drivers-hwmon-it87.ko-safe.cil.out.i.pp.cil.c	segmentation fault	16.15	8.46	-	-	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	-	-
ldv-drivers/module_get_put-drivers-net-atl1c-atl1c.ko-safe.cil.out.i.pp.cil.c	unknown	85.49	67.45	64.431s	62.467s	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	-	-
ldv-drivers/module_get_put-drivers-net-sis900.ko-safe.cil.out.i.pp.cil.c	unknown	90.35	71.92	63.107s	61.345s	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	-	-
ldv-drivers/module_get_put-drivers-scsi-megaraid.ko-safe.cil.out.i.pp.cil.c	unknown	78.22	67.59	67.032s	60.669s	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	-	-
ldv-drivers/module_get_put-drivers-staging-et131x-et131x.ko-safe.cil.out.i.pp.cil.c	unknown	85.05	63.80	63.183s	60.424s	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	-	-
ldv-drivers/usb_urb-drivers-input-tablet-kbtab.ko-safe.cil.out.i.pp.cil.c	segmentation fault	3.40	1.60	-	-	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
ldv-drivers/usb_urb-drivers-misc-c2port-core.ko-safe.cil.out.i.pp.cil.c	segmentation fault	26.41	15.41	-	-	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	-	-
ldv-drivers/usb_urb-drivers-scsi-dc395x.ko-safe.cil.out.i.pp.cil.c	segmentation fault	34.06	16.25	-	-	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	-	-
ldv-drivers/usb_urb-drivers-usb-serial-ir-usb.ko-safe.cil.out.i.pp.cil.c	safe	4.84	2.09	1.823s	0.792s	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	-	-
ldv-drivers/usb_urb-drivers-usb-serial-whiteheat.ko-safe.cil.out.i.pp.cil.c	segmentation fault	17.13	8.85	-	-	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	-	-
ldv-drivers/usb_urb-drivers-uwb-i1480-dfu-i1480-dfu-usb.ko-safe.cil.out.i.pp.cil.c	segmentation fault	3.56	1.68	-	-	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
ldv-drivers/usb_urb-drivers-vhost-vhost_net.ko-safe.cil.out.i.pp.cil.c	segmentation fault	44.44	23.45	-	-	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	-	-
ldv-drivers/usb_urb-drivers-video-arkfb.ko-safe.cil.out.i.pp.cil.c	segmentation fault	20.62	10.74	-	-	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	-	-