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-15.0911									12-02-15.0936									12-02-15.1341									12-02-16.0031									12-02-16.0901
Test set	integration-explicitAnalysis									integration-explicitAnalysis									integration-explicitAnalysis									integration-explicitAnalysis									integration-explicitAnalysis
branch	-r5610									-r5611									-r5613									-r5621									-r5622
Options	-noout -heap 2000m -explicitAnalysis -setprop cpa.conditions.global.time.wall=1min -setprop analysis.useRefinement=true -setprop cegar.refiner=cpa.explicit.ExplicitRefiner									-noout -heap 2000m -explicitAnalysis -setprop cpa.conditions.global.time.wall=1min -setprop analysis.useRefinement=true -setprop cegar.refiner=cpa.explicit.ExplicitRefiner									-noout -heap 2000m -explicitAnalysis -setprop cpa.conditions.global.time.wall=1min -setprop analysis.useRefinement=true -setprop cegar.refiner=cpa.explicit.ExplicitRefiner									-noout -heap 2000m -explicitAnalysis -setprop cpa.conditions.global.time.wall=1min -setprop analysis.useRefinement=true -setprop cegar.refiner=cpa.explicit.ExplicitRefiner									-noout -heap 2000m -explicitAnalysis -setprop cpa.conditions.global.time.wall=1min -setprop analysis.useRefinement=true -setprop cegar.refiner=cpa.explicit.ExplicitRefiner
test/programs/benchmarks/	status	cputime	walltime	total	reached	refinements	refinements_succ	refinements_fail	time_refinements	status	cputime	walltime	total	reached	refinements	refinements_succ	refinements_fail	time_refinements	status	cputime	walltime	total	reached	refinements	refinements_succ	refinements_fail	time_refinements	status	cputime	walltime	total	reached	refinements	refinements_succ	refinements_fail	time_refinements	status	cputime	walltime	total	reached	refinements	refinements_succ	refinements_fail	time_refinements
total files	84	586.81	399.89	376.391	2.338	650	578	66	205.170	84	1423.20	1235.63	970.474	5.603	11	0	0	3.261	84	590.16	401.24	378.353	2.286	650	578	66	207.280	84	590.64	400.54	377.346	2.328	650	578	66	206.483	84	589.07	401.03	378.254	2.409	650	578	66	206.275
correct results	11	125.78	73.55	69.720	0.849	91	89	0	34.153	24	264.87	230.17	220.098	1.451	11	0	0	3.261	11	126.08	73.10	69.257	0.843	91	89	0	34.551	11	125.32	71.47	67.651	0.812	91	89	0	33.186	11	124.85	71.83	68.117	0.867	91	89	0	33.336
false negatives	2	3.65	2.04	1.423	0.005	0	0	0	0	2	3.35	1.82	1.320	0.000	0	0	0	0	2	3.61	2.07	1.521	0.006	0	0	0	0	2	3.76	2.14	1.573	0.002	0	0	0	0	2	3.73	2.09	1.519	0.007	0	0	0	0
false positives	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	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0
score (84 files, max score: 133)	12									29									12									12									12
pthread/fib_bench_BUG.cil.c	unknown	1.61	0.87	0.624s	0.000s	1	0	0	0.012s	safe	1.65	0.88	0.630s	0.000s	0	-	-	-	unknown	1.62	0.90	0.626s	0.000s	1	0	0	0.012s	unknown	1.62	0.89	0.643s	0.000s	1	0	0	0.016s	unknown	1.75	1.05	0.681s	0.000s	1	0	0	0.017s
pthread/fib_bench_longer_BUG.cil.c	unknown	1.75	1.06	0.756s	0.001s	1	0	0	0.014s	safe	1.70	0.94	0.690s	0.000s	0	-	-	-	unknown	1.74	0.99	0.685s	0.001s	1	0	0	0.013s	unknown	1.66	0.96	0.671s	0.000s	1	0	0	0.012s	unknown	1.77	0.96	0.702s	0.000s	1	0	0	0.013s
pthread/reorder_5_BUG.cil.c	safe	1.98	1.09	0.754s	0.003s	0	-	-	-	unknown	63.81	61.04	60.620s	0.204s	0	-	-	-	safe	1.92	1.09	0.803s	0.002s	0	-	-	-	safe	2.00	1.11	0.824s	0.002s	0	-	-	-	safe	1.90	1.08	0.767s	0.001s	0	-	-	-
pthread/twostage_3_BUG.cil.c	safe	1.67	0.95	0.669s	0.002s	0	-	-	-	unknown	63.38	60.98	60.554s	0.168s	0	-	-	-	safe	1.69	0.98	0.718s	0.004s	0	-	-	-	safe	1.76	1.03	0.749s	0.000s	0	-	-	-	safe	1.83	1.01	0.752s	0.006s	0	-	-	-
pthread/fib_bench.cil.c	unknown	1.68	0.98	0.699s	0.002s	1	0	0	0.014s	safe	1.58	0.98	0.675s	0.000s	0	-	-	-	unknown	1.80	1.00	0.750s	0.000s	1	0	0	0.014s	unknown	1.55	0.91	0.680s	0.002s	1	0	0	0.015s	unknown	1.72	0.99	0.683s	0.001s	1	0	0	0.015s
pthread/fib_bench_longer.cil.c	unknown	1.89	1.09	0.768s	0.000s	1	0	0	0.020s	safe	1.54	0.97	0.688s	0.000s	0	-	-	-	unknown	1.94	1.10	0.780s	0.003s	1	0	0	0.013s	unknown	1.69	0.98	0.678s	0.000s	1	0	0	0.013s	unknown	1.58	0.87	0.630s	0.000s	1	0	0	0.012s
ntdrivers-simplified/diskperf_simpl1.cil.c	safe	8.97	5.65	5.278s	0.083s	25	25	0	3.004s	unknown	64.34	61.16	60.736s	0.184s	0	-	-	-	safe	8.88	5.61	5.243s	0.066s	25	25	0	3.108s	safe	8.83	5.53	5.197s	0.089s	25	25	0	3.005s	safe	8.85	5.75	5.401s	0.091s	25	25	0	3.179s
ntdrivers/diskperf.i.cil.c	safe	19.45	14.56	14.193s	0.088s	20	20	0	11.350s	unknown	66.34	61.37	60.946s	0.189s	0	-	-	-	safe	19.23	14.47	14.103s	0.102s	20	20	0	11.438s	safe	18.36	13.48	13.103s	0.085s	20	20	0	10.391s	safe	18.24	13.77	13.443s	0.090s	20	20	0	10.903s
ntdrivers/floppy.i.cil.c	unknown	21.88	17.07	16.796s	0.052s	41	40	1	14.411s	exception	6.45	3.84	-	-	-	-	-	-	unknown	22.03	17.38	17.103s	0.058s	41	40	1	14.699s	unknown	21.75	16.98	16.674s	0.048s	41	40	1	14.459s	unknown	21.96	17.15	16.854s	0.053s	41	40	1	14.486s
ssh-simplified/s3_srvr_14_BUG.cil.c	unknown	2.56	1.52	1.123s	0.004s	4	3	1	0.166s	unsafe	2.94	1.59	1.301s	0.028s	1	0	0	0.077s	unknown	2.48	1.37	1.034s	0.006s	4	3	1	0.165s	unknown	2.60	1.39	1.041s	0.005s	4	3	1	0.156s	unknown	2.27	1.23	0.977s	0.005s	4	3	1	0.171s
ssh-simplified/s3_srvr_6_BUG.cil.c	unsafe	10.21	6.49	6.204s	0.081s	16	15	0	3.330s	unknown	64.14	61.29	60.741s	0.261s	0	-	-	-	unsafe	9.79	6.68	6.318s	0.064s	16	15	0	3.516s	unsafe	9.32	6.20	5.908s	0.064s	16	15	0	3.361s	unsafe	9.36	5.76	5.450s	0.057s	16	15	0	3.030s
ssh-simplified/s3_srvr_1a.cil.c	unknown	1.99	1.05	0.797s	0.004s	8	7	1	0.137s	safe	1.85	1.00	0.723s	0.001s	0	-	-	-	unknown	1.94	1.04	0.787s	0.009s	8	7	1	0.136s	unknown	1.95	1.06	0.775s	0.005s	8	7	1	0.148s	unknown	2.04	1.28	1.016s	0.006s	8	7	1	0.182s
ssh-simplified/s3_srvr_1b.cil.c	unknown	1.74	0.99	0.740s	0.003s	6	5	1	0.098s	safe	1.91	1.01	0.737s	0.000s	0	-	-	-	unknown	1.69	0.92	0.688s	0.001s	6	5	1	0.075s	unknown	1.72	0.96	0.687s	0.002s	6	5	1	0.071s	unknown	1.65	0.92	0.655s	0.003s	6	5	1	0.072s
ssh-simplified/s3_srvr_1.cil.c	unknown	4.55	2.27	2.010s	0.029s	9	8	1	0.778s	safe	3.04	1.60	1.303s	0.056s	0	-	-	-	unknown	4.16	2.03	1.776s	0.038s	9	8	1	0.662s	unknown	4.24	2.11	1.868s	0.027s	9	8	1	0.724s	unknown	4.35	2.04	1.790s	0.020s	9	8	1	0.668s
ssh-simplified/s3_srvr_3.cil.c	unknown	3.97	1.86	1.585s	0.031s	9	8	1	0.554s	exception	2.68	1.47	-	-	-	-	-	-	unknown	4.11	1.86	1.601s	0.022s	9	8	1	0.540s	unknown	4.09	2.03	1.772s	0.038s	9	8	1	0.655s	unknown	4.17	2.15	1.901s	0.039s	9	8	1	0.647s
ssh-simplified/s3_srvr_4.cil.c	unknown	4.50	2.13	1.875s	0.032s	11	10	1	0.752s	exception	2.72	1.43	-	-	-	-	-	-	unknown	4.76	2.38	2.129s	0.050s	11	10	1	0.893s	unknown	4.80	2.35	2.080s	0.040s	11	10	1	0.884s	unknown	4.55	2.25	2.003s	0.028s	11	10	1	0.872s
ssh-simplified/s3_srvr_6.cil.c	safe	8.93	5.63	5.353s	0.059s	14	14	0	3.128s	unknown	63.92	61.19	60.704s	0.283s	0	-	-	-	safe	8.85	5.43	5.157s	0.063s	14	14	0	3.007s	safe	8.84	5.60	5.317s	0.071s	14	14	0	3.114s	safe	8.68	5.41	5.140s	0.066s	14	14	0	3.006s
ssh-simplified/s3_srvr_8.cil.c	unknown	4.79	2.43	2.163s	0.050s	10	9	1	0.942s	safe	3.19	1.67	1.267s	0.029s	0	-	-	-	unknown	4.60	2.24	1.970s	0.027s	10	9	1	0.815s	unknown	4.57	2.33	2.063s	0.036s	10	9	1	0.920s	unknown	4.65	2.28	2.027s	0.036s	10	9	1	0.826s
ssh/s3_clnt.blast.01.BUG.i.cil.c	unknown	8.34	5.47	5.191s	0.039s	13	12	1	3.800s	unsafe	11.62	8.68	8.282s	0.086s	1	0	0	0.357s	unknown	8.05	5.34	5.057s	0.029s	13	12	1	3.687s	unknown	8.22	5.46	5.162s	0.036s	13	12	1	3.770s	unknown	8.80	6.02	5.750s	0.046s	13	12	1	4.276s
ssh/s3_clnt.blast.02.BUG.i.cil.c	unknown	7.45	4.73	4.449s	0.044s	12	11	1	3.081s	unsafe	11.58	8.83	8.437s	0.119s	1	0	0	0.248s	unknown	7.26	4.53	4.270s	0.038s	12	11	1	2.975s	unknown	7.36	4.58	4.312s	0.041s	12	11	1	2.989s	unknown	7.18	4.44	4.183s	0.035s	12	11	1	2.887s
ssh/s3_clnt.blast.03.BUG.i.cil.c	unknown	8.07	5.42	5.118s	0.061s	13	12	1	3.686s	unsafe	10.66	9.96	9.444s	0.082s	1	0	0	1.054s	unknown	8.05	5.44	5.132s	0.036s	13	12	1	3.653s	unknown	7.91	5.20	4.923s	0.040s	13	12	1	3.423s	unknown	8.04	5.36	5.104s	0.042s	13	12	1	3.735s
ssh/s3_clnt.blast.04.BUG.i.cil.c	unknown	7.40	4.73	4.447s	0.039s	12	11	1	3.052s	unsafe	10.54	11.06	9.847s	0.088s	1	0	0	1.045s	unknown	7.50	4.64	4.392s	0.043s	12	11	1	2.960s	unknown	7.97	5.03	4.785s	0.050s	12	11	1	3.431s	unknown	7.76	4.92	4.654s	0.045s	12	11	1	3.155s
ssh/s3_srvr.blast.07.BUG.i.cil.c	unknown	4.16	2.37	2.039s	0.028s	7	6	1	0.849s	unsafe	2.72	1.81	1.563s	0.006s	1	0	0	0.099s	unknown	4.53	2.46	2.197s	0.031s	7	6	1	0.895s	unknown	4.24	2.31	2.023s	0.026s	7	6	1	0.804s	unknown	4.12	2.36	2.104s	0.024s	7	6	1	0.938s
ssh/s3_srvr.blast.08.BUG.i.cil.c	unknown	8.23	5.32	5.017s	0.033s	12	11	1	3.644s	exception	5.04	4.79	-	-	-	-	-	-	unknown	8.18	5.18	4.898s	0.039s	12	11	1	3.495s	unknown	8.70	5.65	5.371s	0.045s	12	11	1	3.848s	unknown	8.22	5.26	4.998s	0.035s	12	11	1	3.568s
ssh/s3_srvr.blast.10.BUG.i.cil.c	unknown	8.14	5.23	4.959s	0.031s	12	11	1	3.529s	exception	4.92	4.66	-	-	-	-	-	-	unknown	7.96	5.11	4.852s	0.035s	12	11	1	3.589s	unknown	8.04	5.09	4.811s	0.031s	12	11	1	3.476s	unknown	8.32	5.41	5.122s	0.040s	12	11	1	3.608s
ssh/s3_srvr.blast.11.BUG.i.cil.c	unknown	3.48	1.89	1.656s	0.018s	6	5	1	0.611s	exception	6.27	5.24	-	-	-	-	-	-	unknown	3.75	2.04	1.800s	0.016s	6	5	1	0.684s	unknown	3.72	2.00	1.742s	0.022s	6	5	1	0.677s	unknown	3.82	2.07	1.814s	0.023s	6	5	1	0.708s
ssh/s3_srvr.blast.13.BUG.i.cil.c	unknown	4.15	2.43	2.144s	0.029s	7	6	1	0.891s	unsafe	2.71	4.25	2.917s	0.011s	1	0	0	0.131s	unknown	3.93	2.15	1.882s	0.023s	7	6	1	0.769s	unknown	4.12	2.30	2.039s	0.025s	7	6	1	0.865s	unknown	4.16	2.24	1.976s	0.032s	7	6	1	0.860s
ssh/s3_srvr.blast.15.BUG.i.cil.c	unknown	6.93	4.32	4.083s	0.035s	11	10	1	2.779s	exception	5.39	3.16	-	-	-	-	-	-	unknown	7.25	4.57	4.293s	0.044s	11	10	1	2.875s	unknown	7.25	4.58	4.309s	0.032s	11	10	1	2.978s	unknown	7.29	4.61	4.371s	0.043s	11	10	1	2.973s
ssh/s3_clnt.blast.01.i.cil.c	unknown	9.07	6.21	5.933s	0.046s	13	12	1	4.434s	safe	46.45	42.63	42.127s	0.192s	0	-	-	-	unknown	8.50	5.87	5.624s	0.041s	13	12	1	4.228s	unknown	8.78	5.95	5.651s	0.043s	13	12	1	4.326s	unknown	8.79	5.95	5.700s	0.051s	13	12	1	4.293s
ssh/s3_clnt.blast.03.i.cil.c	unknown	19.82	16.01	15.752s	0.039s	18	17	1	14.192s	safe	43.25	40.01	39.549s	0.210s	0	-	-	-	unknown	20.00	16.55	16.290s	0.053s	18	17	1	14.653s	unknown	19.87	16.24	15.970s	0.043s	18	17	1	14.383s	unknown	19.48	15.99	15.736s	0.039s	18	17	1	14.320s
ssh/s3_clnt.blast.04.i.cil.c	unknown	7.78	5.21	4.946s	0.028s	13	12	1	3.717s	safe	44.69	41.46	40.998s	0.235s	0	-	-	-	unknown	8.10	5.41	5.156s	0.028s	13	12	1	3.797s	unknown	8.03	5.38	5.117s	0.049s	13	12	1	3.809s	unknown	7.92	5.20	4.940s	0.040s	13	12	1	3.681s
locks/test_locks_14.BUG.c	unknown	2.77	1.51	1.233s	0.013s	16	15	1	0.420s	exception	1.78	0.97	-	-	-	-	-	-	unknown	2.63	1.45	1.198s	0.009s	16	15	1	0.394s	unknown	2.58	1.41	1.141s	0.013s	16	15	1	0.367s	unknown	2.60	1.43	1.172s	0.011s	16	15	1	0.393s
locks/test_locks_15.BUG.c	unknown	2.66	1.48	1.195s	0.009s	17	16	1	0.426s	exception	1.87	1.12	-	-	-	-	-	-	unknown	2.70	1.53	1.285s	0.009s	17	16	1	0.490s	unknown	2.76	1.54	1.288s	0.013s	17	16	1	0.422s	unknown	2.89	1.57	1.292s	0.014s	17	16	1	0.451s
locks/test_locks_11.c	unknown	65.95	60.95	60.534s	0.238s	16	16	0	0.875s	safe	44.20	41.35	40.883s	0.167s	0	-	-	-	unknown	65.50	60.85	60.485s	0.217s	16	16	0	0.788s	unknown	65.64	60.92	60.565s	0.233s	16	16	0	0.897s	unknown	65.72	60.87	60.485s	0.219s	16	16	0	0.796s
heap-manipulation/bubble_sort_linux_BUG.cil.c	unknown	2.38	1.36	1.079s	0.003s	2	1	1	0.299s	exception	2.18	1.14	-	-	-	-	-	-	unknown	2.36	1.20	0.957s	0.002s	2	1	1	0.268s	unknown	2.50	1.38	1.126s	0.004s	2	1	1	0.403s	unknown	2.65	1.39	1.109s	0.004s	2	1	1	0.301s
heap-manipulation/merge_sort_BUG.cil.c	unknown	2.01	1.14	0.879s	0.004s	3	2	1	0.128s	exception	1.71	0.95	-	-	-	-	-	-	unknown	1.96	1.14	0.888s	0.002s	3	2	1	0.135s	unknown	1.77	0.98	0.744s	0.002s	3	2	1	0.108s	unknown	1.97	1.09	0.849s	0.004s	3	2	1	0.121s
heap-manipulation/sll_to_dll_rev_BUG.cil.c	unknown	3.16	1.96	1.690s	0.005s	2	1	1	0.958s	exception	2.61	1.58	-	-	-	-	-	-	unknown	3.22	1.97	1.724s	0.005s	2	1	1	0.926s	unknown	3.08	1.95	1.693s	0.001s	2	1	1	0.984s	unknown	3.05	1.85	1.598s	0.004s	2	1	1	0.905s
heap-manipulation/bubble_sort_linux.cil.c	unknown	2.62	1.42	1.134s	0.005s	2	1	1	0.298s	exception	2.36	1.22	-	-	-	-	-	-	unknown	2.40	1.32	1.065s	0.003s	2	1	1	0.260s	unknown	2.66	1.42	1.158s	0.002s	2	1	1	0.317s	unknown	2.57	1.46	1.196s	0.003s	2	1	1	0.293s
heap-manipulation/merge_sort.cil.c	unknown	1.99	1.12	0.849s	0.000s	3	2	1	0.119s	exception	1.66	0.88	-	-	-	-	-	-	unknown	1.82	1.09	0.837s	0.003s	3	2	1	0.120s	unknown	2.00	1.06	0.812s	0.000s	3	2	1	0.112s	unknown	1.90	1.06	0.809s	0.005s	3	2	1	0.110s
heap-manipulation/sll_to_dll_rev.cil.c	unknown	3.22	2.09	1.837s	0.002s	2	1	1	1.192s	exception	2.53	1.55	-	-	-	-	-	-	unknown	3.10	1.99	1.746s	0.004s	2	1	1	1.105s	unknown	3.26	2.11	1.832s	0.004s	2	1	1	1.101s	unknown	3.10	2.06	1.816s	0.005s	2	1	1	1.096s
list-properties/alternating_list.cil.c	unknown	1.69	0.98	0.734s	0.002s	2	1	1	0.098s	exception	1.57	0.89	-	-	-	-	-	-	unknown	1.70	1.00	0.705s	0.002s	2	1	1	0.082s	unknown	1.71	0.91	0.668s	0.000s	2	1	1	0.072s	unknown	1.66	0.98	0.733s	0.003s	2	1	1	0.067s
list-properties/list.cil.c	unknown	1.85	1.03	0.769s	0.002s	2	1	1	0.090s	exception	1.59	0.90	-	-	-	-	-	-	unknown	1.75	1.02	0.744s	0.003s	2	1	1	0.117s	unknown	1.81	1.00	0.756s	0.004s	2	1	1	0.100s	unknown	1.65	0.90	0.672s	0.004s	2	1	1	0.087s
list-properties/list_flag.cil.c	unknown	1.67	0.88	0.634s	0.001s	2	1	1	0.068s	exception	1.52	0.81	-	-	-	-	-	-	unknown	1.76	0.99	0.743s	0.004s	2	1	1	0.082s	unknown	1.64	0.90	0.648s	0.002s	2	1	1	0.066s	unknown	1.56	0.90	0.665s	0.000s	2	1	1	0.070s
list-properties/simple.cil.c	unknown	1.84	1.04	0.777s	0.004s	2	1	1	0.115s	exception	1.51	0.82	-	-	-	-	-	-	unknown	1.74	0.98	0.740s	0.001s	2	1	1	0.122s	unknown	1.84	1.04	0.775s	0.002s	2	1	1	0.131s	unknown	1.73	1.00	0.744s	0.000s	2	1	1	0.095s
list-properties/simple_built_from_end.cil.c	unknown	1.88	1.12	0.809s	0.003s	3	2	1	0.104s	exception	1.50	0.81	-	-	-	-	-	-	unknown	1.68	0.95	0.711s	0.004s	3	2	1	0.088s	unknown	1.63	0.94	0.650s	0.000s	3	2	1	0.088s	unknown	1.74	0.97	0.727s	0.002s	3	2	1	0.093s
list-properties/splice.cil.c	unknown	2.20	1.35	1.002s	0.007s	3	2	1	0.225s	exception	3.57	2.47	-	-	-	-	-	-	unknown	2.03	1.11	0.876s	0.005s	3	2	1	0.214s	unknown	2.06	1.16	0.910s	0.002s	3	2	1	0.213s	unknown	2.13	1.15	0.917s	0.003s	3	2	1	0.208s
systemc/token_ring.01.BUG.cil.c	unknown	3.55	2.09	1.797s	0.031s	12	11	1	0.871s	exception	1.49	0.90	-	-	-	-	-	-	unknown	3.66	2.14	1.871s	0.021s	12	11	1	0.917s	unknown	3.72	2.29	1.981s	0.029s	12	11	1	0.983s	unknown	3.38	2.02	1.767s	0.027s	12	11	1	0.847s
systemc/token_ring.02.BUG.cil.c	unknown	6.26	3.90	3.652s	0.034s	22	21	1	2.518s	exception	1.96	1.07	-	-	-	-	-	-	unknown	6.59	3.89	3.632s	0.040s	22	21	1	2.440s	unknown	6.65	4.12	3.807s	0.046s	22	21	1	2.537s	unknown	6.52	4.03	3.748s	0.042s	22	21	1	2.485s
systemc/token_ring.03.BUG.cil.c	unknown	9.03	5.93	5.672s	0.037s	29	28	1	4.408s	exception	2.62	1.59	-	-	-	-	-	-	unknown	9.58	6.11	5.839s	0.044s	29	28	1	4.444s	unknown	9.34	6.15	5.886s	0.042s	29	28	1	4.570s	unknown	9.12	5.94	5.646s	0.047s	29	28	1	4.396s
systemc/bist_cell.cil.c	unknown	2.80	1.52	1.274s	0.015s	6	5	1	0.426s	safe	1.51	0.82	0.591s	0.004s	0	-	-	-	unknown	2.76	1.52	1.269s	0.012s	6	5	1	0.462s	unknown	2.72	1.51	1.270s	0.018s	6	5	1	0.455s	unknown	2.70	1.43	1.193s	0.016s	6	5	1	0.427s
systemc/kundu.cil.c	unknown	16.45	12.43	12.164s	0.057s	20	19	1	10.122s	safe	6.74	3.83	3.450s	0.121s	0	-	-	-	unknown	16.29	12.01	11.737s	0.069s	20	19	1	9.711s	unknown	16.41	12.58	12.316s	0.080s	20	19	1	10.276s	unknown	15.98	12.06	11.782s	0.083s	20	19	1	9.735s
systemc/token_ring.01.cil.c	unknown	3.25	1.86	1.620s	0.026s	12	11	1	0.784s	exception	1.70	1.05	-	-	-	-	-	-	unknown	3.48	2.05	1.797s	0.022s	12	11	1	0.907s	unknown	3.31	1.96	1.686s	0.023s	12	11	1	0.793s	unknown	3.38	1.90	1.644s	0.024s	12	11	1	0.795s
systemc/token_ring.04.cil.c	unknown	11.04	7.69	7.435s	0.047s	32	31	1	6.172s	exception	3.15	2.03	-	-	-	-	-	-	unknown	11.84	8.18	7.917s	0.051s	32	31	1	6.438s	unknown	11.26	7.74	7.487s	0.050s	32	31	1	6.223s	unknown	12.22	8.73	8.425s	0.063s	32	31	1	6.808s
ldv-regression/rule60_list2.c-unsafe_1.cil.c	unknown	1.74	0.99	0.745s	0.002s	2	1	1	0.147s	unsafe	1.77	1.04	0.813s	0.000s	1	0	0	0.058s	unknown	1.72	0.93	0.710s	0.003s	2	1	1	0.149s	unknown	1.74	1.01	0.774s	0.005s	2	1	1	0.168s	unknown	1.80	1.03	0.804s	0.003s	2	1	1	0.163s
ldv-regression/alias_of_return.c-safe.cil.c	unknown	1.43	0.81	0.583s	0.000s	2	1	1	0.028s	exception	1.57	0.87	-	-	-	-	-	-	unknown	1.30	0.74	0.515s	0.000s	2	1	1	0.027s	unknown	1.41	0.81	0.574s	0.000s	2	1	1	0.027s	unknown	1.44	0.77	0.540s	0.000s	2	1	1	0.027s
ldv-regression/alias_of_return.c-safe_1.cil.c	unknown	1.36	0.75	0.522s	0.000s	2	1	1	0.022s	exception	1.48	0.78	-	-	-	-	-	-	unknown	1.43	0.85	0.621s	0.000s	2	1	1	0.023s	unknown	1.63	0.91	0.665s	0.000s	2	1	1	0.022s	unknown	1.42	0.76	0.534s	0.000s	2	1	1	0.022s
ldv-regression/alias_of_return_2.c-safe.cil.c	unknown	1.52	0.84	0.586s	0.002s	2	1	1	0.029s	exception	1.43	0.76	-	-	-	-	-	-	unknown	1.52	0.84	0.612s	0.001s	2	1	1	0.029s	unknown	1.55	0.87	0.632s	0.000s	2	1	1	0.030s	unknown	1.44	0.77	0.545s	0.001s	2	1	1	0.028s
ldv-regression/alias_of_return_2.c-safe_1.cil.c	unknown	1.54	0.86	0.601s	0.000s	2	1	1	0.024s	exception	1.38	0.74	-	-	-	-	-	-	unknown	1.44	0.80	0.541s	0.000s	2	1	1	0.024s	unknown	1.46	0.80	0.560s	0.000s	2	1	1	0.023s	unknown	1.53	0.85	0.629s	0.000s	2	1	1	0.023s
ldv-regression/ex3_forlist.c-safe.cil.c	unknown	1.92	1.06	0.824s	0.005s	4	3	1	0.215s	exception	1.68	0.95	-	-	-	-	-	-	unknown	1.89	1.05	0.813s	0.003s	4	3	1	0.216s	unknown	1.91	1.11	0.872s	0.006s	4	3	1	0.237s	unknown	1.97	1.16	0.926s	0.007s	4	3	1	0.272s
ldv-regression/rule60_list2.c-safe.cil.c	unknown	1.72	0.94	0.702s	0.003s	2	1	1	0.145s	safe	1.52	0.83	0.591s	0.001s	0	-	-	-	unknown	1.70	0.92	0.680s	0.001s	2	1	1	0.124s	unknown	1.70	0.92	0.684s	0.000s	2	1	1	0.125s	unknown	1.83	1.06	0.807s	0.004s	2	1	1	0.143s
ldv-regression/test_malloc-1-safe.cil.c	unknown	1.53	0.82	0.590s	0.001s	2	1	1	0.061s	exception	1.40	0.75	-	-	-	-	-	-	unknown	1.50	0.84	0.619s	0.001s	2	1	1	0.053s	unknown	1.50	0.89	0.650s	0.001s	2	1	1	0.055s	unknown	1.53	0.80	0.576s	0.000s	2	1	1	0.052s
ldv-regression/test_malloc-2-safe.cil.c	unknown	1.46	0.79	0.561s	0.003s	2	1	1	0.041s	exception	1.42	0.76	-	-	-	-	-	-	unknown	1.57	0.90	0.674s	0.001s	2	1	1	0.059s	unknown	1.44	0.78	0.558s	0.001s	2	1	1	0.040s	unknown	1.57	0.89	0.651s	0.001s	2	1	1	0.040s
ldv-regression/test_union_cast-2-safe.cil.c	unknown	1.40	0.79	0.559s	0.000s	2	1	1	0.042s	exception	1.59	0.90	-	-	-	-	-	-	unknown	1.64	0.87	0.642s	0.000s	2	1	1	0.042s	unknown	1.48	0.78	0.562s	0.000s	2	1	1	0.043s	unknown	1.50	0.79	0.565s	0.001s	2	1	1	0.041s
ldv-regression/volatile_alias.c-safe.cil.c	unknown	1.47	0.77	0.546s	0.001s	2	1	1	0.029s	exception	1.42	0.79	-	-	-	-	-	-	unknown	1.50	0.85	0.623s	0.000s	2	1	1	0.028s	unknown	1.30	0.74	0.519s	0.000s	2	1	1	0.029s	unknown	1.42	0.80	0.560s	0.000s	2	1	1	0.028s
ldv-regression/volatile_alias.c-safe_1.cil.c	unknown	1.49	0.85	0.612s	0.001s	2	1	1	0.028s	exception	1.42	0.75	-	-	-	-	-	-	unknown	1.43	0.77	0.546s	0.000s	2	1	1	0.028s	unknown	1.49	0.81	0.580s	0.000s	2	1	1	0.027s	unknown	1.43	0.78	0.554s	0.001s	2	1	1	0.028s
ddv-machzwd/ddv_machzwd_all_BUG.cil.c	unknown	5.64	3.67	3.442s	0.026s	9	8	1	2.165s	unsafe	2.78	1.48	1.234s	0.004s	1	0	0	0.063s	unknown	6.26	4.27	4.030s	0.018s	9	8	1	2.604s	unknown	5.86	3.80	3.568s	0.022s	9	8	1	2.263s	unknown	6.02	3.96	3.728s	0.025s	9	8	1	2.350s
ddv-machzwd/ddv_machzwd_inw_BUG.cil.c	unknown	4.23	2.45	2.203s	0.013s	4	3	1	1.093s	unsafe	3.04	1.61	1.347s	0.006s	1	0	0	0.064s	unknown	4.32	2.52	2.276s	0.009s	4	3	1	1.071s	unknown	4.18	2.50	2.238s	0.003s	4	3	1	1.073s	unknown	4.94	3.01	2.736s	0.014s	4	3	1	1.335s
ddv-machzwd/ddv_machzwd_outb_BUG.cil.c	unknown	4.08	2.22	1.990s	0.008s	3	2	1	0.832s	unsafe	3.04	1.70	1.331s	0.005s	1	0	0	0.065s	unknown	3.76	2.12	1.879s	0.009s	3	2	1	0.755s	unknown	3.72	2.09	1.849s	0.006s	3	2	1	0.752s	unknown	3.93	2.31	2.037s	0.016s	3	2	1	0.815s
ldv-drivers/module_get_put-drivers-block-loop.ko-unsafe.cil.out.i.pp.cil.c	unsafe	15.27	11.22	10.932s	0.051s	8	7	0	8.696s	unknown	65.44	61.77	61.407s	0.153s	0	-	-	-	unsafe	15.33	11.24	10.918s	0.045s	8	7	0	8.715s	unsafe	15.09	11.04	10.776s	0.046s	8	7	0	8.520s	unsafe	14.98	10.70	10.442s	0.026s	8	7	0	8.436s
ldv-drivers/module_get_put-drivers-usb-core-usbcore.ko-unsafe.cil.out.i.pp.cil.c	unknown	20.37	12.28	12.026s	0.017s	3	2	1	7.574s	exception	13.49	7.16	-	-	-	-	-	-	unknown	20.61	12.46	12.182s	0.013s	3	2	1	7.716s	unknown	20.87	12.32	12.042s	0.015s	3	2	1	7.377s	unknown	19.79	12.07	11.800s	0.018s	3	2	1	7.425s
ldv-drivers/usb_urb-drivers-hid-usbhid-usbmouse.ko-unsafe.cil.out.i.pp.cil.c	unknown	14.11	11.87	11.599s	0.021s	7	6	1	10.184s	exception	5.41	3.58	-	-	-	-	-	-	unknown	13.70	11.54	11.236s	0.015s	7	6	1	10.078s	unknown	13.57	11.41	11.150s	0.021s	7	6	1	9.979s	unknown	13.97	11.63	11.375s	0.010s	7	6	1	10.021s
ldv-drivers/usb_urb-drivers-input-misc-keyspan_remote.ko-unsafe.cil.out.i.pp.cil.c	unknown	11.20	8.95	8.696s	0.009s	6	5	1	7.359s	exception	5.42	3.36	-	-	-	-	-	-	unknown	11.44	9.05	8.792s	0.012s	6	5	1	7.481s	unknown	11.46	9.18	8.928s	0.013s	6	5	1	7.652s	unknown	11.54	9.24	8.994s	0.015s	6	5	1	7.730s
ldv-drivers/usb_urb-drivers-media-dvb-ttusb-dec-ttusb_dec.ko-unsafe.cil.out.i.pp.cil.c	unknown	21.16	17.00	16.733s	0.025s	7	6	1	14.873s	exception	9.01	5.87	-	-	-	-	-	-	unknown	21.72	17.61	17.341s	0.023s	7	6	1	15.404s	unknown	21.86	17.38	17.108s	0.031s	7	6	1	15.057s	unknown	21.41	17.22	16.921s	0.024s	7	6	1	14.734s
ldv-drivers/usb_urb-drivers-staging-lirc-lirc_imon.ko-unsafe.cil.out.i.pp.cil.c	unknown	18.35	15.11	14.826s	0.028s	11	10	1	13.239s	exception	5.52	3.61	-	-	-	-	-	-	unknown	18.65	15.24	14.963s	0.021s	11	10	1	13.317s	unknown	18.61	15.35	15.080s	0.025s	11	10	1	13.456s	unknown	19.05	15.65	15.391s	0.036s	11	10	1	13.884s
ldv-drivers/usb_urb-drivers-usb-misc-iowarrior.ko-unsafe.cil.out.i.pp.cil.c	unknown	7.82	5.37	5.100s	0.027s	5	4	1	3.537s	exception	5.42	3.55	-	-	-	-	-	-	unknown	8.23	5.59	5.298s	0.023s	5	4	1	3.729s	unknown	8.25	5.61	5.348s	0.017s	5	4	1	3.703s	unknown	8.46	5.68	5.411s	0.028s	5	4	1	3.766s
ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko-safe.cil.out.i.pp.cil.c	safe	14.07	6.17	5.859s	0.040s	1	1	0	0.786s	unknown	74.95	64.87	64.483s	0.144s	0	-	-	-	safe	14.02	6.15	5.858s	0.042s	1	1	0	0.801s	safe	14.54	6.20	5.872s	0.042s	1	1	0	0.903s	safe	14.93	6.33	6.021s	0.044s	1	1	0	0.931s
ldv-drivers/module_get_put-drivers-bluetooth-btmrvl.ko-safe.cil.out.i.pp.cil.c	safe	5.89	2.85	2.570s	0.040s	1	1	0	0.491s	unknown	78.68	62.97	61.725s	0.687s	0	-	-	-	safe	5.71	2.76	2.487s	0.027s	1	1	0	0.497s	safe	5.50	2.60	2.317s	0.022s	1	1	0	0.431s	safe	5.68	2.82	2.536s	0.027s	1	1	0	0.474s
ldv-drivers/module_get_put-drivers-gpu-drm-i915-i915.ko-safe.cil.out.i.pp.cil.c	safe	17.18	8.44	8.074s	0.041s	1	1	0	1.332s	unknown	105.77	89.63	71.382s	0.257s	0	-	-	-	safe	18.14	8.61	8.281s	0.046s	1	1	0	1.438s	safe	18.11	8.07	7.711s	0.035s	1	1	0	1.309s	safe	17.30	7.79	7.471s	0.034s	1	1	0	1.216s
ldv-drivers/module_get_put-drivers-net-atl1c-atl1c.ko-safe.cil.out.i.pp.cil.c	safe	9.94	4.13	3.736s	0.125s	1	1	0	0.521s	unknown	71.35	63.29	62.519s	0.357s	0	-	-	-	safe	10.60	4.35	4.001s	0.105s	1	1	0	0.541s	safe	10.68	4.17	3.753s	0.101s	1	1	0	0.564s	safe	10.20	4.47	4.126s	0.153s	1	1	0	0.549s
ldv-drivers/usb_urb-drivers-input-tablet-kbtab.ko-safe.cil.out.i.pp.cil.c	unknown	7.73	5.79	5.522s	0.014s	5	4	1	4.432s	exception	4.04	2.79	-	-	-	-	-	-	unknown	7.65	5.85	5.581s	0.014s	5	4	1	4.516s	unknown	7.92	5.85	5.593s	0.014s	5	4	1	4.485s	unknown	8.32	6.33	6.052s	0.010s	5	4	1	4.716s
ldv-drivers/usb_urb-drivers-media-video-c-qcam.ko-safe.cil.out.i.pp.cil.c	safe	10.18	5.65	5.100s	0.179s	2	2	0	0.895s	timeout	119.66	107.70	-	0.538s	0	-	-	-	safe	9.35	4.88	4.369s	0.214s	2	2	0	0.868s	safe	9.79	5.32	4.750s	0.185s	2	2	0	0.921s	safe	9.83	5.55	5.004s	0.203s	2	2	0	0.898s
ldv-drivers/usb_urb-drivers-misc-c2port-core.ko-safe.cil.out.i.pp.cil.c	safe	5.69	2.76	2.421s	0.062s	2	2	0	0.620s	unknown	106.27	93.60	63.239s	0.727s	0	-	-	-	safe	6.18	2.92	2.522s	0.069s	2	2	0	0.622s	safe	6.26	3.26	2.947s	0.072s	2	2	0	0.667s	safe	6.80	3.48	3.083s	0.076s	2	2	0	0.714s
ldv-drivers/usb_urb-drivers-usb-serial-ir-usb.ko-safe.cil.out.i.pp.cil.c	unknown	7.93	5.73	5.464s	0.019s	7	6	1	4.298s	exception	4.56	2.99	-	-	-	-	-	-	unknown	8.41	6.12	5.838s	0.021s	7	6	1	4.656s	unknown	8.88	6.53	6.234s	0.018s	7	6	1	4.772s	unknown	8.22	6.01	5.640s	0.017s	7	6	1	4.301s
ldv-drivers/usb_urb-drivers-usb-serial-whiteheat.ko-safe.cil.out.i.pp.cil.c	unknown	9.98	6.08	5.777s	0.036s	5	4	1	3.741s	exception	6.92	4.48	-	-	-	-	-	-	unknown	10.60	6.35	6.025s	0.046s	5	4	1	3.793s	unknown	10.97	6.69	6.308s	0.060s	5	4	1	3.832s	unknown	9.38	5.75	5.482s	0.035s	5	4	1	3.433s